ON THE OBDD-REPRESENTATION OF GENERAL BOOLEAN FUNCTIONS

被引：60
|
作者：
LIAW, HT
LIN, CS
机构：
[1] Department of Electrical Engineering, National Taiwan University, Taipei
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1992年 / 41卷 / 06期
关键词：
BINARY DECISION DIAGRAM; BOOLEAN FUNCTION; REDUCTION RULES; SIZE COMPLEXITY; VARIABLE ORDERING;
D O I：
10.1109/12.144618
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The behavior of OBDD's [1] for general Boolean functions is studied in this paper. A tight upper bound (2n/n)(2+ epsilon) for the worst case OBDD size is presented. Although the size of an OBDD is dependent on the ordering of decision variables, it is shown that almost all functions are not sensitive to variable ordering.
引用
收藏
页码：661 / 664
页数：4
相关论文
共 50 条
  • [1] OBDD minimization based on two-level representation of Boolean functions
    Wu, YL
    Fan, HB
    Marek-Sadowska, M
    Wong, CK
    IEEE TRANSACTIONS ON COMPUTERS, 2000, 49 (12) : 1371 - 1379
  • [2] On thin Boolean functions and related optimum OBDD ordering
    Wu, YL
    Fan, HB
    Wong, CK
    INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1998, : 216 - 218
  • [3] Computation of signal output probability for Boolean functions represented by OBDD
    Jiang, YT
    Wang, YK
    Song, XY
    Savaria, Y
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2004, 47 (12) : 1865 - 1874
  • [4] On the Optimal OBDD Representation of 2-XOR Boolean Affine Spaces
    Bernasconi, Anna
    Ciriani, Valentina
    Longhi, Marco
    PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022), 2022, : 1437 - 1442
  • [5] GRAPHICAL REPRESENTATION OF BOOLEAN FUNCTIONS
    OBERST, E
    KOEGST, M
    ANGEWANDTE INFORMATIK, 1979, (05): : 206 - 209
  • [6] A new representation of Boolean functions
    Carlet, C
    Guillot, P
    APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES, PROCEEDINGS, 1999, 1719 : 94 - 103
  • [7] On the graphical representation of boolean functions
    Oberst, E.
    Koegst, M.
    Angewandte Informatik/Applied Informatics, 1979, 21 (05): : 206 - 209
  • [8] FORM OF REPRESENTATION OF BOOLEAN FUNCTIONS
    ROZENFEL.TK
    SILAYEV, VN
    ENGINEERING CYBERNETICS, 1973, 11 (01): : 116 - 120
  • [9] ALGEBRAIC REPRESENTATION OF BOOLEAN FUNCTIONS
    RUBIOAYUSO, AJ
    INTERNATIONAL JOURNAL OF ELECTRONICS, 1984, 56 (05) : 735 - 739
  • [10] Boolean representation of manifolds and functions
    Ovchinnikov, S
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2001, 263 (01) : 294 - 300
12345