Ich suche nach Referenzen über die Komplexität des Booleschen Formelausgleichsproblems . Speziell, War bekannt, dass Boolesche Formeln in ausgeglichen werden können ?AC0AC0\mathsf{AC^0} Gibt es einen einfachen Beweis dafür, dass der Boolesche Formelausgleich in ?AC0AC0\mathsf{AC^0} Mit "einfach"...
Die Klasse BPNC (die Kombination von und N C ) sei ein logarithmischer paralleler Algorithmus mit begrenzter Fehlerwahrscheinlichkeit und Zugriff auf eine zufällige Quelle (ich bin mir nicht sicher, ob dieser einen anderen Namen hat). Definieren Sie die Klasse DBPNC auf ähnliche Weise, mit der...
In einem Vortrag von Razborov wird eine merkwürdige kleine Aussage veröffentlicht. Wenn FACTORING schwierig ist, ist Fermats kleiner Satz in nicht beweisbar .S12S21S_{2}^{1} Was ist und warum sind aktuelle Beweise nicht in ? S 1
BPPBPP\mathsf{BPP} undZPPZPP\mathsf{ZPP} sind zwei grundlegende probabilistische Komplexitätsklassen. BPPBPP\mathsf{BPP} ist die Klasse von Sprachen, die durch probabilistische Polynomzeit-Turing-Algorithmen bestimmt wird, bei denen die Wahrscheinlichkeit, dass der Algorithmus eine falsche Antwort...
In der Kommunikationskomplexität besagt die Log-Rank-Vermutung, dass cc(M)=(logrk(M))O(1)cc(M)=(logrk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Wobei cc(M)cc(M)cc(M) die Kommunikationskomplexität von M(x,y)M(x,y)M(x,y) und rk(M)rk(M)rk(M) der Rang von MMM (als Matrix) über den Realwerten ist. Wenn Sie...
Die Komplexitätsklasse ist wie folgt definiert (aus Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Eine Sprache ist in S P 2, wenn ein Polynom-Zeit-Prädikat P existiert, so dassLLLSP2S2PS_2^PPPP Wenn , existiert ein y, so dass für alle z , P ( x , y , z ) = 1 istx∈Lx∈Lx \in
Ist (das Entscheidungsproblem) in ? Hier ist die Klasse von Entscheidungsproblemen, die von einer eindeutigen Turing-Maschine akzeptiert werden (siehe Komplexitätszoo ).UP∩coUPUP∩coUP\mathsf{UP}\cap
Ich habe versucht, diese Klassen zu verstehen, war aber immer verwirrt ... die Fragen sind: Wie ist die Beziehung zwischen und # P , insbesondere ist es eine offene Frage?FNPFNPFNP#P#P\#P Wie ist die Beziehung von und N P ? Ist diese Frage offen?⊕P⊕P\oplus PNPNPNP Was ist mit der Beziehung zwischen...
Ein Spanning Tree eines Graphen wird als Vollständigkeitsbaum bezeichnet, wenn die Menge seiner Blätter einen vollständigen Untergraphen im Host-Graph induziert. Wie komplex ist es bei einem Graphen und einer ganzen Zahl k zu entscheiden, ob G einen Vollständigkeitsbaum mit höchstens k Blättern...
Bei einer Menge von Punkten im d- dimensionalen euklidischen Raum besteht das Problem darin, zu bestimmen, ob die konvexe Hülle die am Ursprung zentrierte Einheitskugel enthält.nnnddd Ist das Problem in NP? Es ist in Co-NP, da man als Zeuge einen Punkt in der Kugel außerhalb der konvexen Hülle...
Ich habe folgendes Problem: Eingabe: zwei Sätze von Intervallen und T (alle Endpunkte sind ganze Zahlen). Abfrage: Gibt es eine monotone Bijektion f : S → T ?S.SST.TTf: S.→ T.f:S→Tf:S \to T Die Bijektion ist monotone WRT der Mengeninklusion Reihenfolge auf und T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y...
Wenn wir beweisen können, dass , bedeutet dies, dass N L = N P ist ?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Ich dachte, dass es der Fall ist, aber ich kann es nicht beweisen (auch für das
Bei einem gerichteten Graphen wollen wir entscheiden, ob er einen gerichteten Zyklus gleicher Länge enthält. In diesem Papier von YUSTER und ZWICK aus dem Jahr 1997 heißt es, dass das Problem weder in noch in N P- vollständig bekannt ist.P.PPN.P.NPNP Gibt es ein aktuelles Ergebnis, das die...
Ich bin auf ein offenes Problem von David Eppstein gestoßen und bin an dessen Komplexitätsstatus interessiert. Er vermutete, dass es NP-vollständig ist. Eingabe: mal Matrix von Nullen und Einsen, Folge von Nullen und Einsennnnnnnn2n2n^2 Frage: Gibt es einen Pfad durch benachbarte Matrixeinträge,...
Nennen wir eine Sprache NP genau dann spärlich zertifiziert, wenn:L ∈L∈L \in Es existiert ein Polynom , so dass für jede Eingabe x ∈ & Sgr; * der Größe n , wenn x ∈ L dann ist die Menge U x von Zertifikaten u denen diese überprüfen x ∈ L ist polynomial bemessen, dh | U x | ≤ p ( n )...
Was ist die Standarddefinition von Planar 3-SAT? Ich habe verschiedene Definitionen gesehen. Was war das Originalpapier, das es definierte und als NP-vollständig
In den erweiterten Themen in Typen und Programmiersprachen wird im Kapitel über substrukturelle Typsysteme erwähnt, dass ein "sorgfältig ausgearbeiteter" affiner Lambda-Kalkül mit einem Rekursionskombinator für Listen nur Begriffe eingeben kann, die eine polynomielle Laufzeit haben (dies ist nicht...
Gibt es Probleme, die in der Polynomzeit nur lösbar sind, wenn P! = NP, und ansonsten in (sagen wir) -Zeit lösbar sind ?O ( 2n)O(2n)O(2^n) Ein einfaches Beispiel wäre: Wenn P! = NP, berechnen Sie einen Primalitätstest für eine zufällige n-Bit-Zahl, andernfalls bewerten Sie eine zufällige...
Unter Verwendung des Real-RAM / BSS-Modells haben wir die Klasse NP R (wobei ein BSS das Blum-Shub-Smale-Modell eines Computers mit Operationen über Real ist). Wir haben komplette Probleme mit NP R. Die Frage ist also, ob es ein Analogon der Berman-Hartmanis-Vermutung für die Klasse NP R gibt ....
Die über 1½ Jahre alte Riemann-Hypothese hat tiefgreifende Auswirkungen auf die Mathematik, und ein großes Gebäude der Mathematiktheorie wird nun unter Auflagen und zahlreichen Varianten bewiesen. Ich bin kürzlich auf einen Hinweis auf ein bedingtes Ergebnis in TCS gestoßen, das auf der...