Angesichts der jüngsten Ergebnisse von Arora, Barak und Steurer, Subexponentielle Algorithmen für einzigartige Spiele und verwandte Probleme , interessiere ich mich für Graphprobleme , die subexponentielle Zeitalgorithmen haben, aber als nicht polynomiell lösbar gelten. Ein bekanntes Beispiel ist die Graphisomorphie subexponentiellen Algorithmus hat 2O(n1/2logn)2O(n1/2logn)2^{O(n^{1/2} \log n)} Laufzeit. Ein weiteres Beispiel …
Es ist allgemein bekannt, dass jeder Beweis, der die P-gegen-NP- Frage löst , Relativierung , natürliche Beweise und Algebrierungsbarrieren überwinden muss. Das folgende Diagramm unterteilt den "Proof Space" in verschiedene Regionen. Beispielsweise entspricht der Menge von Beweisen, die relativieren und naturalisieren. (Geometric Complexity Theory) ist natürlich die rein äußere Region.G …
Stellen Sie sich das folgende Problem vor: Gibt es bei einer CNF-Formel und einer Zuweisung, die diese Formel erfüllt, eine andere zufriedenstellende Zuweisung für diese Formel? Wie komplex ist dieses Problem? (Es ist sicherlich in NP, aber ist es auch NP-schwer?) Was ist, wenn Sie die Aufgabe nicht erhalten und …
, ich verstehe, dass der Auffülltrick es uns ermöglicht, Komplexitätsklassen nach oben zu übersetzen - zum Beispiel . Das Auffüllen funktioniert, indem die Eingabe "aufgeblasen" und die Konvertierung ausgeführt wird (etwa von in P ). Dies ergibt einen "magischen" Algorithmus, den Sie für die aufgefüllte Eingabe ausführen können. Obwohl dies …
RP ist die Klasse von Problemen, die von einer nichtdeterministischen Turing-Maschine entschieden werden können, die in Polynomzeit endet, aber auch einseitige Fehler zulässt. P ist die übliche Klasse von Problemen, die von einer deterministischen Turing-Maschine entschieden werden kann, die in der Polynomzeit endet. P = RP ergibt sich aus einer …
Der Schnittpunkt zweier (minimaler) DFAs mit n Zuständen kann unter Verwendung von O (n 2 ) Zeit und Raum berechnet werden . Dies ist im Allgemeinen optimal, da der resultierende (minimale) DFA n 2 Zustände haben kann. Wenn der resultierende minimale DFA jedoch z-Zustände hat, wobei z = O (n), …
Natürlich können einige Komplexitätsergebnisse für unäre Sprachen zusammenbrechen, aber ich frage mich, ob es in diesem Fall eine Umfrage gibt, die die bekannten Ergebnisse zusammenfasst: eine Art Komplexitätszoo für unäre Sprachen. Wussten Sie von einer solchen Referenz?
Ich habe heute beim Spielen mit meinem GPS das folgende Problem formuliert. Hier ist es : Sei ein gerichteter Graph, so dass, wenn dann , dh eine Orientierung des zugrunde liegenden ungerichteten Graphen ist. Betrachten Sie die folgenden Operationen:e = ( u , v ) ≤ E ( v , …
Betrachten Sie diese Frage als gelöst. Ich werde nicht die beste Antwort auswählen, da sie alle zu meinem Verständnis des Themas beigetragen haben. Ich bin mir nicht sicher, welchen Nutzen es hat, die Semantik der Prädikatenlogik formal zu definieren. Aber ich sehe Wert darin, eine formale Beweisrechnung zu haben. Mein …
Ich glaube, ich habe zu viele ehrgeizige AdRR- Papiere gelesen . Das Problem ist, dass diese Artikel nicht von Experten begutachtet werden, sondern oft interessant klingen und grundlegende Plausibilitätsprüfungen bestehen. Oder vielleicht auch nicht, und ich muss nur meine Plausibilitätsprüfungen verbessern. Hier ist ein aktuelles Beispiel für solche Papiere: Einzigartigkeitsbäume: …
Ich weiß, dass es nicht zu entscheiden ist, ob ein Kachelsatz das Flugzeug kacheln kann, ein Ergebnis der Verwendung von Wang-Kacheln durch Berger . Meine Frage ist, ob es auch bekannt ist, unentscheidbar zu sein, um festzustellen, ob eine einzelne gegebene Fliese die Ebene, eine einflächige Kachelung , kacheln kann …
Ich bin auf eine verwirrende Meinungsverschiedenheit zwischen Agda und Coq gestoßen, die offensichtlich nicht mit den bekanntesten Unterscheidungen zwischen ihren Typentheorien zusammenhängt (z. B. (Im-) Prädikativität, Induktionsrekursion usw.). Insbesondere wird die folgende Definition von Agda akzeptiert: data Ty : Set0 -> Set0 where c1 : Ty ℕ c2 : Ty …
In seiner Antwort auf diese Frage , Stephane Gimenez wies mich auf eine Normalisierungsalgorithmus Polynom-Zeit für Beweise in linearer Logik. Der Proof in Girards Papier verwendet Proof-Netze, die ein Aspekt der linearen Logik sind, über den ich eigentlich nicht viel weiß. Jetzt habe ich bereits versucht, Aufsätze über Proof-Netze zu …
Es besteht der Ruf, dass wir in der Informatik keine populärwissenschaftlichen Bücher haben. Das stimmt natürlich nicht wirklich! (Im gleichen Sinne der Liste Welche Bücher sollte jeder lesen ? , Welche Zeitungen sollte jeder lesen ? , Welche Videos sollte jeder sehen? Und inspiriert von einem beliebten Mathematik-Lieblingsbuch ) Welche …
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.