Fórum studentů MFF UK

Otazka: hranova konzistence - povidani co a k cemu to je, srovnani algoritmu AC-X, pripadne DAC. Napsal jsem 3A4, ale pak jsem se zasekl na dotazu, mam-li poradi promennych a vim, ze je z obou stran DAC, tak je AC? Z definice je jasne, ze ano, ale ja tam do toho porad motal propagaci, ktera s definici vubec nesouvisi. Pak jsem jeste dostal ukazat nejaky problem, ktery prestoze se udela DAC jednim smerem a pak druhym, tak neni AC. Na tom jsem se teda taky ostudne zasekl.. Ale Bartak je hodnej, takze ok, jinak jsem vsechno umel, pripadne jsem byl optan a doplnil jsem.

Cau,
jenom jedna otazecka prosim ke vztahu AC a DAC....

Na slidech je opravdu napsano: CSP je hranove konzistentni, jestlize pro dane usporadani promennych je smerove hranove konzistentni v obou smerech.

A pak nasleduje priklad, kde se ukaze, ze pokud pouziji z obou stran DAC, tak mi to nemusi dat AC....

Kdyz to clovek vidi poprve, tak by zdalo, ze ten priklad vyvraci to prvni tvrzeni!! Muze mi pls nekdo prozradit, v cem je hacek..

diky

Druhy pruchod ti muze porusit DAC v tom prvnim usporadani.