離散構造処理

Last updated Unknown Edit Source

• フレームワーク
  • 離散構造処理技術 = 索引構造 + 基本演算
  • 索引構造とは
    • 例: 決定グラフ (ZDD, BDDとか)
    • ただの「論理関数を表す二分木」だったものを、圧縮して扱いやすくした「索引」がBDD、ZDDなど
  • 基本演算とは
    • 索引構造を扱う演算
    • ex: 決定グラフの基本演算: 論理演算、数え上げ、線形関数最大化、サンプリング、etc
  • 応用する方法: 問題を既知の索引構造に落とし込んで、それに対していろいろな基本演算を組み合わせる

#離散アルゴリズム