一、【问题描述】
7-2 图着色问题 (25分)
图着色问题是一个著名的NP完全问题。给定无向图G=(V,E),问可否用K种颜色为V中的每一个顶点分配一种颜色,使得不会有两个相邻顶点具有同一种颜色?
但本题并不是要你解决这个着色问题,而是对给定的一种颜色分配,请你判断这是否是图着色问题的一个解。
输入格式:
输入在第一行给出3个整数V(0<V≤500)、E(≥0)和K(0<K≤V),分别是无向图的顶点数、边数、以及颜色数。顶点和颜色都从1到V编号。随后E行,每行给出一条边的两个端点的编号。在图的信息给出之后,给出了一个正整数N(≤20),是待检查的颜色分配方案的个数。随后N行,每行顺次给出V个顶点的颜色(第i个数字表示第i个顶点的颜色),数字间以空格分隔。题目保证给定的无向图是合法的(即不存在自回路和重边)。
输出格式:
对每种颜色分配方案,如果是图着色问题的一个解则输出Yes,否则输出No,每句占一行。
输入样例:
6 8 3
2 1
1 3
4 6
2 5
2 4
5 4
5 6
3 6
4
1 2 3 3 1 2
4 5 6 6 4 5
1 2 3 4 5 6
2 3 4 2 3 4
输出样例:
Yes
Yes
No
No
二、【题解】
#include<bits/stdc++.h>
using namespace std;
int v,e,k,n;
int a[500][500];//二维矩阵记录各个顶点之间的关系
int C[500];//v个顶点的颜色数组
bool Same(int i){//用于判断相邻两个顶点的着色是否相同
for(int m=0;m<v;m++)
if(a[i][m]==1&&C[i]==C[m])
return false;
return true;
}
int main(){
int x,y;
cin>>v>>e>>k;//分别为无向图的顶点数、边数以及颜色数
for(int i=0;i<e;i++){//每一条边的两个端点的编号
cin>>x>>y;//输入一条边的两个顶点
a[x][y]=1;//无向图的边对称
a[y][x]=1;
}
cin>>n; //待检查的颜色分配方案的个数
while(n){
set<int>s;//用于去重,判断用了多少种颜色
for(int i=0;i<v;i++)
{
cin>>C[i];
s.insert(C[i]);
}
for(int i=0;i<v;i++){
if(!Same(i)||s.size()!=k){//所用颜色数超过所规定的数目或者相邻两个顶点着色相同
cout<<"No"<<endl;
break;
}
else if(i==v-1&&Same(i)){
cout<<"Yes"<<endl;
break;
}
}
n--;
}
return 0;
}