解空间树等算法的名词解释

1. 解空间树：所有可能的解构成的树
2. 搜索空间树：在解空间树上进行剪枝后的树，只保留了有希望产生最优解的部分
   • 画搜索空间树：一定要先画解空间树，搜索空间树一定是解空间树的一部分。只要访问过某个节点就要画出来，就算这个节点不满足要求，如果被剪枝，那只不过是这个节点的子树不用画
3. 目标函数：指最终需要最大或最小化的函数，是问题求解的目标。
4. 约束函数：用来排除不满足问题条件的解，约束函数必须满足，否则解是无效的
5. 限界函数：用来排除不可能产生最优解的子树，它用一些启发式信息来估计后续可能产生的最大得分，若可能的最大得分都不如当前最优得分，则可剪去这个子树。
   • 约束函数和限界函数都是用来剪枝的
6. 子集树：子集树是回溯法或分支限界法常用的树，是一种解空间树，一般是个二叉树。例如在背包问题，1表示放入，0表示不放入，叶节点是例如（0，1，0，1，1）这样的。
7. 排列树：排列树是另一种解空间树，它的叶节点是所有解的排列。例如在背包问题，叶节点是例如（2，4，5，1，3）这样的，表示物品装入顺序，第2个物品首先装入，然后按顺序，直到装不下。
8. 小顶堆：每个结点的值都小于等于左右孩子结点的值
9. 大顶堆：每个结点的值都大于等于左右孩子结点的值