On the size of multiple-valued decision diagrams

被引：3
|
作者：
Miller, DM [1 ]
Dueck, GW [1 ]
机构：
[1] Univ Victoria, Dept Comp Sci, Victoria, BC V8W 3P6, Canada
来源：
33RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/ISMVL.2003.1201411
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The worst-case number of nodes is considered for decision diagrams for general and totally-symmetric multiple-valued functions. We present upper bounds on the number of nodes and then show the bounds are exact by showing how to construct decision diagram of that size. We also show that cyclic edge negations do not reduce the worst case size as much as might be anticipated. Finally, we show that functions exist which have exponential size with respect to one radix, but have linear size with respect to a different radix.
引用
收藏
页码：235 / 240
页数：6
相关论文
共 50 条
  • [1] On the construction of multiple-valued decision diagrams
    Miller, DM
    Drechsler, R
    [J]. ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2002, : 245 - 253
  • [2] Augmented sifting of multiple-valued decision diagrams
    Miller, DM
    Drechsler, R
    [J]. 33RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2003, : 375 - 382
  • [3] Heuristics to minimize multiple-valued decision diagrams
    Babu, HMH
    Sasao, T
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2000, E83A (12) : 2498 - 2504
  • [4] Augmented sifting of multiple-valued decision diagrams
    Department of Computer Science, University of Victoria, Victoria, BC V8W 3P6, Canada
    不详
    [J]. Proc Int Symp Mult Valued Logic, (375-382):
  • [5] Edge-valued decision diagrams for multiple-valued functions
    Stankovic, RS
    Astola, J
    [J]. 34TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2004, : 229 - 234
  • [6] Multiple-valued decision diagrams with symmetric variable nodes
    Miller, DM
    Muranaka, N
    [J]. 1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, : 242 - 247
  • [7] On the Skipped Variables of Quantum Multiple-valued Decision Diagrams
    Feinstein, David Y.
    Thornton, Mitchell A.
    [J]. 2011 41ST IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2011, : 164 - 169
  • [8] Dependability analysis using multiple-valued decision diagrams
    Xing, LD
    Dugan, JB
    [J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL I AND II, PROCEEDINGS, 2002, : 891 - 897
  • [9] Shared multiple-valued decision diagrams for multiple-output functions
    Babu, HMH
    Sasao, T
    [J]. 1999 29TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1999, : 166 - 172
  • [10] Edge-shifted decision diagrams for multiple-valued logic
    Devereux, Benet
    Chechik, Marsha
    [J]. Journal of Multiple-Valued Logic and Soft Computing, 2003, 9 (1 SPEC. ISS.) : 59 - 86
12345