Die Zero-suppressed binary decision diagram (ZDD) ist eine kompakte Datenstruktur für Familien von (Teil-)Mengen. Untersuchung von Transformationen auf ZDDs zeigt, dass viele Operationen zu exponentiellem Zeitverbrauch führen, selbst bei vernünftiger Anordnung. Die Worst-Case-Komplexität von Operationen auf ZDDs wurde nicht umfassend untersucht. Unterschiedliche Operationen wie Vereinigung, Schnitt und Differenz haben unterschiedliche Auswirkungen auf die Größe der ZDDs. Die Ergebnisse widerlegen einige Behauptungen in der Literatur und lösen offene Probleme. Die Größe der ZDDs bleibt unabhängig von der Elementreihenfolge exponentiell.
In eine andere Sprache
aus dem Quellinhalt
arxiv.org
Wichtige Erkenntnisse aus
by Kengo Nakamu... um arxiv.org 03-11-2024
https://arxiv.org/pdf/2403.05074.pdfTiefere Fragen