Ich versuche zu verstehen, warum Quicksort mit Lomuto-Partition und festem Pivot bei zufällig generierten Eingaben unregelmäßig, aber insgesamt schlecht funktioniert. Ich denke, obwohl die Eingaben zufällig generiert werden, können die Sequenzen sehr ordentlich sein, aber ich bin mir nicht sicher,...
Ich habe einige formale sprachtheoretische Artikel gelesen und bin auf einen Begriff gestoßen, den ich nicht verstehe. Das Papier bezieht sich häufig auf eine Menge, die "unter Kreuzung effektiv geschlossen" wird, oder auf andere Operationen. Was bedeutet hier "effektiv"? Wie unterscheidet sich...
Ich untersuche das PAC-Lernen (Computational Learning Theory) als Anfänger ohne Vorkenntnisse in maschinellem Lernen / KI. Ich untersuche das Modell hauptsächlich aus historischer Sicht. Das Wichtigste dabei sind natürlich die modellbasierten Ergebnisse. Es gibt genügend Papiere, die diese...
Was sind entartete Polygone? Wie prüft man, ob ein bestimmtes Polygonpaar entartet ist oder
Ich bin ein CS-Student (aber ich weiß nicht viel über KI, habe keine Kurse besucht und definitiv nichts über NN bis vor kurzem), der im Begriff ist, ein Schulprojekt in KI zu machen, also wähle ich ein Thema aus Grammatikinduktion (der kontextfreien Sprache und möglicherweise einer Teilmenge der...
Wenn man in der Typentheorie zulässt, dass Typ ein Mitglied von sich selbst ist, macht dies die Theorie inkonsistent. Ich verstehe es in Analogie zu Russels Paradoxon in der Mengenlehre, würde es aber vorziehen, es in der Typentheorie zu sehen. Gibt es ein kurzes Beispiel für das Äquivalent in der...
Ich generiere zufällige DFAs, um einen DFA-Reduktionsalgorithmus auf ihnen zu testen. Der Algorithmus, der ich jetzt bin verwendet , ist wie folgt: für jeden Zustand , für jedes Symbol des Alphabets , fügen bis zu einem gewissen zufälligen Zustand. Jeder Staat hat die gleiche Wahrscheinlichkeit,...
Für meinen CS-Abschluss hatte ich den größten Teil des "normalen" mathematischen Hintergrunds: Kalkül: Differential, Integral, Komplexe Zahlen Algebra: so ziemlich die Konzepte bis zu den Feldern. Zahlentheorie: XGCD und ähnliches, hauptsächlich für Krypto. Lineare Algebra: bis zu Eigenvektoren /...
Ich habe dieses Problem mit CLRS versucht (Seite 39, 2.3-4). Wir können die Einfügesortierung als rekursive Prozedur wie folgt ausdrücken. Zum Sortieren sortieren A[1... n]wir rekursiv A[1... n-1]und fügen es dann A[n]in das sortierte Array ein A[1... n-1]. Schreiben Sie eine Wiederholung für die...
Ich versuche, interaktive Beweissysteme zu verstehen und habe das folgende Problem als Übung ausprobiert. Wir wissen, dass und , also kommen Sie mit (leicht verständlichen) interaktiven Proof-Systemen für ?I P = P S P A C E P H.P.H.⊆ P.S.P.A C.E.PH⊆PSPACEPH \subseteq PSPACEichP.= P.S.P.A...
Ich suche eine kontextsensitive Grammatik, die die folgende Sprache beschreibt: .L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Ich habe Probleme mit der Tatsache, dass keine Regeln wie erlaubt sind und ich daher kein Nichtterminal platzieren kann, das die...
Ein Team hat beschlossen, dass jeden Morgen jemand Croissants für alle mitbringen sollte. Es sollte nicht jedes Mal dieselbe Person sein, daher sollte es ein System geben, das bestimmt, wer als nächstes an der Reihe ist. Der Zweck dieser Frage ist es, einen Algorithmus zu bestimmen, mit dem...
Ich habe ein neuronales Netzwerk (mit CUDA) mit 2 Schichten implementiert. (2 Neuronen pro Schicht). Ich versuche, 2 einfache quadratische Polynomfunktionen mithilfe der Backpropagation zu lernen . Aber anstatt zu konvergieren, divergiert es (die Ausgabe wird unendlich) Hier sind einige weitere...
Warum werden Anfangsgewichte neuronaler Netze als Zufallszahlen initialisiert? Ich hatte irgendwo gelesen, dass dies getan wird, um "die Symmetrie zu brechen" und dies das neuronale Netzwerk schneller lernen lässt. Wie kann das Brechen der Symmetrie schneller lernen? Wäre es nicht besser, die...
Ich möchte einen gleichmäßig zufälligen Punkt in einem Polygon abtasten ... Wenn eine große Anzahl beprobt wird, fallen sie mit gleicher Wahrscheinlichkeit in zwei Regionen, wenn sie dieselbe Fläche haben. Dies wäre ziemlich einfach, wenn es ein Quadrat wäre, da ich zwei Zufallszahlen in [0,1] als...
Beim Einfügen eines Elements in einen Spreizbaum werden Drehungen paarweise basierend auf einem Zick-Zack- oder Zick-Zick-Muster ausgeführt. Wenn eine ungerade Anzahl von Umdrehungen ausgeführt werden muss, kann man entweder die zusätzliche Umdrehung beginnend am Blatt ausführen oder die...
Kann mit einem Programm, das aus Variablen und Anweisungen besteht, die diese Variablen ändern, und einem Synchronisationsprimitiv (Monitor, Mutex, Java synchronisiert oder C # -Sperre) nachgewiesen werden, dass ein solches Programm threadsicher ist? Gibt es überhaupt ein formales Modell zur...
Wie beweisen wir, wie in der Frage angegeben, dass ?NTIME (f( n ) ) ⊆ DSPACE ( f( n ) )NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Kann mich hier jemand auf einen Beweis hinweisen oder umreißen? Vielen
Ich arbeite an einem Diagrammeditor. Diagramme zeigen 2D-Formen ( Knoten ) an, die mit Verbindern ( Kanten ) verbunden sind. Ich möchte eine Operation hinzufügen, die sie bei einer Auswahl von Knoten "entwirrt" : Sie positioniert sie neu, um die Anzahl der sich kreuzenden Kanten nach Möglichkeit zu...
Ist es möglich, abhängige Typen in der vorhandenen Typed Racket- Implementierung zu verwenden? (dh existieren sie darin?) Ist es vernünftigerweise möglich, ein System abhängiger Typen mit typisiertem Schläger zu