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.
toiselle kielelle
lähdeaineistosta
arxiv.org
Tärkeimmät oivallukset
by Kengo Nakamu... klo arxiv.org 03-11-2024
https://arxiv.org/pdf/2403.05074.pdfSyvällisempiä Kysymyksiä