In vielen Bereichen gibt es kanonische Techniken, die jeder auf dem Gebiet beherrschen sollte. Zum Beispiel besteht der "Bit-Trick" für die Komposition bei der Reduzierung des Protokollbereichs darin, nicht die vollständige Ausgabe der zusammengesetzten Funktion zu konstruieren, sondern immer das...
Es gibt verschiedene Algorithmen, die in Polynomialzeit entscheiden, ob ein Graph in der Ebene gezeichnet werden kann oder nicht, sogar viele mit einer linearen Laufzeit. Ich konnte jedoch keinen sehr einfachen Algorithmus finden, den man im Unterricht leicht und schnell erklären und der zeigen...
Wie viel Rechenleistung kann eine C-Implementierung haben, wenn wir uns an das Buch halten (oder an eine andere Version der Sprachspezifikation, wenn Sie dies vorziehen)? Beachten Sie, dass „C-Implementierung“ eine technische Bedeutung hat: Es handelt sich um eine bestimmte Instanz der...
Als Nebenprojekt schreibe ich eine Sprache mit Python. Ich habe mit einem Flex / Bison-Klon namens Ply angefangen, stoße aber an die Grenzen dessen, was ich mit dieser Art von Grammatik ausdrücken kann, und ich bin nicht daran interessiert, meine Sprache zu zerhacken, weil die Impedanz nicht mit...
Das Schöne an der Entwicklung in einem Universum mit drei räumlichen Dimensionen ist, dass wir Problemlösungsfähigkeiten für Objekte im Raum entwickelt haben. So können wir uns zum Beispiel ein Triplett von Zahlen als einen Punkt in 3D vorstellen und daher eine Berechnung über Tripletts von Zahlen...
Die Klasse A bezeichne alle Graphen der Größe , die einen Hamilton-Zyklus haben. Es ist einfach, einen zufälligen Graphen aus dieser Klasse zu erstellen - n isolierte Knoten nehmen, einen zufälligen Hamilton-Zyklus hinzufügen und dann Kanten zufällig hinzufügen.nnnnnn Die Klasse B bezeichne alle...
Mich interessiert, warum natürliche Zahlen bei den Autoren von Büchern über Programmiersprachentheorie und Typentheorie so beliebt sind (z. B. J. Mitchell, Grundlagen für Programmiersprachen und B. Pierce, Typen und Programmiersprachen). Die Beschreibung des einfach getippten Lambda-Kalküls und...
Ich lerne gerade Haskell und Programmiersprachen. Könnte jemand ein paar Bücher über Typentheorie
Ich versuche, Notationen für große abzählbare Ordnungszahlen auf "natürliche Weise" zu erstellen. Mit "natürlich" meine ich, dass bei einem induktiven Datentyp X diese Gleichheit die übliche rekursive Gleichheit sein sollte (die gleiche, die deriving Eqin Haskell erzeugt würde) und die Reihenfolge...
Log-Space-Uniform NC ist im deterministischen Polylog-Space enthalten (manchmal geschriebenes PolyL). Gehört RNC auch zu dieser Klasse? Die standardmäßige randomisierte Version von PolyL sollte in PolyL vorliegen, aber ich sehe nicht, dass (einheitliche) RNC in randomisiertem PolyL vorliegt. Die...
In diesem Wikipedia-Artikel zu Turing Completeness heißt es: Der untypisierte Lambda-Kalkül ist vollständig, viele typisierte Lambda-Kalküle, einschließlich System F, jedoch nicht. Der Wert typisierter Systeme beruht auf ihrer Fähigkeit, die meisten typischen Computerprogramme darzustellen und...
Die Frage zu cstheory " Was ist NP auf Zeugen linearer Größe beschränkt? " Fragt nach der Klasse NP, die auf Zeugen linearer Größe , aberO(n)O(n)O(n) Gibt es natürliche NP-vollständige Probleme, bei denen (ja) Fälle der Größe Zeugen einer Größe größer als erfordern ?nnnnnn Natürlich können wir...
Angenommen, ich habe einen Satz "S" und ein monotonisches Prädikat "P" auf S. Ich möchte ein oder alle maximalen Elemente von S finden, die P erfüllen. EDIT : Ich bin daran interessiert, die Anzahl der Bewertungen von P zu minimieren . Welche Algorithmen gibt es für dieses Problem und welche...
Gibt es Spielzeugbeispiele, die "wesentliche" Einblicke in das Verständnis der drei bekannten Hindernisse für das P=NPP=NPP = NP Problem liefern - Relativierung, natürliche Beweise und
Zunächst entschuldige ich mich im Voraus für jede Dummheit. Ich bin kein Experte für Komplexitätstheorie (ganz im Gegenteil! Ich bin ein Student, der meinen ersten Kurs in Komplexitätstheorie belegt). Hier ist meine Frage. Nun besagt der Satz von Savitch, dass Nun bin ich gespannt, ob diese untere...
In seinem Buch Boolean Function Complexity erwähnt Stasys Jukna (Seite 564), dass Kolmogorov glaubte, dass jede Sprache in P Schaltkreise linearer Größe hat. Es wird keine Referenz erwähnt und ich konnte nichts online finden. Weiß jemand mehr
Edit : Wie Ravi Boppana in seiner Antwort richtig hervorhob und Scott Aaronson in seiner Antwort ein weiteres Beispiel hinzufügte , stellte sich heraus, dass die Antwort auf diese Frage auf eine Weise "Ja" war, die ich überhaupt nicht erwartet hatte. Zuerst dachte ich, dass sie die Frage, die ich...
Angenommen, ich wollte Turings Beweis für das Stopp-Problem formalisieren, damit eine Maschine ihn überprüfen kann. Einige der bekannten automatisierten Theoremprüfungssysteme umfassen Mizar, Coq und HOL4. Ich habe Coq heruntergeladen und experimentiert, aber es gibt keine Bibliothek für...
Ich habe ein zunehmendes Interesse an der Spektralgraphentheorie, was mich fasziniert, und ich habe angefangen, einige Dokumente zu sammeln, die ich noch nicht gründlicher gelesen habe als bisher. Ich bin jedoch neugierig auf eine Aussage, die in mehreren Quellen aufgetaucht ist (zum Beispiel dort...
Die ISGCI listet über 1100 Klassen von Graphen auf. Für viele von diesen wissen wir, ob INDEPENDENT SET in polynomialer Zeit entschieden werden kann; Diese werden manchmal als IS-easy-Klassen bezeichnet . Ich möchte eine Liste von maximal IS-easy Klassen zusammenstellen. Diese Klassen bilden...