ó Ì"Oc@s{ddlTddlTd„Zd„Zd„Zd„Zd„Zd d d d„Zd„Z eed „Z d d „Z d S( iÿÿÿÿ(t*cst‡fd†|jƒS(sThe default variable order.cs |ˆkS(N((tvar(t assignment(s§C:\Users\Íéêüëáò\Desktop\×åéìåñéíü 2011-12\Ôå÷íçôÞ Íïçìïóýíç\áóêÞóåéò\Üóêçóç2\áóê2_üëá ôá ðñü÷åéñá áñ÷åßá ìáæåìÝíá\ðñïãñáììáôéóôéêÜ ðñïâëÞìáôá\Problem2_2\csp_search.pyt s(tfind_iftvars(Rtcsp((Rs§C:\Users\Íéêüëáò\Desktop\×åéìåñéíü 2011-12\Ôå÷íçôÞ Íïçìïóýíç\áóêÞóåéò\Üóêçóç2\áóê2_üëá ôá ðñü÷åéñá áñ÷åßá ìáæåìÝíá\ðñïãñáììáôéóôéêÜ ðñïâëÞìáôá\Problem2_2\csp_search.pytfirst_unassigned_variable scsDd„‰tgˆjD]}||kr|^q‡‡fd†ƒS(s#Minimum-remaining-values heuristic.cSst|j|ƒS(N(tlentdomains(RR((s§C:\Users\Íéêüëáò\Desktop\×åéìåñéíü 2011-12\Ôå÷íçôÞ Íïçìïóýíç\áóêÞóåéò\Üóêçóç2\áóê2_üëá ôá ðñü÷åéñá áñ÷åßá ìáæåìÝíá\ðñïãñáììáôéóôéêÜ ðñïâëÞìáôá\Problem2_2\csp_search.pytnum_legal_valuesscs ˆˆ|ƒS(N((R(RR (s§C:\Users\Íéêüëáò\Desktop\×åéìåñéíü 2011-12\Ôå÷íçôÞ Íïçìïóýíç\áóêÞóåéò\Üóêçóç2\áóê2_üëá ôá ðñü÷åéñá áñ÷åßá ìáæåìÝíá\ðñïãñáììáôéóôéêÜ ðñïâëÞìáôá\Problem2_2\csp_search.pyRs(targminR(RRtv((RR s§C:\Users\Íéêüëáò\Desktop\×åéìåñéíü 2011-12\Ôå÷íçôÞ Íïçìïóýíç\áóêÞóåéò\Üóêçóç2\áóê2_üëá ôá ðñü÷åéñá áñ÷åßá ìáæåìÝíá\ðñïãñáììáôéóôéêÜ ðñïâëÞìáôá\Problem2_2\csp_search.pytmrv s %cCstS(N(tTrue(RRtvalueRtremovalstnconflicts_counter((s§C:\Users\Íéêüëáò\Desktop\×åéìåñéíü 2011-12\Ôå÷íçôÞ Íïçìïóýíç\áóêÞóåéò\Üóêçóç2\áóê2_üëá ôá ðñü÷åéñá áñ÷åßá ìáæåìÝíá\ðñïãñáììáôéóôéêÜ ðñïâëÞìáôá\Problem2_2\csp_search.pyt no_inference scCs¹x²|j|D]£}||krxz|j|D]j}|dcd7<|j|||ƒ|j|||ƒtkr‰|j|||ƒn|j||ƒq/W|j|s±tSqqWtS(s2Prune neighbor values inconsistent with var=value.ii(t neighborsR tassignt has_conflictRtprunetunassigntFalse(RRRRRRtBtb((s§C:\Users\Íéêüëáò\Desktop\×åéìåñéíü 2011-12\Ôå÷íçôÞ Íïçìïóýíç\áóêÞóåéò\Üóêçóç2\áóê2_üëá ôá ðñü÷åéñá áñ÷åßá ìáæåìÝíá\ðñïãñáììáôéóôéêÜ ðñïâëÞìáôá\Problem2_2\csp_search.pytforward_checking#s   cCs3t|g|j|D]}||f^q||ƒS(sMaintain arc consistency.(tAC3R(RRRRRRtX((s§C:\Users\Íéêüëáò\Desktop\×åéìåñéíü 2011-12\Ôå÷íçôÞ Íïçìïóýíç\áóêÞóåéò\Üóêçóç2\áóê2_üëá ôá ðñü÷åéñá áñ÷åßá ìáæåìÝíá\ðñïãñáììáôéóôéêÜ ðñïâëÞìáôá\Problem2_2\csp_search.pytmac1scCsÎ|dkrEg|jD]&}|j|D]}||f^q'q}nx‚|rÉ|jƒ\}}t|||||ƒrH|j|s‰tSx:|j|D](}||kr—|j||fƒq—q—WqHqHWtS(sConstraint PropagationN( tNoneRRtpoptreviseR RtappendR(RtqueueRRtXitXktXj((s§C:\Users\Íéêüëáò\Desktop\×åéìåñéíü 2011-12\Ôå÷íçôÞ Íïçìïóýíç\áóêÞóåéò\Üóêçóç2\áóê2_üëá ôá ðñü÷åéñá áñ÷åßá ìáæåìÝíá\ðñïãñáììáôéóôéêÜ ðñïâëÞìáôá\Problem2_2\csp_search.pyR6s 9   !cswt}xjˆjˆD]Z‰|dcd7s