Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Ist SAT eine kontextfreie Sprache?
Ich bin die Sprache aller erfüllbar Propositionslogik Formeln unter Berücksichtigung, SAT (um sicherzustellen , dass dies eine endliche Alphabet hat, würden wir propositionaler Buchstaben in geeigneter Weise kodieren [edit: die Antworten darauf hingewiesen , dass die Antwort auf die Frage nicht robust unter sein kann Da die Kodierungen variieren, muss …
3
Vollständigkeit unter Karp-Injektionsreduktionen
Die Karp-Reduktion ist eine polynomielle Zeitberechnungsreduktion um ein Vielfaches zwischen zwei Rechenproblemen. Viele Karp-Reduktionen sind eigentlich Ein-Eins-Funktionen. Dies wirft die Frage auf, ob jede Karp-Reduktion injektiv ist (Eins-Eins-Funktion). Gibt es ein natürliches -komplettes Problem, von dem bekannt ist, dass es nur bei einer Karp-Reduktion um ein Vielfaches vollständig ist, und …
2
Liste zahlentheoretischer oder algebraischer Probleme in verschiedenen Komplexitätsklassen
Ich suche eine Liste über die bekannte oder unbekannte Komplexität verschiedener zahlentheoretischer / algebraischer Probleme. Beispielsweise, GCD in ist offen,NC1NC1NC^1 Factoring in ist offen,PPP Computing Sheaf Cohomology ist -hard#P#P\#P , Arora und Barak Zustand , dass eine Variante des Factorings ist - vollständig (obwohl dies ist nicht klar , auf …
2
Umfang der natürlichen Beweisbarriere
Die natürliche Beweisbarriere von Razborov und Rudich besagt, dass man unter glaubwürdigen kryptographischen Annahmen nicht hoffen kann, NP von P / poly zu trennen, indem man kombinatorische Eigenschaften von Funktionen findet, die konstruktiv, groß und nützlich sind. Es gibt mehrere bekannte Ergebnisse, die es schaffen, die Barriere zu umgehen. Es …
1
Große Klassen, die LOGSPACE enthalten, für die strenge Einschlüsse nicht bekannt sind
Die Wikipedia-Seite auf PSPACE erwähnt, dass die Einbeziehung nicht als streng bekannt ist (leider ohne Verweise).NL⊂PHNL⊂PHNL\subset PH F1: Was ist mit und - sind diese bekanntermaßen streng?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} F2: Wenn nein, gibt es eine etablierte Klasse die und für die nicht bekannt ist, ob die Einbeziehung streng ist?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C …
1
Ist
Können wir beweisen, dass für jede Sprache , die nicht N P -hart ist (dies setzt P ≠ N P voraus ), P L ≠ P SAT ? Kann dies alternativ unter vernünftigen Annahmen nachgewiesen werden?L ∈ N PL∈NPL\in\mathsf{NP}N PNP\mathsf{NP}P ≠ N PP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
1
Bedeutet Kannans Theorem, dass NEXPTIME ^ NP ⊄ P / poly?
Ich las einen Artikel von Buhrman und Homer „Superpolynomial Circuits, Almost Sparse Oracles and the Exponential Hierarchy“ . NEXPTIMENPNEXPTIME^{NP}NEXPTIMENPNEXPTIME^{NP}Σ2EXP\Sigma_2EXP ∀c ∃L∈Σ2P\forall c\mbox{ }\exists L\in\Sigma_2P , so dass L ∉ S i z e (L∉Size(nc)L \not\in Size(n^c)Σ2P⊄P/polyΣ2P⊄P/poly\Sigma_2P \not\subset P/poly∃L∈Σ2P∃L∈Σ2P\exists L\in\Sigma_2P∀c∀c\forall cL∉Size(nc)L∉Size(nc)L \not\in Size(n^c)NEXPTIMENP⊄P/polyNEXPTIMENP⊄P/polyNEXPTIME^{NP} \not\subset P/poly
1
APX-Härte impliziert kein QPTAS?
Eine schnelle Suche im Internet hat mich zu der Annahme geführt, dass "APXHardness impliziert, dass für ein Problem kein QPTAS vorhanden ist, es sei denn, [eine Komplexitätsklasse] ist in einer [anderen Komplexitätsklasse] enthalten", und das ist auch bekannt! Es scheint, dass jeder außer mir das weiß. Leider wird kein Hinweis …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.