Wenn , dann gibt es einen logspace Algorithmus , dass löst die Entscheidungsversion von 2-SAT ausgestattet .L = N LL=NL\mathsf{L = NL} Ist bekannt, dass impliziert, dass es einen Logspace-Algorithmus gibt, um eine zufriedenstellende Zuweisung zu erhalten , wenn eine zufriedenstellende 2-SAT-Instanz...
So hatte ich vor einiger Zeit zum ersten Mal jemanden, der mir sagte, dass call / cc Beweisobjekte für klassische Beweise durch Anwendung des Peirce-Gesetzes erlauben könnte. Ich habe in letzter Zeit ein wenig über das Thema nachgedacht und kann anscheinend keinen Fehler darin finden. Allerdings...
Ich bin Mathematiker und interessiere mich für Mengenlehre, Ordinaltheorie, unendliche Kombinatorik und allgemeine Topologie. Gibt es Bewerbungen für diese Fächer in der Informatik? Ich habe ein bisschen nachgesehen und (natürlich) viele Anwendungen für die Theorie der endlichen Graphen, die...
Diese Frage wurde bereits in der Informatik Stapel von Exchange geschrieben hier . Stellen Sie sich vor, Sie sind ein sehr erfolgreicher Reiseverkäufer mit Kunden im ganzen Land. Um den Versand zu beschleunigen, haben Sie eine Flotte von Einweg-Lieferdrohnen mit einer Reichweite von jeweils 50...
Angenommen, ein randomisierter Algorithmus verwendet Zufallsbits. Die niedrigste zu erwartende Fehlerwahrscheinlichkeit (die einem deterministischen Algorithmus mit Fehler 0 nicht entspricht) beträgt 2 - Ω ( r ) . Welche randomisierten Algorithmen erreichen eine so geringe
Angenommen, wir erhalten eine Menge von n booleschen Variablen x_1, ..., x_n und eine Menge von m Funktionen y_1 ... y_m, wobei jedes y_i das XOR einer (gegebenen) Teilmenge dieser Variablen ist. Das Ziel besteht darin, die minimale Anzahl von XOR-Operationen zu berechnen, die Sie ausführen müssen,...
Lassen Sie bezeichnen die Menge { 1 , . . . , n } und C (n, k) bezeichnen die Menge aller k- Kombinationen von Elementen aus [ n ] ohne Wiederholung. Sei p = p 1 p 2 . . . p k ist ein k- Tupel in C ( n , k ) . Wir sagen, dass eine Permutation π : [ n ] → [
Die Inspiration für diese Frage ist die folgende (vage) Frage: Was sind die programmiersprachlichen / logischen Grundlagen für eine KI, die über ihren eigenen Quellcode nachdenken und ihn modifizieren könnte? Das ist überhaupt nicht streng, also hier ist mein Versuch, eine konkrete Frage daraus zu...
Das Cycle-Problem ist wie folgt:kkk Instanz: Ein ungerichteter Graph mit Eckpunkten und bis zu Kanten.nGGGnnn(n2)(n2)n \choose 2 Frage: Gibt es in G ein (richtiges) Rad ?GkkkGGG Hintergrund: Für jedes feste kkk können wir 2k2k2k Zyklen in O (n ^ 2) lösen O(n2)O(n2)O(n^2). Raphael Yuster, Uri Zwick:...
In einfacher Form: Kann ein endlicher Zwei-Wege-Automat vvv Vertex-Graphen erkennen, die ein Dreieck mit o(v3)o(v3)o(v^3) -Zuständen enthalten? Einzelheiten Von Interesse sind hier vvv Vertex-Graphen, die unter Verwendung einer Folge von Kanten codiert sind, wobei jede Kante ein Paar von...
In der Schaltungskomplexität gibt es Trennungen zwischen den Leistungen verschiedener Schaltungsmodelle. In der Beweiskomplexität unterscheiden wir Potenzen verschiedener Beweissysteme. In der Algorithmik gibt es jedoch nur wenige Unterschiede zwischen den Potenzen algorithmischer Paradigmen ....
Was sind einige wichtige Beispiele für eine erfolgreiche Derandomisierung oder zumindest Fortschritte bei der Darstellung konkreter Belege für das Ziel (nicht die Härte-Zufalls-Verbindung)?P=BPPP=BPPP=BPP Das einzige Beispiel, das mir in den Sinn kommt, ist das Testen der deterministischen...
Die Frage: Angenommen, ich habe eine Spezifikation eines Problems, das aus Axiomen und einem Ziel besteht (dh das zugehörige Beweisproblem ist, ob das Ziel unter Berücksichtigung aller Axiome erfüllbar ist). Nehmen wir auch an, dass das Problem keine Inkonsistenzen / Widersprüche zwischen den...
Hintergrund: Bei zwei deterministischen endlichen Automaten A und B bilden wir das Produkt C, indem wir die Zustände in C das kartesische Produkt von Zuständen in A und Zuständen in B sein lassen C ist der Schnittpunkt der Sprachen für A und B. Fragen: (1) Können wir C durch B "teilen", um A zu...
Dies ist nicht unbedingt eine Forschungsfrage. Nur eine Frage aus Neugier: Ich versuche zu verstehen, ob man "irreduzible" Sprachen definieren kann. Als erste Vermutung nenne ich eine Sprache L "reduzierbar", wenn sie als mit A ∩ B = ∅ und | geschrieben werden kann A | , | B | > 1 , sonst die...
Ich bin ein Doktorand in Mathematik, und theoretische Informatik ist ein Bereich, von dem ich nie verstanden habe, worum es geht, weil ich keine gute Lektüre zu diesem Thema finden konnte. Ich möchte wissen, worum es in dieser Domain eigentlich geht, um welche Themen es sich handelt, welche...
2012 schrieb Lipton einen Blogeintrag über einen neuen Algorithmus zur Lösung linearer Systeme über endliche Felder von Prasad Raghavendra. Der Link zu Raghavendras Entwurf zu diesem Thema ist jetzt tot , und ich kann auf der Website von Raghavendra nichts zu diesem Thema finden. Ist das Ergebnis...
Wie kann man aus rein abstrakten mathematischen / rechnerischen Gesichtspunkten überhaupt Probleme wie 3 - SAT, Teilmenge Summe, Handlungsreisender usw. Entdecken oder über sie nachdenken? Wären wir überhaupt in der Lage, sie nur unter funktionalen Gesichtspunkten sinnvoll zu beurteilen? Wäre es...
Ich habe diese Frage vor 10 Tagen bei cs.stackexchange hier gestellt, aber ich hatte keine Antwort. In einem sehr bekannten Artikel (in der Netzwerkgemeinschaft) präsentieren Wang & Crowcroft einige -Vollständigkeitsergebnisse der Pfadberechnung unter verschiedenen additiven / multiplikativen...
Oder mit anderen Worten, haben wir das für jede Sprache und , oder ?EINAAA ≤ p B B ≤ p ABBBA ≤pBA≤pBA \leq_p BB ≤pEINB≤pAB \leq_p