Изворни код странице Претрага са нехронолошким враћањем

'''Претрага са нехронолошким враћањем''' ({{јез-eng|Backjumping}}) је техника која повећава ефикасност [[бектрекинг]] алгоритама. Бектрекинг увек иде један ниво унатраг у стаблу претраге када су тестиране све вредности за променљиву, док се претрагом са нехронолошким враћањем може ићи више нивоа унатраг. У овом чланку се користи статички поредак променљивих <math>x_1,\ldots,x_n</math>, али се иста правила односе и на динамички.

<gallery>
Датотека:Backtracking-no-backjumping.svg|Стабло претраге посећено регуларним бектрекингом
Датотека:Backtracking-with-backjumping.svg|Скок унатраг: сиви чвор није посећен
</gallery>

== Дефиниција ==

Кад год су бектрекингом испробане све вредности за променљиву без проналаска решења, преиспитује се последња од раније додељених променљивих, мења јој се вредност или се наставља бектрекинг ако нема других вредности за доделу. Ако је <math>x_1=a_1,\ldots,x_k=a_k</math> тренутна делимична додела и све вредности за <math>x_{k+1}</math> су испробане без проналаска решења, закључује се да решење са <math>x_1=a_1,\ldots,x_k=a_k</math> не постоји. Алгоритам потом "иде горе" на <math>x_k</math> и мења јој вредност ако је могуће, у супротном поново врши бектрекинг.

Није увек неопходна цела делимична додела да би се доказало да ниједна вредност <math>x_{k+1}</math> не води до решења. Префикс делимичне доделе може имати исте особине, то јест, постоји индекс <math>j<k</math> тако да <math>x_1,\ldots,x_j=a_1,\ldots,a_j</math> ни са једном вредношћу <math>x_{k+1}</math> не води до решења. Ако алгоритам то може доказати, онда ће одмах разматрати друге вредности за <math>x_j</math> уместо разматрања <math>x_k</math>.

{| cellpadding=20 style="border: thin solid gray;"
|-
| [[Датотека:Backjump-variables-1.svg]]
| [[Датотека:Backjump-variables-2.svg]]
| [[Датотека:Backjump-variables-3.svg]]
|-
| Пример у коме додавање на <math>x_1x_2x_3x_4</math> није било успешно ни са једном могућом вредношћу за <math>x_5</math>. Бектрекинг се враћа на <math>x_4</math>, и покушава да јој промени вредност.
| Уместо бектрекинга, алгоритам врши даљу разраду, доказујући да <math>x_1x_2x_5=211</math>, <math>x_1x_5=22</math>, и <math>x_1x_2x_5=213</math> нису делови ниједног решења.
| Као резултат, тренутна евалуација <math>x_1x_2</math> није део ниједног решења, па алгоритам може директно да се врати на <math>x_2</math> и покуша да јој додели другу вредност.
|}

Ефикасност алгоритма претраге са нехронолошким враћањем зависи од тога колико далеко се може враћати. У идеалном случају, алгоритам би могао да се врати из <math>x_{k+1}</math> до било које променљиве <math>x_j</math> такве да <math>x_1,\ldots,x_j</math> не формира решење ни са једном вредношћу <math>x_{k+1}</math>. Ако је то случај, <math>j</math> се зове ''сигуран скок''.

Није увек могуће утврдити да ли је скок сигуран, јер су сигурни скокови дефинисани у смислу скупа решења, а то је оно што алгоритам покушава да пронађе. У пракси, алгоритми претраге са нехронолошким враћањем користе најнижи индекс за који могу ефикасно доказати да је сигуран скок. Различити алгоритми користе различите методе за утврђивање да ли је скок сигран. Они имају различите трошкове, али се велика цена проналажења већег сигурног скока може смањити редукованом претрагом услед прескакања делова стабла претраге.

== Претрага са нехронолошким враћањем на листовима ==

Најједноставније стање у коме је могућа претрага са нехронолошким враћањем је када је за све вредности променљиве доказано да су неконзистентне без даљег гранања. Делимична евалуација је ''конзистентна'' ако и само ако задовољава сва ограничења додељених променљивих, а у супротном је ''неконзистентна''. То може бити случај када се конзистентно делимично решење не може проширити до конзистентног комплетног решења јер неке од недодељених променљивих не могу бити додељене без нарушавања других ограничења.

