Theoretische Informatik

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

1
Auf welchen Klassen von Graphen ist RCSP (Resource Constrained Shortest Path) NP-hart?
Ich möchte ein Problem, an dem ich arbeite, mit einem bekannten NP-harten Problem verknüpfen. Ich denke, ich kann mein Problem als ein Problem mit ressourcenbeschränkten kürzesten Pfaden modellieren. Die Struktur meines Graphen ist jedoch nicht völlig willkürlich. Daher ist es hilfreich zu wissen, wann RCSP schwierig wird. Ist es schwierig …
1
Zeitliche / räumliche Anforderungen zur Überprüfung oder Fälschung einer Erklärung erster Ordnung
Obwohl L.Berman bewiesen hat, dass das Problem der Überprüfung oder Verfälschung von Aussagen erster Ordnung über reelle Zahlen, die Addition und Vergleich, aber keine Multiplikation verwenden, in EXPSPACE liegt. Wurde gezeigt, wie viel Zeit oder Raum Sie benötigen würden, um eine Aussage erster Ordnung über reelle Zahlen zu überprüfen oder …
1
Einwegfunktionen mit polynominvertierender Komplexität
Gibt es eine Trap-Door-ähnliche Funktion, deren Codierungskomplexität die Polynomzeit und deren invertierende Komplexität (ohne geheimen Schlüssel) auch eine Polynomfunktion in der Eingabelänge mit (sagen wir, und ist bedingungslos nachweisbar durch )? Was bedeuten solche Funktionen, wenn ?nk1nk1n^{k_{1}}nk2nk2n^{k_{2}}k1&lt;&lt;k2k1&lt;&lt;k2k_{1} << k_{2}k1=2k1=2k_{1} = 2k2k2k_{2}100010001000VNP=VPVNP=VPVNP = VP
1
Können Regexe, die nichtreife (widerstrebende) Quantifizierer enthalten, umgeschrieben werden, um sie nicht zu verwenden?
Betrachten Sie eine Regex-Sprache mit dem gierigen Quantifizierer , dem nicht-gierigen Quantifizierer ∗ ? , geordnete Wechsel- und Charakterklassen. (Dies ist im Wesentlichen eine Subsprache von PCRE ohne Rückreferenzen, umschauende Behauptungen oder einige der anderen schickeren Teile.)∗∗*∗ ?∗?{*}? Eine Übereinstimmung für einen regulären Ausdruck R auf einer Zeichenkette s = …
2
Nachauswahl in der geometrischen Komplexitätstheorie
Kontext: Soweit ich weiß, dient in der Theorie der geometrischen Komplexität das Vorhandensein von Hindernissen sozusagen als Nachweis für das Nichtvorhandensein einer effizienten Rechenschaltung für die explizite harte Funktion im betrachteten Problem der unteren Grenze. Nun gibt es einige andere Annahmen für Hindernisse, dass sie kurz, leicht zu überprüfen und …
1
Wie man Schiedsrichter für TCS-Papiere und Konferenzen wird
Ich bin irgendwie von der Biophysik zu einem gemischten Team gewechselt, in dem wir normalerweise in TCS-Journalen / Konferenzen veröffentlichen. Für die Finanzierung in dem europäischen Land, in dem ich lebe, ist es ratsam, in Ihrem Lebenslauf zu zeigen, dass ich Vorträge oder Konferenzen zu diesen Bereichen gehalten habe. Ich …
1
Konvexität und effiziente Algorithmen.
[Bearbeiten 21. Juli 2011: Ich habe die Frage bearbeitet, um weitere Beispiele anzufordern] Diese Frage erfordert eine dokumentierte Diskussion oder weitere Beispiele einer heuristischen Beobachtung. Einige mathematische Probleme, die effiziente Algorithmen zulassen, scheinen konvexer Natur zu sein. Ich denke an lineare und semi-definierte Programme und verschiedene kombinatorische Probleme, die sich …
1
Gradreduktionsschritt in Dinurs Beweis des PCP-Theorems
Im Gradreduktionsschritt von Dinurs Beweis wird der Eingabegraph in einen Graphen transformiert indem jeder Scheitelpunkt durch einen Satz von Scheitelpunkten, , ersetzt wird, so dass und Auferlegen eines Grad-d-Expander-Graphen auf die für alle . Dies macht einem regulären Graphen von d 1 und die Konstruktion stellt sicher, dass sich die …
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.