算法java实现--回溯法--图的m着色问题

算法java实现--回溯法--图的m着色问题

(转自:http://blog.csdn.net/lican19911221/article/details/26264471

图的m着色问题的Java实现(回溯法)

具体问题描述以及C/C++实现参见网址

http://blog.csdn.NET/lican19911221/article/details/26228345

/**
 * 着色问题
 * @author Lican
 *
 */
public class Coloring {
    int n;//图的顶点数
    int m;//可用颜色数
    int[][] a;//图的邻接矩阵
    int[] x;//当前解
    long sum;//当前已找到的可m着色方案数
    public long mcoloring(int mm,int nn,int[][] aa){
        n=nn;
        a=aa;
        x=new int[n+1];
        m=mm;
        sum=0;
        backtrack(1);
        return sum;
    }
    public void backtrack(int t){
        if(t>n){
            sum++;
            for(int i=1;i<=n;i++)
                System.out.print(x[i]+" ");
            System.out.println();
        }else{
            for(int i=1;i<=m;i++){
                x[t]=i;
                if(ok(t))//剪枝函数
                    backtrack(t+1);
                x[t]=0;
            }
        }
    }
    public boolean ok(int k){
        for(int j=1;j<=n;j++){
            if(a[k][j]==1&&x[j]==x[k])//某条边的两个顶点着不同颜色;a[k][j]=1表示某条边(即边集E中的边)
                return false;
        }
        return true;
    }
    public static void main(String[] args) {
        //int n=5;
        //int m=3;
        //int[][] a={{-1,-1,-1,-1,-1,-1},{-1,0,1,1,1,0},{-1,1,0,1,1,1},{-1,1,1,0,1,0},{-1,0,1,1,0,1},{-1,0,1,0,1,0}};
        //int n=4;
        //int m=4;
        //int[][] a={{-1,-1,-1,-1,-1},{-1,0,1,1,0},{-1,1,0,1,1},{-1,1,1,0,1},{-1,0,1,1,0}};
        
        int n=5;
        int m=5;
        int[][] a={{-1,-1,-1,-1,-1,-1},{-1,0,1,1,1,0},{-1,1,0,1,1,1},{-1,1,1,0,1,0},{-1,1,1,1,0,1},{-1,0,1,0,1,0}};
        Coloring c=new Coloring();
        System.out.println("着色方案如下:");
        long sum=c.mcoloring(m, n, a);
        System.out.println("可行的着色方案数目为:"+sum);
    }
}
/*
 测试数据:
int n=4;
int m=4;
int[][] a={{-1,-1,-1,-1,-1},{-1,0,1,1,0},{-1,1,0,1,1},{-1,1,1,0,1},{-1,0,1,1,0}};
 
 输出:

 着色方案如下:
1 2 3 1 
1 2 3 4 
1 2 4 1 
1 2 4 3 
1 3 2 1 
1 3 2 4 
1 3 4 1 
1 3 4 2 
1 4 2 1 
1 4 2 3 
1 4 3 1 
1 4 3 2 
2 1 3 2 
2 1 3 4 
2 1 4 2 
2 1 4 3 
2 3 1 2 
2 3 1 4 
2 3 4 1 
2 3 4 2 
2 4 1 2 
2 4 1 3 
2 4 3 1 
2 4 3 2 
3 1 2 3 
3 1 2 4 
3 1 4 2 
3 1 4 3 
3 2 1 3 
3 2 1 4 
3 2 4 1 
3 2 4 3 
3 4 1 2 
3 4 1 3 
3 4 2 1 
3 4 2 3 
4 1 2 3 
4 1 2 4 
4 1 3 2 
4 1 3 4 
4 2 1 3 
4 2 1 4 
4 2 3 1 
4 2 3 4 
4 3 1 2 
4 3 1 4 
4 3 2 1 
4 3 2 4 
可行的着色方案数目为:48


=======================================================
测试数据
int n=5;
int m=3;
int[][] a={{-1,-1,-1,-1,-1,-1},{-1,0,1,1,1,0},{-1,1,0,1,1,1},{-1,1,1,0,1,0},{-1,0,1,1,0,1},{-1,0,1,0,1,0}};

输出:
着色方案如下:
1 2 3 1 3 
1 3 2 1 2 
2 1 3 2 3 
2 3 1 2 1 
3 1 2 3 2 
3 2 1 3 1 
可行的着色方案数目为:6
=================================================================

测试数据
int n=5;
int m=5;
int[][] a={{-1,-1,-1,-1,-1,-1},{-1,0,1,1,1,0},{-1,1,0,1,1,1},{-1,1,1,0,1,0},{-1,1,1,1,0,1},{-1,0,1,0,1,0}};

输出:
着色方案如下:
1 2 3 4 1 
1 2 3 4 3 
1 2 3 4 5 
1 2 3 5 1 
1 2 3 5 3 
1 2 3 5 4 
1 2 4 3 1 
1 2 4 3 4 
1 2 4 3 5 
1 2 4 5 1 
1 2 4 5 3 
1 2 4 5 4 
1 2 5 3 1 
1 2 5 3 4 
1 2 5 3 5 
1 2 5 4 1 
1 2 5 4 3 
1 2 5 4 5 
1 3 2 4 1 
1 3 2 4 2 
1 3 2 4 5 
1 3 2 5 1 
1 3 2 5 2 
1 3 2 5 4 
1 3 4 2 1 
1 3 4 2 4 
1 3 4 2 5 
1 3 4 5 1 
1 3 4 5 2 
1 3 4 5 4 
1 3 5 2 1 
1 3 5 2 4 
1 3 5 2 5 
1 3 5 4 1 
1 3 5 4 2 
1 3 5 4 5 
1 4 2 3 1 
1 4 2 3 2 
1 4 2 3 5 
1 4 2 5 1 
1 4 2 5 2 
1 4 2 5 3 
1 4 3 2 1 
1 4 3 2 3 
1 4 3 2 5 
1 4 3 5 1 
1 4 3 5 2 
1 4 3 5 3 
1 4 5 2 1 
1 4 5 2 3 
1 4 5 2 5 
1 4 5 3 1 
1 4 5 3 2 
1 4 5 3 5 
1 5 2 3 1 
1 5 2 3 2 
1 5 2 3 4 
1 5 2 4 1 
1 5 2 4 2 
1 5 2 4 3 
1 5 3 2 1 
1 5 3 2 3 
1 5 3 2 4 
1 5 3 4 1 
1 5 3 4 2 
1 5 3 4 3 
1 5 4 2 1 
1 5 4 2 3 
1 5 4 2 4 
1 5 4 3 1 
1 5 4 3 2 
1 5 4 3 4 
2 1 3 4 2 
2 1 3 4 3 
2 1 3 4 5 
2 1 3 5 2 
2 1 3 5 3 
2 1 3 5 4 
2 1 4 3 2 
2 1 4 3 4 
2 1 4 3 5 
2 1 4 5 2 
2 1 4 5 3 
2 1 4 5 4 
2 1 5 3 2 
2 1 5 3 4 
2 1 5 3 5 
2 1 5 4 2 
2 1 5 4 3 
2 1 5 4 5 
2 3 1 4 1 
2 3 1 4 2 
2 3 1 4 5 
2 3 1 5 1 
2 3 1 5 2 
2 3 1 5 4 
2 3 4 1 2 
2 3 4 1 4 
2 3 4 1 5 
2 3 4 5 1 
2 3 4 5 2 
2 3 4 5 4 
2 3 5 1 2 
2 3 5 1 4 
2 3 5 1 5 
2 3 5 4 1 
2 3 5 4 2 
2 3 5 4 5 
2 4 1 3 1 
2 4 1 3 2 
2 4 1 3 5 
2 4 1 5 1 
2 4 1 5 2 
2 4 1 5 3 
2 4 3 1 2 
2 4 3 1 3 
2 4 3 1 5 
2 4 3 5 1 
2 4 3 5 2 
2 4 3 5 3 
2 4 5 1 2 
2 4 5 1 3 
2 4 5 1 5 
2 4 5 3 1 
2 4 5 3 2 
2 4 5 3 5 
2 5 1 3 1 
2 5 1 3 2 
2 5 1 3 4 
2 5 1 4 1 
2 5 1 4 2 
2 5 1 4 3 
2 5 3 1 2 
2 5 3 1 3 
2 5 3 1 4 
2 5 3 4 1 
2 5 3 4 2 
2 5 3 4 3 
2 5 4 1 2 
2 5 4 1 3 
2 5 4 1 4 
2 5 4 3 1 
2 5 4 3 2 
2 5 4 3 4 
3 1 2 4 2 
3 1 2 4 3 
3 1 2 4 5 
3 1 2 5 2 
3 1 2 5 3 
3 1 2 5 4 
3 1 4 2 3 
3 1 4 2 4 
3 1 4 2 5 
3 1 4 5 2 
3 1 4 5 3 
3 1 4 5 4 
3 1 5 2 3 
3 1 5 2 4 
3 1 5 2 5 
3 1 5 4 2 
3 1 5 4 3 
3 1 5 4 5 
3 2 1 4 1 
3 2 1 4 3 
3 2 1 4 5 
3 2 1 5 1 
3 2 1 5 3 
3 2 1 5 4 
3 2 4 1 3 
3 2 4 1 4 
3 2 4 1 5 
3 2 4 5 1 
3 2 4 5 3 
3 2 4 5 4 
3 2 5 1 3 
3 2 5 1 4 
3 2 5 1 5 
3 2 5 4 1 
3 2 5 4 3 
3 2 5 4 5 
3 4 1 2 1 
3 4 1 2 3 
3 4 1 2 5 
3 4 1 5 1 
3 4 1 5 2 
3 4 1 5 3 
3 4 2 1 2 
3 4 2 1 3 
3 4 2 1 5 
3 4 2 5 1 
3 4 2 5 2 
3 4 2 5 3 
3 4 5 1 2 
3 4 5 1 3 
3 4 5 1 5 
3 4 5 2 1 
3 4 5 2 3 
3 4 5 2 5 
3 5 1 2 1 
3 5 1 2 3 
3 5 1 2 4 
3 5 1 4 1 
3 5 1 4 2 
3 5 1 4 3 
3 5 2 1 2 
3 5 2 1 3 
3 5 2 1 4 
3 5 2 4 1 
3 5 2 4 2 
3 5 2 4 3 
3 5 4 1 2 
3 5 4 1 3 
3 5 4 1 4 
3 5 4 2 1 
3 5 4 2 3 
3 5 4 2 4 
4 1 2 3 2 
4 1 2 3 4 
4 1 2 3 5 
4 1 2 5 2 
4 1 2 5 3 
4 1 2 5 4 
4 1 3 2 3 
4 1 3 2 4 
4 1 3 2 5 
4 1 3 5 2 
4 1 3 5 3 
4 1 3 5 4 
4 1 5 2 3 
4 1 5 2 4 
4 1 5 2 5 
4 1 5 3 2 
4 1 5 3 4 
4 1 5 3 5 
4 2 1 3 1 
4 2 1 3 4 
4 2 1 3 5 
4 2 1 5 1 
4 2 1 5 3 
4 2 1 5 4 
4 2 3 1 3 
4 2 3 1 4 
4 2 3 1 5 
4 2 3 5 1 
4 2 3 5 3 
4 2 3 5 4 
4 2 5 1 3 
4 2 5 1 4 
4 2 5 1 5 
4 2 5 3 1 
4 2 5 3 4 
4 2 5 3 5 
4 3 1 2 1 
4 3 1 2 4 
4 3 1 2 5 
4 3 1 5 1 
4 3 1 5 2 
4 3 1 5 4 
4 3 2 1 2 
4 3 2 1 4 
4 3 2 1 5 
4 3 2 5 1 
4 3 2 5 2 
4 3 2 5 4 
4 3 5 1 2 
4 3 5 1 4 
4 3 5 1 5 
4 3 5 2 1 
4 3 5 2 4 
4 3 5 2 5 
4 5 1 2 1 
4 5 1 2 3 
4 5 1 2 4 
4 5 1 3 1 
4 5 1 3 2 
4 5 1 3 4 
4 5 2 1 2 
4 5 2 1 3 
4 5 2 1 4 
4 5 2 3 1 
4 5 2 3 2 
4 5 2 3 4 
4 5 3 1 2 
4 5 3 1 3 
4 5 3 1 4 
4 5 3 2 1 
4 5 3 2 3 
4 5 3 2 4 
5 1 2 3 2 
5 1 2 3 4 
5 1 2 3 5 
5 1 2 4 2 
5 1 2 4 3 
5 1 2 4 5 
5 1 3 2 3 
5 1 3 2 4 
5 1 3 2 5 
5 1 3 4 2 
5 1 3 4 3 
5 1 3 4 5 
5 1 4 2 3 
5 1 4 2 4 
5 1 4 2 5 
5 1 4 3 2 
5 1 4 3 4 
5 1 4 3 5 
5 2 1 3 1 
5 2 1 3 4 
5 2 1 3 5 
5 2 1 4 1 
5 2 1 4 3 
5 2 1 4 5 
5 2 3 1 3 
5 2 3 1 4 
5 2 3 1 5 
5 2 3 4 1 
5 2 3 4 3 
5 2 3 4 5 
5 2 4 1 3 
5 2 4 1 4 
5 2 4 1 5 
5 2 4 3 1 
5 2 4 3 4 
5 2 4 3 5 
5 3 1 2 1 
5 3 1 2 4 
5 3 1 2 5 
5 3 1 4 1 
5 3 1 4 2 
5 3 1 4 5 
5 3 2 1 2 
5 3 2 1 4 
5 3 2 1 5 
5 3 2 4 1 
5 3 2 4 2 
5 3 2 4 5 
5 3 4 1 2 
5 3 4 1 4 
5 3 4 1 5 
5 3 4 2 1 
5 3 4 2 4 
5 3 4 2 5 
5 4 1 2 1 
5 4 1 2 3 
5 4 1 2 5 
5 4 1 3 1 
5 4 1 3 2 
5 4 1 3 5 
5 4 2 1 2 
5 4 2 1 3 
5 4 2 1 5 
5 4 2 3 1 
5 4 2 3 2 
5 4 2 3 5 
5 4 3 1 2 
5 4 3 1 3 
5 4 3 1 5 
5 4 3 2 1 
5 4 3 2 3 
5 4 3 2 5 
可行的着色方案数目为:360

 */

 

posted on 2016-11-27 21:32 Michael2397 阅读(...) 评论(...) 编辑 收藏

  • 0
    点赞
  • 11
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
回溯法(Backtracking)是一种暴力搜索算法,它尝试在所有可能的解寻找正确的解。回溯法通常用于组合问题,其我们尝试从一组可能的解选择一个最佳解。 地着色问题是指在地上给不同的区域着不同的颜色,使得相邻的区域颜色不同。这是一个经典的组合问题,可以使用回溯法解决。 下面是 Java 代码实现: ```java public class MapColoring { // 地邻接矩阵 private int[][] map; // 区域颜色 private int[] color; // 区域数量 private int n; public MapColoring(int[][] map, int n) { this.map = map; this.n = n; this.color = new int[n]; } public void colorMap() { if (backtrack(0)) { printSolution(); } else { System.out.println("No solution exists."); } } private boolean backtrack(int area) { // 如果所有区域都已经着色,返回 true if (area == n) { return true; } // 尝试给当前区域着色 for (int c = 1; c <= 4; c++) { if (isSafe(area, c)) { color[area] = c; // 递归着色下一个区域 if (backtrack(area + 1)) { return true; } // 如果不能着色,则回溯 color[area] = 0; } } return false; } private boolean isSafe(int area, int c) { // 检查相邻区域是否有着相同的颜色 for (int i = 0; i < n; i++) { if (map[area][i] == 1 && c == color[i]) { return false; } } return true; } private void printSolution() { System.out.println("Solution exists:"); for (int i = 0; i < n; i++) { System.out.println("Area " + (i + 1) + " is colored with " + color[i]); } } } ``` 在上述代码,`backtrack()` 方法用于尝试给当前区域着色,并递归着色下一个区域,如果不能着色,则回溯。`isSafe()` 方法用于检查相邻区域是否有着相同的颜色。`printSolution()` 方法用于输出结果。 如果地可以被正确着色,则 `colorMap()` 方法将打印结果。否则,它将打印“无解”。 下面是一个例子: ```java public static void main(String[] args) { int[][] map = { {0, 1, 1, 1}, {1, 0, 1, 0}, {1, 1, 0, 1}, {1, 0, 1, 0} }; MapColoring mc = new MapColoring(map, 4); mc.colorMap(); } ``` 输出结果为: ``` Solution exists: Area 1 is colored with 1 Area 2 is colored with 2 Area 3 is colored with 3 Area 4 is colored with 2 ``` 在这个例子,地可以被正确着色,其每个区域都着有不同的颜色。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值