Sei eine 3-CNF-Formel über die Variablen . Jede Variable , , kommt in gleich oft als positives Literal und als negatives Literal vor .ϕϕ\phix1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_nxixix_ii∈[n]i∈[n]i \in [n]ϕϕ\phi Ist es NP-vollständig, über die Erfüllbarkeit einer solchen Formel zu entscheiden?...
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:...
Ich habe hier gehört dass das Hamilton-Zyklus-Problem auf Graphen mit begrenzter Baumbreite polynomisch ist. Ich interessiere mich für Beispiele / Verweise auf verschiedene Probleme, die im Wesentlichen schwierig sind, aber eine polynomielle Komplexität auf Graphen mit begrenzter Baumbreite...
Das folgende Array belegt 10000 Speicherplätze: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Aber man könnte leicht das gleiche Array darstellen wie: a = {len:10000, get: λ idx -> idx} Welches ist viel kompakter. Ebenso gibt es mehrere Arrays, die kompakt dargestellt werden können: a = {a:1000, get: λ...
Es gibt ein grundlegendes Ergebnis in der Schaltungskomplexität, das besagt: Es gibt eine Sprache, die mit Schaltkreisen der Größe nicht gelöst werden kann .o(2nn)o(2nn)o(\frac{2^n}{n}) Das Argument ist ein einfaches Zählargument für die Anzahl der Booleschen Funktionen und die Anzahl der...
Ich verstehe, dass dies eine etwas vage Frage ist, aber es gibt Ergebnisse für P vs. NP, so dass die Frage nicht einfach mit Orakeln gelöst werden kann. Gibt es solche Ergebnisse, die für P gegen NP gezeigt wurden, aber nicht für P gegen PSPACE, so dass die Hoffnung besteht, dass bestimmte...
Ein Problem ist NP-vollständig, wenn: Es ist in NP. Alle Probleme in NP können sich darauf reduzieren. Es ist Nummer 2, um die es mir hier geht. Ich wäre sehr überrascht, wenn wir jedes Problem in NP kennen würden. Woher wissen wir unter dieser Annahme sicher, dass ein Problem NP-vollständig ist?...
Ist die Klasse unter Komplement geschlossen oder ist sie unbekannt? Ich habe online gesucht, aber ich konnte nichts finden.N P.N.P.\sf
Problem (tl; dr) Wenn eine kontextfreie Grammatik , finden Sie eine Reihe von Zeichenfolgen, die mindestens einmal durch jede Produktion führen.GGGGGG Wie und wie schnell geht das? Hintergrund Ich arbeite an einem Compiler, dessen Parser mit einem ähnlichen Tool wie Yacc + Antlr implementiert ist....
Sei ein parametrisiertes Zählproblem , wobei der Parameter die Lösungskosten sind, z. B. das Zählen der Anzahl der Scheitelpunkte mit Größe in einem durch parametrisierten Graphen .ΠΠ\Pikkkkkk Angenommen, ist [1] -vollständig (ein bekanntes Problem wäre beispielsweise das Zählen der Anzahl...
Ich versuche zu zeigen, dass das folgende Problem NP-schwer ist. Eingaben: Ganzzahl und verbundener, ungerichteter Graph , ein vertexgewichteter GrapheeeG=(V,E)G=(V,E)G=(V,E) Ausgabe: Partition von , erhalten durch Entfernen aller Kanten von die maximiert
HINTERGRUND: Kürzlich habe ich versucht, ein bestimmtes schwieriges Problem zu lösen, das als Eingabe ein Array von Zahlen erhält . Für war die einzige Lösung, die ich finden konnte, eine andere Behandlung für jede der Ordnungen der 3 Zahlen zu haben. Das heißt, es gibt eine Lösung für den Fall ,...
Geschlossen . Diese Frage muss fokussierter sein . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so, dass sie sich nur auf ein Problem konzentriert, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 5 Jahren . Welche...
Ich habe über das Modellzählen gelesen, auch bekannt als das # Sat-Problem. Was sind die praktischen Anwendungen dieses Problems, wenn überhaupt, und wie genau reduzieren sie sich darauf? Ich konnte keine finden, obwohl dies einfach auf meine eigene Unkenntnis des Themas zurückzuführen...
Ich entschuldige mich, aber auch nach diesen beiden anderen Beiträgen: Hier und hier habe ich immer noch Probleme, Orakel-TMs und Relativierung zu verstehen. Diese Frage kommt aus einem anderen Blickwinkel auf das Thema: Warum werden nicht relativierende Beweise als valider angesehen als Argumente,...
Angenommen, es gibt zwei Probleme PPP und QQQ. Wie kann ich das sagen "lösen PPP ist das gleiche mit dem Lösen QQQ"? Zum Beispiel, wenn PPP ist NP-Hard, dann können wir sagen "PPP kann in Polynomzeit gelöst werden, wenn ein Algorithmus existiert AAA das löst QQQ in Polynomzeit ". Es sollte eine...
Zeigen Sie, dass das Teilmengen-Summenproblem (Gegeben eine Folge von ganzen Zahlen S=i1,i2,…,inS=i1,i2,…,inS=i_1, i_2, \dots , i_n und eine ganze Zahl kkkGibt es eine Folge von SSS das summiert sich genau kkk?) ist NP-vollständig. Hinweis: Verwenden Sie das genaue Deckungsproblem. Das genaue...
Ein Freund von mir hat mir tatsächlich eine sehr interessante Frage zum Thema Informatik gestellt, und ich habe lange daran festgehalten. Das Problem ist: Sie müssen reisen 100010001000km. Die einzige Tankstelle befindet sich am Startpunkt. Ihre maximale Kraftstofftankkapazität reicht gerade...
Ich weiß aus dem Schäfer-Dichotomie-Theorem, dass nur wenige Arten von Erfüllbarkeitsproblemen in P vorliegen und jedes andere Problem NP-vollständig ist. Alle Algorithmen, die ich für sie kenne, verwenden jedoch spezifische Techniken, die für diese Art von Problem einzigartig sind, z. B. die...
Problem: Um die des Problems "Packen von Quadraten (mit unterschiedlicher Seitenlänge) in ein Rechteck" zu beweisen , wird reduziert, wie in der folgenden Abbildung gezeigt.NP-CompletenessNP-Completeness\textsf{NP-Completeness}3-Partition3-Partition\textsf{3-Partition} In der Instanz gibt es...