Стање у коме су све вредности дате променљиве <math>x_{k+1}</math> неконзистентне са тренутним делимичним решењем <math>x_1,\ldots,x_k=a_1,\ldots,a_k</math> се зове ''лист ћорсокак''. То се дешава управо када је променљива <math>x_{k+1}</math> лист стабла претраге.

Gaschnig-ов алгоритам претраге са нехронолошким враћањем врши скок унатраг само у листу ћорсокаку. Другим речима, ради другачије од бектрекинга само када су све могуће вредности <math>x_{k+1}</math> тестиране и неконзистентне без потребе за гранањем у другу променљиву.

Сигуран скок се може наћи једноставно, за сваку вредност <math>a_{k+1}</math>, тражи се најкраћи префикс од <math>x_1,\ldots,x_k=a_1,\ldots,a_k</math> неконзистентан са <math>x_{k+1}=a_{k+1}</math>. Другим речима, ако је <math>a_{k+1}</math> могућа вредност за <math>x_{k+1}</math>, алгоритам проверава конзистентност следећих евалуација:

{| cellpadding=10
|-
| <math>x_1=a_1</math>
| ...
| <math>x_{k-1}=a_{k-1}</math>
| <math>x_k=a_k</math>
| <math>x_{k+1}=a_{k+1}</math>
|-
| <math>x_1=a_1</math>
| ...
| <math>x_{k-1}=a_{k-1}</math>
|
| <math>x_{k+1}=a_{k+1}</math>
|-
| ...
|-
| <math>x_1=a_1</math>
| 
| 
| 
| <math>x_{k+1}=a_{k+1}</math>
|}

Најмањи индекс (најнижи унос) за који су евалуације неконзистентне би био сигуран скок да су <math>x_{k+1}=a_{k+1}</math> једине могуће вредности за <math>x_{k+1}</math>. Пошто свака променљива обично може имати више од једне вредности, максималан индекс који је добијен провером за сваку вредност је сигуран скок, и то је тачка у коју скаче Gaschnig-ов алгоритам.

У пракси, алгоритам може да испита евалуације изнад док проверава конзистентност <math>x_{k+1}=a_{k+1}</math>.

== Претрага са нехронолошким враћањем на унутрашњим чворовима ==

Претходни алгоритам врши нехронолошко враћање само када се вредности променљиве могу показати неконзистентне са тренутним делимичним решењем без даљег гранања. Другим речима, дозвољава се нехронолошко враћање само на листовима у стаблу претраге.

Унутрашњи чвор стабла претраге представља додељену променљиву која је конзистентна са претходним. Ако та додела не даје ниједно решење, претходни алгоритам увек врши бектрекинг: ниједно нехронолошко враћање неће бити извршено у том случају.

Претрага са нехронолошким враћањем на унутрашњим чворовима не може да се изврши као на листовима. Заиста, ако неке евалуације од <math>x_{k+1}</math> захтевају гранање, то је зато што су конзистентне са тренутном доделом. Као резултат, потрага за префиксом који је неконзистентан са овим вредностима последње променљиве није успешна.

У таквим случајевима, оно што доказује да <math>x_{k+1}=a_{k+1}</math> неће бити део решења са тренутном делимичном евалуацијом <math>x_1,\ldots,x_k</math> је [[Рекурзија|рекурзивна]] претрага. Посебно, алгоритам "зна" да ниједно решење не постоји од тог тренутка зато што се враћа у тај чвор уместо да се заустави након што је пронашао решење.

Овај повратак је изазван великим бројем ''ћорсокака'', и указује где је алгоритам доказао да је делимично решење неконзистентно. Да би наставио нехроночошко враћање, алгоритам мора имати у виду да решења није могуће наћи због тих ћорсокака. Посебно, сигурни скокови су индекси префикса који и даље чине ћорсокаке неконзистентним делимичним решењима.

