地图着色问题的求解

问题描述 ：地图着色问题：如果把每一个区域收缩为一个顶点，把相邻两个区域用一条边相连接，就可以把一个区域图抽象为一个平面图。用m种颜色为图中的每个顶点着色，要求每个顶点着一种颜色，并使相邻两顶点之间有着不同的颜色。运用回溯法解决该问题。

求解方法：考虑所有的图，讨论在至多使用m种颜色的情况下，可对一给定的图着色的所有不同方法。通过回溯的方法，不断的为每一个节点着色，在前面n-1个节点都合法的着色之后，开始对第n个节点进行着色，这时候枚举可用的m个颜色，通过和第n个节点相邻的节点的颜色，来判断这个颜色是否合法，如果找到那么一种颜色使得第n个节点能够着色，那么说明m种颜色的方案是可行的。        用图的邻接矩阵c表示无向连通图G = (V , E)。若(I,j)属于图的边集，则c[i][j] = 1,否则c[i][j] = 0。整数1~m表示m种不同的颜色。顶点i所着的颜色用x[i]表示。数组x[1:n]是问题的解向量。问题的解空间就是这些解向量的集合。        不难看出，该问题的解空间可以表示为一颗高度为n+1的完全m叉树，并且是排列树。解空间树的第i(1<=i<=n)层中的每个节点都有m个儿子，每个儿子对应x[i]的m个可能着色之一。第n+1层均为叶子结点。