Gibt es Beispiele für praktische Anwendungen von Paritätsspielen, dh Systemen, in der realen Welt, die als Paritätsspiele dargestellt werden können? In der Regel gibt es in der zugehörigen Dokumentation zu Paritätsspielen kaum ein praktisches Beispiel für diese
Ich habe versucht, mich mit dem Was, Warum und Wie von Kalkulus zu beschäftigen, aber ich bin nicht in der Lage, mich mit "Warum funktioniert es?"λλ\lambda "Intuitiv" erhalte ich das Rechenmodell von Turing Machines (TM). Aber diese lgr; -Abstraktion lässt mich nur verwirrt.λλ\lambda Nehmen wir an,...
In dem Artikel "Über die Komplexität einiger Malvorlagen" gibt Bodlaender einige offene Fragen zur Komplexität der Entscheidung, ob Spieler 1 oder 2 in einigen Grafik-Malvorlagen eine Gewinnstrategie verfolgt. Weiß jemand, ob sie gelöst wurden? 1) In einem Spiel wählen zwei Spieler abwechselnd...
Die natürliche Beweisbarriere von Razborov und Rudich besagt, dass man unter glaubwürdigen kryptographischen Annahmen nicht hoffen kann, NP von P / poly zu trennen, indem man kombinatorische Eigenschaften von Funktionen findet, die konstruktiv, groß und nützlich sind. Es gibt mehrere bekannte...
Gibt es Algorithmen zum Neuordnen von Daten, um die Komprimierung zu optimieren? Ich verstehe, dass dies spezifisch für die Daten und den Komprimierungsalgorithmus ist, aber gibt es ein Wort für dieses Thema? Wo kann ich in diesem Bereich recherchieren? Insbesondere habe ich eine JSON-Liste mit 1,5...
Was sind Probleme mit den folgenden Eigenschaften: 1) Sie beschränken (möglicherweise bekannte) Probleme, die PSPACE-vollständig sind. 2) Die eingeschränkten Versionen sind in PSPACE, aber es ist ein offenes Problem, wenn sie PSPACE-vollständig sind (oder auch wenn sie NP-hart sind). Vier Beispiele...
Ich lese Umfragen von Trevisan und Lovett zu Anwendungen von additiven kombinatorischen in TCS. Die Mehrzahl dieser Anwendungen fällt unter Rechenaufwand , z. B. Untergrenzen. Ich frage mich, ob additive Kombinatorik auch im Algorithmus-Design Anwendung gefunden hat . Die Motivation für meine Frage...
Denken Sie an das Zell-Sonden-Modell. Gibt es eine Datenstruktur, die zusammenhängende Speicherblöcke beliebiger Länge (wie z. B. malloc in C) zuordnen und freigeben kann, wobei eine Speichersegmentierung vermieden wird, und die jede Operation in der ungünstigsten deterministischen O-Zeit (log n)...
Ich suche eine Liste über die bekannte oder unbekannte Komplexität verschiedener zahlentheoretischer / algebraischer Probleme. Beispielsweise, GCD in ist offen,NC1NC1NC^1 Factoring in ist offen,PPP Computing Sheaf Cohomology ist -hard#P#P\#P , Arora und Barak Zustand , dass eine Variante des...
Es ist bekannt, dass das Hinzufügen einer Randomisierung mit begrenzten Fehlern zu PSPACE keine zusätzliche Leistung bringt. Das heißt, BPPSAPCE = PSPACE. Es ist bekanntlich nicht bekannt , ob P = BPP, aber es ist bekannt , dass .BPP⊆Σ2∩Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Somit ist es...
Was sind einige (nicht bekannte) Behauptungen, dass der PH zusammenbrechen muss, wenn er wahr ist? Antworten, die eine kurze Aussage auf hoher Ebene mit Referenzen enthalten, sind willkommen. Ich habe versucht, ohne viel Glück rückwärts zu
Sei kkk fest und sei GGG ein (zusammenhängender) Graph. Wenn ich mich nicht irre, folgt aus der Arbeit von Bodlaender [1, Theorem 3.11], dass, wenn die Baumbreite von GGG ungefähr mindestens beträgt 2k32k32k^3, GGG einen Stern K1,kK1,kK_{1,k} als Moll enthält. Können wir den Term kleiner machen?...
P / P o l y = N P / p o l y N P ⊆ P / p o l yP/poly=NP/polyP/poly = NP/poly impliziert , was wiederum interessante Konsequenzen wie den Zusammenbruch der Polynomhierarchie hat.NP⊆P/polyNP \subseteq P/poly Gibt es interessante Implikationen für ?P / P o l y ≠ N P / p o l yP/poly≠NP/polyP/poly \neq...
Bei einem gegebenen Graphen müssen wir die Kardinalität der größten Menge von Scheitelpunkten finden, so dass jeder von ihnen in jeder maximal möglichen Übereinstimmung vorhanden ist.GGG Gibt es neben dem offensichtlichen eine Lösung, jeden Scheitelpunkt zu entfernen und die maximale...
1979 schrieben Hopcroft / Ullman , dass L ⊆ P ⊆ NP ⊆ PSpace bekannt ist, aber L ⊊ PSpace die einzig richtige (& triviale) bekannte Einschließung ist, obwohl alle als richtige Einschließungen vermutet werden und "wo die Dinge noch stehen" ~ 4 Jahrzehnte später . seitdem gibt es bekannte...
'Gegeben , gibt es , ' ist -vollständig.a , b , c ∈ Nein,b,c∈Na,b,c\in\Bbb Nx , y∈ Nx,y∈Nx,y\in\Bbb Na x2+ b y= ceinx2+by=cax^2+by=cN PNP\mathsf{NP} Zu welcher Komplexitätsklasse gehört 'Gegeben , gibt es , '?a , b , c ∈ Nein,b,c∈Na,b,c\in\Bbb Nx , y∈ Nx,y∈Nx,y\in\Bbb Na x2+ b y2=...
Die von -terms sei wie folgt definiert:λsizesizesizeλλ\lambda size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Die Komplexität eines λλ\lambda -terms ttt sei...
Die Karp-Reduktion ist eine polynomielle Zeitberechnungsreduktion um ein Vielfaches zwischen zwei Rechenproblemen. Viele Karp-Reduktionen sind eigentlich Ein-Eins-Funktionen. Dies wirft die Frage auf, ob jede Karp-Reduktion injektiv ist (Eins-Eins-Funktion). Gibt es ein natürliches -komplettes...
Ich frage mich, was passieren würde, wenn in der Definition von (Polynomialzeit - Hierarchie, siehe zB hier ), die Rolle von N P würde ersetzt durch R P ?PHPHPHNPNPNPR PRPRP Es scheint, könnten wir noch eine Hierarchie aufzubauen, die gleiche Art und Weise wie aufgebaut ist, nur mit R P überall...
Gegeben Verbund allgemeinen Zahlkörpersieb ist am besten bekannt Faktorisierung Algorithmus für ganzzahlige Faktorisierung von . Es ist ein randomisierter Algorithmus und wir erhalten eine erwartete Komplexität von um zu faktorisieren .N∈ NN∈NN\in\Bbb NNNNO ( e649√( logN)13(...