递归帮助彼得诺维格的数独练习

Question

嗨，我正在学习彼得·诺维格的数独解决方案（http://norvig.com/sudoku.html）。你知道吗

但是，我对下面的块代码有点混淆：

def assign(values, s, d):
    """Eliminate all the other values (except d) from values[s] and propagate.
    Return values, except return False if a contradiction is detected."""
    other_values = values[s].replace(d, '')
    if all(eliminate(values, s, d2) for d2 in other_values):
        return values
    else:
        return False

def eliminate(values, s, d):
    """Eliminate d from values[s]; propagate when values or places <= 2.
    Return values, except return False if a contradiction is detected."""
    if d not in values[s]:
        return values ## Already eliminated
    values[s] = values[s].replace(d,'')
    ## (1) If a square s is reduced to one value d2, then eliminate d2 from the peers.
    if len(values[s]) == 0:
    return False ## Contradiction: removed last value
    elif len(values[s]) == 1:
        d2 = values[s]
        if not all(eliminate(values, s2, d2) for s2 in peers[s]):
            return False
    ## (2) If a unit u is reduced to only one place for a value d, then put it there.
    for u in units[s]:
    dplaces = [s for s in u if d in values[s]]
    if len(dplaces) == 0:
        return False ## Contradiction: no place for this value
    elif len(dplaces) == 1:
        # d can only be in one place in unit; assign it there
            if not assign(values, dplaces[0], d):
                return False
    return values

函数assign接收字典values的输入，如果没有矛盾，也将返回values。但是，在assign函数中，我没有看到字典values的任何更新。我的理解是dictvalues是用eliminate函数更新的（在运行代码之后，我相信就是这样）。但是，这是在assign函数之外完成的，不应影响assign函数中的values，因为它不会在函数中直接更新。你知道吗

也许你们能给我点启示？你知道吗

Answer 1

Pythondict是可变的，这意味着它们的值可以更改。你知道吗

这个例子展示了一个反模式：您不应该同时变异一个参数和返回它。例如，所有更改list（append，pop等）的方法都不返回原始列表。你知道吗

eliminate函数获得与assign函数相同的dict，赋值函数中的任何更改都反映在elimate函数中。你知道吗

举个例子：

def update(dict_, key, value):
    dict_[key] = value

d = {
    1: 2,
    3: 4
}
update(d, 1, 100)
update(d, 3, 100)

print(d[1] + d[3])  # 200