约束传播智能科学与人工智能.pptVIP

回溯算法Backtrack Search empty assignment 1st variable 2nd variable 3rd variable Assignment = {(var1=v11),(var2=v21),(var3=v32)} 回溯算法Backtrack Search empty assignment 1st variable 2nd variable 3rd variable Assignment = {(var1=v11),(var2=v22)} 回溯算法Backtrack Search empty assignment 1st variable 2nd variable 3rd variable Assignment = {(var1=v11),(var2=v22),(var3=v31)} * 史忠植 约束推理 * 回溯算法 Backtracking-Top(P) 1 f := the null assignment 2 return Backtracking(f,P) * 史忠植 约束推理 * 回溯算法 Backtracking(f,P) 1 if f is a total assignment of the variables in P 2 answer := f 3 else 4