Tree-shellability of restricted DNFs

被引:0
|
作者
Takenaga, Yasuhiko [1 ]
Katougi, Nao [1 ]
机构
[1] Univ Electrocommun, Dept Comp Sci, Chofu, Tokyo 1828585, Japan
来源
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 2008年 / E91D卷 / 04期
关键词
Boolean function; shellability; prime implicant; binary decision tree;
D O I
10.1093/ietisy/e91-d.4.996
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A tree-shellable function is a positive Boolean function which can be represented by a binary decision tree whose number of paths from the root to a leaf labeled 1 equals the number of prime implicants. In this paper, we consider the tree-shellability of DNFs with restrictions. We show that, for read-k DNFs, the number of terms in a tree-shellable function is at most k(2). We also show that, for k-DNFs, recognition of ordered tree-shellable functions is NP-complete for k = 4 and tree-shellable functions can be recognized in polynomial time for constant k.
引用
收藏
页码:996 / 1002
页数:7
相关论文
共 50 条
  • [31] Efficient Arbitrary and Resolution Proofs of Unsatisfiability for Restricted Tree-Width
    Fuerer, Martin
    LATIN 2012: THEORETICAL INFORMATICS, 2012, 7256 : 387 - 398
  • [32] Tree Factored Conditional Restricted Boltzmann Machines for Mixed Motion Style
    Xie, Chunzhi
    Lv, Jiancheng
    Jia, Bijue
    Xia, Lei
    NEURAL INFORMATION PROCESSING, ICONIP 2017, PT V, 2017, 10638 : 484 - 492
  • [33] Optimization of Restricted Container Relocation Using the Monte Carlo Tree Search Method
    Chaabane, Abdelali
    Yachba, Khadidja
    Bellatreche, Ladjel
    TRANSPORT AND TELECOMMUNICATION JOURNAL, 2025, 26 (01) : 13 - 22
  • [34] A Restricted Markov Tree Model for Inference and Generation in Social Choice with Incomplete Preferences
    Doucette, John A.
    Cohen, Robin
    AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2017, : 893 - 901
  • [35] Location-selection of Wireless Network Based on Restricted Steiner Tree Algorithm
    Lu, Xiao-xu
    Yang, Shang-wu
    Zheng, Nan
    2011 3RD INTERNATIONAL CONFERENCE ON ENVIRONMENTAL SCIENCE AND INFORMATION APPLICATION TECHNOLOGY ESIAT 2011, VOL 10, PT A, 2011, 10 : 368 - 373
  • [36] SET: Sampling-Enhanced Exploration Tree for Mobile Robot in Restricted Environments
    Chen, Yanjie
    Zhang, Zhixing
    Wu, Zheng
    Miao, Zhiqiang
    Zhang, Hui
    Wang, Yaonan
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2023, 19 (10) : 10467 - 10477
  • [37] WGIT*: Workspace-Guided Informed Tree for Motion Planning in Restricted Environments
    Zhang, Zhixing
    Chen, Yanjie
    Han, Feng
    Fan, Junwei
    Yu, Hongshan
    Zhang, Hui
    Wang, Yaonan
    IEEE-ASME TRANSACTIONS ON MECHATRONICS, 2024, 29 (05) : 3821 - 3832
  • [38] Dynamic Load Balancing Based on Restricted Multicast Tree in Homogeneous Multiprocessor Systems
    刘滨
    石峰
    高玉金
    JournalofBeijingInstituteofTechnology, 2008, (02) : 184 - 188
  • [39] A multidisciplinary approach to inform assisted migration of the restricted rainforest tree, Fontainea rostrata
    Conroy, Gabriel C.
    Shimizu-Kimura, Yoko
    Lamont, Robert W.
    Ogbourne, Steven M.
    PLOS ONE, 2019, 14 (01):
  • [40] PMTA: Potential-based multicast tree algorithm with connectivity restricted hosts
    Shi, Xiaohui
    Chen, Yang
    Lu, Guohan
    Deng, Beixing
    Li, Xing
    Chen, Zhijia
    GLOBECOM 2007: 2007 IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE, VOLS 1-11, 2007, : 559 - +