本文深入剖析生成有效括号组合的回溯算法执行流程，解释为何在首次 res.push() 后递归仍能继续探索其他路径，并通过调用栈演化图与代码注释阐明“剪枝条件”与“回溯本质”。
本文深入剖析生成有效括号组合的回溯算法执行流程，解释为何在首次 `res.push()` 后递归仍能继续探索其他路径，并通过调用栈演化图与代码注释阐明“剪枝条件”与“回溯本质”。
生成有效括号组合（Balanced Parentheses）是回溯算法的经典范例。其核心不在于“生成所有字符串再验证”，而是在构建过程中实时约束合法性：左括号数不能超过 n，右括号数不能超过左括号数（即 usedClose < usedOpen）。关键在于理解：每次 res.push(cur) 并不终止整个搜索，仅结束当前递归分支；函数会逐层返回，恢复上层状态，继续尝试未执行的分支。
以下为 n = 2 的完整执行逻辑（带缩进表示调用深度）：
function findCombo(n, cur, usedOpen, usedClose) {
// ✅ 终止条件：左右括号均用满 → 收集结果并返回（不阻断其他分支！）
if (usedOpen === n && usedClose === n) {
res.push(cur);
return; // 显式 return 更清晰，原代码隐式返回亦可
}
// ➕ 分支1：添加 '('（只要左括号未达上限）
if (usedOpen < n) {
findCombo(n, cur + '(', usedOpen + 1, usedClose);
}
// ➖ 分支2：添加 ')'（必须满足：已有左括号 > 已用右括号，且右括号未达上限）
if (usedOpen > usedClose && usedClose < n) {
findCombo(n, cur + ')', usedOpen, usedClose + 1);
}
}以 n = 2 为例的调用栈演化：
- Level 0: findCombo(2, "", 0, 0)
→ 进入分支1：findCombo(2, "(", 1, 0)
→ 进入分支1：findCombo(2, "((", 2, 0)
→ 分支1被剪枝（usedOpen === n），转分支2：findCombo(2, "(()", 2, 1)
→ 分支1剪枝，分支2：findCombo(2, "(())", 2, 2) → ✅ res.push("(())")，返回
← 返回至 "((" 状态，无其他分支，继续返回
← 返回至 "(" 状态，此时分支2条件成立（1 > 0） → findCombo(2, "()", 1, 1)
→ 分支1：findCombo(2, "()(", 2, 1)
→ 分支2：findCombo(2, "()()", 2, 2) → ✅ res.push("()()")，返回
← 全部返回
可见，'()()' 的生成依赖于：在 "(" 层级主动回退后，触发了被延迟的右括号分支，而非在 (()) 分支内继续执行。这就是回溯（Backtracking）的本质——试探、失败（或完成）、撤回、再试探。
⚠️ 注意事项：
- 原代码中 res 是闭包变量，实际工程中建议作为参数传递或使用返回值，避免副作用；
- 两个 if 必须独立判断（不可用 else if），否则会跳过合法的双分支并行探索；
- 时间复杂度为卡特兰数 $C_n = \frac{1}{n+1}\binom{2n}{n}$，空间复杂度为 $O(n)$（递归栈深度）。
掌握这一“构建中约束 + 多分支并行 + 显式回退”的模式，是理解 DFS 回溯类问题（如 N 皇后、数独、子集生成）的关键基石。
