Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

3
Kolmogorov-Komplexitätsanwendungen in der Zahlentheorie
Was sind die Anwendungen der Kolmogorov-Komplexität in der Zahlentheorie und auf beweisbezogenen Gebieten? (Die Monographie von Li & Vitanyi hat nicht viele Anwendungen im Zusammenhang mit der Zahlentheorie.) Einer der schönen Beweise, auf die ich gestoßen bin, ist der Beweis für die Existenz einer unendlichen Anzahl von Primzahlen unter Verwendung …
4
Gibt es eine Verallgemeinerung des GO-Spiels, von dem bekannt ist, dass es Turing vollständig ist?
Gibt es eine Verallgemeinerung des GO-Spiels, von dem bekannt ist, dass es Turing vollständig ist? Wenn nein, haben Sie einige Vorschläge zu vernünftigen (Verallgemeinerungs-) Regeln, mit denen versucht werden kann, zu beweisen, dass Turing vollständig ist? Das Offensichtliche ist, dass das Spiel auf einem unendlichen Brett (positiver Quadrant) gespielt werden …
2
Komplexität des SAT-Problems?
Definieren Sie das SAT-Problem: Gegeben sei , eine erfüllbare 3-CNF-Formel, und , eine 2-CNF-Formel ( und sind für dieselben Variablen definiert). Ist erfüllbar?(3,2)s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 Was ist die Komplexität dieses Problems? (Wurde es schon einmal untersucht?)
1
Dichte von Ramsey-Graphen
Angenommen, wir haben einen Graphen mit n Eckpunkten, der weder eine Clique der Größe 3 log ( n ) noch einen unabhängigen Satz der Größe 3 log ( n ) enthält (zum Beispielerfüllt G ( n , 0,5 ) diese Eigenschaft mit hoher Wahrscheinlichkeit). Stimmt esdass die Anzahl der Kanten …
4
Was sind einige effiziente Algorithmen, um festzustellen, ob ein quadratisches multivariates Polynom eine Lösung hat?
Ich weiß, dass die multivariate Polynom-Erfüllbarkeit im Allgemeinen 3-SAT entspricht; Ich frage mich jedoch, ob es im quadratischen Fall gute Techniken gibt, insbesondere, ob es eine polynomielle Zeitlösung gibt. Ich denke, die allgemeinere Frage wäre, gibt es Klassen multivariater Polynome, für die das Erfüllbarkeitsproblem effizient lösbar ist?
3
Entscheidungsprobleme gegen Funktionen
Die Komplexitätstheorie scheint eher auf Entscheidungsproblemen als auf Funktionen zu beruhen. Wer hat dies zuerst eingeführt und was ist der Grund für diese Wahl? Zum Beispiel wird Edmonds 'Papier "Pfade, Bäume und Blumen" im Allgemeinen als Quelle des Begriffs " der die Menge der "nachvollziehbaren" Probleme darstellt, und dies ist …
1
Gibt es natürliche Verallgemeinerungen von P gegenüber NP?
Akzeptierte Antwort Scott Aaronsons Antwort wurde "akzeptiert" (hauptsächlich, weil es die einzige Antwort ist!) Zusammenfassung der Antwort in einem Satz Plausibel natürliche Verallgemeinerungen der Frage P gegen NP sind offensichtlich nicht einfacher zu lösen als P gegen NP selbst. Ein Hindernis für eine allgemeine Antwort Die ursprüngliche Frage ging davon …
1
Wie verwende ich die kanonische Reihenfolge, um die Symmetrie bei der SAT-Codierung des Pigeonhole-Problems zu verringern?
In der Arbeit "Effiziente CNF-Codierung zur Auswahl von 1 aus N Objekten" stellen die Autoren ihre "Commander Variable" -Technik zur Codierung der Einschränkung vor und sprechen dann über das Pigeonhole-Problem. Da mein Fehler möglicherweise im Verständnis auf niedrigerer Ebene besteht, möchte ich erklären, was ich zu wissen glaube, bevor ich …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.