Theoretische Informatik

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

9
Referenzen für TCS-Proof-Techniken
Gibt es Referenzen (online oder in Buchform), die TCS-Theoreme nach Beweisverfahren organisieren und diskutieren? Garey und Johnson tun dies für die verschiedenen Arten von Widget-Konstruktionen, die für NP-Vollständigkeits-Proofs benötigt werden (insbesondere in Kapitel 3 ihres Buches), aber ich frage mich, ob es etwas gibt, das die Proof-Techniken in TCS umfassender …
9
Was ist der Unterschied zwischen Nichtdeterminismus und Zufälligkeit?
Ich habe kürzlich folgendes gehört: "Eine nicht deterministische Maschine ist nicht dasselbe wie eine probabilistische Maschine. In groben Zügen ist eine nicht deterministische Maschine eine probabilistische Maschine, in der Wahrscheinlichkeiten für Übergänge nicht bekannt sind." Ich habe das Gefühl, dass ich verstanden habe, aber das tue ich wirklich nicht. Könnte …
4
Beispiele, bei denen die Eindeutigkeit der Lösung das Auffinden erleichtert
Die Komplexitätsklasse besteht aus denjenigen N P -Problemen, die von einer polynomiell zeitlich nicht deterministischen Turing-Maschine entschieden werden können, die höchstens einen akzeptierenden Rechenweg hat. Das heißt, die Lösung ist, wenn überhaupt, in diesem Sinne einzigartig . Es ist höchst unwahrscheinlich, dass alle U P -Probleme in P sind , …
5
Ergebnisse in Theoretischen CS unabhängig von ZFC
Ich werde eine ziemlich vage Frage stellen, da die Grenze zwischen theoretischer Informatik und Mathematik nicht immer leicht zu unterscheiden ist. FRAGE: Ist Ihnen ein interessantes Ergebnis in CS bekannt, das entweder unabhängig von ZFC (dh von der Standardsatztheorie) ist oder das ursprünglich in ZFC (+ ein anderes Axiom) und …
14
Wie praktisch ist die Automatentheorie?
Es gibt immer eine Möglichkeit zur Anwendung in Themen der theoretischen Informatik. Lehrbücher und Grundstudiengänge erklären jedoch in der Regel nicht, warum die Automatentheorie ein wichtiges Thema ist und ob sie in der Praxis noch Anwendung findet. Daher haben Studenten im Grundstudium möglicherweise Probleme, die Bedeutung der Automatentheorie zu verstehen, …
6
Geometrische Probleme, die in
Eine Reihe von geometrischen Problemen ist in einfach , in für jedoch NP-vollständig (einschließlich eines meiner Lieblingsprobleme, Einheitsplattenabdeckung).R d d ≥ 2R1R1R^1RdRdR^dd≥ 2d≥2d\geq2 Kennt jemand ein Problem, das für und R 2 polyzeitlösbar , für R d jedoch NP-vollständig ist , d ≥ 3 ? R1R1R^1R2R2R^2Rd, d≥ 3Rd,d≥3R^d,d\geq3 Gibt es …
4
Ist
Wir wissen, dass die erste Ebene der Polynomhierarchie (dh NP und co-NP) in PP liegt und dass . Aus Todas Theorem wissen wir auch, dass .P H ⊆ P P PPP⊆ PSPA CEPP⊆PSPACEPP \subseteq PSPACEPH⊆ PPPPH⊆PPPPH \subseteq P^{PP} Wissen wir, ob ? Wenn nicht, warum ist mit einem Orakel stärker …
5
Wann sollten Sie sagen, was Sie wissen?
Was sollten Sie tun, wenn Sie eine öffentlich gestellte Frage sehen, hier zum Stapelaustausch, auf die Sie die Antwort kennen, weil Sie sie im Rahmen eines aktuellen Forschungsprojekts prüfen? Zum Beispiel sehe ich eine TCS.SX-Frage, auf die ich die Antwort kenne, weil ich kürzlich an dem Problem gearbeitet habe. Ich …
7
Was wissen wir über nachweislich korrekte Programme?
Die ständig zunehmende Komplexität von Computerprogrammen und die immer wichtigere Position von Computern in unserer Gesellschaft lassen mich fragen, warum wir immer noch keine Programmiersprachen gemeinsam verwenden, in denen Sie einen formalen Nachweis erbringen müssen, dass Ihr Code ordnungsgemäß funktioniert. Ich glaube, der Begriff ist ein "zertifizierender Compiler" (ich habe …
3
Ist
Soweit ich weiß, versucht das Programm der geometrischen Komplexitätstheorie, zu trennen, indem es beweist, dass das Permament einer komplexwertigen Matrix viel schwerer zu berechnen ist als die Determinante.VP≠ VNPVP≠VNPVP \neq VNP Die Frage , die ich hatte , nachdem sie durch das GCT Paper Skimming: Würde dies sofort bedeuten , …
6
Raster
Update : Das Hindernisset (dh die NxM "Barriere" zwischen färbbaren und nicht färbbaren Rastergrößen) für alle einfarbigen, rechteckfreien 4-Farbtöne ist jetzt bekannt . Möchte jemand 5-Farben probieren? ;) Die folgende Frage ergibt sich aus der Ramsey-Theorie . Betrachten Sie eine Färbung des n- mal- m- Graphen. A ist immer dann …
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.