Samstämmighetstekniker har studerats i stor utsträckning tidigare som ett sätt o f t a cling restrict tillfredsställelse problem (CSP). I synnerhet har olika arc-consistency algoritmer föreslagits, med ursprung från Waltz ltering algoritm 27] och kulminerar i den optimala algoritmen AC-4 av Mohr och Henderson 16]. AC-4 kör i O(ed 2 ) i n t h e w orst fall, där e är antalet bågar (eller begränsningar) och d är storleken på den största domänen. Eftersom dessa algoritmer är tillämpliga på hela klassen av (binär) CSP, tar dessa algoritmer inte i n för att ta hänsyn till t h e semantics av begränsningar. I detta dokument presenterar vi en ny generisk arc-consistency algoritm AC-5. Denna algoritm parametriseras på två specificerade procedurer och kan omedelbart reduceras till AC-3 och AC-4. Viktigare, AC-5 kan omedelbart producera en O(ed) algoritm för ett antal viktiga klasser av begränsningar: funktionella, anti-funktionella, monotona och deras generalisering till (funktionella, anti-funktionella, och monotona) bitvisa begränsningar. Vi visar också t h a t A C-5 har en viktig tillämpning i begränsning logik programmering över nite domäner 24]. Kärnan i begränsningen s o l v er för ett sådant programmeringsspråk är en arc-consistency algoritm för en uppsättning grundläggande begränsningar. Ett beslutsförfarande för dessa begränsningar pågår i tid O(ed). 1 Detta dokument är en utökad version av 3].
AC-5, en ny arc-consistency algoritm, presenteras av REF.
A generic arc-consistency algorithm and its specializations
{'venue': 'Artificial Intelligence', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}