क्या


12

परिभाषित भाषाओं के वर्ग है कि एक (multitape) द्वारा स्वीकार किया जा सकता है के रूप में में टाइम मशीन ट्यूरिंग ( एन ) + 1 । ( " + 1 वहाँ कोई है सूचना है कि" सिर्फ सरल संकेतन और से बचने के भ्रम की स्थिति है।) हे ( ) के आसपास ( एन ) + 1DTIME(f(n))f(n)+1+1O()f(n)+1

क्या यह सच है कि ?DTIME(n)=DTIME(2n)

रैखिक गति-अप प्रमेय का उपयोग करते हुए , हम सिद्ध कर सकते हैं , लेकिन क्या हम n तक पहुँच सकते हैं ?DTIME(2n)=DTIME(1.01n)n

ऐसा लगता है कि palindromes की भाषा ; संबंधित विषयों के लिए, लिप्टन के ब्लॉग को स्ट्रिंग एल्गोरिदम के बारे में देखेंDTIME(n)


3
"में रीयल-टाइम और रैखिक समय के बीच सीमा में नियतात्मक ट्यूरिंग मशीन " मैंने पाया: अगर और आर '( आर ) तो डी टी मैं एम ( n + आर ' ) डी टी मैं एम ( n + आर )आरटी-1(डीटी)आर'(आर)DTIME(n+r)DTIME(n+r)
Marzio डी BIASI

अच्छा, लगता है कि मैं क्या देख रहा था। क्या आप इसे उत्तर में बदलना चाहते हैं?
डोमोटर

1
दिलचस्प सवाल है, लेकिन एक मानक जटिलता वर्ग DTIME को गैर-मानक तरीके से पुनर्परिभाषित करने के लिए वस्तु , आपको सुझाव है कि भ्रम से बचने के लिए कम से कम इसे DTIME 'जैसा कुछ कहें
vzn

यह पेपर शायद मददगार हो। [रोसेनबर्ग 67] वास्तविक समय निश्चित भाषाएं dl.acm.org/citation.cfm?id=321423
zZzZzZ

जवाबों:


12

टिप्पणी से:

" नियतकालिक और वास्तविक समय के बीच की श्रेणी में नियतात्मक ट्यूरिंग मशीन " में मैंने पाया:

... अगर और आर '( आर ) तो डी टी मैं एम ( n + आर ' ) डी टी मैं एम ( n + आर ) ...rT1(DTM)ro(r)DTIME(n+r)DTIME(n+r)


5
क्या है ? T1(DTM)
एमिल जेकब

1
एक बढ़ती हुई, असीम समय constructible समारोह का उल्टा होता है (एन , एन 0 , 'एन सेंटn एन 0 हमारे पास( एन ) ( c ) n ) )। आप इसे एक ईमानदार सबलाइनर फ़ंक्शन के साथ बदल सकते हैं। T1(DTM)fcN,n0,cNnn0cf(n)f(cn)
Marzio De Biasi
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.