Aizu Camp 2013 Day1

1. Problem
B2D
2DはDecision Diagramの略
Aizu Camp 2013 Day1 9/3
@Respect2D

2. 問題概要
 論理関数を表すBDDというデータ構造
 簡約化規約を用いて圧縮せよ

3. 簡約化規則
 簡約化規則は2つある

4. 想定解法
 ひたすら簡約化規則を適用するだけ
 どこから簡約化を行っても大丈夫
 最終的に全く同じ形のBDDができる
 注意点
◦ 規則(b)は、2つのノードの変数番号が同じでない
と適用できない
◦ 削除するノードの入力エッジは全て繋ぎ直しま
しょう(1本だけじゃない)
x
f f

5. その他
 北大のDさんがこんな発言を
◦ 「D問題、BDDの頂点数はKnuthの
TAOCP4-1に書いてあるBeadsという概念
を使うと文字列処理だけで解けます。」
 興味ある人は調べてみてください

6. 結果
 First AC
◦ Darsein
 Accept / Submit
◦ 6 / 10 (60.00 %)

7. 余談
 秋葉さんがDDを簡単にまとめた記事を書い
てくれています
◦ http://iwiwi.hatenadiary.jp/entry/2013/08/21/133159
◦ DDについて興味のある人がいれば勉強してみて
ください
◦ プロコンで役に立つことはない
 ちなみにDD構造を熱心に研究している
ERATOというプロジェクトがあります
◦ 組み合わせ爆発お姉さんの動画作ったのも
ERATO