Backtracking
回溯法系统搜索所有可能解，遇到不可行则回退（撤销选择）尝试其他分支，用于约束满足问题。
用途
求解组合搜索与约束满足问题，如 N 皇后与数独。
机制
深度优先搜索解空间树，每步选一个候选扩展，若违反约束则回退。剪枝（约束传播、界限）减少搜索空间。经典：N 皇后、图着色、子集和。
用例
- 约束满足
- 组合搜索
- 谜题求解
回溯法系统搜索所有可能解，遇到不可行则回退（撤销选择）尝试其他分支，用于约束满足问题。
求解组合搜索与约束满足问题，如 N 皇后与数独。
深度优先搜索解空间树，每步选一个候选扩展，若违反约束则回退。剪枝（约束传播、界限）减少搜索空间。经典：N 皇后、图着色、子集和。