Theoretische Informatik

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

2
Zusammenhang zwischen Symmetrie und rechnerischer Unlösbarkeit?
Das fixierte punktfreie Automorphismusproblem fordert einen Graphautomorphismus, der mindestens Knoten bewegt . Das Problem ist vollständig, wenn für > 0 ist.k ( n ) N P k ( n ) = n c ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Wenn jedoch dann ist das Problem das Polynomzeitproblem, das sich auf das Graphisomorphismusproblem reduzieren lässt. Wenn …
3
Können wir eine schwache Normalisierung für System F durch Induktion auf einer transfiniten Ordnungszahl nachweisen?
Eine schwache Normalisierung für die einfache typisierte Lambda-Rechnung kann durch Induktion auf bewiesen werden (Turing) . Ein erweiterter Lambda-Kalkül mit Rekursoren auf natürlichen Zahlen (Gentzen) hat eine schwache Normalisierungsstrategie durch Induktion auf .ω2ω2\omega^2ϵ0ϵ0\epsilon_0 Was ist mit System F (oder schwächer)? Gibt es einen schwachen Normalisierungsbeweis in diesem Stil? Wenn nicht, …
2
Hard Instances zum Testen des Graphisomorphismus
Ist der Fall von stark regulären Graphen der schwierigste für GI-Tests? wobei "am härtesten" sozusagen "im gesunden Menschenverstand" oder "im Durchschnitt" verwendet wird. Wolfram MathWorld erwähnt einige "pathologisch harte Graphen". Was sind Sie? Mein Beispielsatz mit 25 Paar Grafiken: http://funkybee.narod.ru/graphs.htm Ich habe viele andere getestet, aber alle von der gleichen …
1
LogDCFL-vollständige Probleme
LogCFL ist die Menge aller Sprachen, deren Logspace auf eine kontextfreie Sprache reduziert werden kann. Ebenso ist LogDCFL die Menge aller Sprachen, deren Logspace auf eine deterministische kontextfreie Sprache reduziert werden kann. In diesem Wikipedia-Artikel finden Sie einige natürliche LogCFL-vollständige Probleme. Es gibt einige andere interessante LogCFL-vollständige Probleme. Ich konnte …
6
Wann haben wir bessere Grenzen für bekannte Algorithmen gefunden?
Gibt es interessante Fälle von Algorithmen, die mit nachgewiesenen Grenzen veröffentlicht wurden und in denen später streng bessere Grenzen veröffentlicht wurden? Keine besseren Algorithmen mit besseren Grenzen - das ist offensichtlich passiert! Eine bessere Analyse führt jedoch zu einer besseren Bindung an einen vorhandenen Algorithmus Ich dachte, die Matrixmultiplikation sei …
1
Hindernisse, um
Wir alle wissen, dass Barrieren hat. Wir alle haben diese Barrieren untersucht, weil wir glauben, dass .P ≠ N PP≠ NPP≠NPP\ne NPP≠ NPP≠NPP\ne NP Nehmen wir jedoch an, und es gibt weise Leute, die glauben, dass diese Möglichkeit besteht . Wenn dies tatsächlich der Fall ist, deutet die Tatsache, dass …
15 p-vs-np  barriers 
1
Gültigkeit der Exponentiation in einer Polynomzeitverkürzung
Ich habe diese Frage vor 10 Tagen bei cs.stackexchange hier gestellt, aber ich hatte keine Antwort. In einem sehr bekannten Artikel (in der Netzwerkgemeinschaft) präsentieren Wang & Crowcroft einige -Vollständigkeitsergebnisse der Pfadberechnung unter verschiedenen additiven / multiplikativen Bedingungen. Das erste Problem ist das folgende:N PNP\mathsf{NP} Bei einem gerichteten Graphen und …
1
Ist
Ich erwarte, dass die Antwort nein ist, aber ich konnte kein Gegenbeispiel konstruieren. Der Unterschied besteht darin, dass wir in möglicherweise nicht in der Lage sind, einen O ( n 2 + ε ) -Algorithmus in ε einheitlich auszuwählen .∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε Durch eine Verzahnung Argument (siehe beispielsweise diese Frage ), …
2
(Wie) Können wir NP-Probleme in Abwesenheit des Turing-Berechnungsmodells entdecken / analysieren?
Wie kann man aus rein abstrakten mathematischen / rechnerischen Gesichtspunkten überhaupt Probleme wie 3 - SAT, Teilmenge Summe, Handlungsreisender usw. Entdecken oder über sie nachdenken? Wären wir überhaupt in der Lage, sie nur unter funktionalen Gesichtspunkten sinnvoll zu beurteilen? Wäre es überhaupt möglich? Ich habe diese Frage nur von einem …
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.