On Maximal QROBDD's of Boolean Functions - Archive ouverte HAL
Article Dans Une Revue RAIRO - Theoretical Informatics and Applications (RAIRO: ITA) Année : 2005

On Maximal QROBDD's of Boolean Functions

Résumé

We investigate the structure of ``worst-case'' quasi reduced ordered decision diagrams and Boolean functions whose truth tables are associated to: we suggest different ways to count and enumerate them. We, then, introduce a notion of complexity which leads to the concept of ``hard'' Boolean functions as functions whose QROBDD are ``worst-case'' ones. So we exhibit the relation between hard functions and the Storage Access function (also known as Multiplexer).
Fichier non déposé

Dates et versions

hal-00081326 , version 1 (22-06-2006)

Identifiants

  • HAL Id : hal-00081326 , version 1

Citer

Jean-Baptiste Yunès, Jean-Francis Michon, Pierre Valarcher. On Maximal QROBDD's of Boolean Functions. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2005, 39, pp.ITA0442. ⟨hal-00081326⟩
100 Consultations
0 Téléchargements

Partager

More