为Backtrack

Question

我必须在python上实现Backtracking，其约束为函数f（A，a，B，b），如果邻居A，B在值A = a，B = b时满足约束，则返回true。我必须解决这个问题：

发送+更多=钱

但我不知道如何实现约束。我知道：

D + E = Y + 10 * C1

C1 + N + R = E + 10 * C1

C2 + E + O = N + C3 * 10

C3 + S + M = O + 10 * C4

C4 = M

但是如何将这些约束实现为函数f（A，a，B，b）？

Answer 1

回溯是一种通用算法，用于查找某些计算问题的所有（或某些）解决方案，特别是约束满足问题，逐步构建解决方案的候选者，并在确定后立即放弃每个部分候选c（“回溯”） c不可能完成有效的解决方案