Theoretische Informatik

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

6
Empirische Ergebnisse in CS-Papieren
Ich bin neu im CS-Bereich und habe festgestellt, dass es in vielen der von mir gelesenen Artikel keine empirischen Ergebnisse gibt (kein Code, nur Lemmata und Beweise). Warum das? Wenn man bedenkt, dass Informatik eine Wissenschaft ist, sollte sie nicht der wissenschaftlichen Methode folgen?
5
NEXP-vollständige Probleme
Es gibt Unmengen von NP-vollständigen Problemen und Quellen, die sie sammeln, z. B. das Buch von Garey und Johnson. Es würde mich interessieren, auch eine Liste von NEXP-vollständigen Problemen zu sehen. Gibt es eine zur Verfügung? Da ich davon ausgehe, dass dies nicht der Fall ist, öffne ich diese Frage …
3
Konsequenzen der Existenz eines stark polynomialen Algorithmus für die lineare Programmierung?
Eine der heiligen Seiten des Algorithmusdesigns ist das Auffinden eines stark polynomialen Algorithmus für die lineare Programmierung, dh eines Algorithmus, dessen Laufzeit durch ein Polynom in der Anzahl der Variablen und Nebenbedingungen begrenzt ist und von der Größe der Darstellung der Parameter unabhängig ist (vorausgesetzt, Stückkostenarithmetik). Hätte die Lösung dieser …
5
Was ist für Diagramme ohne Nebeneffekte einfach?
Die ungefähre Anzahl von Färbungen scheint bei Graphen ohne Nebeneffekte mit dem Algorithmus von Jung / Shah einfach zu sein . Was sind andere Beispiele für Probleme, die bei allgemeinen Diagrammen schwierig, bei geringfügig ausgeschlossenen Diagrammen jedoch einfach sind? Update 10/24 Es scheint Grohes Ergebnissen zu folgen, dass die FPT-Formel, …
3
Ist in ?
Ich dachte, ich würde diese Frage teilen, da sie für andere Benutzer hier interessant sein könnte. Nehmen wir an, dass eine Funktion, die zu einer einheitlichen Klasse gehört (wie ), auch zu einer kleinen ungleichmäßigen Klasse gehört (wie , dh ungleichmäßige ), bedeutet, dass die Funktion zu einer kleineren einheitlichen …
3
Ist diese Variante von TQBF noch PSPACE-vollständig?
Entscheiden, ob eine quantifizierte Boolesche Formel wie ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), Immer wahr zu bewerten ist ein klassisches PSPACE-vollständiges Problem. Dies kann als ein Spiel zwischen zwei Spielern mit abwechselnden Zügen angesehen werden. Der erste Spieler bestimmt den Wahrheitswert der ungeradzahligen Variablen …
1
Kann der Isomorphismus eines Graphen mit einem Quadratwurzel-Nichtdeterminismus bestimmt werden?
Der beschränkte Nicht-Determinismus assoziiert eine Funktion mit einer Klasse von Sprachen, die von ressourcenbeschränkten deterministischen Turing-Maschinen akzeptiert werden, um eine neue Klasse - . Diese Klasse besteht aus den Sprachen, die von einer nichtdeterministischen Turing-Maschine akzeptiert werden und dieselben Ressourcengrenzen wie für die Definition von einhalten , wobei jedoch höchstens …
1
Constraint-Zufriedenheitsproblem (CSP) vs. Erfüllbarkeitsmodulo-Theorie (SMT); mit einer Coda zur Constraint-Programmierung
Traut sich jemand zu klären, in welchem ​​Verhältnis diese Fachrichtungen zueinander stehen, oder gibt er vielleicht auf der Ebene der Probleme eine konkretere Antwort? Wie welche beinhaltet welche unter der Annahme einiger weithin akzeptierter Formulierungen. Wenn ich das richtig verstanden habe, betreten Sie beim Wechsel von SAT zu SMT im …
7
Liptons einflussreichste Ergebnisse
Richard J. Lipton wurde zum Gewinner des Knuth-Preises 2014 für die Einführung neuer Ideen und Techniken gewählt. Was sind für Sie die wichtigsten neuen Ideen und Techniken, die Lipton entwickelt hat? Hinweis. Diese Frage wird zum Community-Wiki. Bitte geben Sie eine Idee, Technik oder ein Ergebnis pro Antwort an.
30 big-list 
2
Betrunkene Vögel gegen betrunkene Ameisen: Zufällige Spaziergänge zwischen zwei und drei Dimensionen
Es ist bekannt, dass ein zufälliger Gang im zweidimensionalen Gitter mit Wahrscheinlichkeit 1 zum Ursprung zurückkehrt. Es ist auch bekannt, dass derselbe zufällige Gang in DREI Dimensionen eine Wahrscheinlichkeit aufweist, die genau unter 1 liegt, zum Ursprung zurückzukehren . Meine Frage ist: Gibt es etwas dazwischen? Angenommen, mein Raum ist …
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.