编辑“︁可行解搜索（回溯与分支限界）”︁（章节）

== 基本概念 ==
=== 解空间与状态树 ===
可行解搜索通常在问题的'''解空间树'''（也称状态树）中进行。树的每个节点代表一个'''部分解'''，从根到叶子的路径可能构成一个完整解。搜索过程分为两类：
* '''回溯法'''：深度优先搜索（DFS）策略，通过递归或栈实现，遇到无效解时回溯。
* '''分支限界法'''：广度优先搜索（BFS）或最佳优先策略，通过优先级队列实现，利用界限函数剪枝。

=== 约束条件与目标函数 ===
* '''约束条件'''：限制解的有效性（如N皇后中皇后不能互相攻击）。
* '''目标函数'''（分支限界法特有）：用于评估解的优劣（如旅行商问题中的路径长度）。