拉丁方求解器中二维集合数组元素移除异常问题咨询

问题原因解释 #

初始代码的问题 #

你用[[set(range(n))] * n] * n初始化二维数组时，本质是创建了同一个集合对象的多层引用：

• [set(range(n))] * n 会把单个set(range(n))对象重复n次，生成的列表里所有元素都指向同一个集合。
• 外层再乘n，相当于把这个包含重复集合引用的列表复制了n次，最终整个二维数组里的所有元素都是同一个set实例的引用。

所以当调用choices[i][k].remove(val)时，修改的是那个唯一的集合对象，数组里所有位置的集合都会同步变化，这就是第一次移除操作就修改所有集合的原因。

修改后代码的问题 #

改成[[set()]* n] * n再逐个赋值时，虽然内层的set()被替换成了新集合，但外层的*n仍然导致三行是同一个列表对象的引用：

• [[set()]*n] *n生成的三个子列表其实是同一个列表的引用，当给choices[i][j]赋值时，相当于修改了这个共享列表的第j个元素，所以所有行的第j个位置都会同步更新，这就是输出里每一行对应位置一起变化的原因。

解决建议 #

要创建每个元素都独立的二维集合数组，必须避免用列表乘法复制引用，改用嵌套列表推导式，确保每个集合和子列表都是全新对象：

n = 3
choices = [[set(range(n)) for _ in range(n)] for _ in range(n)]

• 内层for _ in range(n)循环n次，每次创建新的set(range(n))，子列表里每个元素都是独立集合。
• 外层for _ in range(n)循环n次，每次生成全新的子列表，最终二维数组里的每个集合都是完全独立的对象。

用这种方式初始化后，修改任意位置的集合都只会影响该位置，不会波及其他元素，完全符合拉丁方求解器的需求。

内容的提问来源于stack exchange，提问作者Andalos Mhameed