DocumentCode
1436492
Title
Relation between OFDDs and FPRMs
Author
Drechsler, K. ; Becker, B.
Author_Institution
Inst. of Comput. Sci., Albert-Ludwigs-Univ., Freiburg, Germany
Volume
32
Issue
21
fYear
1996
fDate
10/10/1996 12:00:00 AM
Firstpage
1975
Lastpage
1976
Abstract
Ordered functional decision diagrams (OFDDs) are often used as a data structure for representing fixed polarity Reed-Muller expressions (FPRMs). The authors show that OFDDs are never much larger in size than FPRMs. In contrast there exists Boolean functions for which FPRMS always have exponential size, while the OFDD representation remains small. In this sense the authors show that OFDDs are a good data structure for FPRM representation
Keywords
Boolean functions; Reed-Muller codes; data structures; Boolean functions; data structure; fixed polarity Reed-Muller expressions; ordered functional decision diagrams;
fLanguage
English
Journal_Title
Electronics Letters
Publisher
iet
ISSN
0013-5194
Type
jour
DOI
10.1049/el:19961355
Filename
542875
Link To Document