Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Keine naiven Mengenmodelle der polymorphen Lambda-Rechnung?
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. Warum sagt er also, dass es keine naiven satztheoretischen Modelle der …
9
Wie finde ich 5 wiederholte Werte in O (n) Zeit?
Angenommen, Sie haben ein Array der Größe mit ganzen Zahlen von bis einschließlich , wobei genau fünf wiederholt werden. Ich muss einen Algorithmus vorschlagen, der die wiederholten Zahlen in Zeit findet. Ich kann für mein Leben an nichts denken. Ich denke, das Sortieren wäre bestenfalls ? Dann wäre das Durchlaufen …
4
Dijkstra's Algorithmus auf riesigen Graphen
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 gespeichert. Es stehen Bibliotheken zur Verfügung, …
1
Sind "Flow Free" -Rätsel NP-schwer?
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 Grafik, sodass sich jeder Scheitelpunkt auf genau einem …
2
Kleene Sternoperation auf der leeren Sprache
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 hinweist, dass .∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup \cdots Warum ist nicht gleich ? ∅∅∗∅∗\emptyset^*∅∅\emptyset
1
Warum getrennt lexen und analysieren?
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 einzigen Durchgang haben, der …
4
Was bedeutet
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 habe, "[...] …
2
Zweck von Supercomputern
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 nachdenken. Vielleicht ist Blue Waters …
1
Konstruktion inäquivalenter binärer Matrizen
Ich versuche, mit den Elementen 0 oder 1 alle inequivalenten Matrizen (oder wenn Sie es wünschen) zu konstruieren. Die Operation, die äquivalente Matrizen ergibt, ist der gleichzeitige Austausch der i- und j-Reihe UND der i- und j-Spalte . z.B. für8 × 88×88\times 8n × nn×nn\times n1 ↔ 21↔21\leftrightarrow2 ⎛⎝⎜001010010⎞⎠⎟∼ ∼⎝⎜100001100⎞⎠⎟(000011100)∼(101000010)\begin{equation} …
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.