Als «applied-theory» getaggte Fragen

Theoretische Ergebnisse und Techniken, die in der Praxis angewendet werden.

4
Warum sind rot-schwarze Bäume so beliebt?
Ü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 mich bei Professoren erkundigt, ein paar Bücher durchgesehen und ein bisschen …
6
Was nützen Gruppen, Monoide und Ringe bei Datenbankberechnungen?
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 , HyperLogLog und CountMinSketch . Mit diesen Funktionen können Sie sich …
2
Codierung der 1-aus-n-Bedingung für SAT-Löser
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 gesehen.) Ich möchte die …
1
Natürliches Vorkommen von Monaden, die den kategorietheoretischen Rahmen nutzen
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 unendlichen Zustandssätzen und unterschiedlichen Vorstellungen von Spuren. Zu diesem Zweck durchläuft er mehrere Abstraktionsebenen, um schließlich …
1
Universelles Hashing in der Praxis
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 Grundstudiengängen zur Datenstruktur. Es wäre schön, die Schüler für die Bedeutung von Universal-Hashing in …
5
Tägliche Anwendungen der Typentheorie
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 Persönlichkeitsprofilen und dergleichen?
5
Was sind die praktischen Anwendungen von Ontologien?
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? Sind Ontologien Beziehungen zwischen Begriffen in diesem Wissensbereich (zum Beispiel …
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.