Hintergrund : Ich beende mein Masterstudium in Mathematik und werde im August in Logik promovieren. Je mehr Logik ich studiere, desto mehr theoretische Informatik ist mir ausgesetzt, z. B. Rekursionstheorie, Lambda-Kalkül, aber die zugrunde liegende CS wird unter den Teppich gekehrt. Meine...
Wie jeder weiß, ist SAT vollständig für in Polynom-Zeit-Viel-Eins-Reduktionen. Es ist immer noch vollständig, wenn viele Reduzierungen vorgenommen wurden.A C 0NPNP\mathsf{NP}A C0EINC0\mathsf{AC^0} Meine Frage ist, welche Mindesttiefe für die Reduzierungen erforderlich ist. Formeller, Was ist die am...
Ich lese den Anhang über ACC-Untergrenzen für NEXP in Aroras und Baraks Computational Complexity- Buch. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Eines der Schlüsselmotive ist eine Transformation von -Kreisen zu mehrlinearen Polynomen über die ganzen Zahlen mit...
Ich habe im Internet nachgeschlagen, aber ich konnte keine "große Liste" von Varianten des SAT-Problems finden. Abgesehen von den (gemeinsamen) SAT, k-SAT, MAX-kSAT, Halb-SAT, XOR-SAT, NAE-SAT Welche weiteren Varianten gibt es? (Auch ist es sehr nützlich, wenn dort Komplexitätsklassen angegeben...
Da ich aus der Physik komme, habe ich gelernt, viele Probleme unter geometrischen Gesichtspunkten zu untersuchen. Zum Beispiel die Differentialgeometrie von Mannigfaltigkeiten in dynamischen Systemen usw. Wenn ich die Grundlagen der Informatik lese, versuche ich immer, geometrische Interpretationen...
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen:...
Kann eine Standardmaschine mit zwei Zählern ( ) die folgenden Anweisungen ausführen:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT Entscheide dich für folgende Sprache:...
Durch die Erforschung probabilistischer grafischer Modelle hat sich die Glaubensausbreitung als sehr leistungsfähige Methode erwiesen. Ich weiß jedoch nichts über BP, das mit MCMC-Methoden vergleichbar ist, bei denen wir für # P-vollständige Probleme vollständig polynomielle randomisierte...
Mit einem Graphen möchte ich eine optimale r- Dominanz für G finden . Das heißt, ich möchte eine Teilmenge S von V, so dass alle Scheitelpunkte in G höchstens r von einem Scheitelpunkt in S entfernt sindG=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSS , während die Größe von minimiert wird .SSS Nach...
Das kritische Verhältnis von Klauseln zu Variablen für zufälliges 3-SAT ist mehr als 3 und weniger als 6 und scheint allgemein als "um 4,2" oder "um 4,25" beschrieben zu werden. Mezard, Parisi und Zecchina beweisen (im physikalischen Sinne), dass das kritische Verhältnis 4,256 beträgt, während der...
Das Problem mit dem längsten Pfad ist NP-schwer. Der (typische?) Beweis beruht auf einer Reduktion des Hamiltonschen Pfadproblems (das NP-vollständig ist). Beachten Sie, dass hier der Pfad als (knoten-) einfach angesehen wird. Das heißt, kein Scheitelpunkt kann mehr als einmal im Pfad auftreten....
Betrachten Sie die folgende Einstellung: Wir erhalten einen Stapel der Elemente enthält .nsssnnn Wir können eine konstante Anzahl von zusätzlichen Stapeln verwenden.O ( 1 )Ö(1)O(1) Wir können die folgenden Operationen auf diese Stapel anwenden: Überprüfen Sie, ob ein Stapel leer ist. Vergleichen...
Während von starken Normalisierungsbeweisen die Rede ist, kontrastiert dieser Kommentar das "Normalformmodell" mit "rein syntaktischen Methoden". Dies bringt mich zu einer grundlegenderen Frage zurück: Können wir syntaktische und semantische Konstruktionen angesichts syntaxbasierter Modelle immer...
In einem Kommentar in einem anderen cstheorySE-Post wird erwähnt, dass PSPACE-Vollständigkeit APX-Härte impliziert. Kann jemand bitte eine Referenz dafür erklären / teilen? Ist das "eng"? (dh gibt es PSPACE-vollständige Probleme, deren Optimierungsproblem eine konstante Faktorapproximation in...
Mir scheint, dass die meisten Komplexitätstheoretiker im Allgemeinen die folgende philosophische Regel glauben: Wenn wir nicht einen effizienten Algorithmus für Problem herauszufinden , können , und wir können Problem reduzieren zu Problem , dann gibt es wahrscheinlich keinen effizienten...
Ich möchte etwas über algebraische Algorithmen und Komplexität lernen. Insbesondere interessiere ich mich für PIT. Gibt es eine Reihe von Vorlesungsskripten, Büchern, Artikeln und Umfragen für Studenten, die ein Standardlehrbuch über Theorie wie Sipsers Buch oder das Komplexitätslehrbuch von...
Man kann von der Baumbreite einer Booleschen Schaltung sprechen , indem man sie als die Baumbreite des "moralisierten" Graphen auf Drähten (Eckpunkten) definiert, die wie folgt erhalten wird: Verbinde die Drähte aaa und bbb wenn bbb der Ausgang eines Gatters mit aaa als Eingang ist (oder und...
Eine nicht deterministische Xor-Automate (NXA) ist syntaktisch eine NFA, aber ein Wort wird von NXA akzeptiert, wenn es eine ungerade Anzahl von Akzeptanzpfaden aufweist (anstelle von mindestens einem Akzeptanzpfad im NFA-Fall). Es ist leicht zu erkennen, dass es für eine endliche reguläre Sprache...
Ich interessierte mich kürzlich für das allgemeine Problem der Optimierung der Speichernutzung in einer Situation, in der mehr als eine Art von Speicher verfügbar ist und es einen Kompromiss zwischen der Kapazität eines bestimmten Speichersegments und der Geschwindigkeit des Zugriffs darauf gibt....
Ich frage mich, ob es eine rechnerisch begrenzte Version des Nash-Gleichgewichtskonzepts gibt, etwa in der folgenden Richtung. Stellen Sie sich eine Art perfektes Zwei-Spieler-Informationsspiel vor, das auf einem Brett gespielt wird und in dem Sinne komplex ist, dass ein optimales Spiel...