I detta dokument studerar vi begränsning tillfredsställelse över anslutna rad konvexa (CRC) begränsningar, en stor klass av begränsningar subsumerar, särskilt monotona begränsningar. Vi rst visar att CRC begränsningar är stängda under sammansättning, skärningspunkt, och införlivande, den grundläggande verksamheten av path-consistency algoritmer. Detta fastslår att vägkonsistensen över CRC begränsningar ger ett minimalt och nedbrytbart nätverk, stärka resultaten av van Beek och Dechter 1995). Vi presenterar sedan en path-consistency algoritm för CRC begränsningar körs i tid O(n 3 d 2 ) och utrymme O(n 2 d), där n är antalet variabler och d är storleken på den största domänen. Detta förbättrar den traditionella tid komplexitet O(n 3 d 3 ) och utrymme komplexitet O(n 3 d 2 ). Slutligen visar vi att en lösning kan hittas i tid O(n 2 ), när grafen är path-consistent.
För klassen CRC-begränsningar föreslogs en vägkonsistensbaserad algoritm i REF som körs i
Constraint Satisfaction over Connected Row Convex Constraints
{'venue': 'Artificial Intelligence', 'journal': None, 'mag_field_of_study': ['Computer Science']}