图的m着色问题

问题

算法分析与设计实践第12次实践作业：给定无向连通图G和m种颜色，用这些颜色给图的顶点着色，每个顶点一种颜色。如果要求G的每条边的两个顶点着不同颜色。给出所有可能的着色方案；如果不存在，则回答“NO”

解析

上面的图是下载来的，自己画的没有这么好看。讨论在至多使用m种颜色的情况下，可对一给定的图着色的所有不同方法。通过回溯的方法，不断的为每一个节点着色，在前面n-1个节点都合法的着色之后，开始对第n个节点进行着色，这时候枚举可用的m个颜色，通过和第n个节点相邻的节点的颜色，来判断这个颜色是否合法，如果找到那么一种颜色使得第n个节点能够着色，那么说明m种颜色的方案是可行的。

设计

使用回溯法，具体步骤是将cur=1传入backtrack（），即从第一个开始涂色。

涂的时候从颜色1开始到m，每当涂上一个色，要用ok（cur）判断第cur个点是否可以涂这个色，不可以的话就不再往下涂了，改试另一个颜色，可以的话就继续。

当cur>n的时候即前n个点都涂完了，然后输出结果并cou++计数。

核心代码：

方法一：
#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<string>
#include<cstring>
#include<cmath>
#include<ctime>
#include<algorithm>
#include<bitset>
#include<string.h>
const int max=120;

int n,m,match;
int c[max][max];
int b[max];
int sum=0;
bool A(int a)
{
    for (int i=1;i<=n;++i)
	{
        if(c[a][i]==1 && b[i]==b[a])
        {
        	return false;
		}
    }
    return true;
}
void Backtrack(int a)
{
    if (a>n)
	{
        sum++;
        for (int i=1;i<=n;++i)
        {
        	printf("%d ",b[i]);
		}
        printf("\n");
    }
    else
	{
        for (int i=1;i<=m;++i)
		{
            b[a] = i;
            if (A(a))
			{
				Backtrack(a+1);
			}
            b[a]=0;
        }
    }
}
int main()
{
    scanf("%d",&m);
    scanf("%d %d",&n,&match);
    for (int i=1;i<=match;++i)
	{
        int x, y;
        scanf("%d %d",&x,&y);
        c[x][y]=c[y][x]=1;
    }
    Backtrack(1);
    if (sum==0)
	{
		printf("NO\n");
	}
	else
	{
		printf("%d\n", sum);
	}
	return 0;
}
方法二：
class Color{
private:
	int n;
	
	int m;
	
	int **a;
	
	int *x;
	
	long sum;
	
	bool isOk(int k) {
		for (int j = 1; j <= n; j++)
		{
			if ((a[k][j] == 1) && (x[j] == x[k]))
			{
				return false;
			}
		}
		return true;
	}
	void Backtrack(int t) {
		
		if (t > n)
		{
			sum++;
			for (int i = 1; i <= n; i++) {
				cout << x[i] << " ";
			}
			cout << endl;
		}
		else
		{
			
			for (int i = 1; i <= m; i++)
			{
				x[t] = i;
				if (isOk(t)) {
					
					Backtrack(t + 1);
				}
				
				x[t] = 0;
			}
		}
	}
	
public:
	friend int mColoring(int n, int m, int **a);
};
int mColoring(int n, int m, int **a) {
	Color X;

	
	X.n = n;
	X.m = m;
	X.a = a;
	X.sum = 0;
	
	int *p = new int[n + 1];
	for (int i = 0; i <= n; i++)
	{
		p[i] = 0;
	}
	X.x = p;
	X.Backtrack(1);
	delete[]p;
	return X.sum;
}

复杂度

GitHub源码