摩天大楼拼图算法

Misha向您展示了蛮力方式。基于约束传播，可以实现一种更快的递归算法。彼得·诺维格（Google
Research的负责人）写了一篇很棒的文章，介绍了如何使用此技术通过python解决Sudoku。阅读并尝试理解每一个细节，您将学到很多东西，有保证。由于摩天大楼拼图与Sudoku有很多共同点（没有3X3块，但边缘的数字给了一些额外的限制），因此您可能会窃取很多他的代码。

从Sudoku开始，每个字段都有一个从1..N开始的所有可能数字的列表。之后，您一次只能查看一条水平/垂直线或边缘线索，并删除非法选项。例如，在5x5的情况下，边的3排除了前两个中的5和第一个正方形中的4。约束传播应该完成其余的工作。继续遍历边缘约束，直到它们满足为止，否则您将在遍历所有约束后陷入困境。如Norvig所示，然后您开始猜测并在出现矛盾的情况下删除数字。

在数独的情况下，给定线索仅需处理一次，因为一旦您将一个数字分配给一个正方形（您删除了所有其他可能性），该线索的所有信息都将被使用。但是，对于摩天大楼，您可能必须多次应用给定的提示，直到完全满意为止（例如，当整条线解决时）。