算法与计算机科学norvig.com编辑精选
解出每一道数独题（2006）
Solving Every Sudoku Puzzle (2006)
2011 — 2025，它一次次回到首页
黑点是上首页（≥ 50 分）的那次投稿，空心点是没冲上去的投稿，点越大分数越高。
导读
Peter Norvig 在这篇经典文章中用 Python 编写了一个数独求解器，结合约束传播与搜索，并给出了详尽的性能分析和代码讲解。文章结尾还幽默地解释了他为什么要写这个程序。多年来它一直是学习约束求解和优雅编程风格的入门范本。
为什么经久不衰：它把约束传播+搜索的思想讲得清晰透彻，代码简洁优雅，至今仍是学习算法设计和 Python 编程风格的经典教材。
HN 评论精选
引用文中幽默的写作动机：用程序终结数独对人的时间消耗
为什么要做这个？正如计算机安全专家 Ben Laurie 所说，数独是"对人类智力的拒绝服务攻击"。我妻子被这个"病毒"感染了，我想让她相信这个问题已经被解决，不必再花时间在上面。
muhuk查看英文原文
Why did I do this? As computer security expert Ben Laurie has stated, Sudoku is "a denial of service attack on human intellect". My wife was infected by the virus, and I wanted to convince her that the problem had been solved and didn't need any more of her time. Very true.
指出 Norvig 的测试方法有局限，推荐更严格的难题来源和工具
Norvig 想用他能找到的最难的数独来测试程序，但只是通过随机生成来找难题。而 Sudoku Susser 这个程序自带"世界上最难的数独"，作者似乎以某种方式证明过这一点，Norvig 应该在他的程序上试试。Sudoku Susser 不仅能用文中那种暴力方式求解，还能用"人类"推理方式求解并展示所有步骤。
roryokane查看英文原文
Norvig tries to test his program against the hardest puzzle he can find, but only tries to find this hard puzzle by generating random ones. The program Sudoku Susser (http://www.madoverlord.com/projects/sudoku.t) actually comes with “the hardest sudoku in the world”, which I think the author of that program has proven somehow, so Norvig should try his program on that. Sudoku Susser can solve sudoku puzzles not only the brute-force way shown in the article, but also using “human” reasoning, and show you all the steps.
用通用约束求解器（如 Z3）可以更简洁地解决数独
我很喜欢用 Z3Py 求解器的方式：只需写下几条约束（行、列、3x3 宫和给定数字），就能立刻得到答案。
jhncls查看英文原文
I love it how with the Z3Py solver you just write down a few constraints (rows, columns, 3x3 boxes and the given values) and you immediately get an answer. [0] https://ericpony.github.io/z3py-tutorial/guide-examples.htm [1] https://yurichev.com/writings/SAT_SMT_by_example.pdf
解谜程序一旦写出来，谜题本身的乐趣就消失了
我记得大学时做过非常类似的东西。第一版用了糟糕的对象模型，第二版改用三维矩阵来跟踪所有数据，速度快了很多也更省空间。文章结尾的"为什么"基本说清了为什么我玩不下去大多数棋盘游戏和谜题——一旦你"解决"了数独、国际象棋等，乐趣就没了，即使你的大脑算得没代码那么快。
mberning查看英文原文
I remember doing something very similar in college. My first cut used a hideous object model, but my second go at it used a 3 dimensional matrix to track all of the data and was much faster and space efficient. The "Why?" at the end of the article pretty much sums up why I can't play most board games and puzzles. Once you 'solve' sudoku, chess, connect 6, ect. it really takes the fun out of it, even if your brain doesn't calculate the solution as quick as your code.
历次讨论
同类还值得读
位运算技巧集
Bit Twiddling Hacks
斯坦福页面上的经典位运算技巧合集，收录了 popcount、前导/尾随零、位反转、交换、舍入等大量技巧，并附有解释和性能讨论。
算法与计算机科学上首页 8 次 · 2011–2024graphics.stanford.edu编辑精选如何不按平均评分排序
How Not To Sort By Average Rating
经典文章解释了为什么按平均评分排序不可靠：只有少量评价的条目（比如仅一条五星）会轻易排到最前，而评价数量的差异被忽略。
算法与计算机科学上首页 7 次 · 2009–2024evanmiller.org编辑精选数据结构可视化
Data Structure Visualizations
旧金山大学 David Galles 教授制作的数据结构与算法交互式可视化网站，涵盖 B 树、红黑树、排序、图算法等，可逐步操作观察其运行过程。
算法与计算机科学上首页 6 次 · 2011–2021cs.usfca.edu编辑精选1996 年以来的计算机科学最佳论文奖
Best Paper Awards in Computer Science since 1996
Jeff Huang 维护的一个汇总页面，收录了自 1996 年以来计算机科学各主要会议的“最佳论文奖”获奖名单，并按年份和会议整理，方便读者一站式浏览历届获奖论文。
算法与计算机科学上首页 6 次 · 2010–2018jeffhuang.com编辑精选算法（Jeff Erickson）
Algorithms, by Jeff Erickson
伊利诺伊大学 Jeff Erickson 教授的算法课教材，免费在线开放。
算法与计算机科学上首页 5 次 · 2018–2022jeffe.cs.illinois.edu编辑精选