numpy实现数独代码报The truth value of array is ambiguous错如何解决？

报错根因 #

该报错是NumPy的典型错误：当代码试图将包含多个元素的NumPy数组直接用于布尔判断场景（如if条件、逻辑运算符连接）时，NumPy无法确定整个数组对应的单一布尔值，因此抛出该异常。 #

两处报错的具体诱因 #

第一处报错（possible_values函数内） #

你代码中is_possible函数的逻辑存在两处核心错误：

• 逻辑运算符用法错误：原代码np.any([ad[i].count(j) > 1] or [columns[i].count(j) > 1])中，or是Python原生逻辑运算符，会直接返回第一个非空列表，根本不会执行两个条件的或判断，相当于只判断了第一个条件。
• 全局变量污染：ad和columns是程序初始化时生成的固定值，没有用到函数传入的当前数独状态，数独修改后这里的判断逻辑会拿到不匹配的数组数据，触发布尔判断歧义。

第二处报错（is_solution函数内） #

• 数组浅引用问题：solver函数中new_state = sudoku是浅引用，没有生成新的数组副本，导致is_solution判断sudoku[i][j] == 0时，偶尔会拿到多元素数组片段而非单个值，触发报错。
• 数据结构误用：你将frontier初始化为NumPy数组，却调用只有Python列表才有的pop()方法，衍生出布尔判断异常。

修复方案 #

• 重写is_possible函数，移除全局变量依赖，每次基于传入的当前数独做校验：

def is_possible(sudoku):
    # 校验行无重复
    for row in sudoku:
        non_zero = row[row != 0]
        if len(non_zero) != len(set(non_zero)):
            return False
    # 校验列无重复
    for col in sudoku.T:
        non_zero = col[col != 0]
        if len(non_zero) != len(set(non_zero)):
            return False
    # 校验3*3子格无重复
    for i in range(0, 9, 3):
        for j in range(0, 9, 3):
            sub = sudoku[i:i+3, j:j+3].flatten()
            non_zero = sub[sub != 0]
            if len(non_zero) != len(set(non_zero)):
                return False
    return True

• 把frontier改为Python列表，所有数组修改都做深拷贝，避免引用同一个数组导致状态混乱：

frontier = [sudoku.copy()]

• 修正possible_values函数的参数依赖，所有行、列、子格的取值都基于传入的当前数独数组，不要使用全局sudoku变量。
• 替换solver函数中的np.append、np.delete操作为Python列表原生的append、pop方法，NumPy的这类方法不会修改原对象，只会返回新数组，不符合你的使用预期。

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