Python数独求解时如何保证初始拷贝变量与处理后变量相互独立

问题根因 #

你出现该问题的核心原因有三类，按出现概率从高到低排序：

1. 类方法内错误使用global声明变量，作用域混乱导致备份被意外修改：你给出的代码中存在def self.solution写法，说明逻辑是写在类内部的，此时用global声明的start_sudoku是模块级全局变量，不是类的内部属性，很容易出现跨实例、跨调用的变量串改问题
2. 未正确导入copy模块，或错误使用浅拷贝：如果没有导入copy就调用copy.deepcopy，部分运行环境不会抛出明确报错，反而默认执行浅拷贝逻辑，二维列表的内层列表还是共用引用，修改原变量时备份也会同步变化
3. 后续代码中意外修改了备份变量的嵌套值：如果对备份变量做了浅拷贝后修改内层值，也会同步修改原始备份

修复步骤 #

• 第一步：替换全局变量为类实例属性，修正存储初始备份的逻辑

import copy # 确保代码开头已经导入copy模块

def sudoku_solver(self, sudoku):
    # 用类实例属性存储初始备份，废弃global声明
    self.start_sudoku = copy.deepcopy(sudoku)
    self.solution(sudoku)
    # 后续其他方法调用备份时直接取self.start_sudoku即可

• 第二步：修正求解方法内的备份引用逻辑，不要调用全局的start_sudoku，而是调用实例属性

def solution(self, sudoku):
    # 引用备份时用self.start_sudoku
    if len(sudoku) == len(self.start_sudoku):
        if self.possible(y, x, n):
            # 原有求解逻辑保持不变

• 第三步：排查所有代码，确认没有任何直接修改self.start_sudoku内层值的逻辑，也没有对self.start_sudoku做浅拷贝后修改内层值的操作

验证方法 #

你可以单独运行以下代码确认深拷贝的独立性，符合预期则说明你的环境支持正常深拷贝，问题出在业务逻辑中：

import copy
# 模拟数独二维列表
original = [[1,0,0],[0,2,0],[0,0,3]]
backup = copy.deepcopy(original)
# 修改原变量的内层值
original[0][1] = 5
print(original) # 输出：[[1, 5, 0], [0, 2, 0], [0, 0, 3]]
print(backup) # 输出：[[1, 0, 0], [0, 2, 0], [0, 0, 3]]
# 二者输出不一致说明深拷贝生效，备份完全独立

内容的提问来源于stack exchange，提问作者N K