Domande taggate «barriers»

1
Conseguenze di contenente
Molti credono che . Tuttavia sappiamo solo che è al secondo livello della gerarchia polinomiale, ovvero . Un passo verso la visualizzazione di è di portarlo al primo livello della gerarchia polinomiale, ovvero .BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq \mathsf{NP}BPPBPP\mathsf{BPP}BPP⊆ΣP2∩ΠP2BPP⊆Σ2P∩Π2P\mathsf{BPP}\subseteq \Sigma^ \mathsf{P}_2 \cap \Pi^ \mathsf{P}_2BPP=PBPP=P\mathsf{BPP} = \mathsf{P}BPP⊆NPBPP⊆NP\mathsf{BPP} \subseteq \mathsf{NP} Il contenimento significherebbe …
4
Prove, barriere e P vs NP
È noto che qualsiasi prova che risolva la domanda P vs NP deve superare la relativizzazione , le prove naturali e le barriere di algebrizzazione . Il diagramma seguente suddivide lo "spazio di prova" in diverse regioni. Ad esempio, RNRNRN corrisponde all'insieme di prove che relativizzano e naturalizzano. GCTGCTGCT (Geometric …
2
In che modo l'approccio geometrico Mulmuley-Sohoni alla produzione di limiti inferiori evita di produrre prove naturali (nel senso di Razborov-Rudich)?
L'esatta formulazione del titolo è dovuta ad Anand Kulkarni (che ha proposto la creazione di questo sito). Questa domanda è stata posta come una domanda di esempio, ma sono follemente curioso. Conosco pochissimo la geometria algebrica, e in effetti hanno anche una comprensione superficiale e scapestrata degli ostacoli in gioco …
1
Barriere per mostrare
Sappiamo tutti che P≠ NPP≠NPP\ne NP presenta delle barriere. Tutti abbiamo studiato queste barriere perché crediamo P≠ NPP≠NPP\ne NP . Tuttavia supponiamo P= NPP=NPP=NP e ci sono persone sagge che credono che esista la possibilità . Se questo è davvero il caso, il fatto stesso che non abbiamo visto alcun …
15 p-vs-np  barriers 
2
C'è una spiegazione per la difficoltà di provare limiti inferiori quadratici per interessanti problemi NP?
Questo è un seguito alla mia domanda precedente: La complessità temporale deterministica più nota è inferiore per un problema naturale in NP Trovo sconcertante che non siamo stati in grado di dimostrare un tempo deterministico quadratico inferiore per qualsiasi problema NP interessante a cui la gente si preoccupa e provare …
4
La diagonalizzazione cattura l'essenza della separazione di classe?
Non ricordo di aver visto una separazione di classe non basata sui risultati di diagonalizzazione e relativizzazione. La diagonalizzazione potrebbe ancora essere utilizzata per separare le classi note rimanenti, poiché gli argomenti non relativizzanti potrebbero ancora essere utilizzati nella conclusione della diagonalizzazione o nella costruzione della macchina di Turing diagonalizzata. …
2
Ostacoli alla separazione di altre classi di complessità
Do naturale Prove , Relativizzazione e Algebrization influenzano anche la separazione di altre classi di complessità come L≠NL≠NP≠coNP≠PH≠PSPACEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE ecc? Ad esempio, la barriera per prove naturali dovrebbe influire su qualsiasi prova di poiché separerà . Tuttavia, la relazione tra e non sembra avere molto …
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.