ダイナマイゼーション

【だいなまいぜーしょん (dynamization)】

与えられた対象物の集合$S$に対して, 質問$Q$が与えられたとき, $Q$とある種の条件を満たす$S$の要素を列挙する問題は探索問題と呼ばれている. 同一の台集合$S$に対して, 問い合わせが繰り返し行われることも多いので, 台集合に前処理を施して問い合わせに高速に応答できるようにデータ構造で表現する. ここで, 台集合が挿入や削除によって更新される場合には, データ構造の方も動的に変化させなければならない. このための技術をダイナマイゼーションという.