Theoretische Ergebnisse und Techniken, die in der Praxis angewendet werden.
Überall, wo ich hinschaue, werden Datenstrukturen mithilfe von rot-schwarzen Bäumen implementiert ( std::setin C ++, SortedDictionaryin C # usw.). Nachdem ich gerade (a, b), Rot-Schwarz- und AVL-Bäume in meinem Algorithmus-Kurs behandelt habe, habe ich Folgendes herausgefunden (auch nachdem ich...
Warum interessiert sich ein Unternehmen wie Twitter für algebraische Konzepte wie Gruppen, Monoide und Ringe? Ihr Repository finden Sie unter github: twitter / algebird . Alles was ich finden konnte ist: Implementierung von Monoiden für interessante Approximationsalgorithmen wie Bloom-Filter ,...
Zu sehen, dass in der Chomsky-Hierarchie Sprachen des Typs 3 von einer Zustandsmaschine ohne externen Speicher (dh einem endlichen Automaten), Typ 2 von einer Zustandsmaschine mit einem einzelnen Stapel (dh einem Pushdown-Automaten) und Typ 0 von erkannt werden können Wie passen Sprachen des Typs 1...
Ich habe eine Übung an meiner Universität bekommen. Ich habe es mit nach Hause genommen und versucht, einen Algorithmus zu programmieren, um es zu lösen. Es handelte sich vermutlich um Grafiken, um das Auffinden verbundener Komponenten. Dann machte ich das Trivialste, was mir in den Sinn kam, und...
Ich verwende einen SAT-Löser, um ein Problem zu kodieren, und als Teil der SAT-Instanz habe ich boolesche Variablen x1, x2, … , Xnx1,x2,…,xnx_1,x_2,\dots,x_n wobei genau eine davon wahr sein soll und der Rest wahr sein soll falsch sein. (Ich habe dies manchmal als "One-Hot" -Codierung beschrieben...
Ein Automat ist ein abstraktes Modell eines digitalen Computers. Digitale Computer sind vollkommen deterministisch. Ihr Zustand ist jederzeit eindeutig aus der Eingabe und dem Anfangszustand vorhersehbar. Warum sollte Nichtdeterminismus in die Automatentheorie einbezogen werden, wenn wir versuchen,...
Die Radix-Sortierung ist theoretisch sehr schnell, wenn Sie wissen, dass sich die Tasten in einem bestimmten begrenzten Bereich befinden, z. B. Werte im Bereich [ 0 … n k - 1 ] . Wenn k < lg n Sie nur die Werte zu Base umwandeln n , die nimmt Θ ( n ) Zeit, führen Sie eine Basis n Art radix und...
Ein Vortrag von Henning Kerstan ("Spurensemantik für probabilistische Übergangssysteme") hat mich heute erstmals mit Kategorietheorie konfrontiert. Er hat einen theoretischen Rahmen für die allgemeine Beschreibung probablistischer Übergangssysteme und ihres Verhaltens geschaffen, dh mit unzähligen...
HHHh : U→ { 0 , … , M−1}h:U→{0,…,M−1}h: U \rightarrow \{0,\ldots,M-1\}∀x,y∈U,x≠y⇒Prh∈H[h(x)=h(y)]≤1M∀x,y∈U,x≠y⇒Prh∈H[h(x)=h(y)]≤1M\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq \frac{1}{M} Das Konzept des universellen Hashings ist heute ein Standardbestandteil von...
Es gibt das populäre Problem [1] [2] in der Informatik, das darin besteht, eine minimale Anzahl gerader Linien zu finden, die eine gegebene Menge von Punkten in 2D abdecken. Obwohl ich viele Papiere gescannt habe, hat keines eine eindeutige Motivation für das Problem. Was nützt es, dieses Problem...
Wird der Dijkstra-Algorithmus in modernen Routenfindungssystemen wie Google Maps oder dem Navigationssystem in Ihrem Auto verwendet? Wenn nicht, was
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...
Ich habe viele Artikel und Bücher über Ontologien gelesen und versuche herauszufinden, wie sie in einem echten Projekt verwendet werden. Wie kann beispielsweise die Ontologie eines Fußballspieler-Roboters definiert und mit einer kognitiven Architektur verwendet werden, um ihn intelligent zu machen?...
Gibt es reale Anwendungen des Steiner Tree Problems (STP)? Ich verstehe, dass das VSLI-Chipdesign eine gute Anwendung des STP ist. Gibt es andere Beispiele für Probleme in der realen Welt, von denen die Leute vermuten können, dass sie im Sinne des STP formuliert werden könnten? Hintergrund: Ich...
Ein Freund von mir hat mir tatsächlich eine sehr interessante Frage zum Thema Informatik gestellt, und ich habe lange daran festgehalten. Das Problem ist: Sie müssen reisen 100010001000km. Die einzige Tankstelle befindet sich am Startpunkt. Ihre maximale Kraftstofftankkapazität reicht gerade...
Ich habe über das Modellzählen gelesen, auch bekannt als das # Sat-Problem. Was sind die praktischen Anwendungen dieses Problems, wenn überhaupt, und wie genau reduzieren sie sich darauf? Ich konnte keine finden, obwohl dies einfach auf meine eigene Unkenntnis des Themas zurückzuführen...
Ich arbeite derzeit an meinen Datenstrukturen und grundlegenden Algorithmen, ein Teil davon ist der Binärbaum. Ich verstehe die Algorithmen und wie man einen binären Suchbaum und so implementiert. Ich mache es so schlau, dass wir in O (log n) Zeit nachschlagen können. Es fällt mir jedoch schwer,...
Im Rahmen eines Kurses, den ich über Datenstrukturen unterrichte, möchte ich, dass die Schüler die Verwendung von Datenstrukturen in gängigen Software / Diensten erforschen und präsentieren. Grundlegendes Googeln zeigt mir jedoch, dass diese Informationen nicht so leicht verfügbar sind. Kann mich...