Ich weiß, dass es bewiesen werden kann, dass PROLOG Turing-vollständig ist, indem ein Programm erstellt wird, das eine Turing-Maschine wie diese simuliert: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0,...
Warum verwenden wir andere Basen, die weder binär (für Computer) noch dezimal (für Menschen) sind? Computer stellen sie letztendlich in Binärform dar, und Menschen ziehen es nachdrücklich vor, ihre Dezimaldarstellung zu erhalten. Warum nicht an diesen beiden Basen
Ich versuche, meinen Kopf um einen NP-Vollständigkeitsnachweis zu wickeln, der sich anscheinend um SAT / 3CNF-SAT dreht. Vielleicht ist es die späte Stunde, aber ich fürchte, ich kann mir keine 3CNF-Formel vorstellen, die nicht befriedigt werden kann (ich vermisse wahrscheinlich etwas...
Ich habe ein Tetraeder und ein Polyeder p . t ist so eingeschränkt, dass es immer alle seine Eckpunkte mit p teilt . Ich möchte feststellen, ob t in p liegt .ttt ppptttpppttt ppp Ich möchte dem Problem ein Detail hinzufügen, falls es zur Lösung beitragen könnte: ist ein Delaunay- Tetraeder und die...
Ich bin verwirrt, warum die MIPS-Designer 5 Bits für das Verschieben verwenden und separate Opcode- und Funktionsbits haben. Da MIPS so RISC ist, gehe ich davon aus, dass nur mit wenigen Anweisungen verschoben werden kann. Diese 5 Bits scheinen also Speicherplatz zu verschwenden, wenn sie in die...
Einige CPUs haben ein Flags-Register (ARM, x86, ...), andere nicht (MIPS, ...). Was ist der Vorteil eines CMP-Befehls zum Aktualisieren des Flags-Registers, gefolgt von einem Verzweigungsbefehl, anstatt ein Nullregister und bedingte Verzweigungen zum Überprüfen auf Vorzeichen, Überlauf usw. zu...
Ein "Flow Free" -Puzzlespiel besteht aus einer positiven ganzen Zahl und einer Reihe von (ungeordneten) Paaren unterschiedlicher Eckpunkte im Gitterdiagramm sodass sich jeder Eckpunkt in höchstens einem Paar befindet. Eine Lösung für ein solches Puzzle ist eine Reihe ungerichteter Pfade in der...
Es ist möglich, ein Dokument mit einem einzigen Durchgang von einem Zustandsautomaten aus zu analysieren. Was ist der Vorteil von zwei Durchgängen, dh. Haben Sie einen Lexer zum Konvertieren von Text in Token und einen Parser zum Testen der Produktionsregeln für diese Token? Warum nicht einen...
Ich habe die Lineare Algebra und ihre Anwendungen gelesen , um Informatikmaterial (hauptsächlich maschinelles Lernen) besser zu verstehen, aber ich bin besorgt, dass viele Informationen für CS nicht nützlich sind. Zum Beispiel scheint es nicht sehr nützlich zu sein, zu wissen, wie lineare...
Letzten Herbst habe ich eine Tour mit dem Blue Waters Supercomputer an der University of Illinois gemacht. Ich fragte, ob jemals jemand den gesamten Computer benutzt hätte. Mir wurde gesagt, dass es immer an mehreren Projekten arbeitete. Das ließ mich über die Nützlichkeit von Supercomputern...
xorTor, jetzt muss ich dieses Tor mit nur 4 nandTor bauen a b out 0 0 0 0 1 1 1 0 1 1 1 0 das xor = (a and not b) or (not a and b), was A¯¯¯¯B+AB¯¯¯¯EIN¯B+EINB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Ich kenne die Antwort, aber wie komme ich aus der Formel zum Gate-Diagramm?...
In meinem Lehrbuch heißt es: wobei eine leere Sprache ist.∅∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Wir wissen jedoch, dass , wobei eine beliebige Sprache ist.LL⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Ich kann dieses Konzept nicht intuitiv erfassen, da die Kleene-Stern-Operation darauf...
Was bedeutet log O ( 1 ) nlogO(1)n\log^{O(1)}n ? Ich kenne die Big-O-Notation, aber diese Notation macht für mich keinen Sinn. Ich kann auch nichts darüber finden, weil eine Suchmaschine dies auf keinen Fall richtig interpretiert. Für ein bisschen Kontext lautet der Satz, in dem ich ihn gefunden...
Ein Pseudo-Polynom-Zeit-Algorithmus ist ein Algorithmus, der eine Polynomlaufzeit für den Eingabewert (Größe), aber eine Exponentiallaufzeit für die Eingabegröße (Anzahl der Bits) aufweist. Zum Beispiel erfordert das Testen, ob eine Zahl eine Primzahl ist oder nicht, eine Schleife durch die Zahlen...
In Philip Wadlers Aufsatz über Theorems for Free stellt er in Abschnitt 2 über Parametrizität fest, dass Es gibt keine naiven satztheoretischen Modelle der polymorphen Lambda-Rechnung In der naiven Mengenlehre sind Modelltypen Mengen und Funktionen Mengenlehrefunktionen, was vernünftig erscheint....
Es sei . Eine Sprache gesagt wird die „anti-Palindrom“ Eigenschaft hat , wenn für jede Saite dass ein Palindrom ist, . Außerdem ist für jede Zeichenfolge , die kein Palindrom ist, entweder oder , aber nicht beide (!) (Exklusive oder).L ⊆ Σ * w W ∉ L u u ∈ L R e V e r s e ( u ) ∈ LΣ = { 0 , 1...
Ich bin mit Dijkstra sehr vertraut und habe eine spezielle Frage zum Algorithmus. Wenn ich einen riesigen Graphen habe, zum Beispiel 3,5 Milliarden Knoten (alle OpenStreetMap-Daten), kann ich den Graphen nicht im Speicher haben, also wird der Graphen auf einer Festplatte in einer Datenbank...
Nehmen wir zwei Listen vergleichbarer Elemente an: u und s. Sei INV (u) die Anzahl der Inversionen in u. Ich suche nach einem effizienten Algorithmus, um die Elemente von s mit einer minimalen Erhöhung von INV (u) in u einzufügen. Grundsätzlich möchte ich Objekte in eine Liste einfügen und dabei...
Bei Stack Overflow las ich eine Frage, ob es NP- schwierig sei, alle einfachen Zyklen in einem Diagramm mit einem bestimmten Knoten aufzulisten, und mir fiel ein, dass ich mir keine Komplexitätsklasse vorstellen konnte, für die dies gut geeignet war Sprechen Sie über Probleme der Form "Listen Sie...
Ich bin ein Student der Informatik auf Universitätsniveau mit einer großen Leidenschaft für das Studium der Mathematik. Ich bin der festen Überzeugung, dass Informatik oder Theoretische Informatik ein direkter Zweig der Mathematik und Logik ist und dass ein Informatik-Abschluss eigentlich immer auf...