Constraint Systems Laboratory R.J. Woodward 1 , S. Karakashian 1 , B.Y. Choueiry 1 & C. Bessiere 2 1 Constraint Systems Laboratory, University of Nebraska-Lincoln 2 LIRMM-CNRS, University of Montpellier Revisiting Neighborhood Inverse Consistency on Binary CSPs Acknowledgements • Experiments conducted at UNL’s Holland Computing Center • Robert Woodward supported by a NSF Graduate Research Fellowship grant number 1041000 • NSF Grant No. RI-111795 06/17/22 CP 2012 1
14
Embed
R.J. Woodward 1 , S. Karakashian 1 , B.Y. Choueiry 1 & C. Bessiere 2
Revisiting Neighborhood Inverse Consistency on Binary CSPs. R.J. Woodward 1 , S. Karakashian 1 , B.Y. Choueiry 1 & C. Bessiere 2 1 Constraint Systems Laboratory, University of Nebraska-Lincoln 2 LIRMM-CNRS, University of Montpellier. Acknowledgements - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Constraint Systems Laboratory
R.J. Woodward1, S. Karakashian1, B.Y. Choueiry1 & C. Bessiere2
1Constraint Systems Laboratory, University of Nebraska-Lincoln
2LIRMM-CNRS, University of Montpellier
Revisiting Neighborhood Inverse Consistency
on Binary CSPs
Acknowledgements• Experiments conducted at UNL’s Holland Computing Center• Robert Woodward supported by a NSF Graduate Research Fellowship grant number 1041000• NSF Grant No. RI-111795
04/21/23 CP 2012 1
Constraint Systems Laboratory
Outline• Introduction: Relational NIC• Structure of the dual graph of a binary CSP
affects RNIC• RNIC versus NIC, sCDC on binary CSPs• Experimental results• Conclusion
• How about RNIC on binary CSPs?– Impact of the structure of the dual graph
– RNIC versus other consistency properties R3
R2R1
R4
A
B
C
D
Constraint Systems Laboratory
Complete Constraint Graph
04/21/23 CP 2012 5
V1
V2
V3
Vn-1
Vn
C1,2
Vn Cn-1,nC1,n
V1 Vn-1
Vn C3,n C2,n
V2V3
V5 V5 V5
C2,3C1,3
C3,4C1,4 C2,4
C4,5C1,5
V1
C3,5 C2,5
V1
V1V2
V2
V2
V3 V3
V4
V3V4
V4
V5 V2V3V4V1
V1
Vn Vn C4,n
V4
Ci-2,iC1,iVi Vi
C3,i C2,i
Ci,i+1
Ci,n-1
Ci,n
Vi
Vi
Vi
Vi
(i-2) vertices
(n-i)
ver
tices
Vi
Vi
Vi
Dual Graph: Triangle shaped grids
Constraint Systems Laboratory
Minimal Dual Graph
04/21/23 CP 2012 6
V1
V2
V3
Vn-1
Vn
Vn Cn-1,nC1,n
V1 Vn-1
Vn Vn C3,n C2,n
V2V3
V5 V5 V5
C1,2
C2,3C1,3
C3,4C1,4 C2,4
C4,5C1,5
V1
C3,5 C2,5
V1
V1 V2
V2
V2
V3 V3
V4
V3V4
V4
V5 V2V3V4V1
V1
Ci-2,iC1,iVi Vi
C3,i C2,i
Ci,i+1
Ci,n-1
Ci,n
Vi
Vi
Vi
Vi
(i-2) vertices
(n-i)
ver
tices
Vi
Vi
Vi
Vn C4,n
V4
Dual Graph: Triangle shaped grids
Constraint Systems Laboratory
Minimal Dual Graph
… can be a triangle-shaped grid (planar)
04/21/23 CP 2012 7
V5 V5 V5
C1,2
C2,3C1,3
C3,4C1,4 C2,4
C4,5C1,5
V1
C3,5 C2,5
V1
V1V2
V2
V2
V3 V3
V4
V3V4
V4
… but does not have to be– Star on V2
– Cycle of size 6
C1,5
C1,3
C3,5
C2,4
C4,5
C3,4
V1V1
V2
V2
V3V3
V4
V4V5C1,2
C1,4
C2,3
C2,5
V1
V2V5
V5
V4
V3
V1
V2
V3 V4
C1,4 V5C2,5 C3,5
C1,2 C1,5
C2,3
C3,4
C4,5
C1,3
C2,4
Constraint Systems Laboratory
Non-Complete Constraint Graph
• Can still be a triangle-shaped grid– Have a chain of vertices– of length ≤ n-1
04/21/23 CP 2012 8
V1
V2
V3 V4
C1,4
V5C2,5
C3,5
C1,2 C1,5
C2,3
C3,4
C1,2
C2,3
C3,4C1,4
C1,5
V1
C3,5 C2,5
V1
V2
V2
V3
V3V4
V5 V5
Constraint Systems Laboratory
Impact on RNIC
On a binary CSP, RNIC enforced on the minimal dual graph (wRNIC) is never strictly stronger than R(*,3)C.
04/21/23 CP 2012 9
• R(*,m)C ensures that subproblem induced on the dual CSP by every connected combination of m relations is minimal
[Karakashian+, AAAI 2010]
R3
R2R1
R4
Constraint Systems Laboratory
wRNIC on Binary CSPs
04/21/23 CP 2012 10
C1
C3
C2 C4
V1 V1
V2
V3
C1
C3
C2 C4
V1 V2
V1
V3
• wRNIC can never consider more than 3 relations
• In either case, it is not possible to have an edge between C3 & C4 (a common variable to C3 & C4) while keeping C3 as a binary constraint
Constraint Systems Laboratory
NIC, sCDC, and RNIC not comparable
• NIC Property [Freuder & Elfe, AAAI 1996]
↪ Every value can be extended to a solution in its variable’s neighborhood
04/21/23 CP 2012 11
A
B
C
D
R3
R2R1
R4
• sCDC Property [Lecoutre+, JAIR 2011]
↪ An instantiation {(x,a),(y,b)} is DC iff (y,b) holds in SAC when x=a and (x,a) holds in SAC when y=b and (x,y) in scope of some constraint. Further, the problem is also AC.
• RNIC Property [Woodward+, AAAI 2011]
↪ Every tuple can be extended to a solution in its relation’s neighborhood
↪ wRNIC, triRNIC, wtriRNIC enforce RNIC on a minimal, triangulated, and minimal triangulated dual graph, respectively
↪ selRNIC automatically selects the RNIC variant based on the density of the dual graph
Constraint Systems Laboratory
Experimental Results (CPU Time)
04/21/23 CP 2012 12
Benchmark # inst. AC3.1 sCDC1 NIC selRNICCPU Time (msec)
• Contributions– Apply RNIC to binary CSPs– Structure of dual graph & impact of RNIC– NIC, sCDC, and RNIC are incomparable– Empirically shown benefits of higher-level consistencies
• Future work– Study impact of the structure of the dual graph on
(future) relational consistency properties– ‘Predict’ appropriate consistency property using