Amélioration de backtracking

Amélioration de backtracking-search
● !"#$%!&'()*%+,('%-!./#.01)*2&3'!'%2!.*3*24!
! *.!5'(2!)4%1(6)'!.'!5)17.83'!6'!9:!)'*$'%!
● ;'%!!"#$%&'(#"&)*+,+$-."&)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!

Algorithme backtracking-search
/.*0$%1!2"!backtracking-searchAcspB!
JK )'21()$')!backtrackAL!M-!cspB$
E(01!F#)1>&'..'!'2!G)16(#.6!H#7#$I#!9!
/.*0$%1!2"!backtrackAassigna)on,$cspB!
JK %*!assigna)on!'%2!>135.82'-!)'21()$')!assigna)on$
2. $X$N!var-non-assignéeAassigna)on,$cspB$
OK 51()!>&#,('!v!6#$%!valeurs-ordonnéesAX-!assigna)on,$cspB!
PK %*!compatibleA!AX!N!vB-!assigna)on,$cspB!
:K !#@1(2')!AX!N!vB!C!assigna)on$
6. $$csp*$=$csp$3#*%!1Q!domaineAX-!cspB!'%2!L!v$M!
RK !cspS-!ok$N!inférenceA!csp*B!
TK !%*!ok$N!<)#*!
9. $résultat!N!backtrackAassigna)on-!cspSB!
JUK %*!résultat!V!W#(X-!)'21()$')!résultat!!
JJK !'$.'<')!AX!N!vB!6'!assigna)on$
J9K )'21()$')!W#(X$
3!0%4)5")6$03!-%,")7-$%-8.")
0$5$")5"&)7-."#$&)
9)"&&-:"$)
1",1")5")&%26.%;"$)
.")6$08.<2")=>?)
@&%)5+1"31")30,A%1B)ok)C)D-#4E)

Choisir l’ordre d’assignation
des variables
● Y!>&#,('!42#5'-!>&1*%*)!.#!<#)*#7.'!#<'>!.'!31*$%!6'!<#.'()%!>135#+7.'%!
)'%2#$2'%!
! >ZCZ6K-!.#!<#)*#7.'![!51%#$2!.'!5.(%!6'!)'%2)*>+1$%!\!
! #55'.4'!minimum'remaining'value'A]^_B!heuris)c$
!!!!!!!!!!!!!1(!most'constrained'variable$heuris)cK!
● `..(%2)#+1$!?!
E(01!F#)1>&'..'!'2!G)16(#.6!H#7#$I#!O!
ab!
cd!
"b!
e!
c"a!
_!
d!

Choisir l’ordre d’assignation
des variables
● "*!.'!>)*28)'!5)4>46'$2!61$$'!6'%!<#)*#7.'%!#<'>!.'!3f3'!$137)'!6'!
<#.'()%!>135#+7.'%!)'%2#$2'%!?!
! >&1*%*)!>'..'!#g#$2!.'!5.(%!6'!>1$2)#*$2'%!*35.*,(#$2!6'%!<#)*#7.'%!$1$!'$>1)'!
#%%*0$4'%!
! #55'.4'!degree'heuris4cK!
E(01!F#)1>&'..'!'2!G)16(#.6!H#7#$I#!P!
ab!
cd!
"b!
e!
c"a!
_!
d!

Choisir la prochaine valeur à assigner
● h1()!($'!<#)*#7.'!61$$4'-!>&1*%*)!($'!<#.'()!,(*!*$<#.*6'!.'!31*$%!6'!<#.'()%!
51%%*7.'%!51()!.'%!<#)*#7.'%!$1$!'$>1)'!#%%*0$4'%!
!
● i'%!&'()*%+,('%!5')3'j'$2!6'!)4%1(6)'!($!!
5)17.83'!6'!JUUU!)'*$'%!
.#*%%'!($'!%'(.'!<#.'()!
51()!SA$
$'!.#*%%'!#(>($'!<#.'()!
51()!SA$
E(01!F#)1>&'..'!'2!G)16(#.6!H#7#$I#!:!