LC 17
Letter Combinations of a Phone Number
Medium · LC 1–100
候选解法路线
Primary
Free子集 / 组合回溯
Invariant: 进入 dfs(start) 时，path 中索引严格递增且来自 [0,start) 的既定选择；此调用只生成以该 path 为前缀、下一索引不小于 start 的答案，因此无重复。
candidate confidence: 0.740 · metadata_only
Alternate 1
Free约束满足回溯
Invariant: 进入递归时 partial assignment 满足所有已激活约束，辅助集合/计数与赋值完全同步；被剪分支不可能扩展为合法完整解。
candidate confidence: 0.610 · metadata_only
如何使用本页
先读原题与 constraints，再逐一验证 Recognition signals、invariant 与 complexity；candidate score 不能证明正确性。