彼得诺维格(Peter Norvig)有一篇文章描述了一个program to solve sudoku puzzles,即使是最难的,通过结合确定性逻辑运算和对可能解决方案的智能遍历。后者是递归完成的;下面是函数(source):def search(values):
"Using depth-first search and propagation, try all possible values."
if values is False:
return False ## Failed earlier
if all( len( values[s]) == 1 for s in squares):
return values ## Solved!
## Chose the unfilled square s with the fewest possibilities
_,s = min( (len( values[s]), s)
for s in squares
if len(values[s]) > 1
)
return some( search( assign( values.copy(), s, d))
for d in values[s]
)
(为了我的眼睛,我添加了一些空格、CRs和制表符;向诺维格博士道歉。)
在注释的正下方有一行以“_,s”开头。这似乎是最小值为s的未压缩元组(len(values[s]),s)。诺维格博士使用“_”作为变量名仅仅是为了表明这是一个“不在乎”的结果,还是其他什么原因?有没有推荐使用“_”作为变量名的时候?在交互模式下,“_”保留了前一个操作的答案;在非交互代码中是否有类似的功能?
更新
谢谢你的回答。我想答案是亚历克斯·马泰利的“附加值”;他指出,“感兴趣的vbl”这个成语通常是DSU这个成语的副作用,而DSU这个成语本身已经变得不必要了。