Parity-P ist die Menge von Sprachen, die von einer nicht-deterministischen Turing-Maschine erkannt werden und die nur zwischen einer geraden oder ungeraden Anzahl von "Akzeptanz" -Pfaden unterscheiden kann (anstelle einer Null- oder einer Nicht-Null-Anzahl von Akzeptanzpfaden). So Parity-P ist im Grunde PP ‚s verkrüppelte jüngere Geschwister: während PP zählt , ob …
Ein Switch-Netzwerk (der Name wird erfunden) besteht aus drei Arten von Knoten: ein Startknoten ein Endknoten ein oder mehrere Vermittlungsknoten Der Vermittlungsknoten hat 3 Ausgänge: Links, Oben, Rechts; hat zwei Zustände L und R und einen Zielzustand TL oder TR . Jeder Schalter kann mit den folgenden Regeln durchlaufen werden: …
Sei 0 ≤ p ≤ 10≤p≤10\le p\le 1 und betrachte das Entscheidungsproblem CLIQUE p Input: Ganzzahl s , Graph G mit t Eckpunkten und Kanten Frage: hat enthält eine Clique auf mindestens Vertices?pp_p sssGGGtttGs⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Eine Instanz von CLIQUE enthält einen Anteil aller möglichen …
Ich habe gelesen, dass die ganzzahlige lineare Programmierung in Polynom-Zeit lösbar ist, wenn die Anzahl der Variablen fest ist, dh n ∈ O ( 1 ) . Wenn die Anzahl der Variablen logarithmisch ansteigt, dh n ∈ O ( log 2 ( N ) ) für eine gegebene Eingabe der …
Wie kann man aus rein abstrakten mathematischen / rechnerischen Gesichtspunkten überhaupt Probleme wie 3 - SAT, Teilmenge Summe, Handlungsreisender usw. Entdecken oder über sie nachdenken? Wären wir überhaupt in der Lage, sie nur unter funktionalen Gesichtspunkten sinnvoll zu beurteilen? Wäre es überhaupt möglich? Ich habe diese Frage nur von einem …
FewP ist die Klasse der NPNPNP -Probleme, bei denen das Polynom an die Anzahl der Lösungen (in der Eingabegröße) gebunden ist. Es ist kein NPNPNP -vollständiges Problem in fewPfewPfewP . Mich interessiert, wie weit wir diese Beobachtung ausdehnen können. Gibt es ein natürliches NPNPNP -vollständiges Problem mit quasi-polynomieller Obergrenze für …
Gibt es , eine NP- oder P-vollständige Sprache mit einer Familie von SymmetriegruppenLLLGnGnG_n (oder Gruppoid , aber dann die algorithmischen Fragen offener worden) wirken (in Polynomialzeit) auf Mengen so, dass es nur wenige Umlaufbahnen gibt, dh so, dass | L n / G n | < n c für groß …
In einem Kommentar in einem anderen cstheorySE-Post wird erwähnt, dass PSPACE-Vollständigkeit APX-Härte impliziert. Kann jemand bitte eine Referenz dafür erklären / teilen? Ist das "eng"? (dh gibt es PSPACE-vollständige Probleme, deren Optimierungsproblem eine konstante Faktorapproximation in Polyzeit zulässt?) Was ist mit der Vollständigkeit für ein bestimmtes PH-Niveau? Bedeutet dies eine …
Der Satz von Rice besagt, dass jede nichttriviale Eigenschaft der Menge, die von einer Turing-Maschine erkannt wird, unentscheidbar ist. Ich suche nach einem komplexitätstheoretischen Satz vom Typ Reis, der uns sagt, welche nichttrivialen Eigenschaften von NP-Mengen nicht zu handhaben sind.
Hier ist das Problem: Wir haben ein Quadrat mit Zahlen von 1..N in einigen Zellen. Es ist erforderlich, um festzustellen, ob es zu einem magischen Quadrat vervollständigt werden kann. Beispiele: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 …
Die Frage kam mir, als ich von Dana Moshkovitz eine Antwort auf ein anderes Thema erhielt . Sei eine NP- Sprache und sei die jeweilige NP- Beziehung. Wir wissen, dass es ein Polynom so dass:LLLRLRLR_Lppp ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} \quad (x,w) \in R_L Die obige …
In diesem Skript von Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf heißt es, dass wir nicht wissen, ob der euklidische TSP im NP ist: Der Grund dafür ist, dass wir nicht wissen, wie man Quadratwurzeln effizient berechnet. Auf der anderen Seite gibt es dieses Papier von Papadimitriou: http://www.sciencedirect.com/science/article/pii/0304397577900123, das besagt, dass es NP-vollständig ist, …
Gibt es vollständige NP-Probleme (oder sogar NP-harte oder NP-Probleme), die gute topologische Eigenschaften aufweisen, die untersucht werden müssen? Haben NP-Probleme knotentheoretische Formulierungen? Wir wissen über # Ergebnisse über das Jones-Polynom Bescheid . Graphprobleme (Einbettungen?), Insbesondere Färbungen von Graphen, haben gute knotentheoretische Eigenschaften. Es ist eine offene Frage, und alle Referenzen …
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 …
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 …
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.