Wenn P = N P.P=NP\mathbf{P} = \mathbf{NP} , ist dann L = N L.L=NL\mathbf{L} = \mathbf{NL} ? Ich stelle diese Frage, weil für andere nicht deterministische Klassen P = N P.P=NP\mathbf{P} = \mathbf{NP} anscheinend immer feststellt, dass sie ihren deterministischen Gegenstücken gleich...
Ich weiß, dass Sprachen, die mit regulären Ausdrücken definiert werden können und die durch DFA / NFA (endliche Automaten) erkennbar sind, gleichwertig sind. Auch für die Sprache existiert kein DFA n ≥ 0 }{ 0n1n| n≥0}{0n1n|n≥0}\{0^n1^n|n \ge 0\} . Trotzdem kann es mit regulären Ausdrücken (im...
Bei einer Menge von Punkten und einem Radius . Welches ist die Komplexität des Findens des Punktes mit einer höheren Anzahl von Punkten in einem Abstand kleiner als . ZB diejenige, die maximiert ? R r Σ n i = 1 1 ‖ x - x i ‖ ≤ rx1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in...
Wikipedia sagt, dass die Vereinigung nach Rang ohne Pfadkomprimierung eine amortisierte Zeitkomplexität von ergibt und dass sowohl die Vereinigung nach Rang als auch die Pfadkomprimierung eine amortisierte Zeitkomplexität von O ( α ( n ) ) ergibt (wobei α die Umkehrung von ist Ackerman-Funktion)....
Ich möchte die Typentheorie verstehen, muss aber zuerst wissen, wie ich sie anwenden kann. Könnte es neben den Typsystemen in der Programmierung weitere nicht offensichtliche Anwendungen der Typentheorie geben? Könnte es andere Anwendungen geben, zum Beispiel bei der Erstellung von...
Selbsttypen sind eine Erweiterung der Konstruktionsrechnung [1], mit der die Sprache algebraische Datentypen ausdrücken kann, die durch die Scott-Codierung codiert werden. Die Scott-Codierung bietet die Möglichkeit zur Musterübereinstimmung O(1), was einer der Hauptgründe für die Aufnahme...
Ich lerne, wie man NFAs in DFAs konvertiert, und ich möchte sicherstellen, dass ich es richtig mache. Offensichtlich ist es keine Sache, in die andere Richtung zurückzukehren. Kennt jemand einen Algorithmus, um zu überprüfen, ob ein DFA einem NFA
Haftungsausschluss: Ich weiß, dass es hier und bei Stackoverflow bereits ähnlich klingende Fragen gibt. Aber es geht nur um Kollisionen, was ich nicht verlange. Meine Frage ist: Warum ist kollisions weniger Nachschlagen O(1)in erster Linie? Nehmen wir an, ich habe diese Hashtabelle: Hash Content...
Ich habe versucht herauszufinden, ob das Problem des Anhaltens für eindimensionale 3-Symbol-Zellularautomaten entscheidbar ist. Definition Es sei die Konfiguration des Systems zum Zeitpunkt i . Formaler f : A ∗ × N → A ∗ , wobei A das Alphabet ist.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times...
Aus meiner Lektüre geht hervor, dass es bei den meisten Grammatiken darum geht, eine unendliche Anzahl von Zeichenfolgen zu erzeugen. Was ist, wenn Sie umgekehrt gearbeitet haben? Wenn n Zeichenfolgen mit einer Länge von m angegeben werden, sollte es möglich sein, eine Grammatik zu erstellen, die...
Ich implementiere einen Naive Bayes-Algorithmus für die Textkategorisierung mit Laplace-Glättung. Das Problem, das ich habe, ist, dass sich die Wahrscheinlichkeit Null nähert, weil ich viele kleine Brüche multipliziere. Daher ergibt die Wahrscheinlichkeit schließlich Null. Dies liegt daran, dass...
Ich habe diesen Python-Code geschrieben und mich gefragt, ob er manchmal einfach nicht endet (vorausgesetzt, wir hatten unendlich viel Speicher / Zeit und keine Rekursionstiefenbegrenzung). Intuitiv würden Sie denken, dass es endet, da Sie irgendwann Glück haben müssen , und wenn es nicht endet,...
Aus dieser Referenz: Strikte Positivität Die strenge Positivitätsbedingung schließt Erklärungen wie z data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Warum ist A negativ? Auch warum ist B erlaubt? Ich verstehe, warum C erlaubt...
Ich habe kürzlich etwas über die Datenstruktur des Rosenbaums dataerfahren , aber wenn ich nur von einer Haskell- Definition und der winzigen Wikipedia-Beschreibung abkomme, habe ich einige Probleme zu verstehen, welche Anwendungen ein Rosenbaum haben könnte. Als Referenz die Haskell-...
Ich kenne nicht die richtige Terminologie, um diese Frage zu stellen, deshalb werde ich sie stattdessen mit vielen Worten beschreiben. Hintergrund , nur damit wir uns auf derselben Seite befinden: Programme enthalten häufig Caches - ein Kompromiss zwischen Zeit und Speicher. Ein häufiger Fehler...
Ich möchte Beweise für Teile eines Haskell-Programms liefern, das ich im Rahmen meiner Abschlussarbeit schreibe. Bisher habe ich jedoch kein gutes Nachschlagewerk gefunden. Graham Huttons Einführungsbuch Programming in Haskell ( Google Books ), das ich beim Lernen von Haskell gelesen habe, geht auf...
Dieser Beweis ist ein Beweis durch Induktion und lautet wie folgt: P (n) ist die Behauptung, dass "Quicksort jedes Eingabearray der Länge n korrekt sortiert". Basisfall: Jedes Eingabearray der Länge 1 ist bereits sortiert (P (1) gilt) Induktiver Schritt: Fix n => 2. Fixiere ein Eingabearray der...
Ich versuche, mich selbst über Quantencomputer zu unterrichten, und ich habe ein anständiges Verständnis der linearen Algebra. Ich kam durch das NICHT-Tor, was nicht so schlimm war, aber dann kam ich zum Hadamard-Tor. Und ich blieb stecken. Hauptsächlich, weil ich die Manipulationen zwar...
Ich habe heute gelernt, dass sich die Algorithmusanalyse basierend auf dem Rechenmodell unterscheidet. Daran habe ich noch nie gedacht oder gehört. Ein Beispiel, das mir von User @chi weiter veranschaulicht wurde, war: Betrachten Sie zB die Aufgabe: gegeben return . Im RAM kann dies in gelöst...
Stellen Sie sich wie gewohnt eine endliche Zustandsmaschine vor, aber bei jedem Übergang kann auch ein ganzzahliger Zähler aktualisiert werden, indem eine Zahl addiert oder subtrahiert wird. Angenommen, eine Übergangsfunktion der Form bewegt sich in den neuen Zustand und addiert zum Zähler, wobei...