Theoretische Informatik ds.data-structures

1

Logik in Gegenwart von Zweifel, Unsicherheit, Lügen

Ich las Harry Frankfurts On Bulls * t , einen philosophischen Aufsatz von 1986 über diese verschwommene Vorstellung zwischen Wahrheit und Falschheit. Dies ist keine unentgeltliche Übung. Dies kann Anwendungen in der Informatik haben, da wir immer Datensätze ineinander leiten . Einige dieser Datenquellen sind möglicherweise fadenscheinig, der Rohrleitungsprozess kann …

8 lo.logic ds.data-structures circuit-complexity randomized-algorithms db.databases

2

Dynamische obere Hüllkurve von Linien in der Ebene

Es gibt einfache Algorithmen, um die obere Hüllkurve einer Linienanordnung in der Ebene zu berechnen. Siehe z. B. Abschnitt 2.3 in der Übersicht Davenport-Schinzel-Sequenzen und ihre geometrischen Anwendungen . Gibt es bekannte Algorithmen / Datenstrukturen für die dynamische Version desselben Problems? Das heißt, wir möchten die obere Hüllkurve eines Satzes …

8 ds.algorithms reference-request ds.data-structures cg.comp-geom

1

Dynamische planare exakte k-nächste Nachbarn für pathologische Daten

Was sind die bekanntesten Ergebnisse für eine Datenstruktur, die die folgenden Operationen für Punktmengen im zweidimensionalen euklidischen Raum bietet: i n s e r t ( x )ichnsert(x)insert(x) delete(x)delete(x)delete(x) (wobei k eine ganze Zahl größer als 0 ist) gibt die k Punkte zurück, die x amnächsten liegen,die sich in der …

8 ds.data-structures cg.comp-geom near-neighbors

2

Suchen einer Teilmenge einer Menge in einer Sammlung von Mengen

Welche Datenstrukturen würden Sie empfehlen, die eine Sammlung von Teilmengen von und die folgenden Vorgänge unterstützen?{ 1 , … , n }{1,…,n}\{1, \dots, n\} S.i n s e r t ( S.)insert(S)insert(S) : Fügt in die Sammlung ein.S.SS S ' S ' ⊂ S.qu e r y( S.)query(S)query(S) : Gibt …

8 ds.data-structures

1

Funktionale Sparse-Matrix mit guter Leistung?

Beim Schreiben eines Petri Net-Programms stand ich vor der Wahl der Datenstrukturen zur Darstellung des Diagramms. Adjazenzlisten (dh Listen, in denen die Bögen in und aus einzelnen Orten oder Übergängen aufgelistet sind) sind leicht zu implementieren, aber während ich die Theorie der Petrinetze studierte, war ich von der Schönheit des …

8 ds.data-structures functional-programming sparse-matrix

2

Was ist die Initialisierungszeit eines Link-Cut-Baums?

Link-Cut-Baum ist eine von Sleator und Tarjan erfundene Datenstruktur, die verschiedene Operationen und Abfragen in einer Knoten-Gesamtstruktur in Zeit O ( log n ) unterstützt . (Zum BeispielkombiniertOperation Link zwei Bäume im Wald zu einem, während Operation Cut einen Baum im Wald in zwei Bäume unterteilt.)nnnO ( logn )O(log⁡n)O(\log n) …

8 ds.algorithms ds.data-structures time-complexity tree dynamic-algorithms

3

Der Nachweis von Sprunglisten ist in der Erwartung stark gewichtsausgeglichen

Wie groß ist bei einer Sprungliste mit der Höhe nnn die erwartete Länge innerhalb eines konstanten (multiplikativen) Faktors? In Abschnitt 2.2 von Cache-Oblivious B-Trees werden stark gewichtsausgeglichene Suchbäume wie folgt definiert: Für eine Konstante ddd , jeder Knoten vvv in der Höhe hhh hat Θ(dh)Θ(dh)\Theta(d^h) Nachkommen. Sie behaupten: Suchbäume, die …

8 ds.data-structures randomized-algorithms skip-lists

4

Heuristiken zur Abschätzung der Effizienz von reduzierten geordneten binären Entscheidungsdiagrammen?

Reduziertes bestellt Binary Decision Diagrams (ROBDD) ist eine effiziente Datenstruktur für die Darstellung von Booleschen Funktionen mehreren Variablen . Ich möchte eine Vorstellung davon bekommen, wie effizient sie sind.f( x1, x2, . . . , xn)f(x1,x2,...,xn)f(x_1,x_2,...,x_n) Zum Beispiel wissen wir für die Datenkomprimierung, dass Daten mit niedriger Entropie (einige Symbole …

8 ds.data-structures binary-decision-diagrams

Als «ds.data-structures» getaggte Fragen