Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

3
Ein Rat an einen Selbstlerner mit rechnerischer Komplexität
Ich bin ein Mathematikstudent (ich werde sehr bald mein drittes Jahr beginnen). Ich versuche mir Rechenkomplexität beizubringen. Leider gibt es an meiner Universität keine Kurse zu diesem Thema und es gibt keine Spezialisten dafür (tatsächlich scheint es, dass meine Universität überhaupt keine Spezialisten für theoretische CS hat). Ich habe also …
1
Problem für die Klasse ALLER Sprachen abgeschlossen
ALLEALL\text{ALL} ist buchstäblich die Klasse ALLER Sprachen. Gibt es vollständige Probleme? Das heißt, gibt es Probleme, für die eine Lösung es einem ermöglichen würde, irgendein Problem zu lösen? Solche Probleme könnten vernünftigerweise als "die schwierigsten Probleme, abgesehen von keinem" angesehen werden.ALLEALL\text{ALL} Ein solches Problem scheint zu sein: Bei einem Problem …
2
Null-Wissens-Beweis: Abstraktes Beispiel
Also habe ich über ZKP auf Wikipedia gelesen , das abstrakte Beispiel in der Zusammenfassung sieht folgendermaßen aus: Peggy möchte Victor beweisen, dass sie das Geheimnis einer Tür in einer Höhle kennt, die A und B miteinander verbindet (siehe Abbildung), ohne Victor das geheime Wort preiszugeben. Peggy nimmt einen zufälligen …
2
Wie berechnen nichtdeterministische Turingmaschinen allgemeine Funktionsprobleme?
(Ich hoffe, das wurde vorher nicht gefragt, aber ich habe nichts gefunden.) Nach meinem Verständnis gilt der Nichtdeterminismus nur für Entscheidungsprobleme, da die Existenz eines akzeptierenden Pfades erforderlich ist . In Wikipedia wird die Klasse -easy als in deterministischer Poltime lösbar definiert, mit Zugriff auf ein Orakel für ein Entscheidungsproblem …
1
Wie kann man mit einem alten SAT-Solver einen neuen entdecken, wie in The Golden Ticket beschrieben?
In Lance Fortnows Buch The Golden Ticket erwähnt er, dass Sie einen Polynom-Zeit-Algorithmus für ein NP-vollständiges Problem verwenden können, um einen schnelleren Algorithmus zu finden. Können Sie mir sagen, wie das gemacht wird? Und wenn dies erledigt ist, können Sie den neuen Algorithmus verwenden, um eine noch schnellere ad infinitum …
2
Ein Ein-Satz-Beweis von P ⊆ NP
Kürzlich lese ich ein Dokument [1]. In diesem Dokument liefert Prof. Cook einen kurzen Beweis für , der nur ein Satz ist:P⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP} Es ist trivial zu zeigen, dass , da wir für jede Sprache über , wenn , die Polynom-Zeit-Überprüfungsrelation von für alle .P⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP}LLLΣΣ\SigmaL∈PL∈PL \in \mathbf{P}R⊆Σ∗∪Σ∗R⊆Σ∗∪Σ∗R …
2
Programme rückwärts ausführen
Ich habe nie einen Debugger verwendet, der ein Programm rückwärts ausführen kann, aber ich würde es gerne tun. Jetzt frage ich mich, ob es viele Beweise und Theorien zur rückwärts laufenden Programmierung gibt, wann und warum ein Programm rückwärts ausgeführt werden kann oder wann und warum nicht? Intuitiv finde ich, …
1
Warum wird festgestellt, ob es eine Lösung für ein Schlachtschiff-Puzzle NP-Complete gibt?
In diesem Artikel http://www.mountainvistasoft.com/docs/BattleshipsAsDecidabilityProblem.pdf heißt es, dass das Entscheidungsproblem "Gibt es bei einem bestimmten Rätsel eine Lösung?" ist NP-vollständig. Ich verstehe nicht, warum dies nicht in Polynomzeit möglich ist. Angesichts der Einschränkungen, dass keine zwei Schiffe orthogonal oder diagonal benachbart sein können, können Sie einfach ein Raster erstellen, in dem …
1
Gibt es andere Implementierungen der spinless tagless G-Maschine als in GHC?
Von Simon Peyton Jones (jüngstes Mitglied der Royal Society) haben wir das Papier gelesen: Implementierung fauler Funktionssprachen auf Standardhardware: die Spineless Tagless G-Machine . Dieses Papier ist Teil dessen, wie sie Haskell bei der Implementierung zu einer faulen Sprache gemacht und einige Probleme gelöst haben, die sie zu dieser Zeit …
7 compilers 
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.