離散構造処理に基づく列挙・最適化・制約充足の統合的技法とその応用

项目来源

日本学术振兴会基金(JSPS)

项目主持人

湊 真一

项目受资助机构

京都大学

项目编号

25H01114

立项年度

2025

立项时间

未公开

研究期限

未知 / 未知

项目级别

国家级

受资助金额

59800000.00日元

学科

情報科学、情報工学およびその関連分野

学科代码

未公开

基金类别

基盤研究(A)

关键词

アルゴリズム ; 離散構造 ; 列挙 ; 最適化 ; 制約充足 ;

参与者

堀山貴史;瀧川一学;川原純;番原睦則;山口勇太郎

参与机构

京都大学,情報学研究科;北海道大学,情報科学研究院;東京大学,大学院新領域創成科学研究科;名古屋大学,情報学研究科;大阪大学,大学院情報科学研究科

项目标书摘要:Outline of Research at the Start:論理や集合などを操作する離散構造処理系に基づく種々の問題において「列挙」「最適化」「制約充足」の三者は、これまで個別に処理技法が発展してきたが、共通する要素技術が多く見られる。本研究課題では、互いの技法の深い理論的基盤を理解することにより三者の統合とその性能向上を図り、確率モデリングや機械学習・AI分野への応用にも発展させることを目指す。研究成果は論文化するだけでなく、高性能な基盤ソフトウェアを開発し提供していく。また、学術変革(A)「アルゴリズム基盤」での取り組みを引き継ぎ、関連研究者が集まり議論する「場」を継続的に提供し、競争力の源泉となるアイデアを醸成し続けることを目指す。

  • 排序方式:
  • 1
  • /
  • 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)

    ...
  • 排序方式:
  • 1
  • /