{|
|-
| [[Датотека:Dead-ends-1.svg]]
| [[Датотека:Dead-ends-1a.svg]]
| [[Датотека:Dead-ends-2.svg]]
| [[Датотека:Dead-ends-3.svg]]
|-
| У овом примеру, алгоритам се враћа на <math>x_{k+1}</math>, након испробавања свих могућих вредности, због три crossed неконзистентне тачке.
| Друга тачка остаје неконзистентна чак и када су вредности <math>x_{k+1}</math> и <math>x_k</math> уклоњене из делимичне евалуације (уочити да су вредности променљиве у деци)
| Друге неконзистентне евалуације остају чак и без <math>x_{k-2}</math>, <math>x_{k-1}</math>, и <math>x_k</math>
| Алгоритам може да се врати на <math>x_{k-2}</math> јер је то најмања променљива која одржава све неконзистентности. Нова вредност за <math>x_{k-2}</math> ће бити испробана.
|}

Другим речима, када су све вредности <math>x_{k+1}</math> испробане, алгоритам може да се врати на <math>x_i</math> под условом да је тренутна истинита евалуација од <math>x_1,\ldots,x_i</math> неконзистентна са свим истинитим евалуацијама од <math>x_{k+1},x_{k+2},...</math> у листовима који су потомци чвора <math>x_{k+1}</math>.

=== Поједностављења ===

[[Датотека:Backjump-ignored.svg|мини|200px|Док тражимо могући нехронолошки скок за <math>x_{k+1}</math> или једног од његових предака, сви чворови у осенченом подручју могу бити занемарени.]]
Због потенцијално великог броја чворова који су у подстаблу од <math>x_{k+1}</math>, информација која је неопходна да би се безбедно нехронолошки вратило од <math>x_{k+1}</math>, се прикупља за време проласка кроз његово подстабло. Проналажење сигурног скока може бити поједностављено помоћу два разматрања. Прво је да је алгоритму потребан сигуран скок, али и даље може да ради са скоком који није највиши могући сигуран скок.

Друго је то да чворови у подстаблу <math> x_{l} </math>, који су били прескочени нехронолошким враћањем, могу бити занемарени за време тражења нехронолошког враћања за <math> x_{l} </math>. Прецизније, сви чворови прескочени нехронолошким враћањем од чвора <math>x_{m}</math> до чвора <math>x_{l}</math> могу бити заменарени у односу на подстабло чији је корен у <math>x_{m}</math>, као и њихова остала подстабла.

Заиста, ако се алгоритам спусти од чвора <math>x_{l}</math> до <math>x_{m}</math> али се нехронолошки врати до самог почетка, онда би уместо тога могао да прође директно од <math>x_{l}</math> до <math>x_{m}</math>. Заиста, нехронолошко враћање указује на то да су чворови између <math>x_{l}</math> и <math>x_{m}</math> стварно од мање важности подстаблу чији је корен у <math>x_{m}</math>. Другим речима, нехронолошко враћање указује на то да је посећивање области стабла претраге била грешка. Овај део стабла претраге може бити занемарен узимајући у обзир могуће нехронолошко враћање од <math>x_{l}</math> или једног од његових предака.

[[Датотека:Backjump-collect.svg|мини|300px|Променљиве чије су вредности довољне да докажу неправилност у подстаблу чији се корен налази у чвору бивају покупљене у чвору и послате, при повлачењу, (након брисања променљивих у чвору) чвору изнад.]]
Ова чињеница може бити искоришћена прикуљањем, у сваком чвору, скупа од претходно додељених променљивих чија евалуација не може да докаже да не постоји решење у подстаблу чији је корен у чвору. Овај скуп се прави за време рада алгоритма. При повлачењу из чвора, овај скуп се брише заједно са променљивом чвора и прикупља се у скупу одредишта бектрекинга или нехронолошког враћања. Пошто се чворови који су прескочени нехронолошким враћањем не могу повући, њихови скупови се аутоматски игноришу.

=== Графовски засновано нехронолошко враћање ===
Образложење графовски заснованог нехронолошког враћања је у томе да сигуран скок може бити пронађен провером да ли су променљиве <math>x_1,\ldots,x_k</math> конзистентне са променљивама <math>x_{k+1},x_{k+2},...</math> које су инстанциране у листовима. За сваки леви лист и сваку променљиву <math>x_i</math> за индекс <math>i>k</math> који је инстанциран, индекси мањи или једнаки <math>k</math> чија је променљива конзистентна са <math>x_i</math>, могу бити коришћени за проналажење сигурног скока. Нарочито, када су све вредности за <math>x_{k+1}</math> испробане, овај скуп садржи индексе свих променљивих чије евалуације успевају да докажу да не постоји решење које може бити пронађено посећивањем подстабла чији је корен у <math>x_{k+1}</math>. Као резултат, алгоритам се може нехронолошки вратити у највећи индекс у скупу.

