Shared Integer Dichotomy

Jean Vuillemin 1, 2
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Abstract : The Integer Dichotomy Diagram IDD(n) represents a natural number n ∈ N by a Directed Acyclic Graph in which equal nodes are shared to reduce the size s(n). That IDD also represents some finite set of integers by a Digital Search DAG where equal subsets are shared. The same IDD also represents representing Boolean Functions, IDDs are equivalent to (Zero-suppressed) ZDD or to (Binary Moment) BMD Decision Diagrams. The IDD data-structure and algorithms combines three standard software packages into one: arithmetics, sets and Boolean functions. Unlike the binary length l(n), the IDD size s(n) < l(n) is not monotone in n. Most integers are dense, and s(n) is near l(n). Yet, the IDD size of sparse integers can be arbitrarily smaller. We show that a single IDD software package combines many features from the best known specialized packages for operating on integers, sets, Boolean functions, and more. Over dense structures, the time/space complexity of IDD operations is proportional to that of its specialized competitors. Yet equality testing is performed in unit time with IDDs, and the complexity of some integer operations (e.g. n < m, n ± 2 m , 2 2 n ,. . .) is exponentially lower than with bit-arrays. In general, the IDD is best in class over sparse structures, where both the space and time complexities can be arbitrarily lower than those of un-shared representations. We show that sparseness is preserved by most integer operations, including arithmetic and logic operations, but excluding multiplication and division. Keywords: computer arithmetic, integer dichotomy & trichotomy, sparse & dense structures , dictionary package, digital search tree, minimal acyclic automata, binary Trie, boolean function, decision diagram, store/compute/code once. 2
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01239120
Contributeur : Jean Vuillemin <>
Soumis le : lundi 14 décembre 2015 - 11:23:53
Dernière modification le : mardi 18 avril 2017 - 09:13:45
Document(s) archivé(s) le : mardi 15 mars 2016 - 10:20:42

Fichier

VuilleminSharedDichotomy.pdf
Publication financée par une institution

Identifiants

  • HAL Id : hal-01239120, version 1

Collections

Citation

Jean Vuillemin. Shared Integer Dichotomy. 2014. <hal-01239120>

Partager

Métriques

Consultations de
la notice

86

Téléchargements du document

60