Ich habe diese Frage bei generic stackoverflow gestellt und war hier gerichtet. Es ist großartig, wenn jemand erklären kann, wie man partielle oder vollständig dynamische Graphprobleme im Allgemeinen angeht. Beispielsweise: Finden Sie den kürzesten Pfad zwischen zwei Scheitelpunkten in einem...
Mit Bezug auf Funktionen in Sprachen wie Ruby (und Javascript), die es einem Programmierer ermöglichen, Klassen jederzeit nach ihrer Definition zu erweitern / außer Kraft zu setzen (einschließlich Klassen wie String), ist es theoretisch machbar, eine Sprache zu entwerfen, mit der Programme später...
Als ich Student war, sah ich ein Problem in einem Lehrbuch für digitales System- / Logikdesign, in dem es um N Soldaten ging, die in einer Reihe standen und gleichzeitig schießen wollten. Eine schwierigere Version des Problems war, dass die Soldaten in einem allgemeinen Netzwerk statt in einer...
Ich versuche, eine ΘΘ\Theta Grenze für die folgende Wiederholungsgleichung zu finden: T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Ich denke, der Hauptsatz ist aufgrund der unterschiedlichen Anzahl von Teilproblemen und Unterteilungen...
Gibt es unentscheidbare Eigenschaften von Automaten mit linearer Begrenzung (um den Trick mit der leeren eingestellten Sprache zu vermeiden)? Was ist mit einem deterministischen endlichen Automaten? (Unlösbares beiseite legen). Ich möchte (wenn möglich) ein Beispiel für ein unentscheidbares Problem...
Wenn wir die Komplexität zweier Algorithmen vergleichen, ist es normalerweise so, dass entweder oder (möglicherweise beide) gilt, wobei und sind die Laufzeiten (zum Beispiel) der beiden Algorithmen.g ( n ) = O ( f ( n ) ) f gf( n ) = O ( g( n ) )f(n)=O(g(n))f(n) = O(g(n))G( n ) = O ( f( n )...
Der DFA-Minimierungsalgorithmus von Brzozowski erstellt einen minimalen DFA für DFA GGG durch: Umkehren aller Kanten in GGG , wobei der Anfangszustand ein Akzeptanzzustand und der Akzeptanzzustand ein Initialzustand wird, um ein NFA N′N′N' für die Umkehrsprache zu erhalten, Verwenden der...
Ich arbeite an einem Compiler für eine verkettete Sprache und möchte Unterstützung für Typinferenz hinzufügen. Ich verstehe Hindley-Milner, aber ich habe die Typentheorie im Laufe der Zeit gelernt, daher bin ich mir nicht sicher, wie ich sie anpassen soll. Ist das folgende System solide und...
Ich benutze einen digitalen Computer, um diese Nachricht zu schreiben. Solch eine Maschine hat eine Eigenschaft, die, wenn Sie darüber nachdenken, tatsächlich bemerkenswert ist: Es ist eine Maschine, die, wenn sie entsprechend programmiert ist, jede mögliche Berechnung durchführen kann . Natürlich...
Ich bin selbstlernende Beweis Assistenten und entschied sich für einige grundlegende Beweise zu starten und arbeiten , um meinen Weg nach oben. Gibt es ein Repository für die Hierarchie der Beweise, da Beweise auf anderen Beweisen basieren und so eine Hierarchie bilden? Ich weiß, dass ich einen...
Bei einer Menge von Mengen würde ich gerne eine Menge so dass jede Menge in mindestens ein Element von . Ich möchte auch, dass so wenig Elemente wie möglich enthält, während dieses Kriterium noch erfüllt ist, obwohl es möglicherweise mehr als ein kleinstes mit dieser Eigenschaft gibt (die Lösung...
Sei A nach B, das heißt reduzierbar sein . Daher Akzeptieren die Turing Maschine A hat Zugang zu einer Oracle für B . Lassen Sie die Turing Maschine Annahme A seine M A und die Oracle für B sein O B . Die Arten von Ermäßigungen:A ≤ BA≤BA \leq BEINAABBBEINAAMEINMAM_{A}BBBÖBOBO_{B} Turing -...
In einer Vorlesung erwähnte ein Professor, dass moderne Computer nicht so viel Rechenleistung haben wie eine Turing-Maschine, weil sie nicht unendlich viel Speicher haben. Da kein Computer unendlich viel Speicher haben kann, ist die Turing-Maschine daher unerreichbar und stellt lediglich die...
Ich versuche, das klassische Papier im Titel nur mit elementaren Mitteln (keine Erzeugungsfunktionen, keine komplexe Analyse, keine Fourier-Analyse) abzuleiten , wenn auch mit viel geringerer Genauigkeit. Kurz gesagt, ich möchte "nur" beweisen, dass die durchschnittliche Höhe hnhnh_n eines Baums...
Ich habe die Einführung in Algorithmen von Cormen et al. und ich lese die Aussage des Hauptsatzes ab Seite 73 . In Fall 3 gibt es auch eine Regelmäßigkeitsbedingung, die erfüllt sein muss, um den Satz zu verwenden: ... 3. Wenn f( n ) = Ω ( nLogba + ε)f(n)=Ω(nlogba+ε)\qquad \displaystyle f(n) =...
Mir ist nicht klar, wie die Ausdrücke "unendliche" Sprache oder "endliche" Sprache in der Computertheorie verwendet werden. Ich denke , die Wurzel des Übels ist , dass eine Sprache wie L={ab}∗L={ab}∗L=\{ab\}^* ist unendlich in dem Sinne , dass es eine unendliche erzeugen kann (aber zählbare) Anzahl...
Dieses Problem sieht für mich sehr interessant aus. Es sollte ein einfacher Zyklus (dh ein Zyklus, in dem keine Wiederholungsknoten vorhanden sind) in einem gerichteten Graphen gefunden werden. Meine Lösung sieht so aus, dh diese Grafik ist ein Fallproblem: Ich weiß, dass es einen Zyklus in einem...
Gegenwärtige Schachalgorithmen gehen je nach den Zügen des Spielers und des Gegners etwa 1 oder vielleicht 2 Stufen einen Baum von möglichen Pfaden hinunter. Nehmen wir an, wir haben die Rechenleistung, um einen Algorithmus zu entwickeln, der alle möglichen Bewegungen des Gegners in einem...
In letzter Zeit habe ich großes Interesse daran, Aspekte von (funktionalen) Programmiersprachen zu verstehen und zu beweisen. Wenn ich jedoch tiefer in die Materie eintauche, sind Dinge wie Berechnung, Kategorietheorie und Denotationssemantik ohne angemessene Erklärung etwas schwierig zu...
Offenbar , wenn , alle Sprachen in P mit Ausnahme von ∅ und Σ * wäre N P -komplette.P=NP{\sf P}={\sf NP}P{\sf P}∅\emptysetΣ∗\Sigma^*NP{\sf NP} Warum gerade diese beiden Sprachen? Können wir keine andere Sprache in auf sie reduzieren, indem wir sie ausgeben, wenn wir akzeptieren oder nicht...