Sciweavers

Share
ISMVL
2000
IEEE

Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions

10 years 5 months ago
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than the variables obtained by a binary encoding. We present a more general class of MDDs, containing not only branching nodes but also functional nodes, labeled by addition modulo Ô operation, Ô - prime, and give algorithms for their manipulation. Such decision diagrams have a potential of being more space-efficient than MDDs. However, they are not a canonical representation of multiple-valued functions and thus the equivalence test of two Mod-Ô-DDs is more difficult then the test of two MDDs. To overcome this problem, we design a fast probabilistic equivalence test for Mod-Ô-DDs that requires time linear in the number of nodes.
Harald Sack, Elena Dubrova, Christoph Meinel
Added 31 Jul 2010
Updated 31 Jul 2010
Type Conference
Year 2000
Where ISMVL
Authors Harald Sack, Elena Dubrova, Christoph Meinel
Comments (0)
books