Ist es bewiesen, dass die Quantenberechnung NP-Gesamtprobleme nicht besser löst als die klassische Berechnung, oder wird nur
Ich frage mich, welcher Algorithmus in Bezug auf die Big- Notation am bekanntesten ist, um die ganzzahlige lineare Programmierung zu lösen?OOO Ich weiß, dass das Problem vollständig ist, also erwarte ich nichts Polynomielles. Ich weiß, dass es viele Heuristiken gibt, die in praktischen Anwendungen...
Wenn tatsächlich gleich N P ist , wie würde dies unsere Algorithmen verbessern, um ganze Zahlen schneller zu faktorisieren. Mit anderen Worten, welche Art von Einsicht würde uns diese Tatsache zum besseren Verständnis der Faktorisierung von ganzen Zahlen verhelfen?PP{\sf P}N PNP{\sf...
Ich bin sicher, jemand hat darüber nachgedacht oder es sofort verworfen, aber warum impliziert Schäfers Dichotomietheorie zusammen mit Mahaneys Theorem über spärliche Mengen nicht P = NP? Hier ist meine Argumentation: Erstellen Sie eine Sprache die SAT entspricht und von einer unendlichen,...
Mein Dozent gab die Erklärung ab Jedes endliche Problem kann nicht NP-vollständig sein Er sprach zu der Zeit über Sudokus und sagte etwas in der Art, dass es für ein 8x8-Sudoku eine endliche Menge von Lösungen gibt, aber ich kann mich nicht genau erinnern, was er gesagt hat. Ich habe die Notiz...
Das bekannte SAT-Problem wird hier als Referenz definiert . Das DOUBLE-SAT-Problem ist definiert als DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at...
Das 3-Partitions-Problem fragt, ob ein Satz von 3 n3n3n Ganzzahlen in nnn Sätze von drei Ganzzahlen unterteilt werden kann, so dass jeder Satz eine bestimmte Ganzzahl ergibt BBB. Das Problem der ausgeglichenen Partition fragt, ob 2 n2n2n Ganzzahlen in zwei Gruppen gleicher Kardinalität aufgeteilt...
Angenommen, es gibt eine Tutorialsitzung an einer Universität. Wir haben eine Menge von kkk Fragen Q={q1…qk}Q={q1…qk}Q = \{ q_1 \ldots q_k \} und eine Menge von nnn Schülern S={s1…sn}S={s1…sn}S = \{ s_1 \ldots s_n \} . Jeder Schüler hat Zweifel an einer bestimmten Teilmenge von Fragen, dh für jeden...
Welches NP-vollständige Problem hat in Bezug auf die asymptotische Laufzeit im schlimmsten Fall den schnellsten bekannten (exakten) Algorithmus und was ist der Algorithmus? Gibt es etwas bekanntes, das schneller ist als
Ich versuche, dieses Problem zu lösen, und ich kämpfe wirklich. Eine monotone Boolesche Formel ist eine Formel in der Aussagenlogik, in der alle Literale positiv sind. Beispielsweise, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4...
Das ist wahrscheinlich eine blöde Frage, aber ich verstehe es einfach nicht. Bei einer anderen Frage kamen sie auf Schaefers Dichotomiesatz . Für mich sieht es so aus, als ob es beweist, dass jedes CSP-Problem entweder in P oder in NP-vollständig ist, aber nicht dazwischen. Da jedes NP-Problem in...
Ich habe etwas über NPC und seine Beziehung zu PSPACE gelesen und möchte wissen, ob NPC-Probleme mit einem Algorithmus deterministisch gelöst werden können, der den ungünstigsten polynomiellen Platz benötigt, aber möglicherweise exponentielle Zeit benötigt (2 ^ P (n), wobei P polynomiell ist). Kann...
Ändert sich die Schwierigkeit eines stark NP-harten oder NP-vollständigen Problems (wie hier definiert ), wenn seine Eingabe unär anstatt binär codiert ist? Welchen Unterschied macht es, wenn die Eingabe eines stark NP-harten Problems unärkodiert ist? Ich meine, wenn ich zum Beispiel das schwach...
Ich weiß also, dass es entscheidend ist , zu testen, ob eine reguläre Sprache RRR eine Teilmenge der regulären Sprache SSS ist, da wir beide in DFAs konvertieren, berechnen R∩S¯R∩S¯R \cap \bar{S}und dann testen können, ob diese Sprache leer ist. Da dies jedoch eine Konvertierung in DFAs erfordert,...
Unter der Annahme , dass wir ein Problem haben , und wir zeigten , dass die für die Lösung gebunden unteren ist Ω ( 2 n ) .ppppppΩ(2n)Ω(2n)\mathcal{\Omega}(2^n) Kann die untere Schranke das Problem in implizieren ?Ω(2n)Ω(2n)\mathcal{\Omega}(2^n)NPNPNP
Ich weiß, dass die maximale unabhängige Menge in kubischen dreieckfreien Graphen NP-vollständig ist. Ist es immer noch NP-vollständig, falls die unabhängige Menge genau die Größe haben muss ? V | / 2 ?|V|/2|V|/2|V|/2 Grundsätzlich muss die YES-Instanz des Problems der unabhängigen Menge bei...
Ist das folgende Problem NP-vollständig? (Ich nehme ja an). Eingabe: ein ungerichteter Graph, bei dem der Kantensatz in zwei kantendisjunkte einfache Zyklen zerlegt werden kann (diese sind nicht Teil der Eingabe).k∈N,G=(V,E)k∈N.,G=(V.,E.)k \in \mathbb{N},G=(V,E) Frage: Gibt es in einen einfachen...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Ich frage mich, ob es einen Polynomalgorithmus für "2-SAT mit XOR-Beziehungen" gibt. Sowohl 2-SAT als auch XOR-SAT sind in P, aber ist seine Kombination? Beispiel Eingabe: 2-SAT-Teil: (a or !b) and (b or c) and (b or d) XOR-Teil: (a xor b xor c xor 1) and (b xor c xor d) Mit anderen Worten, die...
Gibt es bekannte Algorithmen, die ein NP-vollständiges Problem korrekt mit "Ja" ausgeben, ohne implizit ein Zertifikat zu generieren? Ich verstehe, dass es einfach ist, ein Erfüllbarkeits-Orakel in einen Finder für zufriedenstellende Zuweisungen zu verwandeln: Iterieren Sie einfach die Variablen...