LC 89
Gray Code
Medium · LC 1–100
候选解法路线
Primary
Free约束满足回溯
Invariant: 进入递归时 partial assignment 满足所有已激活约束，辅助集合/计数与赋值完全同步；被剪分支不可能扩展为合法完整解。
candidate confidence: 0.473 · metadata_only
Alternate 1
Free位运算不变量 / XOR 消去
Invariant: 聚合 XOR 等于所有出现次数为奇数的值之 XOR；逐位计数可在目标模数下独立恢复位。
candidate confidence: 0.610 · metadata_only
Alternate 2
Free子集 / 组合回溯
Invariant: 进入 dfs(start) 时，path 中索引严格递增且来自 [0,start) 的既定选择；此调用只生成以该 path 为前缀、下一索引不小于 start 的答案，因此无重复。
candidate confidence: 0.470 · metadata_only
Alternate 3
Free排列回溯
Invariant: 进入深度 pos 时，path 恰含 pos 个互异索引；used 精确对应 path，且同层相等值只由第一个合法代表扩展。
candidate confidence: 0.440 · metadata_only
如何使用本页
先读原题与 constraints，再逐一验证 Recognition signals、invariant 与 complexity；candidate score 不能证明正确性。