Theoretische Informatik

2

Ich habe mich gefragt, ob die JSON- Spezifikation eine reguläre Sprache definiert. Es scheint einfach genug, aber ich bin nicht sicher, wie ich es selbst beweisen soll. Der Grund, den ich frage, ist, dass ich mich gefragt habe, ob man reguläre Ausdrücke verwenden kann, um JSON effektiv zu analysieren. Könnte …

19 fl.formal-languages regular-expressions regular-language

3

Gibt es ein Quantenäquivalent zum Zeithierarchiesatz?

Mein Lieblingssatz in der Komplexitätstheorie ist der Zeithierarchiesatz. Dies geschah jedoch 1965. Ich wollte dann wissen, ob es etwas Ähnliches für Quantum Computing gibt. Wenn nicht, welche Personen / Gruppen arbeiten in dieser Richtung?

19 cc.complexity-theory quantum-computing

2

Was ist die Raumkomplexität bei der Berechnung von Eigenwerten?

Ich bin auf der Suche nach einem Übersichtsartikel oder einem Buch, das Ergebnisse über die Raumkomplexität gängiger linearer Algebraoperationen wie Matrixrang, Eigenwertberechnung usw. enthält ist einfacher, Zeitergebnisse zu verfolgen. Ich schätze jeden Hinweis in der Sache. Vielen Dank.

19 linear-algebra space-complexity

1

Algorithmus, dessen Laufzeit von P vs. NP abhängt

Gibt es ein bekanntes, explizites Beispiel für einen Algorithmus mit der Eigenschaft, dass dieser Algorithmus , wenn nicht in Polynomzeit und wenn dann in Polynomzeit ausgeführt wird?P≠ NPP≠NPP\neq NPP= NPP=NPP=NP

18 ds.algorithms np p-vs-np

1

Formal verifizierte Komplexitätstheorie

Gibt es ein laufendes Projekt, um die Theoreme und Beweise der Komplexitätstheorie mit einem Beweisassistenten wie Coq formal zu verifizieren? Gibt es dafür Grenzen?

18 cc.complexity-theory complexity proof-assistants

2

Ist ein NP-Härtenachweis eines NP-harten Problems ein Beitrag?

Ich löse ein Problem, von dem behauptet wird, dass es an anderer Stelle NP-hart ist, etwa in der Zeitung [XYZ]. Die in [XYZ] angegebene NP-Härte ist kompliziert und verwendet fortschrittliche Techniken. Nach einigen Recherchen und Arbeiten ist es mir gelungen, die NP-Härte einfach und eindeutig nachzuweisen. Ich frage mich, ob …

18 research-practice writing

3

Wie man über Theorie spricht

Mir ist klar, dass dies eine umstrittene Frage sein könnte, aber dies schien der richtige Ort zu sein. Bitte leiten Sie mich weiter, wenn nicht. Der Hintergrund ist, dass ich ein "Praktiker" bin (Doktorand, ich studiere keine CS-Theorie), aber ich habe eine vernünftige Grundlage in Bachelor-Algorithmen und Mathematik. Trotzdem sind …

18 soft-question advice-request

2

Gibt es heuristikfreie NP-Komplettprobleme?

Gibt es NP vollständige Probleme ohne unendliche Teilmenge von Fällen so , dass die Mitgliedschaft in in Polynomialzeit, und für alle entschieden werden , in Polynomialzeit gelöst werden? (Angenommen, )& Phi; x ∈ & Phi; x P ≠ N PΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhixxxP≠ NPP≠NPP \neq NP

18 cc.complexity-theory np-complete heuristics

2

Komplexität der Wiederherstellung einer Adjazenzmatrix aus ihrem Quadrat

Ich interessiere mich für das folgende Problem: Gibt es bei einer gegebenen Matrix von einen ungerichteten Graphen auf Eckpunkten, deren Adjazenzmatrix zum Quadrat dieser Matrix passt?n × nn×nn\times nnnn Ist die rechnerische Komplexität dieses Problems bekannt? Bemerkungen: Natürlich kann dies auch als ein Suchproblem formuliert werden, bei dem Sie die …

18 cc.complexity-theory graph-theory

1

Algorithmische Vorteile der Pfadbreite gegenüber der Baumbreite

Die Treewidth spielt eine wichtige Rolle in FPT-Algorithmen, unter anderem, weil viele Probleme durch die Treewidth der FPT parametrisiert werden. Ein verwandter, eingeschränkterer Begriff ist der der Pfadbreite. Wenn ein Graph eine Pfadbreite , hat er auch eine Baumbreite von höchstens k , während in der umgekehrten Richtung die Baumbreite …

18 parameterized-complexity treewidth graph-minor

2

Beweisen Sie, dass Schaltkreisobergrenzen für implizieren

In der offiziellen Clay-Problembeschreibung für P versus NP heißt es, dass aus dem folgt, dass "jede Sprache in [die in exponentieller Zeit mit einer deterministischen Turing-Maschine erkennbare Klasse von Sprachen] von einer Booleschen Schaltkreisfamilie berechnet werden kann , so dass für mindestens eine , weniger Gatter als die maximal benötigte …

18 cc.complexity-theory circuit-complexity

2

Festlegen, ob eine unäre kontextsensitive Sprache regulär ist

Es ist ein bekanntes Ergebnis, dass die Frage Erzeugt eine kontextfreie Grammatik eine reguläre Sprache? ist unentscheidbar. Es wird jedoch auf einem unären Alphabet entscheidbar, einfach weil in diesem Fall die Klassen der kontextfreien und regulären Sprachen zusammenfallen. Meine Frage ist zu wissen, was bei unären kontextsensitiven Sprachen passiert . …

18 fl.formal-languages decidability

2

Langjährige Vermutungen wurden später trivial durch eine Implikation bewiesen

Ich würde gerne wissen, ob es Vermutungen gegeben hat, die in TCS seit langem nicht mehr bewiesen wurden und die später durch eine Implikation aus einem anderen Theorem bewiesen wurden, was möglicherweise einfacher zu beweisen war.

18 reference-request soft-question big-list

4

Chaos und die Frage

Ich interessiere mich für das Erlernen von Zusammenhängen zwischen "Chaos" oder allgemein dynamischen Systemen und der Frage. Hier ist ein Beispiel für die Art von Literatur, die ich suche:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária und Zoltán Toroczkai. "Optimierungshärte als vorübergehendes Chaos in einem analogen Ansatz zur Beschränkungszufriedenheit." Naturphysik 7, nr. 12 (2011): …

18 cc.complexity-theory p-vs-np

2

Entspricht BPP für ein zufälliges Orakel R der Menge der berechenbaren Sprachen in P ^ R?

Nun, der Titel sagt so ziemlich alles. Die interessante Frage oben wurde von Kommentator Jay in meinem Blog gestellt (siehe hier und hier ). Ich vermute beide, dass die Antwort ja ist und dass es einen relativ einfachen Beweis gibt, aber ich konnte es nicht ohne weiteres sehen. (In groben …

18 computability oracles random-oracles