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