Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
Treewidth und das NL vs L Problem
Die ST-Konnektivität ist das Problem, zu bestimmen, ob in einem gerichteten Graphen ein gerichteter Pfad zwischen zwei getrennten Eckpunkten und . Ob dieses Problem im Logspace gelöst werden kann, ist ein seit langem offenes Problem. Dies nennt man das vs Problem.ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL Was ist die Komplexität von ST-Connectivity, wenn der zugrunde …
5
NEXP-vollständige Probleme
Es gibt Unmengen von NP-vollständigen Problemen und Quellen, die sie sammeln, z. B. das Buch von Garey und Johnson. Es würde mich interessieren, auch eine Liste von NEXP-vollständigen Problemen zu sehen. Gibt es eine zur Verfügung? Da ich davon ausgehe, dass dies nicht der Fall ist, öffne ich diese Frage …
3
Ist in ?
Ich dachte, ich würde diese Frage teilen, da sie für andere Benutzer hier interessant sein könnte. Nehmen wir an, dass eine Funktion, die zu einer einheitlichen Klasse gehört (wie ), auch zu einer kleinen ungleichmäßigen Klasse gehört (wie , dh ungleichmäßige ), bedeutet, dass die Funktion zu einer kleineren einheitlichen …
3
Ist diese Variante von TQBF noch PSPACE-vollständig?
Entscheiden, ob eine quantifizierte Boolesche Formel wie ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), Immer wahr zu bewerten ist ein klassisches PSPACE-vollständiges Problem. Dies kann als ein Spiel zwischen zwei Spielern mit abwechselnden Zügen angesehen werden. Der erste Spieler bestimmt den Wahrheitswert der ungeradzahligen Variablen …
1
Kann der Isomorphismus eines Graphen mit einem Quadratwurzel-Nichtdeterminismus bestimmt werden?
Der beschränkte Nicht-Determinismus assoziiert eine Funktion mit einer Klasse von Sprachen, die von ressourcenbeschränkten deterministischen Turing-Maschinen akzeptiert werden, um eine neue Klasse - . Diese Klasse besteht aus den Sprachen, die von einer nichtdeterministischen Turing-Maschine akzeptiert werden und dieselben Ressourcengrenzen wie für die Definition von einhalten , wobei jedoch höchstens …
7
Sollten wir
Viele Experten glauben, dass die Vermutung wahr ist, und verwenden sie für ihre Ergebnisse. Meine Sorge ist, dass die Komplexität stark von der P ≠ N P- Vermutung abhängt .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Meine Frage lautet also: Kann / sollte man die Vermutung, solange sie nicht bewiesen ist, als …
2
Hierarchien in NP (unter der Annahme, dass P! = NP)
Unter der Annahme, dass P! = NP ist, wurde meines Erachtens gezeigt, dass es Probleme gibt, die nicht in P und nicht in NP-Complete sind. Es wird vermutet, dass der Graphisomorphismus ein solches Problem darstellt. Gibt es Hinweise auf weitere solche "Schichten" in NP? dh eine Hierarchie von mehr als …
4
Unterstützt eine laute Version von Conways Lebensspiel universelle Berechnungen?
Wikipedia zitiert : "[Conways Spiel des Lebens] hat die Kraft einer universellen Turing-Maschine: Das heißt, alles, was algorithmisch berechnet werden kann, kann innerhalb von Conways Spiel des Lebens berechnet werden." Umfassen solche Ergebnisse auch laute Versionen von Conways Game of Life? Die einfachste Variante ist, dass nach jeder Runde jede …
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.