Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

5
Il potere irragionevole della non uniformità
Dal punto di vista del buonsenso, è facile credere che l'aggiunta del non determinismo a estenda significativamente il suo potere, vale a dire che è molto più grande di . Dopotutto, il non determinismo consente il parallelismo esponenziale, che senza dubbio appare molto potente. PP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} D'altra parte, se aggiungiamo semplicemente …
2
NTIME (n ^ k) ≠ DTIME (n ^ k)?
In "Sul determinismo contro il non determinismo e problemi correlati" (Proc. IEEE FOCS, pagine 429–438, 1983), Paul, Pippenger, Szemerédi e Trotter hanno dimostrato che . NTIMEDTIMENTIME(n)≠DTIME(n)\mathsf{NTIME}(n)\neq\mathsf{DTIME}(n) Questo risponde alla mia domanda con k = 1. Si sa qualcosa su un risultato simile per un altro k fisso?
1
vs ?
Il problema centrale della teoria della complessità è probabilmente vs .PPPNPNPNP Tuttavia, poiché la natura è quantistica, sembrerebbe più naturale considerare le classi (ovvero i problemi di decisione risolvibili da un computer quantistico in tempo polinomiale, con una probabilità di errore al massimo di 1/3 per tutte le istanze) e …
1
LOGLOG = NLOGLOG?
Definire LOGLOG come la classe di linguaggi che può essere calcolata nello spazio O (loglog n) da una macchina Turing deterministica (con accesso bidirezionale all'input). Allo stesso modo definire NLOGLOG come la classe di linguaggi che può essere calcolata nello spazio O (log log n) da una macchina di Turing …
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.