個のサンプルがある 個々のサンプルは長さのベクトルでその要素は 通りのベクトルが作れる そこから個の相互に異なるサンプルを取る、その場合の数は この本の長0,1ベクトルを、0,1分岐木の「あり、なし」としてとらえ、ZDD表現するとする それは制約付き整…

CUDDのパッケージをとって来よう ホームパージ 圧縮ファイル Windowsでmakeやgccを動かすためにCygwinを入れよう Cygwinを入れるとLINUXコマンドがWindowsのコマンドプロンプトで動くようになる！のですね(こちらやこちら) Cygwinを入れるのもずいぶん久しぶ…

xは行の真偽値表(２列) library(igraph) bzdd <- function(x,type="zdd"){ v <- c(x) K <- log(length(v),2) # グラフに描くときに、判断分岐の高さごとにy軸座標を与えたいので、その値 lay.y <- c() for(i in 1:K){ lay.y <- c(lay.y,rep(i,2^(i-1))) } # …

置換集合向けの決定木ダイアグラムpiDD 資料１ 資料２ BDD/ZDDは組み合わせ集合の空間の部分をうまく表現する仕組み BDDの構成アルゴリズム BDDをべたべたにRで書いてみようこちら piDDは置換(順列)の集合の空間の部分をうまく表現する仕組み(らしい) ルービ…

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

日本語総説はこちら 組合せ発散に対する、この方法の効果はこちらの動画と実行例コードで BDD:binary decision diagram 個の２分岐がの場合を作る。それを表したのが二分決定木(binary decision tree) BDDは二分決定木を簡略したグラフ の３分岐の「○、×」が…