Ich suche ein einfaches und einführendes Papier zum Beweis von Courcelles Theorem . Ich interessiere mich auch für den Zusammenhang mit der parametrisierten Komplexität in Bezug auf die Baumbreite . Ich bin nur ein Anfänger auf diesem Gebiet. Irgendwelche
Ich habe Graphen und mit mit , die die Prüfung der wie z als No-Homomorphism Lemma. Gibt es kostenlose und benutzerfreundliche Tools zum Testen des Graphhomomorphismus von nach ?H k | V ( G k ) | = | V ( H k ) | 2 k = n 2 k k ≤ N G
Ich habe Probleme zu verstehen, warum es einfach ist, Zyklen mit negativem Gewicht zu erkennen (Bellman Ford), aber es ist schwierig, den maximalen Gewichtszyklus in einem ungerichteten Diagramm zu finden. Wenn wir das Gewicht jeder Kante negieren, können wir leicht feststellen, ob es Zyklen mit...
Kürzlich lese ich Artikel über Dichotomie . Ich verstehe nicht, welche Bedingung als Dichotomie bezeichnet werden kann ? Was bedeutet "eine Frage ist entweder in P oder in NP - vollständig "? (nehme P ≠≠\neq NP an ) Ich kenne zum Beispiel den Schäfer-Dichotomie-Satz, in dem eine Dichotomie darüber...
Ich lerne etwas über asymptotische Analysen und habe einige exotisch aussehende Komplexitäten gesehen, die zwischen anderen gemeinsamen leben. Zum Beispiel liegt "log log n" streng zwischen 1 und log n. Ich frage mich, ob man immer Komplexitäten zwischen zwei anderen finden kann. Speziell für alle...
Dies ist eine Aufgabe des Bundeswettbewerb Informatik, aber da die Frist abgelaufen ist, ist es kein Betrug, diese Frage zu stellen. Finden Sie bei einem , gerichteten Graphen und den Werten eine Teilmenge der Knoten V_ {res} \ subseteq V , die \ sum_ {v \ in V_ {res}} c_v maximiert, vorbehaltlich...
Wir wissen, dass P = NP NP = coNP impliziert. Gilt die umgekehrte Implikation? Bedeutet NP gleich coNP, dass P gleich NP ist? Wenn nicht, warum nicht? Ich habe gegoogelt, aber keine Antwort
Nach meiner heutigen Theorie der Berechnungstheorie kam mir die Frage in den Sinn: Wenn ein Problem mit einem endlichen Automaten gelöst werden kann, gehört dieses Problem zu P. Ich denke, es ist wahr, da Automaten sehr einfache Sprachen erkennen, würden alle diese Sprachen Polynomalgorithmen...
Vor kurzem habe ich mich mit einem Problem befasst, das mich zu folgenden Fragen geführt hat: Gibt es einen guten Algorithmus, um alle maximalen / perfekten Übereinstimmungen in einem allgemeinen Diagramm aufzulisten? Gibt es einen guten Algorithmus, um alle maximalen / perfekten Übereinstimmungen...
In einem Diagramm ist eine kantendominierende Menge eine Teilmenge D der Kanten, sodass sich jede Kante im Diagramm entweder in D befindet oder einen Endpunkt mit einer Kante in D teilt. Das Problem der minimalen kantendominierenden Menge besteht darin, eine kantendominierende Menge zu finden der...
Gibt es eine Klasse von NP-Problemen, die eine einzige Lösung haben? Ich frage das, denn als ich Kryptographie studierte, las ich über den Rucksack und fand die Idee sehr
Ein üblicher Ansatz, um zu entscheiden, ob zwei gegebene Graphen isomorph sind, besteht darin, die sogenannte kanonische Bezeichnung (alternativ kanonischer Graph) jedes Graphen zu berechnen und zu überprüfen, ob diese übereinstimmen oder nicht. Tools wie Nauty berechnen den kanonischen Graphen...
Ich habe versucht, online zu suchen, konnte aber keine endgültigen Aussagen finden. Es würde für mich Sinn machen, dass die Vereinigung und Kreuzung zweier NPC-Sprachen eine Sprache hervorbringen würde, die nicht unbedingt im NPC enthalten ist. Stimmt es auch, dass NPC-Sprachen nicht unter den...
Ich bin mir sicher, dass mit den folgenden Überlegungen etwas nicht stimmt, da sonst viele P- gegen NP-Untersuchungen eingeschränkt würden, aber ich kann meinen Fehler nicht feststellen: Für jede feste ganze Zahl definieren SieB k : = { ⟨ & phgr; ⟩ |k>0k>0k>0Bk:={⟨φ⟩|φis a wff of ZF and...
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...
Meine Frage lautet wie folgt. Angenommen, ist ein NP-hartes Problem. Ist es bei einer beliebigen Instanz I von Π und der Annahme, dass ein Gegner weiß, dass diese Instanz leicht zu lösen ist, möglich, einen deterministischen Polynom-Zeit-Algorithmus zu finden, um diese bestimmte Instanz I zu lösen...
Wir haben gerade letzte Woche unsere Lektion "Zeitkonstruierbarkeit" im Unterricht beendet und zum Beispiel gezeigt, dass vollständig zeitkonstruierbar sind, dh es gibt eine (deterministische Mehrband-Turing-Maschine), die für n gegeben ist, hält nach genau f ( n ) Schritten an und fragt nur, ob...
Ich wäre überrascht, wenn dies kein gut untersuchtes Problem wäre, aber ich bin mir nicht sicher, wonach ich an dieser Stelle noch suchen soll: Sie erhalten eine Menge binärer Vektoren . Das Problem besteht darin, eine andere Menge von binären Vektoren mit minimaler Größe, so dass jeder Vektor in...
So NPNPNP steht für Probleme , bei denen wir kleine nachprüfbaren Zeugen haben YESYESYES - Instanzen und coNPcoNPcoNP für kleine nachprüfbare Zeugen für NONONO - Instanzen. Wie funktioniert das? PNPPNPP^{NP} NPNPNPNPNP^{NP} coNPNPcoNPNPcoNP^{NP} und so weiter?
Ich bekomme n Objekte und eine Menge von n Permutationen dieser n Objekte (von n! Gesamtpermutationen). Es gibt eine echte zugrunde liegende Permutation, von der ich weiß, dass sie eine unter den n Permutationen ist, aber ich weiß nicht, welche. Ein Orakel kennt jedoch die wahre Permutation. Um die...