Стратегiї планування рiшень, Детальна інформація

Визначення 7. Вершина ГП назива(ться фронтальною, якщо вона ( невир(шеной в(дносно т((( вершини ГС, що розгляда(ться, ( позначена м(ткою, яка в(дзнача( поточну вершину.

Ситуац(йними м(тками вершини ГП позначаються в момент (х утворення, а також в моменти зворотнього в(дсл(дковування цих вершин (BACK TRACKING) при прямому пошуку.

Визначення 8. Вир(шуючим ГП назива(ться п(дграф, у якого кожна вершина ( вир(шена в(дносно одн((( з вершин вир(шуючого графа ситуац(й.

.

.

. П(сля цього в ГС

.

Вир(шуючий шлях в ГС вид(лено жирними л(н(ями (див. мал.5).

R-двонаправлений пошук збер(га( переваги прямого ( R-зворотнього пошук(в ( в той самий час не ма( вад, як( притаманн( кожному з цих прийом(в.



Пор(вняно з прямим пошуком галуження в вершинах ГС зменшу(ться за рахунок:

використання т(льки тих оператор(в, як( зв(язан( з п(дц(лями, що (х утворено в процес( пошуку шляху р(шення (застосовн( до них в прямому напрямку);

попередньой конкретизац(( вх(дних вираз(в оператор(в шляхом п(дстановки зам(сть зм(нних значень, отриманих при розп(знаванн( застосування в зворотньому напрямку.

Пор(вняно з R-зворотн(м пошуком множина вар(ант(в застосування оператор(в, що утворюють р(шення задачи, ( повн(стю упорядкованою. Отже R-двонаправлений пошук може бути використан для р(шення задач планування д(й.

Анал(з “засоби-ц(л(“

.

Упорядкування елемент(в п(дц(лей

.

Оск(льки п(дц(л( формуються шляхом конкретизац(( вх(дних вираз(в оператор(в, можливо використовувати посл(довност( цих вираз(в як схему для упорядкування елемент(в п(дц(дей.

______________________________

* Розкриттям вершини ГС назива(ться процес утворення (( доч(рн(х вершин.

.

Хай

;

.

.

.

можна застосувати таке правило:

.

.