实验12 图的m着色问题

问题

给定无向连通图G和m种颜色，用这些颜色给图的顶点着色，每个顶点一种颜色。如果要求G的每条边的两个顶点着不同颜色。给出所有可能的着色方案；如果不存在，则回答“NO”。

解析

四色猜想：四色问题是m图着色问题的一个特例，根据四色原理，证明平面或球面上的任何地图的所有区域都至多可用四种、颜色来着色，并使任何两个有一段公共边界的相邻区域没有相同的颜色。这个问题可转换成对一平面图的４－着色判定问题(平面图是一个能画于平面上而边无任何交叉的图)。将地图的每个区域变成一个结点，若两个区域相邻，则相应的结点用一条边连接起来。多年来，虽然已证明用5种颜色足以对任一幅地图着色，但是一直找不到一定要求多于4种颜色的地图。直到1976年这个问题才由爱普尔，黑肯和考西利用电子计算机的帮助得以解决。他们证明了4种颜色足以对任何地图着色。
考虑所有的图，讨论在至多使用m种颜色的情况下，可对一给定的图着色的所有不同方法。通过回溯的方法，不断的为每一个节点着色，在前面n-1个节点都合法的着色之后，开始对第n个节点进行着色，这时候枚举可用的m个颜色，通过和第n个节点相邻的节点的颜色，来判断这个颜色是否合法，如果找到那么一种颜色使得第n个节点能够着色，那么说明m种颜色的方案是可行的。

设计

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cstdlib>
#include<cmath>
using namespace std;
typedef long long ll;
int n, m, match, ans = 0, a, b;
int mp[1010][1010], se[1010];
bool check(int t) {
    for (int i = 1; i <= n; ++i) {
        if (mp[t][i] && se[i] == se[t])    return 0;
    }
    return 1;
}
void back(int t) {
    if (t > n) {
        ans++;
        for (int i = 1; i <= n; ++i)    printf("%d ", se[i]);
        printf("\n");
    }
    else {
        for (int i = 1; i <= m; ++i) {
            se[t] = i;
            if (check(t))    back(t + 1);
            se[t] = 0;
        }
    }
}
int main() {
    scanf("%d %d %d", &m, &n, &match);
    for (int i = 1; i <= match; ++i) {
        scanf("%d %d", &a, &b);
        mp[a][b] = mp[b][a] = 1;
    }
    back(1);
    if (ans > 0)   printf("%d", ans);
    else    printf("NO");
}

分析

时间复杂度为：

源码

github源码地址