算法设计课程设计--图的m着色问题.docVIP

问题描述 给定无向量图G顶点和m种不同的颜色。用这些颜色为图G的各顶点着色，每个顶点着一种颜色。是否有一种着色法使G图中每条边的两个顶点着不同的颜色。这个问题是图的m可着色判定问题。若一个图最少需要m种颜色才能使图中每条边连接的两个顶点着不同的颜色，则称这个数m为该图的色数。求一个图的色数m的问题称为图的m可着色问题。 算法设计 一般连通图的可着色法问题并不仅限于平面图。给定图G=（V，E）和m种颜色，果这个图不是m可着色，给出否定回答，如果这个图是m的可着色的，找出所有不同的着色法。 下面根据回朔法的递归描述框架backtrack设计图的m着色算法。用图的邻接矩阵a表示无向量连通图G=（V，E）。若（i，j）属于图G=（ V，E）的边集E，则a[i][j]=1，否则a[i][j]=0。整数1，2，…，m用来表示m种不同颜色。顶点i所有颜色用x[i]表示，数组x[1：n]是问题的解向量。问题的解空间可表示为一棵高度为n+1的完全m叉树。解空间树的第I（1=i=n）层中每一结点都有m个儿子，每个儿子相应于x[i]的m个可能的着色之一。第n+1层结点均为叶结点。 在算法backtrack中，当in时，算法搜索至叶结点，得到新的m着色方案，当前找到的m着色方案数sum增1。 当In时,当前扩展结点Z的每一个解空间中内部结点.该结点有x[i]=1,2, …，m共m个儿子结点.对当前扩展结点Z的每一儿子结点,有方法ok检查其可行性,并以深度优先的方式递归的对可行子树搜索,或减去不可行树. 算法: public class Coloring { static int n; static int m; static boolean[][]a; static int[]x; static long sum; public static long mColoring(int mm) { m=mm; sum=0; backtrack(1); return sum; } private static void backtrack(int t) { if(tn) { sum++; for(int i=1;i=n;i++) System.out.println(); } else for(int i=1;i=m;i++) x[t]=i; if(ok(t)) backtrack(t+1); x[t]=0; } private static boolean ok(int k) { for(int j=1;j=n;j++) if(a[k][j](x[j]==x[k])) return false; return true; } } 图的m着色的回朔算法的程序: 程序名：图的m着色法 简要说明：此程序实现给定无向量图顶点和m种不同的颜色。用这些颜色为图的各顶点着色，每个顶点着一种颜色，并使图中每条边的两个顶点着色不同。求有多少个图色的方法？ 程序: import java.io.*;//引入java.io包中的所有类 import java.util.Scanner; /* 传入值: 顶点数n，颜色数m 输出值: 当前解x，着色方案sum 简要说明:定义主类和输入输出，并调用定义类Coloring */ public class Class1//定义主类，并调用定义类Coloring { public static void main( String args[] ) { Scanner scan = new Scanner(System.in); System.out.println(p为顶点数 q为颜色数); System.out.println(p的值:); int p = scan.nextInt();//输入p的值 System.out.println(q的值:); int q = scan.nextInt();//输入q的值 Coloring myColor = new Coloring(p,q);//为Coloring类创建一个新对象 System.out.println( sum= + myColor.mColoring(q) );//输出着色方案最后结果 InputStreamReader in;//使运行结果的显示暂停 BufferedReader reader; in = new InputStreamReader(System.in); reader = new BufferedReader(in)