Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

1
FPT vs W [P] - Complessità parametrizzata
Nella complessità parametrizzata, ⊆ W [ 2 ] ⊆ … ⊆ W [ P ] . Si presume che ciascuno dei contenitori sia corretto.FPT⊆W[1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆W[2]⊆W[2]\subseteq \mathsf{W}[2] ⊆…⊆W[P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Se allora P = W [ P ] .FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P=W[P]P=W[P]\mathsf{P}=\mathsf{W}[P] Ma segue questo Se allora F P T = …
1
Problemi in NP ma non in Average-P / poly
Il Theoem Karp – Lipton afferma che se , allora crolla in . Pertanto, supponendo che le separazioni tra e , nessun apparterrà a .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yNP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Sono interessato alla seguente domanda: …
2
Esistono rappresentazioni descrittive della complessità delle classi di complessità quantistica?
Il titolo dice più o meno tutto, ma immagino di poter aggiungere un po 'di background e alcuni esempi specifici che mi interessano. I teorici della complessità descrittiva, come Immerman e Fagin, hanno caratterizzato molte delle classi di complessità più note usando la logica. Ad esempio, NP può essere caratterizzato …
3
Indagine sugli algoritmi / complessità dell'algebra lineare
Sto cercando un buon sondaggio su algoritmi e complessità delle operazioni di algebra lineare (come rango, inverso, autovalori, ... per booleana, , e interi / razionali matrici) con l'accento sulla parallela ( N C gerarchia) e algoritmi polytime . Non sono riuscito a trovarne uno recente.FpFp\mathbb{F}_pNCNCNC Conosci un recente sondaggio …
5
Algoritmo parallelo deterministico per una corrispondenza perfetta nei grafici generali?
Nella classe di complessità PP\mathsf{P} , ci sono alcuni problemi che si ipotizza NON siano nella classe , cioè problemi con algoritmi paralleli deterministici. Il problema del flusso massimo è un esempio. E ci sono problemi a CREDERE di essere in , ma non è stata ancora trovata una prova.NCNC\mathsf{NC}NCNC\mathsf{NC} …
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.