Ich höre oft Leute über Parallel Computing und Distributed Computing sprechen , aber ich habe den Eindruck, dass es keine klare Grenze zwischen den beiden gibt, und die Leute neigen dazu, das ziemlich leicht zu verwirren, obwohl ich glaube, dass es sehr unterschiedlich ist: Paralleles Rechnen ist...
Wir wissen, dass das Stopp-Problem (bei Turing-Maschinen) für Turing-Maschinen nicht zu entscheiden ist. Gibt es Forschungen darüber, wie gut der menschliche Verstand mit diesem Problem umgehen kann, möglicherweise unterstützt durch Turing Machines oder Allzweckcomputer? Hinweis : Natürlich kann...
Ich versuche, ein Skript zu schreiben, das zufällige Diagramme generiert, und ich muss wissen, ob eine Kante in einem gewichteten Diagramm den Wert 0 haben kann. Eigentlich macht es Sinn, dass 0 als Kantengewicht verwendet werden kann, aber ich habe in den letzten Tagen mit Diagrammen gearbeitet...
Es gibt viele Anwendungen, in denen ein Pseudozufallszahlengenerator verwendet wird. Die Leute implementieren also eine, die sie für großartig halten, und stellen später fest, dass sie fehlerhaft ist. So etwas ist kürzlich mit dem Zufallszahlengenerator von Javascript passiert. RandU auch schon...
Ich glaube, ich habe ein vernünftiges Verständnis für Komplexitäten wie , Θ ( n ) und Θ ( n 2 ) .O (1)O(1)\mathcal{O}(1)Θ ( n )Θ(n)\Theta(n)Θ ( n2)Θ(n2)\Theta(n^2) In Bezug auf eine Liste ist eine konstante Suche, sodass es nur den Kopf der Liste erhält. Θ ( n ) ist die Stelle, an der ich die...
Ich habe ein ganzzahliges lineares Programm (ILP) mit einigen Variablen , die Boolesche Werte darstellen sollen. Die müssen ganze Zahlen sein und entweder 0 oder 1 enthalten ( ).x i 0 ≤ x i ≤ 1xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Ich möchte boolesche Operationen mit diesen 0/1-Variablen unter...
Könnte jemand den Unterschied zwischen abhängigen Typen und Verfeinerungstypen erklären? So wie ich es verstehe, enthält ein Verfeinerungstyp alle Werte eines Typs, der ein Prädikat erfüllt. Gibt es ein Merkmal abhängiger Typen, das sie unterscheidet? Wenn es hilft, bin ich über das Liquid...
Wenn ich eine Liste mit Schlüsselwerten von 1 bis 100 habe und diese in einem Array von 11 Buckets organisieren möchte, wurde mir das Bilden einer Mod-Funktion beigebracht H=kmod 11H=kmod 11 H = k \bmod \ 11 Jetzt werden alle Werte nacheinander in 9 Zeilen platziert. Zum Beispiel gibt es im ersten...
In diesem Tutorial zur Baugruppenprogrammierung habe ich gelesen, dass 8 Bits für Daten verwendet werden, während 1 Bit für die Parität verwendet wird, die dann zum Erkennen von Paritätsfehlern (verursacht durch Hardwarefehler oder elektrische Störungen) verwendet wird. Ist das...
Ich verstehe das Problem auf hohem Niveau und verstehe, dass es die Tür für die Lösung zahlreicher Probleme im Bereich der Informatik öffnen würde, wenn es sich mit einer bereitgestellten Lösung als absolut "erwiesen" herausstellen würde.P= NPP=NPP=NP Meine Frage ist, wenn jemand einen...
Gibt es eine Reihe von Programmiersprachenkonstrukten in einer Programmiersprache, damit diese als vollständig betrachtet werden können? Nach allem , was ich aus Wikipedia entnehmen kann , muss die Sprache die Rekursion unterstützen oder anscheinend in der Lage sein, ohne anzuhalten. Ist das alles...
Ich bin während meines Gymnasialstudiums auf viele Sortieralgorithmen gestoßen. Ich weiß jedoch nie, welche (für ein zufälliges Array von ganzen Zahlen) die schnellste ist. Meine Fragen sind also: Welches ist der schnellste derzeit bekannte Sortieralgorithmus? Ist es theoretisch möglich, dass es...
Ich bin damit einverstanden, dass eine Turingmaschine "alle möglichen mathematischen Probleme" lösen kann. Das liegt aber daran, dass es sich nur um eine maschinelle Darstellung eines Algorithmus handelt: zuerst dies tun, dann das tun, schließlich das ausgeben. Ich meine, alles, was lösbar ist,...
Ich interessiere mich für die zeitliche Komplexität eines Compilers. Dies ist natürlich eine sehr komplizierte Frage, da viele Compiler, Compileroptionen und Variablen zu berücksichtigen sind. Insbesondere interessiere ich mich für LLVM, würde mich aber für Gedanken interessieren, die Menschen...
Sind alle Morse-Code-Zeichenfolgen eindeutig entschlüsselbar? Ohne die Räume, ......-...-..---.-----.-..-..-.. könnte sein, Hello Worldaber vielleicht ist der erste Buchstabe ein 5- in der Tat sieht es sehr unwahrscheinlich aus, dass eine willkürliche Folge von Punkten und Strichen eine eindeutige...
Sichere Programmiersprachen (PL) werden immer beliebter. Ich frage mich, was die formale Definition von sicherem PL ist. Zum Beispiel ist C nicht sicher, aber Java ist sicher. Ich vermute, dass die Eigenschaft "safe" eher auf eine PL-Implementierung als auf die PL selbst angewendet werden sollte....
Was ist bei der Quantenberechnung das äquivalente Modell einer Turing-Maschine? Mir ist ziemlich klar, wie Quantenschaltungen aus Quantentoren aufgebaut werden können, aber wie können wir eine Quantenturingmaschine (QTM) definieren, die tatsächlich von Quanteneffekten profitieren kann, nämlich auf...
Ich kenne das allgemeine Konzept der Rekursion. Beim Studium des Quicksort-Algorithmus bin ich auf das Konzept der Schwanzrekursion gestoßen. In diesem Video von Quick Sort Algorithmus vom MIT um 18:30 Sekunden sagt der Professor, dass dies ein rekursiver Schwanzalgorithmus ist. Mir ist nicht klar,...
Ich habe mich immer gefragt, warum Prozessoren bei 32 Registern stehen blieben. Es ist mit Abstand das schnellste Teil der Maschine. Warum nicht einfach größere Prozessoren mit mehr Registern herstellen? Würde das nicht bedeuten, weniger ins RAM zu
Gibt es NP-vollständige Probleme, bei denen sich Algorithmen mit subexponentieller Zeit bewährt haben? Ich bitte um die allgemeinen Eingaben für den Fall, ich spreche hier nicht über nachvollziehbare Sonderfälle. Mit subexponentiell meine ich eine Wachstumsordnung über Polynomen, aber weniger als...