标签：
题意：
根据宪法，Byteland民主共和国的公众和平委员会应该在国会中通过立法程序来创立。 不幸的是，由于某些党派代表之间的不和睦而使得这件事存在障碍。
此委员会必须满足下列条件：
每个党在议会中有2个代表。代表从1编号到2n。 编号为2i-1和2i的代表属于第I个党派。
任务
写一程序：
输入
在文本文件的第一个行有2非负整数n和m。 他们各自表示：党派的数量n，1 < =n < =8000和不友好的代表对m，0 <=m <=20000。 在下面m行的每行为一对整数a,b，1<=a <b<=2n，中间用单个空格隔开。 它们表示代表a,b互相厌恶。
输出
如果委员会不能创立，文本文件中应该包括单词NIE。若能够成立，文本文件SPO.OUT中应该包括n个从区间1到2n选出的整数，按升序写出，每行一个，这些数字为委员会中代表的编号。如果委员会能以多种方法形成，程序可以只写他们的某一个。
样品输入
3 2 1 3 2 4
样品输出
1 4 5
分析：对于某个党两个代表只能选择一个，同时在厌恶的关系中的两个人只能有一个人存在，
1 #include <iostream> 2 #include <cstring> 3 #include <algorithm> 4 #include <cstdio> 5 using namespace std; 6 const int Maxn = 8000 * 2 + 10; 7 const int Maxm = 20000 * 2 + 10; //注意数据范围 8 struct Edge 9 { 10 int to, Next; 11 }edge[Maxm]; 12 int head[Maxn], tot; 13 void init() 14 { 15 tot = 0; 16 memset(head, -1, sizeof(head)); 17 } 18 void addedge(int u, int v) 19 { 20 edge[tot].to = v; 21 edge[tot].Next = head[u]; 22 head[u] = tot++; 23 } 24 bool vis[Maxn]; 25 int S[Maxn], top; 26 bool dfs(int u) 27 { 28 if (vis[u ^ 1]) 29 return false; 30 if (vis[u]) 31 return true; 32 vis[u] = true; 33 S[top++] = u; 34 for (int i = head[u]; i != -1; i = edge[i].Next) 35 if (!dfs(edge[i].to)) 36 return false; 37 return true; 38 } 39 bool Twosat(int n) 40 { 41 memset(vis, 0, sizeof(vis)); 42 for (int i = 0; i < n; i += 2) 43 { 44 if (vis[i] || vis[i ^ 1]) //已经选择了继续 45 continue; 46 top = 0; 47 if (!dfs(i)) 48 { 49 while (top) 50 vis[ S[--top] ] = false; 51 if (!dfs(i ^ 1)) 52 return false; 53 } 54 } 55 return true; 56 } 57 int main() 58 { 59 int n, m; 60 int u, v; 61 while (scanf("%d%d", &n, &m) != EOF) 62 { 63 init(); 64 while (m--) 65 { 66 scanf("%d%d", &u, &v); 67 u--; 68 v--; 69 addedge(u, v ^ 1); 70 addedge(v, u ^ 1); 71 } 72 if (Twosat(n * 2)) 73 { 74 for (int i = 0; i < 2 * n; i++) 75 if (vis[i]) 76 printf("%d\n", i + 1); 77 } 78 else printf("NIE\n"); 79 } 80 81 return 0; 82 }
HD1814Peaceful Commission(模板题）
标签：
原文地址：http://www.cnblogs.com/zhaopAC/p/5373710.html
