回溯法培训教案.pptVIP

第13章 回溯法 13.1 引言 13.2 图的3着色问题 13.3 8皇后问题 13.4 一般回溯方法 13.5 分支限界法 * 13.1 引言 寻找一个问题解时，一个直观的方法是：列出所有候选解，然后依次检查每一个。在检查完部分或全部候选解，便可得出该问题或者有解、或者没有解，这就是所谓的穷举法。 在理论上，这种方法似乎是可行的，但是在实际应用中很少使用这种方法。这是因为候选解的数量非常大，通常是指数级的，甚至是阶乘级的，即便采用最快的计算机，也只能解决规模很小的问题。 因此需要一种系统化的检查候选解的方法，借助这种方法，将搜索空间减少到最低程度。这种系统并且有组织的搜索方法，称为回溯法。在本章中先讨论图的三着色问题的回溯法解，然后再讨论8皇后问题的回溯法解。 13.2 图的三着色问题 给出一个无向图G=(V,E)，需用三种颜色之一为图中的每个结点着色，三种颜色分别用1、2、3来表示。若没有二个邻接结点有相同的颜色，则称着色是合法的。只要有二个邻接结点颜色相同，则称着色是不合法的。 具有n个结点的图的一种着色，可用向量(c1,c2,...,cn)来表示，0≤ci≤3，i表示结点号，0表示没有着色。 例如，(1,2,2,1,3)表示一个有5个结点的图的着色。其中结点1的着色为1，结点2的着色为2，…