C'è un problema informatico che si trova in un tempo quasi polinomiale ma non è (forse) in


9

Il tempo quasi polinomiale, o QP in breve, è una classe di complessità sulla macchina di Turing deterministica. Ecco la definizione precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp

Mentre βP è una classe di complessità di non determinismo limitato. Ecco la definizione precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap

È facile vedere che qualsiasi macchina di βP può essere simulata da una macchina di QP, vale a dire, βP QP.

Ma abbiamo un esempio, un problema che si trova in QP ma non in βP, anche se non abbiamo alcuna prova precisa che il problema non sia in βP?


4
Sia f la funzione number_of_states_ e considera il problema "M interrompe al massimo (f (M)) passi "?.log(f(M))

Risposte:


4

Mentre io non conosco una specifica (congetturato) esempio nel , non c'è ancora la prova piuttosto convincente che β P è un adeguato sottoinsieme di Q P . Vale a dire, queste classi si comportano in modo molto diverso nella loro relazione con N P :QPβPβPQPNP

βPNP

QPNPPNPPNP

NPβPQP


2
βP

QPNPPNPNPQPNPQPPvsNP

3

βP

βP

Vedi questo post correlato .

Questo post di Teoria CS di @Salamon indica che non sappiamo nemmeno se l'IG possa essere deciso con il non determinismo limitato alla radice quadrata e tanto meno il non determinismo poliarcaritmico.


1
Tuttavia, penso che molte persone congetturano che GI sia in P.
Thomas il

1
@Thomas Babai nel suo documento ha indicato di essere contrario a questa congettura.
Mohammad Al-Turkistany,

2
βP

1
βP

1
@JoshuaGrochow Sì, il commento è più specifico (sottolineando la parte specifica sulla laurea). Ma la risposta fa solo riferimento alla domanda su MO come ciò che prendo come un forte suggerimento per l'affermazione che non ci sono prove - che suona circolare per me.
Clemente C.
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.