Download presentation

Presentation is loading. Please wait.

Published byMarcos Carley Modified over 2 years ago

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 1 - 59 - 48 - 27 1 36 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 43214321 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 2 - 69 - 35 248 - 1 7 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 43214321 Numbers indicate sequence of values that are deleted. Starting with Q1=2, arc consistency check finds a solution without trying any more assignments.

Similar presentations

OK

1 Finite Constraint Domains. 2 u Constraint satisfaction problems (CSP) u A backtracking solver u Node and arc consistency u Bounds consistency u Generalized.

1 Finite Constraint Domains. 2 u Constraint satisfaction problems (CSP) u A backtracking solver u Node and arc consistency u Bounds consistency u Generalized.

© 2018 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on diode circuits application Ppt on human chromosomes how many Download ppt on power sharing in sri lanka and belgium Ppt on model view controller jsp Ppt on event handling in javascript all objects Ppt on life history of robert hooke Presenter media free download ppt on pollution Ppt on google driverless car Ppt on bgp routing protocol Ppt on object-oriented programming advantages