8.Четвертая и пятая задачи поиска.

Четвертая задача: Определение модели распределения целевых состояний в пространстве поиска.

Пятая задача: Мониторинг состояний в пространстве поиска.

9.Пространство состояния и поиска.

Процесс решения задачи в дискретном пространстве может быть представлен как последовательный переход из одной дискретной точки пространства (состояния) в другую. Множество всех дискретных состояний образует дискретное пространство состояний (далее просто пространство состояний): S={s₁, s₂,…, s_m}, где m - количество всех состояний множества S . Всякое состояние s_i∈ S характеризуется множеством признаков: K={ k ₁ , k ₂ ,…, k_n}. Среди множества признаков состояний следует выделить:

1) подмножество родовых признаков состояний: K^R ⊆ K , характеризующее всякое состояние пространства состояний. Подмножество родовых признаков формируется путем выделения тождественных признаков, представляющих состояния. Родовые признаки, по сути, выделяют подмножество состояний из множества состояний, т.е. выполняется условие: K^R ≠∅. Состояния, принадлежащие подмножеству, составляют уникальное дочернее подпространство состояний;

2) подмножество видовых признаков состояний: K^V ⊆ K , выделяет всякое состояние пространства состояний. Для всякого состояния пространства состояний выполняются условия: K^V ≠∅и K^V - уникально, иначе будет иметь место случай: s_i≡s_j - одно состояние.

В отличие от пространства состояний для пространства поиска выполняется условие:

Для любой пары состояний (s_i , s_j ) ∈S^R всегда найдется одна и более цепочек операторов L_i= (f₁, f₂, …, f_n), применение которой к состоянию s_i приведет к состоянию s_j . Причем все текущие состояния, представляющие некоторый путь от состояния s_i до состояния s_j , также будут принадлежать данному пространству S^R . Следовательно, множество S^R это всегда связная область.

Между пространством состояний и пространством поиска существуют следующие отношения: S⊇ S^R и |S| ≥ |S^R|.