本文揭示 GoFD 约束求解库中因 Sudoku 单元格键名误用（如 "A!" 代替 "A1"）导致约束传播失败、IsConsistent() 返回 false 的根本原因，并说明为何错误添加无意义变量（如 "total"）会偶然“修复”问题——实为掩盖底层建模缺陷。
本文揭示 gofd 约束求解库中因 sudoku 单元格键名误用（如 `"a!"` 代替 `"a1"`）导致约束传播失败、`isconsistent()` 返回 `false` 的根本原因，并说明为何错误添加无意义变量（如 `"total"`）会偶然“修复”问题——实为掩盖底层建模缺陷。
在使用 GoFD 库构建 Sudoku 求解器时，一个看似微小的字符串错误——将行列表达式中的数字 1 错写为感叹号 ! ——会导致整个约束系统崩溃。观察原始代码中的定义：
var ROWS = []string{"A", "B", "C", "D", "E", "F", "G", "H", "I"}
var COLS = []int{1,2,3,4,5,6,7,8,9}
var SQUARE1 = []string{
"A!", "A2", "A3", // ← 错误：应为 "A1"
"B1", "B2", "B3",
"C1", "C2", "C3"}
// 同样错误出现在 SQUARE4 ("D!") 和 SQUARE7 ("G!")
该错误造成两个严重后果：
-
键名不匹配（Key Mismatch）：
在 create() 和 grid.load("test2.json") 中，JSON 文件明确使用 "A1"、"D1"、"G1" 等合法键加载初始值（例如 "A1": 6），但变量字典 sudoku 中却因 SQUARE1 等定义缺失 "A1"、"D1"、"G1" 的 VarId 映射——取而代之的是无效键 "A!"。这意味着：- 初始赋值约束（CreateXeqC(sudoku[k], v)）对 "A1" 等真实键执行时，sudoku["A1"] 为 nil 或未定义；
- 实际上，sudoku["A!"] 被创建，但 JSON 中无 "A!" 字段，导致该变量始终保持全领域 [1..9]，未被任何初始值固定；
- 所有涉及 "A1" 的行列宫约束（Alldifferent）因缺少对应变量 ID 而无法完整构建，约束图出现结构性断裂。
-
约束传播失效与 IsConsistent() 假阴性：
GoFD 的 store.IsConsistent() 并非仅检查语法一致性，而是触发初始传播（initial propagation）——即对所有已注册 propagator 执行一次域缩减。当某行（如 A 行）因缺失 "A1" 变量，其 Alldifferent 约束只作用于 8 个变量（"A2"–"A9"），而 "A!" 是孤立变量、不参与任何行列宫约束。此时：- "A!" 域仍为 [1..9]，但无任何约束限制其取值；
- 其他变量因初始值（如 "A1": 6 缺失）和不完整约束，可能产生隐含矛盾（如某宫内数字重复无法被检测）；
- 最终 IsConsistent() 返回 false，求解器提前终止。
为何添加 core.CreateIntVarFromTo("total", store, 50, 50) 会“生效”？
该操作本质是引入一个恒定变量并意外激活传播调度器：
- "total" 变量虽无语义意义，但它的创建会轻微改变 store 内部状态（如变量计数、事件队列初始化）；
- 更关键的是，某些 GoFD 版本中，若 store 中无任何变量被显式固定（bound）或受强约束，初始传播可能跳过部分 propagator；而 "total" 的窄域 [50,50] 强制触发更彻底的传播链，偶然使部分本应失败的约束得以执行；
- 这解释了为何 total 域宽（如 [9,12]）会产生多个“解”：每个 total=9/10/11/12 被视为独立搜索分支，而由于原始模型存在未定义行为，求解器在不同分支下可能输出相同数字矩阵（因核心约束仍不健全）。
正确修复方案
只需修正所有 ! → 1 的拼写错误，并验证键名一致性：
// ✅ 修正 SQUARE1, SQUARE4, SQUARE7 中的 "X!" 为 "X1"
var SQUARE1 = []string{
"A1", "A2", "A3", // ← 修复
"B1", "B2", "B3",
"C1", "C2", "C3"}
var SQUARE4 = []string{
"D1", "D2", "D3", // ← 修复
"E1", "E2", "E3",
"F1", "F2", "F3"}
var SQUARE7 = []string{
"G1", "G2", "G3", // ← 修复
"H1", "H2", "H3",
"I1", "I2", "I3"}
同时，增强健壮性：在加载初始值前校验键存在性：
for k, v := range grid.Grid {
if _, exists := sudoku[k]; !exists {
panic(fmt.Sprintf("initial value key '%s' not found in variable map", k))
}
prop := propagator.CreateXeqC(sudoku[k], v)
store.AddPropagators(prop)
}
总结
- 根本原因："A!" 等非法键名导致变量映射断裂，初始值约束丢失，Alldifferent 约束不完整，最终 IsConsistent() 因传播失败返回 false。
- “total”现象本质：是实现细节导致的巧合行为，绝非正确建模方式；它掩盖问题而非解决问题。
- 最佳实践：在约束编程中，变量命名必须与数据源严格一致，建议使用 fmt.Sprintf("%s%d", row, col) 统一生成键，并在构建约束前做 key existence 校验。
修复后，程序将正确输出唯一解，且 consistent: true、solutionFound: true，无需任何冗余变量。
