第03章约束推理.pptVIP

*史忠植高级人工智能*3.2BacktrackingAlgorithmBasedondepth-firstrecursivesearchApproachTestswhethersolutionhasbeenfoundIffoundsolution,returnitElseforeachchoicethatcanbemadeMakethatchoiceRecurIfrecursionreturnsasolution,returnitIfnochoicesremain,returnfailureSometimescalled“searchtree”第29页，共68页，星期日，2025年，2月5日*史忠植高级人工智能*3.2Solutionto8-QueensPuzzle八皇后问题，是一个古老而著名的问题，是回溯算法的典型例题。该问题是十九世纪著名的数学家高斯1850年提出：在8×8格的国际象棋上摆放八个皇后，使其不能互相攻击，即任意两个皇后都不能处于同一行、同一列或同一斜线上，问有多少种摆法。高斯认为有76种方案。1854年在柏林的象棋杂志上不同的作者发表了40种不同的解，后来有人用图论的方法解出92种结果。计算机发明后，有多种方法可以解决此问题。第30页，共68页，星期日，2025年，2月5日*史忠植高级人工智能*4-QueensPuzzle第31页，共68页，星期日，2025年，2月5日*史忠植高级人工智能*4-QueensTree第32页，共68页，星期日，2025年，2月5日*史忠植高级人工智能*3.2回溯法Backtracking-Top(P)1f:=thenullassignment2returnBacktracking(f,P)第33页，共68页，星期日，2025年，2月5日*史忠植高级人工智能*3.2回溯法Backtracking(f,P)1iffisatotalassignmentofthevariablesinP2answer:=f3else4v:=somevariableinPthatisnotyetassignedavaluebyf5answer:=Unsat6foreachvaluewhileanswer=Umsat7f(v):=x8iffsatisfiestheconstraintsinP9answer:=Backtracking(f,P)10returnanswer第34页，共68页，星期日，2025年，2月5日*史忠植高级人工智能*3.2回溯法尽管回溯法好于生成测试法，但对于非平凡问题仍然是低效的。其原因在于搜索空间中不同路径的搜索重复相同的失败子路径。一些研究者认为，造成这种反复的原因是所谓的局部不一致性。最简单的情形是所谓的结点不一致性。对一个变量vi的一个一元约束。存在域中一个值vi不满足该约束。这样，每当vi取到a时就会出现不一致性。另一种重复的情形是所谓的弧不一致性。第35页，共68页，星期日，2025年，2月5日*史忠植高级人工智能*3.3约束传播如果对vi的当前域中的所有值x，存在vj的当前域中的某值y使得vi=x和vj=y是vi与vj之间的约束所允许的，则弧(vi,vj)是弧一致的。弧一致性的概念是有向的。即(vi,vj)是弧一致的并不自动地意味着(vj,vi)是一致的。第36页，共68页，星期日，2025年，2月5日*史忠植高级人工智能*3.3约束传播CONSTRAINTPROPAGATION(red,green)(red,blue)(red,green,blue)弧一致性（Arcconsistency）第37页，共68页，星期日，2025年，2月5日*史忠植高级人工智能*3.3CONSTRAINTPROPAGATIONAlloftheMackworthalgorith