論理回路 第３回 - 九州大学

二 分 決 定 グラフの 最 小 化(ROBDD: Reduced Ordered BDD)x 1等 価 な 節 点 の 統 合下 部 の 部 分 グラ0 1 フが 同 じ 形 のとき、 部 分 グラフx 20 1を 共 有 する。冗 長 な 節 点 の 除 去節 点 vの0 枝 と1枝 の 指 す 節 点 が同 じとき、vを 除去 し、vへの 入 力枝 をvの 枝 の 指 す節 点 に 直 結 する。変 数 の 順 序 を 決 めると 最 小 のROBDDは意 に 決 まる!x 3 x 30 1 01x 3 1x 4 x 4 00 0 1 と 最 小 のROBDDは 一10 12008 年 度 九 州 大 学 工 学 部 電 気 情 報 工 学 科