Coq, Agda und Idris haben eine unendliche Typhierarchie (Typ 1: Typ 2: Typ 3: ...). Aber warum nicht stattdessen λC, das System im Lambda-Würfel, das der Konstruktionsrechnung am nächsten kommt und nur zwei Sorten und und diese Regeln hat?∗∗*◽◽◽ ∅ ⊢ * : ◽∅⊢∗:◽\frac {} {∅ ⊢ * : ◽} Γ Γ T1: s1Γ...
Ich versuche, ein bestimmtes Problem zu lösen, und dachte, ich könnte es mithilfe der Automatentheorie lösen. Ich frage mich, welche Automatenmodelle haben eine Einschließung, die in der Polynomzeit entscheidbar ist? dh wenn Sie Maschinen , können Sie testen, ob effizient ist.M1, M2M1,M2M_1, M_2L (...
Viele schwierige Graphenprobleme sind in der Polynomzeit auf Graphen mit begrenzter Baumbreite lösbar . In der Tat verwenden Lehrbücher in der Regel beispielsweise einen unabhängigen Satz als Beispiel, was ein lokales Problem darstellt . Grob gesagt ist ein lokales Problem ein Problem, dessen...
Nun, der Titel sagt so ziemlich alles. Die interessante Frage oben wurde von Kommentator Jay in meinem Blog gestellt (siehe hier und hier ). Ich vermute beide, dass die Antwort ja ist und dass es einen relativ einfachen Beweis gibt, aber ich konnte es nicht ohne weiteres sehen. (In groben Zügen...
Ich würde gerne wissen, ob es Vermutungen gegeben hat, die in TCS seit langem nicht mehr bewiesen wurden und die später durch eine Implikation aus einem anderen Theorem bewiesen wurden, was möglicherweise einfacher zu beweisen war.
Die Treewidth spielt eine wichtige Rolle in FPT-Algorithmen, unter anderem, weil viele Probleme durch die Treewidth der FPT parametrisiert werden. Ein verwandter, eingeschränkterer Begriff ist der der Pfadbreite. Wenn ein Graph eine Pfadbreite , hat er auch eine Baumbreite von höchstens k , während...
Ich interessiere mich für das folgende Problem: Gibt es bei einer gegebenen Matrix von einen ungerichteten Graphen auf Eckpunkten, deren Adjazenzmatrix zum Quadrat dieser Matrix passt?n × nn×nn\times nnnn Ist die rechnerische Komplexität dieses Problems bekannt? Bemerkungen: Natürlich kann dies...
In der offiziellen Clay-Problembeschreibung für P versus NP heißt es, dass aus dem folgt, dass "jede Sprache in [die in exponentieller Zeit mit einer deterministischen Turing-Maschine erkennbare Klasse von Sprachen] von einer Booleschen Schaltkreisfamilie berechnet werden kann , so dass für...
Ich interessiere mich für das Erlernen von Zusammenhängen zwischen "Chaos" oder allgemein dynamischen Systemen und der Frage. Hier ist ein Beispiel für die Art von Literatur, die ich suche:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária und Zoltán Toroczkai. "Optimierungshärte als vorübergehendes Chaos in...
Es ist ein bekanntes Ergebnis, dass die Frage Erzeugt eine kontextfreie Grammatik eine reguläre Sprache? ist unentscheidbar. Es wird jedoch auf einem unären Alphabet entscheidbar, einfach weil in diesem Fall die Klassen der kontextfreien und regulären Sprachen zusammenfallen. Meine Frage ist zu...
Gibt es NP vollständige Probleme ohne unendliche Teilmenge von Fällen so , dass die Mitgliedschaft in in Polynomialzeit, und für alle entschieden werden , in Polynomialzeit gelöst werden? (Angenommen, )& Phi; x ∈ & Phi; x P ≠ N PΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhixxxP≠ NPP≠NPP \neq...
Gibt es ein laufendes Projekt, um die Theoreme und Beweise der Komplexitätstheorie mit einem Beweisassistenten wie Coq formal zu verifizieren? Gibt es dafür
Ich löse ein Problem, von dem behauptet wird, dass es an anderer Stelle NP-hart ist, etwa in der Zeitung [XYZ]. Die in [XYZ] angegebene NP-Härte ist kompliziert und verwendet fortschrittliche Techniken. Nach einigen Recherchen und Arbeiten ist es mir gelungen, die NP-Härte einfach und eindeutig...
Gibt es ein bekanntes, explizites Beispiel für einen Algorithmus mit der Eigenschaft, dass dieser Algorithmus , wenn nicht in Polynomzeit und wenn dann in Polynomzeit ausgeführt wird?P≠ NPP≠NPP\neq NPP=
Mir ist klar, dass dies eine umstrittene Frage sein könnte, aber dies schien der richtige Ort zu sein. Bitte leiten Sie mich weiter, wenn nicht. Der Hintergrund ist, dass ich ein "Praktiker" bin (Doktorand, ich studiere keine CS-Theorie), aber ich habe eine vernünftige Grundlage in...
Die Quantenberechnung ist ein aktives Forschungsgebiet, das darauf abzielt, die Quantenphysik (z. B. Quantenverschränkung) zu nutzen, um die Leistungsfähigkeit von Computern zu verbessern (ändert nichts an der These von Church-Turing ). Was sind die wichtigsten Experimente zur Demonstration der...
Angenommen, Sie erhalten einen zusammenhängenden, einfachen, ungerichteten Graphen H. Das H-freie Schnittproblem ist wie folgt definiert: Bei einem einfachen, ungerichteten Graphen G gibt es einen Schnitt (Aufteilung der Eckpunkte in zwei nicht leere Mengen, L, R), so dass die durch die...
Typischerweise haben effiziente Algorithmen eine polynomielle Laufzeit und einen exponentiell großen Lösungsraum. Dies bedeutet, dass das Problem in zweierlei Hinsicht einfach sein muss: Erstens kann das Problem in einer polynomiellen Anzahl von Schritten gelöst werden, und zweitens muss der...
Es ist bekannt, dass die Gruppe von Sprachen mit interaktiven Beweisen mit zwei Beweisen, in denen der Verifizierer in Polynomialzeit (MIP) läuft, NEXP ist. Aber gibt es Grenzen für die Macht solcher interaktiven Beweise, wenn die Macht der Prüfer eingeschränkt ist? Was ist beispielsweise die...
Die Glauberdynamik ist eine Markov-Kette auf den Färbungen eines Graphen, bei der bei jedem Schritt versucht wird, einen zufällig ausgewählten Scheitelpunkt mit einer zufälligen Farbe neu einzufärben. Für die 3-Farbtöne eines 5-Zyklus wird nicht gemischt: Es gibt 30 3-Farbtöne, von denen jedoch nur...