Schränkt man Turing Machines auf ein endliches Band ein (dh, um den begrenzten Raum zu nutzen ), so ist das Halteproblem entscheidbar, im wesentlichen, weil nach einer Anzahl von Schritten (die sich aus der Anzahl der Zustände , und der berechnet werden können) alphabet size) muss eine...
Ich höre oft, dass wir für viele Probleme sehr elegante randomisierte Algorithmen kennen, aber keine oder nur kompliziertere deterministische Lösungen. Ich kenne jedoch nur einige Beispiele dafür. Am prominentesten Randomized Quicksort (und verwandte geometrische Algorithmen, zB für konvexe Hüllen)...
Das Betrachten von Fragen durch die algorithmische Linse (dh aus algorithmischer oder komplexer Sicht) hat sich in Disziplinen außerhalb des "Standardbereichs" der Informatik als nützlich erwiesen. Insbesondere hat CS durch Computational Biology (Biologie), durch Quanteninformationsverarbeitung...
Während ich sowohl an der High School als auch an der Universität einige Kurse über Wahrscheinlichkeitstheorie absolviert habe, fällt es mir schwer, TCS-Artikel zu lesen, wenn es um Wahrscheinlichkeit geht. Es scheint, dass die Autoren der TCS-Artikel mit der Wahrscheinlichkeit sehr vertraut sind....
Zwei der häufigsten Annahmen zum Nachweis der Härte von Approximationsergebnissen sind und Unique Games Conjecture. Gibt es eine Härte der Näherungsergebnisse unter der Annahme von ? Ich suche nach Problem so dass "es schwierig ist, innerhalb eines Faktors sei denn, ".N P ≠ c o N P A A α N P = c o...
Es gibt oft zitierte philosophische Rechtfertigungen für die Annahme, dass P! = NP auch ohne Beweise ist. Andere Komplexitätsklassen weisen auf ihre Unterscheidbarkeit hin, da sich sonst "überraschende" Konsequenzen ergeben würden (wie der Zusammenbruch der Polynomhierarchie). Meine Frage ist, was...
Haftungsausschluss: Ich kann nur für meine Forschungsgebiete bürgen, nämlich formale Methoden, Semantik und Programmiersprachtheorie. In anderen Bereichen der Disziplin ist die Situation möglicherweise anders. Es scheint, dass TCS eher konferenzorientiert geworden ist. Forscher wollen in der...
Ich habe einige Erfahrung im wissenschaftlichen Rechnen und habe kd-trees ausgiebig für BSP-Anwendungen (Binary Space Partitioning) verwendet. Ich habe mich in letzter Zeit mit Octrees, einer ähnlichen Datenstruktur für die Partitionierung von euklidischen 3D-Räumen, vertraut gemacht, die jedoch...
Ich habe gelegentlich gehört, dass Leute über Quantenalgorithmen und über Zustände und die Fähigkeit gesprochen haben, mehrere Möglichkeiten gleichzeitig in Betracht zu ziehen, aber ich habe es nie geschafft, jemanden dazu zu bringen, das Rechenmodell dahinter zu erklären. Klar, ich frage nicht,...
Im Geiste einiger allgemeiner Diskussionen wie dieser eröffne ich diesen Thread mit der Absicht, Meinungen zu den offenen Herausforderungen und aktuellen Themen der Programmiersprachenforschung zu sammeln . Ich hoffe, dass die Diskussion sogar Meinungen über die Zukunft der Forschung in...
Als TCS-Amateur lese ich populäres, sehr einführendes Material zum Thema Quantencomputing. Hier sind die wenigen grundlegenden Informationen, die ich bisher gelernt habe: Es ist nicht bekannt, dass Quantencomputer NP-vollständige Probleme in der Polynomzeit lösen. "Quantenmagie wird nicht genug...
Gibt es eine Prioritätswarteschlangendatenstruktur, die die folgenden Vorgänge unterstützt? Einfügen (x, p) : Fügt einen neuen Datensatz x mit der Priorität p hinzu StableExtractMin () : Gibt den Datensatz mit minimaler Priorität zurück und löscht ihn. Dabei werden die Bindungen nach...
Bei dieser Frage geht es um Probleme, bei denen eine große Lücke in Bezug auf die Komplexität zwischen der bekannten Untergrenze und der Obergrenze besteht, jedoch nicht aufgrund offener Probleme in Bezug auf die Komplexitätsklassen. Um genauer zu sein, nehmen wir an, ein Problem hat die...
Definieren Sie LOGLOG als die Klasse von Sprachen, die von einer deterministischen Turing-Maschine (mit bidirektionalem Zugriff auf die Eingabe) in Raum O (loglog n) berechnet werden können. Definieren Sie NLOGLOG auf ähnliche Weise als die Klasse von Sprachen, die von einer nicht deterministischen...
Es ist unmöglich, eine Programmiersprache zu schreiben, die alle Maschinen zulässt, die an allen Eingaben anhalten, und keine anderen. Es scheint jedoch einfach zu sein, eine solche Programmiersprache für jede Standardkomplexitätsklasse zu definieren. Insbesondere können wir eine Sprache...
Ich brauche ein Buch zur endlichen Automatentheorie mit vielen Beispielen, die ich zum Selbststudium und zur Prüfungsvorbereitung verwenden
Im Jahr 1995 schlug Russell Impagliazzo fünf komplexe Welten vor: 1- Algorithmus: mit all den erstaunlichen Konsequenzen.P= NPP=NPP=NP 2- Heuristica: vollständige Probleme sind im schlimmsten Fall ( ) schwierig, aber im Durchschnitt effizient lösbar.P ≠ N PNPNPNPP≠ NPP≠NPP \ne NP 3- Pessiland: Es...
In der Arbeit The Random Oracle Hypothesis Is False diskutieren die Autoren (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan und Rohatgi) die Auswirkungen der Zufalls-Orakel-Hypothese . Sie argumentieren, dass wir nur sehr wenig über die Trennung von Komplexitätsklassen wissen und die meisten...
In dieser Frage bedeutet eine 3CNF-Formel eine CNF-Formel, bei der jede Klausel genau drei verschiedene Variablen enthält. Für eine Konstante 0 < s <1 ist Gap-3SAT s das folgende Versprechungsproblem: Gap-3SAT s Instanz : Eine 3CNF-Formel φ. Ja-Versprechen : φ ist erfüllbar. No-Versprechen :...
Gibt es eine umgekehrte Chernoff-Grenze, die einschränkt, dass die Schwanzwahrscheinlichkeit mindestens so groß ist. dh wenn X1,X2,…,XnX1,X2,…,XnX_1,X_2,\ldots,X_n unabhängige binomiale Zufallsvariablen sind und μ=E[∑ni=1Xi]μ=E[∑i=1nXi]\mu=\mathbb{E}[\sum_{i=1}^n X_i] . Dann können wir für eine...