Um über Dinge wie die NP-Vollständigkeit nachzudenken, verwenden wir normalerweise Mehrfachreduktionen (dh Karp-Reduktionen). Dies führt zu Bildern wie diesen: (unter Standardvermutungen). Ich bin sicher, wir sind alle mit solchen Dingen vertraut. Welches Bild bekommen wir, wenn wir mit...
Ich weiß, dass das quantifizierte boolesche Formelproblem für eine Formel wobei keine Quantifizierer enthält und nur die Variablen ist ein Beispiel für ein vollständiges Problem. Allerdings frage ich mich , ob natürliche Probleme bekannt sind sein -komplette, wie Schaltungsminimierungs ist ein...
Soweit ich weiß , liegt das Zuweisungsproblem in P, da der ungarische Algorithmus es in Polynomzeit lösen kann - O (n 3 ). Ich verstehe auch, dass das Zuweisungsproblem ein ganzzahliges lineares Programmierproblem ist, aber die Wikipedia-Seite gibt an, dass dies NP-Hard ist. Für mich bedeutet dies,...
Ich würde mich sehr über Ihre Hilfe beim Nachweis des Folgenden freuen. Wenn dann ist .P = N P.N T i m e ( n100) ⊆ D T i m e ( n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N P.P=NP\mathrm{P}=\mathrm{NP} Hier ist die Klasse aller Sprachen, die von einer...
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...
Ich bin verwirrt darüber, wie PP und BPP definiert sind. Nehmen wir an , ist die charakteristische Funktion für eine Sprache L . M ist die probabilistische Turingmaschine. Sind die folgenden Definitionen korrekt: B P P = { L : P r [ χ ( x ) ≠ M ( x ) ] ≥ 1χχ\chiLL\mathcal{L} P P = { L : P r [ χ ( x...
Nicks Klasse (NC) ist die Klasse von Problemen, die in Poly-Log-Zeit unter Verwendung einer Polynomzahl von Prozessoren entschieden werden können. Ich möchte etwas über das exponentielle Analogon wissen, das Probleme abdeckt, die in Polynomzeit unter Verwendung einer exponentiellen Anzahl von...
Angenommen, ist ein entscheidbares Entscheidungsproblem.ΠΠ\Pi Does implizieren ist -Hard?Π∉NPΠ∉N.P.\Pi\not \in NPΠΠ\PiNPN.P.NP Bearbeiten: Wenn wir annehmen, dass , sind wir fertig. Können wir die Behauptung ohne unbekannte Annahmen widerlegen?Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus...
Ich konnte kein Diagramm finden, das die folgende Frage darstellt oder Text beantwortet: Gibt es einen direkten Zusammenhang zwischen der Komplexität eines Algorithmus (z. B. Best / Worst-Fall der schnellen Sortierung) und der Klasse von Automaten, die den Algorithmus implementieren können? Gibt es...
Wenn Savitchs berühmter Satz aufgestellt wird, sieht man oft die Anforderung, dass S(n)S(n)S(n) raumkonstruierbar sein muss (interessanterweise wird es in Wikipedia weggelassen). Meine einfache Frage ist: Warum brauchen wir das? Ich verstehe die Anforderung, dass S( n )S(n)S(n) in Ω ( logn...
Ich denke, dass diese beiden Klassen gleich sein sollten, aber ich kann keine Literatur dazu finden und habe einen begrenzten Hintergrund zu diesem Thema. Dies ist meine Argumentation, und ich würde gerne wissen, ob (1) dies bereits bekannt ist oder (2) ich etwas falsch verstanden habe oder (3) ich...
Gibt es ein Entscheidungsproblem in einer Komplexitätsklasse, die ordnungsgemäß in DLOGTIME enthalten ist? (außer natürlich)O ( 1 )O(1)O(1) Wenn ja, können wir vollständige Probleme für DLOGTIME erstellen? Kann es also eine Reduzierung um oder kleiner geben?O ( log( logn )...
Ist die Klasse unter Komplement geschlossen oder ist sie unbekannt? Ich habe online gesucht, aber ich konnte nichts finden.N P.N.P.\sf
Ich kann mir kein Problem vorstellen, das in exponentieller Zeit gelöst werden kann, aber nicht in Polynomzeit überprüft werden kann.
Es ist bekannt, dass jede CNF-Formel in Polynomzeit unter Verwendung neuer Variablen in eine 3-CNF-Formel umgewandelt werden kann ( siehe hier ). Wenn die Verwendung neuer Variablen nicht zulässig ist, ist dies nicht immer möglich (nehmen Sie zum Beispiel die Einzelklauselformel:...
Um diesen Beitrag fortzusetzen , definieren wir das monotone -SAT-Problem:(+,2−)(+,2−)(+, 2^-) Gegeben eine monotone CNF-Formel , bei der jede Variable genau einmal erscheint (als positives Literal), und eine monotone 2-CNF-Formel definiert für dieselben Variablen wie , wobei alle Variablen negiert...
Es ist klar, dass jede Sprache in in \ mathsf {2EXP} = \ mathsf {DTime} (2 ^ {2 ^ {\ mathsf {poly} (n) berechnet werden kann. }}) .EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}}2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}}) Meine Frage ist, ob das...
Wir wissen, dass äquivalent sind und die auf die Ebene zusammenbricht.PP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/polyPP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/poly\mathsf{PP=RP},\mathsf{coPP=coRP},\mathsf{PP=coPP=coRP=RP=ZPP=BPP\subseteq P/poly}222 Was sind die anderen nicht trivialen Zusammenbrüche...
Ich möchte wissen, ob dieses Problem in Polynomzeit lösbar ist oder nicht. Das Problem ist: Gegeben ist eine nichtnegative Ganzzahlmatrix mit der Größe und zwei nichtnegativen Ganzzahlnummern und .2×n2×n2\times