È


12

Definisci come la classe di lingue che può essere accettata da una macchina di Turing (multitape) nel tempo . (" " è solo per semplificare la notazione ed evitare confusione.) Notare che non c'è attorno a .DTIME(f(n))f(n)+1+1O()f(n)+1

È vero che ?DTIME(n)=DTIME(2n)

Usando il teorema lineare , possiamo dimostrare , ma possiamo raggiungereDTIME(2n)=DTIME(1.01n)n ?

Sembra che il linguaggio dei palindromi sia in ; per argomenti correlati, consultare il post sul blog di Lipton sugli algoritmi di stringaDTIME(n)


3
In " Macchine di Turing deterministiche nell'intervallo tra tempo reale e tempo lineare " ho trovato: se e r o ( r ) allora D T I M E ( n + r ) D T I M E ( n + r )rT1(DTM)ro(r)DTIME(n+r)DTIME(n+r)
Marzio De Biasi

Bello, sembra essere proprio quello che stavo cercando. Vuoi convertirlo in una risposta?
domotorp,

1
domanda interessante ma obiettate alla ridefinizione di una classe di complessità standard DTIME in modo non standard, suggerite almeno di chiamarla come DTIME 'per evitare confusione
vzn

Questo documento potrebbe essere utile. [Rosenberg 67] Lingue definibili in tempo reale dl.acm.org/citation.cfm?id=321423
zZzZzZ

Risposte:


12

Dal commento:

In " Macchine di Turing deterministiche nell'intervallo tra tempo reale e tempo lineare " ho trovato:

... se e r o ( r ) quindi D T I M E ( n + r ) D T I M E ( n + r ) ...rT1(DTM)ro(r)DTIME(n+r)DTIME(n+r)


5
Che cos'è ? T1(DTM)
Emil Jeřábek,

1
è l'inverso di una funzione costruibile nel tempo crescente, illimitata f (c N , n 0 , c N stn n 0 abbiamo c f ( n ) f ( c n ) ). È possibile sostituirlo con una funzione sublineare onesta. T1(DTM)fcN,n0,cNnn0cf(n)f(cn)
Marzio De Biasi,
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.