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

(-вершина вир(шена, якщо вир(шен( вс( (( доч(рн( вершини, ( невир(шена, якщо невир(шена хоча б одна з (( доч(рн(х вершин.

АБО-вершина вир(шена, якщо вир(шена хоча б одна з (( доч(рн(х вершин, ( невир(шена, якщо невир(шен( вс( (( доч(рн( вершини.

R-зворотн(й пошук вир(шення задач( поляга( в побудов( такого п(дграфа ((-АБО-графа), на якому у в(дпов(дност( з визначенням 4 вих(дна вершина ( або вир(шеной, або невир(шеной.

Визначення 5.П(дграф (-АБО-графа з вир(шеною початковою вершиною назива(ться вир(шуючим графом, а з невир(шеной початковою вершиною - графом спростування.

. Вир(шуюч( графи вид(лено жирними л(н(ями.)

ми н(чого сказати не можемо.

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

Двонаправлений пошук

.

В залежност( в(д типу операц(( застосування оператора в зворотньому напрямку будемо розр(зняти Т-двонаправлений пошук (використу(ться операц(я типу трансформац(() ( R-двонапрвлений пошук (використу(ться операц(я типу редукц(().

При Т-двонаправленому пошуку будуються два графи ситуац(й (ГС):

граф ситуац(й прямого пошуку з початковою вершиною, що в(дпов(да( вих(дн(й ситуац((;

граф ситуац(й зворотнього пошуку з початковою вершиною, що в(дпов(да( ц(льов(й ситуац((.

Нарощування ГС прямого ( зворотнього пошуку продовжу(ться, аж поки не утворю(ться сп(льна вершина. Тод( шлях, що з((дну( початков( вершини ГС, ( вир(шуючим ( в(дпов(да( р(шенню задач(.

Приклади ГС прямого ( зворотнього пошуку, як( побудован( при двонаправленому пошуку, приведено на мал.4.

, ( вир(шуючим.

Графом зворотнього пошуку при R-двонаправленому пошуц( ( граф п(дц(лей (ГП).

Графом п(дц(лей назива(ться направлений зв(язаний граф, в якому вершини в(дпов(дають ц(лям або п(дц(лям, а дуги - вар(антам застосування оператор(в в зворотньому напрямку по типу редукц((.

Вершина ГП, яка в(дпов(да( ц(л(, назива(ться початковой.

Вир(шен(сть вершин графа п(дц(лей визнача(ться в(дносно одн((( з вершин графа ситуац(й.

.

Граф п(дц(лей при R-двонаправленому пошуку ( звичайно графом типу дерева.

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

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

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

Прямий пошук по ГП продовжу(ться, доки не буде виконана одна з наступних умов:

в ГС утворю(ться вершина, в(дносно яко( ( вир(шена початкова вершина;

в ГС розкрит(* вс( вершини, в(дносно яких в ГП (снують вир(шен( вершини.

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

Видб(р вершин в процес( нарощування ГП в(дбува(ться з числа фронтальних вершин.