Tut NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}halten? Klar NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , aber es scheint mir, dass NP∩coNPNP∩coNP\mathsf{NP\cap coNP} "deterministisch" ist, was mich glauben lässt, dass dies wahr ist. Gibt es einen einfachen Beweis (oder vielleicht nur per Definition)?
Ein Hauptproblem bei TCS ist das Problem, eine bleibende Karte als Determinante auszudrücken. Ich habe Agrawals Artikel Determinant Versus Permanent gelesen und in einem Absatz behauptet er, das umgekehrte Problem sei einfach. Es ist leicht zu erkennen, dass die Determinante einer Matrix als die bleibende Zahl einer verwandten Matrix ausgedrückt …
Eine Grapheneigenschaft wird als erblich bezeichnet, wenn sie in Bezug auf das Löschen von Eckpunkten geschlossen wird (dh alle induzierten Untergraphen erben die Eigenschaft). Eine Grapheneigenschaft wird als additiv bezeichnet, wenn sie in Bezug auf disjunkte Gewerkschaften geschlossen ist. Es ist nicht schwer, Eigenschaften zu finden, die erblich, aber nicht …
Instanz: Ein ungerichteter Graph GGG mit zwei getrennten Eckpunkten s≠ts≠ts\neq t und einer ganzen Zahl k≥2k≥2k\geq 2 . Frage: Gibt es in G einen -s−ts−ts-t Pfad , so dass der Pfad höchstens k Eckpunkte berührt ? (Ein Scheitelpunkt wird vom Pfad berührt, wenn sich der Scheitelpunkt entweder auf dem Pfad …
Angenommen, P NP.≠≠\ne Ladners Theorem besagt, dass es NP-Zwischenprobleme gibt (Probleme in NP, die weder in P noch in NP-Complete vorliegen). Ich habe einige verschleierte Online-Referenzen gefunden, die darauf hindeuten (ich denke), dass es in NPI viele "Ebenen" gegenseitig reduzierbarer Sprachen gibt, die definitiv nicht alle in einer zusammenfallen. Ich …
Ich versuche zu verstehen, zu welcher Komplexitätsklasse das folgende Problem gehört: Exponentiating Polynomial Root Problem (EPRP) Sei ein Polynom mit deg ( p ) ≥ 0 mit Koeffizienten, die aus einem endlichen Feld G F ( q ) mit q einer Primzahl gezogen werden, und r eine Grundwurzel für dieses …
Ich habe kürzlich angefangen, viel über die Komplexität von Beweisen zu lesen und habe das, was ich gelesen habe, wirklich genossen. Ich würde wirklich gerne mehr darüber erfahren, aber es fällt mir zunächst schwer, ein gutes Anfängermaterial zu finden. Würde jemand in der Lage sein, einige Grundlagen zu empfehlen?
Zwischen jeder Ebene der Polynomhierarchie sind verschiedene Komplexitätsklassen enthalten, einschließlich ΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k und & ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . In Ermangelung einer besseren Terminologie werde ich diese und alle anderen Klassen als Zwischenklassen zwischen den Stufen iii und i+1i+1i+1 in der Polynomhierarchie bezeichnen. Für die Zwecke dieser Frage …
Restliche Automaten mit endlichen Zuständen (RFSAs, definiert in [DLT02]) sind NFAs, die einige nette Merkmale gemeinsam mit DFAs haben. Insbesondere gibt es immer einen kanonischen RFSA mit minimaler Größe für jede reguläre Sprache, und die Sprache, die von jedem Zustand im RFSA erkannt wird, ist genau wie in einem DFA …
Diese Frage wird durch diesen Beitrag motiviert: Können Sie die Summe von zwei Permutationen in der Polynomzeit identifizieren? und mein Interesse an rechnerischen Eigenschaften von Permutationen. Eine Differenzsequenz ein1, ein2, … Anein1,ein2,…einna_1, a_2, \ldots a_n einer Permutation ππ\pi der Zahlen 1 , 2 , … n + 11,2,…n+11, 2, \ldots …
Wissen wir, dass die -Hierarchie nicht zusammenbricht ( für alle d )?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Der Zoo-Eintrag für TC0TC0\mathsf{TC^0} erwähnt nur die Trennung zwischen Tiefe 2 und 3. Gibt es auch eine Standardreferenz für die Tatsache, dass die \ mathsf {AC ^ 0_d}AC0dACd0\mathsf{AC^0_d} -Hierarchie nicht zusammenbricht?
Welche Beziehung besteht zwischen P L SPLS\mathsf{PLS} und A P XEINPX\mathsf{APX} ? Mit anderen Worten, sind Probleme, die eine lokale Polynomsuche zulassen, annähernd möglich? Bedeuten approximierbare Optimierungsprobleme im Allgemeinen einen lokalen Suchalgorithmus?
Welche Komplexität besteht bei einem deterministischen Teilinformations-Nullsummenspiel mit nur endlich vielen Zuständen, deren mögliche Ergebnisse [Verlieren, Unentschieden, Gewinnen] mit Werten [-1,0, + 1] sind, in der Annäherung an den Wert solcher Zustände ein Spiel additiv innerhalb von ?ϵϵ\epsilon Insbesondere kann ich keinen Algorithmus dafür finden . Der Rest dieses Beitrags …
Eine geglättete Analyse wurde viele Male angewendet, um die Laufzeit exakter Algorithmen für viele Probleme wie lineare Programmierung und k-Mittelwerte zu verstehen. Es gibt ziemlich allgemeine Ergebnisse in diesem Bereich, zum Beispiel Heiko Röglin und Berthold Vöcking, Smoothed Analysis of Integer Programming , 2005. Einige dieser allgemeinen Ergebnisse scheinen auf …
Sudoku ist ein bekanntes Puzzle, das NP-vollständig ist. Binary Sudoku ist eine Variante, die nur die Zahlen und 1 zulässt . Die Regeln sind wie folgt.000111 Jede Zeile und jede Spalte muss eine gleiche Anzahl von Nullen und Einsen enthalten. Jede Zeile und jede Spalte ist einzigartig. Keine Zeile oder …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.