Theoretische Informatik

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

1
Wurden diese Färbespiele gelöst?
In dem Artikel "Über die Komplexität einiger Malvorlagen" gibt Bodlaender einige offene Fragen zur Komplexität der Entscheidung, ob Spieler 1 oder 2 in einigen Grafik-Malvorlagen eine Gewinnstrategie verfolgt. Weiß jemand, ob sie gelöst wurden? 1) In einem Spiel wählen zwei Spieler abwechselnd einen Scheitelpunkt in einer Grafik aus und färben …
4
Probleme, von denen nicht bekannt ist, dass sie PSPACE-vollständig sind
Was sind Probleme mit den folgenden Eigenschaften: 1) Sie beschränken (möglicherweise bekannte) Probleme, die PSPACE-vollständig sind. 2) Die eingeschränkten Versionen sind in PSPACE, aber es ist ein offenes Problem, wenn sie PSPACE-vollständig sind (oder auch wenn sie NP-hart sind). Vier Beispiele aus "Puzzles & C.": Die Komplexität von 1x1 Rush …
2
Umfang der natürlichen Beweisbarriere
Die natürliche Beweisbarriere von Razborov und Rudich besagt, dass man unter glaubwürdigen kryptographischen Annahmen nicht hoffen kann, NP von P / poly zu trennen, indem man kombinatorische Eigenschaften von Funktionen findet, die konstruktiv, groß und nützlich sind. Es gibt mehrere bekannte Ergebnisse, die es schaffen, die Barriere zu umgehen. Es …
2
Wie genau erfasst die Lambda-Rechnung den intuitiven Begriff der Berechenbarkeit?
Ich habe versucht, mich mit dem Was, Warum und Wie von Kalkulus zu beschäftigen, aber ich bin nicht in der Lage, mich mit "Warum funktioniert es?"λλ\lambda "Intuitiv" erhalte ich das Rechenmodell von Turing Machines (TM). Aber diese lgr; -Abstraktion lässt mich nur verwirrt.λλ\lambda Nehmen wir an, TMs existieren nicht - …
1
Praktische Anwendungen von Paritätsspielen
Gibt es Beispiele für praktische Anwendungen von Paritätsspielen, dh Systemen, in der realen Welt, die als Paritätsspiele dargestellt werden können? In der Regel gibt es in der zugehörigen Dokumentation zu Paritätsspielen kaum ein praktisches Beispiel für diese Anwendung.
3
Verwendung von
Ich bin kein theoretischer Informatiker. Ich bin ein stabiler Homotopietheoretiker mit Kategorien. Ich habe Anwendungen der Kategorietheorie und der Topos-Theorie in der theoretischen Informatik gesehen und mich gefragt, ob man in der theoretischen Informatik ∞- Kategorien (und für mich bevorzugt die stabile Homotopietheorie) verwenden kann. Ich denke, HoTT könnte eine …
2
Gibt es knotentheoretische Formulierungen für NP-Gesamtprobleme?
Gibt es vollständige NP-Probleme (oder sogar NP-harte oder NP-Probleme), die gute topologische Eigenschaften aufweisen, die untersucht werden müssen? Haben NP-Probleme knotentheoretische Formulierungen? Wir wissen über # Ergebnisse über das Jones-Polynom Bescheid . Graphprobleme (Einbettungen?), Insbesondere Färbungen von Graphen, haben gute knotentheoretische Eigenschaften. Es ist eine offene Frage, und alle Referenzen …
1
Optimale randomisierte Vergleichssortierung
Wir alle kennen also die untere Grenze des Vergleichsbaums von Über die ungünstigste Anzahl von Vergleichen, die mit einem (deterministischen) Vergleichs-Sortieralgorithmus durchgeführt wurden. Dies gilt nicht für die randomisierte Vergleichssortierung (wenn wir die erwarteten Vergleiche für die Worst-Case-Eingabe messen). Zum Beispiel ist für n = 4 die deterministische Untergrenze fünf …
3
Eigenschaften, die in 2-CNF oder 2-SAT ausgedrückt werden können
Wie zeigt man, dass eine bestimmte Eigenschaft nicht in 2-CNF (2-SAT) ausgedrückt werden kann? Gibt es irgendwelche Spiele, wie zum Beispiel Kieselspiele? Das klassische Schwarzkieselspiel und das Schwarz-Weißkieselspiel scheinen dafür ungeeignet zu sein (laut Hertel und Pitassi, SIAM J of Computing, 2010, sind sie PSPACE-vollständig). Oder andere Techniken als Spiele? …
1
Vorhandensein langer induzierter Pfade in Expandergraphen
Angenommen, eine Graphenfamilie hat lange induzierte Pfade, wenn es eine Konstante , sodass jeder Graph in einen induzierten Pfad auf Ecken. Ich interessiere mich für Eigenschaften von Graphenfamilien, die die Existenz langer induzierter Pfade sicherstellen. Insbesondere frage ich mich derzeit, ob Expander mit konstantem Grad lange induzierte Wege haben. Hier …
1
Große Klassen, die LOGSPACE enthalten, für die strenge Einschlüsse nicht bekannt sind
Die Wikipedia-Seite auf PSPACE erwähnt, dass die Einbeziehung nicht als streng bekannt ist (leider ohne Verweise).NL⊂PHNL⊂PHNL\subset PH F1: Was ist mit und - sind diese bekanntermaßen streng?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} F2: Wenn nein, gibt es eine etablierte Klasse die und für die nicht bekannt ist, ob die Einbeziehung streng ist?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C …
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.