Domande taggate «conditional-results»

Aggiungi X come ipotesi, dove X non è noto per essere vero o falso.

5
Implicazioni matematiche delle congetture della teoria della complessità al di fuori del TCS
Conosci interessanti conseguenze di congetture (standard) nella teoria della complessità in altri campi della matematica (cioè al di fuori dell'informatica teorica)? Preferirei risposte dove: la congettura della teoria della complessità è il più generale e standard possibile; Sono d'accordo anche con le conseguenze della durezza di problemi specifici, ma sarebbe …
1
Conseguenze di
Mentre il teorema di Adleman mostra che , non sono a conoscenza di alcuna letteratura che indaga sulla possibile inclusione di . Quali conseguenze teoriche della complessità avrebbe una tale inclusione?B Q P ⊆ P / poliB P P ⊆ P / poliBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}B Q P ⊆ P / …
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: …
1
vs
Nel nostro recente lavoro, risolviamo un problema computazionale sorto in un contesto combinatorio, supponendo che , dove ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} è la versione E X P di ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . L'unico articolo su ⊕⊕P⊕P\mathsf{\oplus{}P} che abbiamo trovato è stato il documento Beigel-Buhrman-Fortnow1998che è citato nellozoo di complessità. Comprendiamo che possiamo prendere …
1
P / poly
implica N P ⊆ P / p o l y , che a sua volta ha conseguenze interessanti come il crollo della gerarchia polinomiale.P/ poly= NP/ polyP/poly=NP/polyP/poly = NP/polyNP⊆ P/ polyNP⊆P/polyNP \subseteq P/poly Ci sono implicazioni interessanti per ?P/ poly≠ NP/ polyP/poly≠NP/polyP/poly \neq NP/poly
2
Conseguenza di PIT su
Dato in modo tale che i coefficienti di p , q sono delimitate da B , vuol p ≡ q hold ?p ( x1, ... , xn) , q( x1, ... , xn) ∈ Z [ x1, ... , xn]p(x1,…,xn),q(X1,...,Xn)∈Z[X1,...,Xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qBBBp ≡ qp≡qp\equiv q Il lemma di …
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.