问题描述
给定无向量图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中,当i>n时,算法搜索至叶结点,得到新的m着色方案,当前找到的m着色方案数sum增1。
当I
算法:
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(t>n)
{
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