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

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

В процес( Т-зворотнього пошуку буду(ться направлений граф, який назива(ться (-АБО-графом [1].

В (-АБО-граф( ( выд(леними:

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

к(нцев( вершини, ступен( вих(ду з яких дор(внюють 0;

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

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

вершини типу ( (нек(нцев(), ступен( вих(ду з яких >1;

1;

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

Для задач дедуктивного виводу вс( вершини (-АБО-графа, за виключенням вершин типу (, в(дпов(дають елементам ц(л( та п(дц(лей, що задаються окремими виразами. Вершини типу ( в(дпов(дають ц(л( та п(дц(лям, у яких число елемент(в >1.

.

Дуги, як( виходять з АБО-вершин, в(дпов(дають вар(антам застосування оператор(в в зворотньому напрямку до елемент(в ц(л( та п(дц(лей, як( зв(язан( з цими вершинами.

Для задач дедуктивного виводу використуються так( правила розм(чання заключних (

тупикових вершин (-АБО-графа.

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

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

Для задач комплектування серед вершин (-АБО-графа, за винятком вершин типу (, ц(л( в(дпов(да( початкова вершина, п(дц(лям - вс( (нш( вершини.

Для (нтерпретац(( вершин типу ( введемо визначення вар(анта операторно( сегментац(( ц(л( або п(дц(л(.

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

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

Для задач комплектування використуються так( правила розм(чання заключних (

тупикових вершин (-АБО-графа.

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

Правило 4. К(нцева вершина вважа(ться туп(ковою, якщо вона не ( заключною ( не

(сну( вар(ант(в операторно( сегментац(( п(дц(л(, що зв(язана з ц((ю вершиною.

Введемо рекурсивне визначення вир(шеност( ( невир(шеност( вершин (-АБО-графа.

Визначення 4.

Заключн( вершини вир(шен(.

Туп(ков( вершини невир(шен(.