Welche Art von Vermutungen und offenen Hauptproblemen sind in der algorithmischen Spieltheorie (oder der Spieltheorie im Allgemeinen in Bezug auf CS) am wichtigsten? Zum Beispiel wäre die Auflösung von NASH als PPAD-vollständig meines Erachtens die größte gewesen, bis sie aufgelöst wurde....
Betrachten Sie die einfach verknüpfte Liste in einer rein funktionalen Umgebung. Sein Lob wurde von den Berggipfeln gesungen und wird auch weiterhin gesungen. Hier werde ich auf eine seiner vielen Stärken und die Frage eingehen, wie sie auf die breitere Klasse rein funktionaler Sequenzen auf der...
Wie kann ich Coq davon überzeugen, dass die unten angegebene rekursive Funktion endet? Die Funktion akzeptiert zwei induktive Argumente. Intuitiv wird die Rekursion abgebrochen, weil eines der beiden Argumente zerlegt wird. Insbesondere nimmt die Funktion zwei Bäume als Eingabe. Inductive Tree := |...
Ich überarbeite ein kryptografisches Modell. Um seine Unzulänglichkeit zu demonstrieren, habe ich ein ausgedachtes Protokoll entwickelt, das auf Graphisomorphismus basiert. Es ist "alltäglich" (und doch umstritten!), Die Existenz von BPP-Algorithmen anzunehmen, die "harte Instanzen des...
Ich habe eine Implementierung des Kuhn-Munkres-Algorithmus für das zweigliedrige Problem der perfekten Anpassung mit minimalem Gewicht geschrieben, basierend auf Vorlesungsnotizen, die ich hier und da im Internet gefunden habe. Es funktioniert wirklich gut, auch auf Tausenden von Eckpunkten. Und...
Beantworten Sie bei zwei CNF die Frage mit "Ja", wenn sie die gleiche Anzahl von Aufgaben haben, um sie zu erfüllen, andernfalls mit "Nein". Es ist leicht zu erkennen, dass es sich um , da wir, wenn wir die genaue Anzahl der Lösungen für diese beiden CNF kennen, sie nur kampieren und mit "Ja" oder...
Wir wissen, dass Kargers Mincut-Algorithmus verwendet werden kann, um (auf nicht konstruktive Weise) zu beweisen, dass die maximale Anzahl möglicher Mincuts, die ein Graph haben kann, .( n2)(n2)n \choose 2 Ich habe mich gefragt, ob wir diese Identität irgendwie beweisen können, indem wir einen...
1) Ist es möglich, eine sparsame Reduktion von einem # P-vollständigen Problem #A zu einem Zählproblem #B zu haben, wenn (die Entscheidungsversion) A NP-vollständig ist und das B in P ist? Kann es zum Beispiel eine sparsame Reduktion von #SAT auf #B geben, wenn B in P ist? 2) Wenn B in P ist,...
Wendet sich jemand an ein Dokument, in dem ein Schnitteliminationssatz für die aussagenbezogene intuitionistische Logik beschrieben wird, einschließlich eines induktiven Datentyps wie der natürlichen Zahlen (Listen oder Bäume wären auch in Ordnung)? Ein Beispiel für die Art von System in mich...
Der ungarische Algorithmus ist ein kombinatorischer Optimierungsalgorithmus, der das Problem der bipartiten Anpassung mit maximalem Gewicht in der Polynomzeit löst und die spätere Entwicklung der wichtigen Primal-Dual-Methode vorwegnimmt . Der Algorithmus wurde 1955 von Harold Kuhn entwickelt und...
Angenommen, ich habe einen großen Codeblock, den ich bereits lexiert und analysiert habe. Angenommen, nur ein Zeichen ändert sich. Ich möchte mein Parsing aktualisieren, aber da die Änderung im Vergleich zum Ganzen sehr gering ist, möchte ich wissen, ob es möglich ist, das Ganze nicht noch einmal...
Das ist ein Name, den ich mir für dieses Problem ausgedacht habe. Ich habe es noch nirgends zuvor beschrieben gesehen. Ich habe noch keinen Beweis für die NP-Vollständigkeit oder einen polynomialen Zeitalgorithmus für dieses Problem finden können. Es ist kein Problem mit den Hausaufgaben - es hängt...
Ich untersuche die Idee, ein DBMS rein funktional zu schreiben. Die traditionelle Datenstruktur für die Indizierung ist B-Tree. Ich möchte eine rein funktionale Entsprechung von B-Tree kennen, die optimiert werden könnte, um den Festplattenzugriff zu minimieren. Vielen
Betrachten Sie eine Sprache so, dass:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) und so das L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Mit anderen Worten, die...
Wie gut wurde das folgende Problem in TCS untersucht? (Ich entschuldige mich, wenn das Problem vage klingt!) Bei einem Modell der Berechnung MC (Turing - Maschine, Cellular Automata, Kolmogorov-Uspenskii Maschine ... etc.) und ein Modell von Lärm , der die Berechnung von MC beeinflussen könnte, ist...
Sei eine CNF-Formel mit Variablen und Sätzen. Es sei eine Variablenzuordnung und die Anzahl von Klauseln, die durch eine Variablenzuordnung zu erfüllt sind. . Definieren Sie dann Median-SAT als das Problem der Berechnung des Medianwerts von über alle . Wenn beispielsweise eine Tautologie ist,...
Man betrachte das # P-vollständige Problem des Zählens der Anzahl der Scheitelpunktabdeckungen eines gegebenen Graphen .G=(V,E)G=(V,E)G = (V, E) Ich würde gerne wissen, ob es ein Ergebnis gibt, das zeigt, wie die Härte eines solchen Problems mit einem Parameter von variiert (zum Beispiel...
Betrachten Sie die folgende natürliche Frage: Was ist bei einer endlichen Sprache die kleinste kontextfreie Grammatik, die L erzeugt ?LLLLLL Wir können die Frage interessanter machen, indem wir eine Folge von Sprachen , zum Beispiel L n ist die Menge aller Permutationen von { 1 , … , n } : Intuitiv...
Sind Ergebnisse bekannt, die das Vorhandensein von "Too Good To Be True" -Datenstrukturen ausschließen? Beispiel: Kann man einer Auftragsverwaltungsdatenstruktur (siehe Dietz und Sleator STOC '87 ) die Funktionen und J o i n hinzufügen und trotzdem O ( 1 ) -Zeitoperationen erhalten...
Ich habe diese Frage bereits beim Stackoverflow gestellt , aber vielleicht ist sie besser für diese Site geeignet. Das Problem ist: Ich habe N Paare von vorzeichenlosen ganzen Zahlen. Ich muss sie sortieren. Der Endvektor von Paaren sollte nicht absteigend nach der ersten Zahl in jedem Paar und...