Чињеница је да чворови прескочени нехронолошким враћањем могу бити занемарени узимајући у обзир да даље нехронолошко враћање може бити експлоатисано наведеним алгоритмом. При повлачењу из листа, скуп променљивих које ограничене са њим бива креиран и "послат назад" до његовог родитеља, или претка у случају нехронолошког враћања. Скуп променљивих се одржава на сваком унутрашњем чвору. Сваки пут када се скуп променљивих добије од детета или потомка, њихове вредности се додају у одржавани скуп. При даљем бектрекингу или нехронолошком враћању од чвора, променљива чвора се уклања из скупа, и скуп се шаље до чвора одредишта бектрекинга или нехронолошког враћања. Овај алгоритам ради јер одржавани скуп у чвору скупља све променљиве битне за доказивање неправилности у листовама који су потомци чвора. Пошто се скупови променљивих шаљу само за време повлачења из чворова, скупови сакупљени на чворовима прескоченим нехронолошким враћањем бивају занемарени.

=== Нехронолошко враћање засновано на сукобима ===
Прерађени алгоритам са нехронолошким враћањем, који може да постигне веће нехронолошко враћање, је базиран не само на проверавању присуства две променљиве у истом ограничењу већ и на проверавању да ли је ограничење изазвало неконзистентност. Нарочито, овај алгоритам прикупља једно од нарушених ограничења у сваком листу. У сваком чвору највећи индекс променљиве који је у једном од ограничења, прикупљен на листовима, представља сигуран скок.

Нарушено ограничење одабрано у сваком листу не утиче на безбедност резултујућег скока. Бирање ограничења највећег могућег индекса повећава висину скока. Из овог разлога, нехронолошко враћање засновано на сукобу нумерише ограничења на такав начин да су мањи индекси већег приоритета у односу на ограничења већих индекса.

Формално, ограничење <math> C </math> је већег приоритета у односу на <math> D </math> ако су највећи индекси променљиве у <math> C </math> мањи у односу на највеће индексе променљиве у <math> D </math>. Другим речима, изузимајући заједничке променљиве, ограничење које има све мање индексе има већи приоритет.

На листу, алгоритам бира најмањи индекс <math> i </math> тако да су <math>x_1,\ldots,x_i</math> неконзистентни са последњном евалуираном променљивом на листу.

Међу ограничењима која су нарушена у евалуацији, алгоритам бира оно са највећим приоритетом, и прикупља све његове индексе мање од <math> k+1 </math>. На овај начин, када се алгоритам врати до променљиве <math> x_{k+1} </math>, најмањи прикупљени индекс представља сигуран скок.

У пракси, алгоритам је поједностављен тако што прикупља све индексе у једнан скуп, уместо креирања скупа за сваку вредност <math> k </math>. Нарочито, алгоритам прикупља, у сваком чвору, све скупове који долазе од њихових потомака који нису били прескочени нехронолошким враћањем. При повлачењу из овог чвора, скуп заједно са променљивом се брише из чвора и прикупља се у одредишту бектрекинга или нехронолшког враћања.

== Литература ==
{{Литература}}
* {{Cite book | ref = harv | first =Rina | last =Dechter
| title=Constraint Processing | publisher =Morgan Kaufmann
| url=http://www.ics.uci.edu/~dechter/books/index.html | year =2003
|isbn=978-1-55860-890-0
}}
* {{cite book
 |first        = Patrick
 |last         = Prosser
 |title        = Hybrid Algorithms for the Constraint Satisfaction Problem
 |publisher    = Computational Intelligence 9(3)
 |url          = http://www.dcs.gla.ac.uk/publications/PAPERS/8104/prosser_cbj.pdf
 |year         = 1993
 |access-date  = 12. 05. 2016
 |archive-url  = https://web.archive.org/web/20120206212129/http://www.dcs.gla.ac.uk/publications/PAPERS/8104/prosser_cbj.pdf
 |archive-date = 06. 02. 2012
 |url-status=dead
 |df           = 
}}
{{Литература крај}}

{{нормативна контрола}}

[[Категорија:Алгоритми претраживања]]