Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Ist eine Komplexitätsklasse bekannt, die Online-Gegenstücke zu Optimierungsproblemen enthält?
Ist eine Komplexitätsklasse bekannt, die Online-Gegenstücke zu Optimierungsproblemen enthält? Wenn nicht, wie kann eine solche Klasse definiert werden? Wir wissen, dass viele Probleme ihre Online-Version haben: zB Online-Version des Papierverpackungsproblems. Die Online-Probleme sind schwieriger, gemessen an ihren Wettbewerbsverhältnissen. Und ich habe im Komplexitätszoo nichts Ähnliches gefunden . Grundsätzlich kann man …
1
Welten, auf denen es keine „unverwundbaren Generatoren“ gibt
Unverwundbare Generatoren sind wie folgt definiert: Sei eine NP-Beziehung und eine Maschine, die akzeptiert . Informell ist ein Programm ein unverwundbarer Generator, wenn es bei Eingabe Instanz-Zeugen-Paare mit , gemäß einer Verteilung, unter der jeder Gegner mit Polynomzeit, dem gegeben wird , keinen Zeugen findet, dass mit erkennbarer Wahrscheinlichkeit für …
1
Was sind die Komplexitäten der folgenden SAT-Untergruppen?
Angenommen, P.≠ N.P.P≠NPP \neq NP Verwenden Sie die folgende Notation für tetration (dh.icheinia{}^ia ).icha = aein⋅⋅⋅einich malia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | ist die Größe der Instanz x. Sei L eine Sprache, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L …
3
Ist das Einbetten einer Lösung für SAT möglich?
Ich interessiere mich für "harte" Einzelfälle von NP-vollständigen Problemen. Ryan Williams diskutierte das SAT0-Problem in Richard Liptons Blog . SAT0 fragt, ob eine SAT-Instanz die spezifische Lösung hat, die aus allen Nullen besteht. Dies brachte mich zum Nachdenken über die Erstellung von SAT-Instanzen, die wahrscheinlich "schwer" sind. Betrachten Sie eine …
5
Komplexitätsklassen für andere Fälle als den „schlimmsten Fall“
Haben wir Komplexitätsklassen beispielsweise in Bezug auf die durchschnittliche Fallkomplexität? Gibt es zum Beispiel eine (benannte) Komplexitätsklasse für Probleme, deren Entscheidung die erwartete Polynomzeit benötigt? Eine andere Frage berücksichtigt die Best-Case- Komplexität, die im Folgenden beispielhaft dargestellt wird: Gibt es eine Klasse von (natürlichen) Problemen, deren Entscheidung mindestens exponentielle Zeit …
2
NP-vollständige Varianten unentscheidbarer Probleme?
Beispiele für begrenzte -vollständige Varianten unentscheidbarer Mengen:NPNPNP Problem mit begrenztem Anhalten = { | NTM-Maschine M hält an und akzeptiert x innerhalb von t Schritten}(M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Begrenzte Kacheln = { | Es gibt eine Kachelung eines Quadrats der Fläche t 2 durch Kacheln aus T }(T,1t)(T,1t)(T, 1^t)t2t2t^2TTT Problem der …
1
Härte des Problems des eingeschränkten Sternensystems?
Ein Sternsystem ist eine Familie von n Teilmengen von n-Elementen eingestellt . Ein Sternensystem ist grafisch, wenn es einen Graphen so dass die Familie der Scheitelpunktnachbarschaften in . Es ist vollständig zu entscheiden, ob ein bestimmtes Sternensystem grafisch ist.FFFSSSG(V,E)G(V,E)G(V,E)FFFGGGNPNPNP Was ist das minimale Auftreten jedes Elements, so dass das Problem …
1
Wurde die Derandomisierung leicht ungleichmäßiger Klassen, z. B. BPP / linear, untersucht?
Mit BPP / linear beziehe ich mich auf BPP-Maschinen mit linearen Ratschlägen, die das Versprechen erfüllen, wenn sie den "richtigen" Rat geben, und die Derandomisierung sollte uns beispielsweise einen P / linearen oder (SUBEXP / linearen) Algorithmus geben. Wenn wir uneinheitliche Annahmen verwenden, sollten klassische Ergebnisse funktionieren, da wir ungleichmäßige …
3
Welche Beweise gibt es dafür, dass
Welche Beweise gibt es dafür, dass ?coRP≠NPcoRP≠NPcoRP \neq NP ist die Klasse von Sprachen, für die es eine probabililistische Turing-Maschine gibt, die in Polynomzeit läuft und bei einer Eingabe, die zur Sprache gehört, immer mit Ja und bei einer Eingabe, die nicht zur Sprache gehört, mit mindestens der Hälfte mit …
1
Natürliche Kandidaten für NP-E und E-NP
Es ist seit den frühen 70er Jahren bekannt, dass NPNP{\bf NP} und E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) nicht gleich sind (weil EE{\bf E} im Gegensatz zu NPNP{\bf NP} nicht unter polynomialen Mehrfachreduktionen geschlossen ist ). . Soweit ich weiß, ist jedoch noch offen, ob eine Klasse eine Teilmenge der anderen ist oder ob …
1
Welche Beziehung besteht zwischen den Sprachen P (PTime) und Typ 1 (kontextsensitiv)?
P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP ist die Menge aller Sprachen, die in der Polynomzeit auf einer deterministischen Turing-Maschine entscheidbar sind, und CSLCSLCSL ist die Klasse der kontextsensitiven Sprachen, die bekanntermaßen , den Sprachen, die von linear begrenzten Automaten bestimmt werden.NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) Bei vielen offenen Fragen besteht die Tendenz zu einer Antwort ( …
1
Ist die Kolmogorov-Komplexität der Wahrheitstabellen des Halteproblems asymptotisch bekannt?
Es sei HALTnHALTnHALT_n die Zeichenkette der Länge 2n2n2^n , die der Wahrheitstabelle des Halteproblems für Eingaben der Länge nnn . Wenn die Sequenz der Kolmogorov Komplexitäten K(HALTn)K(HALTn)K(HALT_n) waren O(1)O(1)O(1) , dann einer der Ratschläge Saiten unendlich oft verwendet werden würde, und eine TM mit dieser Zeichenfolge hartcodierte der Lage wäre …
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.