Bei dieser Frage geht es um Probleme, bei denen eine große Lücke in Bezug auf die Komplexität zwischen der bekannten Untergrenze und der Obergrenze besteht, jedoch nicht aufgrund offener Probleme in Bezug auf die Komplexitätsklassen. Um genauer zu sein, nehmen wir an, ein Problem hat die...
Definieren Sie LOGLOG als die Klasse von Sprachen, die von einer deterministischen Turing-Maschine (mit bidirektionalem Zugriff auf die Eingabe) in Raum O (loglog n) berechnet werden können. Definieren Sie NLOGLOG auf ähnliche Weise als die Klasse von Sprachen, die von einer nicht deterministischen...
Es ist unmöglich, eine Programmiersprache zu schreiben, die alle Maschinen zulässt, die an allen Eingaben anhalten, und keine anderen. Es scheint jedoch einfach zu sein, eine solche Programmiersprache für jede Standardkomplexitätsklasse zu definieren. Insbesondere können wir eine Sprache...
Es gibt oft zitierte philosophische Rechtfertigungen für die Annahme, dass P! = NP auch ohne Beweise ist. Andere Komplexitätsklassen weisen auf ihre Unterscheidbarkeit hin, da sich sonst "überraschende" Konsequenzen ergeben würden (wie der Zusammenbruch der Polynomhierarchie). Meine Frage ist, was...
Im Jahr 1995 schlug Russell Impagliazzo fünf komplexe Welten vor: 1- Algorithmus: mit all den erstaunlichen Konsequenzen.P= NPP=NPP=NP 2- Heuristica: vollständige Probleme sind im schlimmsten Fall ( ) schwierig, aber im Durchschnitt effizient lösbar.P ≠ N PNPNPNPP≠ NPP≠NPP \ne NP 3- Pessiland: Es...
In dieser Frage bedeutet eine 3CNF-Formel eine CNF-Formel, bei der jede Klausel genau drei verschiedene Variablen enthält. Für eine Konstante 0 < s <1 ist Gap-3SAT s das folgende Versprechungsproblem: Gap-3SAT s Instanz : Eine 3CNF-Formel φ. Ja-Versprechen : φ ist erfüllbar. No-Versprechen :...
In der Arbeit The Random Oracle Hypothesis Is False diskutieren die Autoren (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan und Rohatgi) die Auswirkungen der Zufalls-Orakel-Hypothese . Sie argumentieren, dass wir nur sehr wenig über die Trennung von Komplexitätsklassen wissen und die meisten...
Als TCS-Amateur lese ich populäres, sehr einführendes Material zum Thema Quantencomputing. Hier sind die wenigen grundlegenden Informationen, die ich bisher gelernt habe: Es ist nicht bekannt, dass Quantencomputer NP-vollständige Probleme in der Polynomzeit lösen. "Quantenmagie wird nicht genug...
Die Antwort auf diese Frage interessierte mich (und interessiert mich immer noch) sehr, da dies eine interessante Variante der Komplexität von Spielen ist, die noch nicht gelöst wurde. Deshalb bot ich ein Kopfgeld an. Ich dachte, die ursprüngliche Frage sei sehr wahrscheinlich zu schwer, also habe...
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...
Lassen L = { n : die n t h Binärziffer von π ist 1 }L = { n : das nt h Binärziffer von π ist 1 }L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (wobei n als binär codiert angesehen wird). Was können wir dann über die rechnerische Komplexität von L sagen ? Es ist klar...
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...
In diesem Gastbeitrag von Josh Grochow im Weblog zu Komplexität berichtet er über einen kürzlich in Princeton im Juli abgehaltenen Workshop zum Thema GCT. Einige der Teilnehmer argumentierten, dass wir GCT verwenden sollten, um leichtere Probleme als vs. N P anzugreifen , um Intuition aufzubauen...
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...
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...
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...
Wenn wir uns den DTIME-Hierarchiesatz ansehen, haben wir ein Protokoll, das auf den Mehraufwand bei der Simulation einer deterministischen Turing-Maschine durch eine Universalmaschine zurückzuführen ist: DTIME(flogf)⊊DTIME(f)DTIME(flogf)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Wir...
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...
Definiere - als die Klasse der Sprachen so dass es eine Sprache und für unendlich viele , und stimme in allen Fällen der Länge . (Das heißt, dies ist die Klasse von Sprachen, die "unendlich oft in subexponentieller Zeit gelöst werden kann".)i o S U B E X P L L ' ∈ ∩ ε > 0 T I M E ( 2 n ε ) n...
Ich möchte einen polynomiellen Zeitalgorithmus finden, der bestimmt, ob die Spanne einer gegebenen Menge von Matrizen eine Permutationsmatrix enthält. Wenn jemand weiß, ob dieses Problem von einer anderen Komplexitätsklasse ist, wäre das genauso hilfreich. EDIT: Ich habe diese Frage mit Linear...