Domande taggate «complexity-classes»

Classi di complessità computazionale e loro relazioni




4
Quali sono le conseguenze di
Sappiamo che L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} e che L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , dove L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Sappiamo anche che polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}perché quest'ultimo ha problemi completi nello spazio logaritmico molte riduzioni mentre il primo no (a causa del teorema della gerarchia spaziale). Per …

4
Esempi in cui l'unicità della soluzione semplifica la ricerca
La classe di complessitàUPUP\mathsf{UP} costituita da queiproblemiNPNP\mathsf{NP} che possono essere decisi da una macchina di Turing non deterministica temporale polinomiale che ha al massimo un percorso computazionale accettante. Cioè, la soluzione, se presente, èunicain questo senso. Si ritiene altamente improbabile che tutti isiano in, perché dalteorema Valiant-Vaziraniquesto implicherebbe il collasso.UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} …


3
Fa
Per quanto ho capito, il programma di teoria della complessità geometrica tenta di separare dimostrando che il permamento di una matrice a valore complesso è molto più difficile da calcolare rispetto al determinante.VP≠VNPVP≠VNPVP \neq VNP La domanda che ho posto dopo aver sfogliato i GCT Papers: ciò implicherebbe immediatamente , …



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 …



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 …



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.