Arc consistency

Amélioration de backtracking-search
● !"#$%!&'()*%+,('%-!./#.01)*2&3'!'%2!.*3*24!
! *.!5'(2!)4%1(6)'!.'!5)17.83'!6'!9:!)'*$'%!
● ;'%!heuris'ques)générales)5'(<'$2!#34.*1)')!./#.01)*2&3'!
%*0$*=>#+<'3'$2!?!
! >&1*%*)!@(6*>*'(%'3'$2!.#!5)1>&#*$'!<#)*#7.'!Avar-non-assignéeB!
! >&1*%*)!@(6*>*'(%'3'$2!.#!5)1>&#*$'!<#.'()!C!#%%*0$')!Avaleurs-ordonnéesB!
! 642'>2')!.'%!#%%*0$#+1$%!>1$D*>2('..'%!'2!)46(*)'!.'%!613#*$'%!AinférenceB!
E(01!F#)1>&'..'!'2!G)16(#.6!H#7#$I#!J!

Détecter les assignations conflictuelles :
algorithme forward checking
!
● Forward'checking!5)15#0'!./*$K1)3#+1$!6'%!<#)*#7.'%!#%%*0$4'%!<')%!.'%!<#)*#7.'%!$1$!
#%%*0$4'%-!3#*%!$'!642'>2'!5#%!.'%!>1$D*2%!.1>#(L!'$2)'!>'%!<#)*#7.'%!?!
!
!
● NT!'2!SA!$'!5'(<'$2!5#%!M2)'!7.'('%!'$%'37.'N!
● F/*$K4)'$>'!5#)!5)15#0#+1$!6'%!>1$2)#*$2'%!!
5')3'2!6'!<4)*=')!.'%!>1$2)#*$2'%!.1>#.'3'$2!
E(01!F#)1>&'..'!'2!G)16(#.6!H#7#$I#!9!
OP!
QR!
"P!
S!
Q"O!
T!
R!

Arc consistency
● Arc'consistency''%2!.#!K1)3'!6'!5)15#0#+1$!6'!>1$2)#*$2'%!.#!5.(%!%*35.'!
! <4)*='!.#!>135#+7*.*24!'$2)'!.'%!#)>%!
>UCU6V-!.#!>135#+7*.*24!6'%!>1$2)#*$2'%!'$2)'!6'(L!<#)*#7.'%!
● F/#)>!X!"Y!'%2!>135#+7.'!%*!'2!%'(.'3'$2!%*!
! 51()!>&#,('!<#.'()!x!6'!X!*.!'L*%2'!#(!31*$%!!
($'!<#.'()!5')3*%'!y!6'!Y'
E(01!F#)1>&'..'!'2!G)16(#.6!H#7#$I#!W!

Arc consistency
● Arc'consistency!'%2!.#!K1)3'!6'!5)15#0#+1$!6'!>1$2)#*$2'%!.#!5.(%!%*35.'!
! <4)*='!.#!>135#+7*.*24!'$2)'!.'%!#)>%!
>UCU6V-!.#!>135#+7*.*24!6'%!>1$2)#*$2'%!'$2)'!6'(L!<#)*#7.'%!
● F/#)>!X!"Y!'%2!>135#+7.'!%*!'2!%'(.'3'$2!%*!
! 51()!>&#,('!<#.'()!x!6'!X!*.!'L*%2'!#(!31*$%!
($'!<#.'()!5')3*%'!y!6'!Y'
"*!($'!<#)*#7.'!5')6!($'!<#.'()-!%'%!<1*%*$%!61*<'$2!M2)'!)'<4)*=4%!
E(01!F#)1>&'..'!'2!G)16(#.6!H#7#$I#!X!

Arc consistency
● Arc'consistency!'%2!.#!K1)3'!6'!5)15#0#+1$!6'!>1$2)#*$2'%!.#!5.(%!%*35.'!
! <4)*='!.#!>135#+7*.*24!'$2)'!.'%!#)>%!
>UCU6V-!.#!>135#+7*.*24!6'%!>1$2)#*$2'%!'$2)'!6'(L!<#)*#7.'%!
● F/#)>!X!"Y!'%2!>135#+7.'!%*!'2!%'(.'3'$2!%*!
! 51()!>&#,('!<#.'()!x!6'!X!*.!'L*%2'!#(!31*$%!
($'!<#.'()!5')3*%'!y!6'!Y!!
E(01!F#)1>&'..'!'2!G)16(#.6!H#7#$I#!:!