Presentation is loading. Please wait.

Presentation is loading. Please wait.

Maintaining Arc Consistency We have a constraint graph G of variables X 1,...X n, and constraint relations {X i  X j}, and each Xi has a value set V (X.

Similar presentations


Presentation on theme: "Maintaining Arc Consistency We have a constraint graph G of variables X 1,...X n, and constraint relations {X i  X j}, and each Xi has a value set V (X."— Presentation transcript:

1 Maintaining Arc Consistency We have a constraint graph G of variables X 1,...X n, and constraint relations {X i  X j}, and each Xi has a value set V (X i ). An arc from Xi to Xj is consistent if  v  V (X i )  w  V (X j )  v,w is consistent Conversely, an arc is inconsistent if  v  V (X i )  w  V (X j )  v,w is inconsistent. The arc can be made consistent by removing v. Q3 Q2 Q1 Q4

2 Arc Consistency (4 queens problem) Example Q1 Q2 Q3 Q4 Remove a value v of Qx if there is a variable Qy such that v is inconsistent with all remaining values of Qy Numbers indicate sequence of values that are deleted. Starting with Q1=1, arc consistency check proves this inconsistent without trying any more assignments.

3 Arc Consistency (4 queens problem) Example Q1 Q2 Q3 Q4 Remove a value v of Qx if there is a variable Qy such that v is inconsistent with all remaining values of Qy Numbers indicate sequence of values that are deleted. Starting with Q1=2, arc consistency check finds a solution without trying any more assignments.


Download ppt "Maintaining Arc Consistency We have a constraint graph G of variables X 1,...X n, and constraint relations {X i  X j}, and each Xi has a value set V (X."

Similar presentations


Ads by Google