Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues

Abstract

Existing languages in the valued decision diagrams (VDDs) family, including ADD, AADD, and those of the SLDD family, prove to be valuable target languages for compiling multivariate functions. However, their efficiency is directly related to the size of the compiled formulae. In practice, the existence of canonical forms may have a major impact on the size of the compiled VDDs. While efficient normalization procedures have been pointed out for ADD and AADD the canonicity issue for SLDD formulae has not been addressed so far. In this paper, the SLDD family is revisited. We modify the algebraic requirements imposed on the valuation structure so as to ensure tractable conditioning, optimization and normalization for some languages of the revisited SLDD family. We show that AADD is captured by this family. Finally, we compare the spatial efficiency of some languages of this family, from both the theoretical side and the practical side.
Fichier principal
Vignette du fichier
Fargier_12763.pdf (338.07 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04085303 , version 1 (28-04-2023)

Identifiers

  • HAL Id : hal-04085303 , version 1
  • OATAO : 12763

Cite

Hélène Fargier, Pierre Marquis, Nicolas Schmidt. Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), International Joint Conferences on Artificial Intelligence (IJCAI), Aug 2013, Pékin, China. pp.884-890. ⟨hal-04085303⟩
88 View
29 Download

Share

Gmail Facebook X LinkedIn More