Als «complexity-theory» getaggte Fragen

Fragen zur (rechnerischen) Komplexität der Problemlösung

1
Zählen und Finden aller perfekten / maximalen Übereinstimmungen in allgemeinen Diagrammen
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 allgemeinen Diagramm zu finden? Sind …
1
Bedeutet NP = coNP P = NP?
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 gefunden.
4
Negativer Gewichtszyklus gegen maximalen Gewichtszyklus
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 einem Gesamtgewicht> 0 gibt. Es …
1
NEXP = Σ
Ist bekannt, ob die Implikation gilt?NEXP=Σ2⟹NEXP=MANEXP=Σ2⟹NEXP=MA\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} (Die Frage ist inspiriert von dem bekannten )NEXP⊆P/poly⇔NEXP=MANEXP⊆P/poly⇔NEXP=MA\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}
2
Bitte erläutern Sie "Entscheidbarkeit" und "Überprüfbarkeit".
Ich versuche (intuitiv) die beiden Begriffe "Entscheidbarkeit" und "Überprüfbarkeit" zu verstehen. Ich habe die verschiedenen Texte, die ich in die Hände bekommen kann, angemessen durchsucht und durchgesehen. Ihr intuitives Verständnis scheint mir jedoch zu entgehen, besonders für das zweite. Von den vielen gefundenen Definitionen hat mir die folgende auf dieser …
1
Finden Sie heraus, welche Scheitelpunkte aus dem Diagramm gelöscht werden sollen, um die kleinste größte Komponente zu erhalten
Wenn ein Graph G=(V,E)G=(V,E)G = (V, E) , finden Sie kkk Eckpunkte {v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} , deren Entfernung zu einem Graph mit der kleinsten größten Komponente führen würde. Ich nehme für große n=|V|n=|V|n = |V|und groß kkk das Problem schwierig (NP-hart), aber ich interessiere mich für kleine Werte von kkk ( k∈{1,2,3,4}k∈{1,2,3,4}k …
4
Funktioniert unser PC als Turingmaschine?
Funktioniert unser PC als Turingmaschine? Das Modell einer Turingmaschine besteht aus einem unendlichen Speicherband, was unendliche Zustände bedeutet. Angenommen, unser PC verfügt über 128 MB Speicher und 30 GB Festplatte, hat 256 ^ 30128000000 Zustände und somit endliche Zustände. Ich weiß, dass wir eine Art Programm schreiben können, das, wenn …
2
Warum verlangt man in Savitchs Theorem oft Raumkonstruierbarkeit?
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 )Ω(Log⁡n)\Omega(\log n) , was aus dem Beweis hervorgeht. …
1
Wie schwer ist eine Variante des Sudoku-Puzzles?
Sudoku ist ein bekanntes Puzzle, von dem bekannt ist, dass es NP-vollständig ist, und es ist ein Sonderfall eines allgemeineren Problems, das als lateinische Quadrate bekannt ist. Eine korrekte Lösung des Quadrats besteht darin, jede Zeile und jede Spalte mit Zahlen von 1 bis N zu füllen , unter der …
1
Beweisen oder widerlegen: BPP (0,90,0,95) = BPP
Ich würde wirklich gern Ihre Hilfe bei der Prüfung oder Widerlegung des folgenden Anspruchs: . In der rechnerischen Komplexitätstheorie ist BPP, das für probabilistische Polynomzeit mit begrenztem Fehler steht, die Klasse von Entscheidungsproblemen, die von einer probabilistischen Turing-Maschine in Polynomzeit mit einer Fehlerwahrscheinlichkeit von höchstens 1 lösbar sindB P.P.( 0,90 …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.