• 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