【0—1背包问题的回溯法】是一种解决特定优化问题的算法，主要应用于当需要在有限的资源限制下最大化目标价值的情况。0—1背包问题描述了一个场景：有n种物品，每种物品有自己的重量Wi和价值Vi，以及一个容量为c的背包。目标是选择物品，使得装入背包的物品总重量不超过背包容量，同时总价值最大。
回溯法是一种系统性和跳跃性相结合的搜索算法，它采用深度优先策略遍历解空间树。从根节点开始，如果当前节点肯定不包含问题的解，那么会回溯到其祖先节点，继续搜索其他可能的分支。如果找到一个解，深度优先搜索即可停止。在0—1背包问题中，解空间是所有可能的物品子集，每个子集对应一个可能的解决方案。
0—1背包问题的回溯法通常包括以下步骤：
1. 定义解空间：解空间由所有可能的物品子集构成，其中每个子集代表一个可能的解决方案。
2. 搜索解空间：使用深度优先策略，从根节点开始，递归地探索解空间树。在每个节点，检查是否能继续添加物品而不超载背包，如果可以，继续添加下一个物品；如果不能，回溯到上一个节点。
3. 剪枝操作：为了提高效率，可以通过计算上界来剪枝。如果在当前节点加入下一个物品后，即使完全装满背包，总价值也无法超过已有的最优解，那么可以跳过这个分支，减少无效搜索。
在代码实现中，`Knap` 类包含了0—1背包问题的解空间表示和回溯搜索过程。`Knap::Bound` 函数计算了在当前节点加入剩余物品的上界，用于剪枝决策。`Knap::Backtrack` 是回溯函数，递归地处理每个物品的选择，直到找到最优解或者所有可能的物品都被考虑。
`Knapsack` 函数是回溯法的入口，它初始化了问题的参数并调用`Knap::Backtrack` 开始搜索。在回溯过程中，`bestp` 保存当前找到的最优价值，`bestx` 记录对应的最优解，`x` 用于存储当前解。当回溯完成，`bestx` 就是问题的最优解，可以通过`print` 函数输出。
总结来说，0—1背包问题的回溯法是通过深度优先搜索解空间树，结合剪枝策略，寻找背包容量约束下物品总价值最大化的解决方案。这种方法适用于解决组合优化问题，尤其是在问题规模较大时，能够有效地找到最优解。
