{0,1}行列データ

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