離散構造処理に基づく列挙・最適化・制約充足の統合的技法とその応用
项目来源
项目主持人
项目受资助机构
项目编号
立项年度
立项时间
研究期限
项目级别
受资助金额
学科
学科代码
基金类别
关键词
参与者
参与机构
1.On the sizes of BDDs and ZDDs representing matroids
- 关键词:
- Boolean functions;Combinatorial mathematics;Decision theory;Binary decision;Compact data structure;Compact representation;Connectivity function;Decision diagram;Pathwidth;Specific class;Upper Bound;Zero-suppressed binary decision diagrams
- Emoto, Hiromi;Iwamasa, Yuni;Minato, S.
- 《Theoretical Computer Science》
- 2026年
- 1059卷
- 期
- 期刊
Matroids are often represented as oracles since there are no unified and compact representations for general matroids. This paper initiates the study of binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) as relatively compact data structures for representing matroids in a computer. This study particularly focuses on the sizes of BDDs and ZDDs representing matroids. First, we compare the sizes of different variations of BDDs and ZDDs for a matroid. These comparisons involve concise transformations between specific decision diagrams. Second, we provide upper bounds on the size of BDDs and ZDDs for several classes of matroids. These bounds are closely related to the number of minors of the matroid on some subsets of its ground set and depend only on the connectivity function or pathwidth of the matroid, which deeply relates to the classes of matroids called strongly pigeonhole classes. In essence, these results indicate upper bounds on the number of minors for specific classes of matroids and new strongly pigeonhole classes. © 2025 The Author(s)
...
