2012-11-11から1日間の記事一覧

ZDD:ぱらぱらめくる『クヌース本4.1』

ZDD:ゼロ抑制BDD 組合せ論で力を発揮する に行きつく経路が多いときに有用である BDDと違う点 節点の解釈が違う 終点ははないこともある 節点からの2本のエッジが同一のノードに接続することもある 節点数が節約されることがある BDDではノードが「Primitiv…

BBD:ぱらぱらめくる『クヌース本4.1』

昨日の続き 二分決定図 BDD グラフ状 ノードとエッジがある ノードからは2本のエッジが出る(特別な2つのノード,を除く エッジには2種類ある ノードから出る2本のエッジは2種類が1本ずつ ノードには1本以上のエッジが入る(1つのルートノードは例外で…