Als «machine-models» getaggte Fragen

7
Anwendbarkeit der Church-Turing-These auf interaktive Rechenmodelle
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, obwohl es tatsächlich nur für die Berechnung …
3
Was ist das richtige theoretische Modell, um Algorithmen für aktuelle und kommende Hochleistungscomputer zu entwerfen?
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. Angesichts der Tatsache, dass diese Computer in der Regel mit riesigen Datenmengen …
1
Machbarkeit von Gödel-Maschinen
Kürzlich bin ich auf ein interessantes theoretisches Konstrukt gestoßen. Eine sogenannte Gödel-Maschine Es ist ein allgemeiner Problemlöser, der sich selbst optimieren kann. Es ist für reaktive Umgebungen geeignet. Soweit ich weiß, kann es als Programm für universelle Turing-Maschinen implementiert werden, obwohl die Anforderungen weit über die derzeit verfügbare Hardware hinausgehen. …
2
Zeitkomplexität des Bellman-Held-Karp-Algorithmus für TSP, Take 2
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 kürzlich betonte, erfordert diese Laufzeit möglicherweise ein unangemessen leistungsfähiges …
6
Was ist über die Wirksamkeit von zuverlässigem Computing bekannt?
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 es eine Möglichkeit der …
2
Nachweisbare Lücken zwischen Entscheidungsbaumkomplexität und „wahrer“ Komplexität
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 , das jedoch eine untere Schranke (in einem detaillierteren Modell) …
3
Kann irgendein Programm mechanisch implementiert werden?
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 Teile Datenstrukturen oder sogar Programmobjekte darstellen? Zu einem bestimmten Zeitpunkt muss eine Allzweck-Turing-äquivalente Maschine …
3
Ist das MapReduce-Framework eine Art BSP?
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 genauesten?
1
Betrachten Menschen die Schleifenverschachtelung in booleschen Schaltkreisen?
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 üblich. Nun, modulo einige technische Details in Bezug darauf, was eine Schleife ist …
1
Reversible Turing-Tarpits?
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 damit meine. Was ich …
5
Natürliche Berechnung basierend auf fundamentalen Kräften
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 Gleichungen oder das n-Körper-Problem direkt in einen Allzweckalgorithmus zu …
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.