1937 beschrieb Turing eine Turingmaschine. Seitdem wurden viele Berechnungsmodelle beschrieben, um ein Modell zu finden, das einem echten Computer ähnelt, aber dennoch einfach genug ist, um Algorithmen zu entwerfen und zu analysieren. Als Ergebnis haben wir Dutzende von Algorithmen für z. B. das...
Paul Wegner und Dina Goldin veröffentlichen seit über einem Jahrzehnt Artikel und Bücher und argumentieren in erster Linie, dass die These von Church-Turing in der CS-Theory-Community und anderswo häufig falsch dargestellt wird. Das heißt, es wird so dargestellt, dass es alle Berechnungen umfasst,...
Diese Frage ähnelt einer allgemeineren Frage nach dem richtigen theoretischen Modell eines Computers zum Entwerfen von Algorithmen und Datenstrukturen. Ich frage hier speziell nach aktuellen Hochleistungscomputern (wie den als Top 500 aufgelisteten ) oder sogar nach kommende Supercomputer....
In einer aktuellen Frage wurde der heute klassische dynamische Programmieralgorithmus für TSP erörtert, der unabhängig von Bellman und Held-Karp entwickelt wurde . Es wird allgemein berichtet, dass der Algorithmus in O ( 2nn2)O(2nn2)O(2^n n^2) -Zeit ausgeführt wird. Wie einer meiner Studenten...
Wie gut wurde das folgende Problem in TCS untersucht? (Ich entschuldige mich, wenn das Problem vage klingt!) Bei einem Modell der Berechnung MC (Turing - Maschine, Cellular Automata, Kolmogorov-Uspenskii Maschine ... etc.) und ein Modell von Lärm , der die Berechnung von MC beeinflussen könnte, ist...
Welche Komplexitätsklasse ist mit umfassenden Suchalgorithmen verbunden? (wenn es einen gibt) Ist es NP oder PSPACE? Gibt es eingeschränkte Berechnungsmodelle, die die Klasse der umfassenden Suchalgorithmen erfassen, ähnlich den Modellen für gieriges und dynamisches
Ist es möglich, eine einzelne (nicht Turing-vollständige) mechanische Implementierung von Microsoft Word zu erstellen? Ist es möglich, Dinge wie Iteratoren, Funktionen erster Ordnung und die gesamte Bandbreite der Programmiertechniken zu implementieren? Könnten Zahnräder und andere mechanische...
Der Titel ist ein bisschen irreführend, aber die Frage ist hoffentlich nicht: Grønlund und Pettie das neue Ergebnis zeigt , dass 3sum nur Entscheidungsbaum Komplexität hat mich gefragt:O(n3/2)O(n3/2)O(n^{3/2}) Gibt es ein einfaches Beispiel für ein Problem mit einer Entscheidungsbaumkomplexität von...
Während eines EE-Studiums besuchte ich einige Vorlesungen, die eine schöne Charakterisierung der Booleschen Schaltkreise hinsichtlich der Anzahl der verschachtelten Schleifen darstellten. In der Komplexität werden boolesche Schaltungen oft als Dags angesehen, aber in realen Hardwarezyklen sind sie...
Ist es richtig, das mapReduce- Framework als eine Art synchrones paralleles Massenprogrammierungsframework ohne lokale Speichererhaltung innerhalb von Prozessoren zwischen Synchronisierungen zu bezeichnen? Wenn nicht, welches parallele Programmiermodell kapselt das mapReduce-Framework am...
Bei dieser Frage geht es darum, ob es bekannte reversible Turing-Tarpits gibt, wobei "reversibel" im Sinne von Axelsen und Glück bedeutet und "Tarpit" ein viel informelleres Konzept ist (und möglicherweise keine sehr gute Wortwahl ist). aber ich werde mein Bestes geben, um zu erklären, was ich...
Bekannte Beispiele für Berechnungen, die von Naturphänomenen inspiriert sind, sind Quantencomputer und DNA-Computer. Was ist über das Potenzial und / oder die Einschränkungen des Rechnens mit Maxwells Gesetzen oder der Schwerkraft bekannt? Das heißt, die "schnellen" Lösungen der Natur für Maxwells...
Gibt es einen Rahmen / Formalismus, der Rechenmodelle definiert, die auf anderen Proteinen als Adlemans DNA-Modell oder dieser Arbeit von Cherry und Qian basieren