Informatica teorica complexity-classes

2

TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd La voce Zoo per TC0TC0\mathsf{TC^0} menziona solo la separazione tra profondità 2 e 3. C'è anche un riferimento standard per il fatto che la AC0dACd0\mathsf{AC^0_d} non collassa?

12 cc.complexity-theory reference-request complexity-classes circuit-complexity bounded-depth

1

Consenso su P = NP in un mondo in cui RP = NP

è ampiamente ritenuto falso.RP=NPRP=NPRP = NP Ma immagina per un momento che sia vero. In tal caso, quanto è probabile che ?P=NPP=NPP = NP In altre parole: in un mondo in cui , cosa potrebbe ancora essere visto come un ostacolo per noi credere P = N P ?RP=NPRP=NPRP = …

12 cc.complexity-theory complexity-classes conditional-results

2

Qual è la relazione tra QMA e AM?

Ho letto in SP Giordano, D. Gosset, "PJ Amore problemi -Complete per Hamiltoniane stoquastic e matrici di MarkovQMAQMAQMA " che è improbabile che .QMA⊆AMQMA⊆AMQMA \subseteq AM Sono stato sorpreso da questa affermazione. Quindi qual è la relazione corretta tra e A M ?QMAQMAQMAAMAMAM

12 cc.complexity-theory complexity-classes quantum-computing interactive-proofs qma

2

Problemi che sono decidibili ma non possono essere verificati in tempo polinomiale

Mentre stavo lavorando a un progetto in qualche modo non correlato per Suresh, di recente mi sono imbattuto in un lavoro svolto da Page e Opper sui sistemi componibili dall'utente e una parte del loro lavoro ha discusso brevemente di problemi che non possono essere verificati in tempo polinomiale. Non …

12 cc.complexity-theory complexity-classes

2

L'esistenza di problemi PH completi è relativizzata?

Il risultato Baker-Gill-Solovay ha mostrato che la domanda P = NP non si relativizza, nel senso che nessuna prova relativizzante (insensibile alla presenza di un oracolo) può eventualmente risolvere la domanda P = NP. La mia domanda è: esiste un risultato simile per la domanda "Esiste un problema di PH …

12 cc.complexity-theory complexity-classes

2

È ?

Di http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Se è un linguaggio completo di PSPACE, .P A = N P AUNAAPUN= NPUNPA=NPAP^{A}=NP^{A} Se è un oracolo del tempo polinomiale deterministico, (assumendo ).P B ≠ N P B P ≠ N PBBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP # P P ⊆ P P ⊆ P S P A …

12 cc.complexity-theory complexity-classes counting-complexity open-problem oracles

3

Esiste una limitazione naturale della logica VO che cattura P o NP?

La carta Lauri Hella e José María Turull-Torres, Query di calcolo con logiche di ordine superiore , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propone la logica VO, la logica di ordine variabile. Ciò consente la quantificazione degli ordini rispetto alle variabili. VO è abbastanza potente e può esprimere …

12 cc.complexity-theory complexity-classes lo.logic computability descriptive-complexity

3

Lingue

Quali altri problemi linguaggi diversi dall'isomorfismo grafico sono in ? Puoi darci dei riferimenti?NP∩coAMNP∩coAMNP\cap coAM Aggiornamento: Ho dimenticato di dire che mi interessa in lingue non conosciute per essere in .coNPcoNPcoNP

12 cc.complexity-theory reference-request complexity-classes graph-isomorphism

7

Condizioni sufficienti per il crollo della Gerarchia polinomiale (PH)

Quali sono alcune affermazioni (non ben note) secondo cui, se vero, il PH deve collassare? Sono apprezzate le risposte contenenti una breve asserzione di alto livello con riferimento (i). Ho provato a cercare indietro senza molta fortuna.

12 cc.complexity-theory complexity-classes big-list

2

Larghezza minima dell'albero del circuito per MAGGIORANZA

Qual è la larghezza minima dell'albero di un circuito su per il calcolo di MAJ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} Qui MAJ genera 1 se almeno la metà dei suoi input sono .:{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\}111 Mi interessa solo la dimensione del circuito (dovrebbe essere polinomiale) e che un ingresso dovrebbe essere letto solo una volta …

12 reference-request complexity-classes circuit-complexity treewidth

4

Conseguenze di

Sappiamo che se crolla l'intero PH. E se la gerarchia polinomiale collassasse parzialmente? (O come capire che il PH potrebbe collassare sopra un certo punto e non sotto?)P= NPP=NPP=NP In parole più brevi, quali sarebbero le conseguenze di e ?P ≠ N PNP= c o NPNP=coNPNP=coNPP≠ NPP≠NPP\ne NP

12 cc.complexity-theory complexity-classes conditional-results polynomial-hierarchy

2

Riduzione di P vs. NP a SAT

La seguente domanda utilizza idee tratte dalla crittografia applicata alla teoria della complessità. Detto questo, è una domanda puramente teorica di complessità e non è richiesta alcuna conoscenza crittografica per rispondere. Scrivo deliberatamente questa domanda in modo molto informale. In mancanza di dettagli, è possibile che sia indicato in modo …

12 cc.complexity-theory complexity-classes np-hardness p-vs-np

1

Conseguenze di

Ho parte di un tentativo di prova di ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Il tentativo di prova consiste in una riduzione del Karp dal ⊕P⊕P\oplus \mathbf{P} problema completo ⊕⊕\oplus 3-REGOLARE VERTEX COVER a SAT. Dato un grafico cubico GGG , la riduzione produce una formula CNF FFFavente entrambe le seguenti …

12 cc.complexity-theory graph-theory complexity-classes sat counting-complexity

1

DSPACE (n) = DSPACE (1.5n) è?

Dal teorema della gerarchia spaziale è noto che se è costruibile nello spazio, DSPACE ( ) non è uguale a DSPACE ( .fff2 f ( n )2f(n)2f(n)f ( n ) )f(n))f(n)) Qui, per DSPACE ( intendo la classe di tutti i problemi che possono essere risolti nello spazio da una …

11 cc.complexity-theory complexity-classes

1

vs

È ? O, più in generale, è ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}

11 complexity-classes

Domande taggate «complexity-classes»