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 - +

← 1 2 3 4 5 →