"图着色问题是一个著名的NP完全问题。给定无向图G=(V,E)，问可否用K种颜色为V中的每一个顶点分配一种颜色，使得不会有两个相邻顶点具有同一种颜色？\n\n但本题并不是要你解决这个着色问题，而是对给定的一种颜色分配，请你判断这是否是图着色问题的一个解。\n\n输入格式：\n输入在第一行给出3个整数V（0<V≤500）、E（≥0）和K（0<K≤V），分别是无向图的顶点数、边数、以及颜色数。顶点和颜色都从1到V编号。随后E行，每行给出一条边的两个端点的编号。在图的信息给出之后，给出了一个正整数N（≤20），是待检查的颜色分配方案的个数。随后N行，每行顺次给出V个顶点的颜色（第i个数字表示第i个顶点的颜色），数字间以空格分隔。题目保证给定的无向图是合法的（即不存在自回路和重边）。\n#include <bits/stdc++.h>\nusing namespace std;\nint v, e, k;\nvector vec[505];\nint book[505];\nset s;\nbool Judge()\n{ \n if (s.size() != k)\n return false;\n for (int i = 1; i <= v; i++)\n { \n for (int j = 0; j < vec[i].size(); j++)\n { \n if (book[i] == book[vec[i][j]]) \n { \n return false;\n }\n }\n }\n return true;\n}\nint main()\n{ \n cin >> v >> e >> k;\n for (int i = 0; i < e; i++)\n { \n int u, v;\n cin >> u >> v;\n vec[u].push_back(v);\n vec[v].push_back(u);\n }\n int t;\n cin >> t;\n while (t--)\n { \n s.clear();\n memset(book, 0, sizeof(book)); \n for (int i = 1; i <= v; i++)\n { \n int a;\n cin >> a;\n book[i] = a;\n s.insert(a);\n }\n bool flag = Judge();\n if (flag)\n cout << "Yes" << endl;\n else\n cout << "No" << endl;\n }\n return 0;\n}\n说明程序的设计思路，重点说明程序中各种类、结构体类型的关系结构，如程序有文件操作或数据库操作，还请说明文件和数据库表的用途和结构。内容：该程序使用了邻接表来表示无向图，通过遍历图中的每个顶点，判断其相邻顶点是否有相同的颜色，从而判断给定的颜色分配方案是否满足图着色问题的要求。\n\n程序中使用了以下变量和数据结构：\n- v：表示无向图的顶点数\n- e：表示无向图的边数\n- k：表示颜色数\n- vec：邻接表，用于存储图的边信息\n- book：用于记录每个顶点的颜色\n- s：用于存储已使用的颜色，以便检查颜色数是否满足要求\n\n程序的主要思路是：\n1. 读入图的顶点数、边数和颜色数，并构建邻接表存储图的边信息。\n2. 读入待检查的颜色分配方案的个数，对于每个方案进行如下操作：\n - 清空已使用的颜色集合s和顶点颜色数组book。\n - 读入每个顶点的颜色，并将其记录在book数组中，同时将颜色加入集合s。\n - 调用Judge函数判断该方案是否满足图着色问题的要求。\n - 输出判断结果。\n\nJudge函数的实现：\n1. 首先判断已使用的颜色数是否等于颜色数k，如果不等则返回false。\n2. 遍历每个顶点，对于每个顶点的相邻顶点，判断它们的颜色是否相同，如果相同则返回false。\n3. 如果以上两个条件都满足，则返回true，表示给定的颜色分配方案是图着色问题的一个解。\n\n总结：该程序通过邻接表表示无向图，使用集合和数组来存储和判断颜色分配方案的合法性，以判断给定的颜色分配是否是图着色问题的一个解。\n
