マトロイドを表す BDD と ZDD のサイズに関する研究

マトロイドを表す BDD と ZDD の構造的な関係を明らかにし、特定のクラスのマトロイドに対する BDD/ZDD の幅の上界を示した。