問題解決

初期状態と目標状態がなければならない

解決にするため状態を変化させる

変化を加えるものを演算子という。

演算子は潜在的にはたくさんあるがある時点で利用できる演算子に制限がある場合もある、

こうした演算子の利用可否を決めるのが演算子適用制約

以上のものが明確な形で定義できると問題空間が一意に決まる