È ?


12

Di http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf

Se è un linguaggio completo di PSPACE, .P A = N P AAPA=NPA

Se è un oracolo del tempo polinomiale deterministico, (assumendo ).P BN P B P N PBPBNPBPNP

# P P P P P S P A C EPP è la classe di problemi di decisione analoga per e ,#PPPPPSPACE

ma non è noto né né . Ma è vero questoP P = P S A P C EP=PPPP=PSAPCE

coNP#P=NP#P=P#P ?


1
Se è un oracolo tempo polinomiale deterministico, credo che dire che noi crediamo . (poiché e )B P B = P N P B = N PPBNPBPB=PNPB=NP
Ramprasad,

3
Potrei sbagliarmi, ma lasciami provare: la tua prima domanda presuppone che il secondo contenimento non sia rigoroso. In altre parole, presuppone che PP = PSPACE. In tal caso, penso che l'uguaglianza valga per il risultato che hai menzionato all'inizio. Ho ragione? (PS: vale il contrario per la seconda domanda.)
MS Dousti,

2
Teorema di Toda potrebbe essere qui interessa, in quanto indica uno potrebbe essere in grado di piegare la differenza tra e al oracolo. (Ma non ne sono sicuro al 100%.)N P #PPNP#P
Boaz Barak

2
La risposta alla tua quarta domanda è sì. Anche NP ^ PSPACE è contenuto in PSPACE, quindi sicuramente NP con un oracolo #P è in PSPACE.
Robin Kothari,

1
Come suggeriscono i commenti, alcune delle domande riportate in questo post (e alcune delle domande che hai aggiunto di recente) sono di base. Per favore, mostra alcune prove che ti interessano davvero. Vedi anche meta.cstheory.stackexchange.com/questions/300/… , meta.cstheory.stackexchange.com/questions/300/… .
Tsuyoshi Ito,

Risposte:


10

È un problema aperto nella teoria della complessità per molti anni se crolla, dove è la gerarchia temporale polinomiale. È anche un problema aperto costruire un oracolo per separare da . P H P # PPH#PPHP#PPSPACE


2
Benvenuto in CSTheory.SE, @Bin Fu! :)
Daniel Apon,

O forse eri qui prima, ma benvenuto comunque! ;)
Daniel Apon,

1
Grazie, Daniel Apon. È noto che PH ^ {Parity P} collassa. Sarà molto interessante se si può provare il collasso di PH ^ {# P}.
Bin Fu

Interessante, potresti fornire un riferimento per e il problema del suo crollo, per favore? PH#P
Neophyte

1

Di http://portal.acm.org/citation.cfm?id=116858

Se non lo interpreto in modo errato. Teorema 4.1 (ii) sta dicendo " " e .c o N P C K = C KNPCK=CKcoNPCK=CK

Lemma 3.4 (c) sta dicendo "Per ogni nella gerarchia dei conteggi, ".K K C K C K C KKKKCKCKCK

Sostituendo con , otteniamo .P P P P P P PKPPPPPPP

Il che significa .P#PNP#PcoNP#P

E vale se la gerarchia polinomiale collassa e la gerarchia dei conteggi crolla.P#P=NP#P=coNP#P


L'inclusione P ^ X ⊆ NP ^ X ∩ coNP ^ X per qualsiasi classe X è chiara dalla definizione e per questo non è necessario il Teorema 4.1 di Torán. Non riesco a capire perché i crolli della gerarchia polinomiale e la gerarchia dei conteggi implicano P ^ # P = NP ^ # P = coNP ^ # P. Puoi elaborare?
Tsuyoshi Ito,

@Tsuyoshi: se la gerarchia polinomiale collassa, , quindi . Se la gerarchia del conteggio crolla, allora , ovvero . Con il lemma 3.4 (c), , quindi , il che significa che in questa formula dovrebbe essere invece. P=NP=coNPP#P=NP#P=coNP#PCCP=CPPPPP=PPKKCKP#PNP#PcoNP#P = P P = P # P=NP#PcoNP#PPPPP=PP=P#P=
Mike Chen,

1
"La gerarchia polinomiale collassa" non significa necessariamente P = NP, e "la gerarchia del conteggio collassa" non significa necessariamente PP = PP ^ PP.
Tsuyoshi Ito,

2
Inoltre, P = NP non implica P ^ # P = NP ^ # P per quanto ne so (ma potrei mancare qualcosa).
Tsuyoshi Ito,

Un errore comune in questo tipo di argomenti è quello di presumere che la relativizzazione a un oracolo sia un'operazione sulla raccolta di lingue, ma è invece un'operazione sul tipo di calcolo, che influenza drasticamente quali lingue sono nella classe.
Derrick Stolee,
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.