HDU 1814 Peaceful Commission(2-sat)
来源:互联网 发布:什么是数据库应用程序 编辑:程序博客网 时间:2024/05/21 14:05
HDU 1814 Peaceful Commission
题目链接
题意:
根据宪法,Byteland民主共和国的公众和平委员会应该在国会中通过立法程序来创立。 不幸的是,由于某些党派代表之间的不和睦而使得这件事存在障碍。
此委员会必须满足下列条件:
每个党派都在委员会中恰有1个代表,
如果2个代表彼此厌恶,则他们不能都属于委员会。
每个党在议会中有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选出的整数,按升序写出,每行一个,这些数字为委员会中代表的编号。如果委员会能以多种方法形成,程序可以只写他们的某一个。
思路:显然的2-sat,问题是输出字典序最小的,那么就以每个人作为结点,0,1代表选与不选,每次都优先从最小的人开始,尽量选1,最后输出路径就可以了
代码:
#include <cstdio>#include <cstring>#include <cstdlib>#include <vector>#include <algorithm>using namespace std;const int MAXNODE = 16005;struct TwoSet {int n;vector<int> g[MAXNODE * 2];bool mark[MAXNODE * 2];int S[MAXNODE * 2], sn;void init(int tot) {n = tot * 2;for (int i = 0; i < n; i += 2) {g[i].clear();g[i^1].clear();}memset(mark, false, sizeof(mark));}void add_Edge(int u, int uval, int v, int vval) {u = u * 2 + uval;v = v * 2 + vval;g[u^1].push_back(v);g[v^1].push_back(u);}void delete_Edge(int u, int uval, int v, int vval) {u = u * 2 + uval;v = v * 2 + vval;g[u^1].pop_back();g[v^1].pop_back();}bool dfs(int u) {if (mark[u^1]) return false;if (mark[u]) return true;mark[u] = true;S[sn++] = u;for (int i = 0; i < g[u].size(); i++) {int v = g[u][i];if (!dfs(v)) return false;}return true;}bool solve() {for (int i = 0; i < n; i += 2) {if (!mark[i] && !mark[i + 1]) {sn = 0;if (!dfs(i + 1)){for (int j = 0; j < sn; j++)mark[S[j]] = false;sn = 0;if (!dfs(i)) return false;}}}return true;}} gao;int n, m;int main() {while (~scanf("%d%d", &n, &m)) {gao.init(n * 2);for (int i = 0; i < n * 2; i += 2) {gao.add_Edge(i, 0, i + 1, 0);gao.add_Edge(i, 1, i + 1, 1);}int u, v;while (m--) {scanf("%d%d", &u, &v);u--; v--;gao.add_Edge(u, 0, v, 0);}if (!gao.solve()) printf("NIE\n");else {for (int i = 0; i < n * 2; i++)if (gao.mark[i * 2 + 1]) printf("%d\n", i + 1);}}return 0;}
1 0
- HDU 1814 Peaceful Commission(2-sat)
- HDU 1814 Peaceful Commission (2-SAT)
- hdu 1814 Peaceful Commission (2-SAT)
- HDU 1814 Peaceful Commission (2-SAT)
- 【HDU】1814 Peaceful Commission 2-sat
- hdu 1814 Peaceful Commission(2-sat)
- hdu 1814 Peaceful Commission (2-SAT)
- hdu 1814 Peaceful Commission (2-sat入门)
- HDU 1814 Peaceful Commission 2-sat 爆搜
- HDU 1814 Peaceful Commission(2-SAT)
- HDU 1814 Peaceful Commission(2-SAT)
- hdu 1814 Peaceful Commission 2-SAT
- hdu 1814 Peaceful Commission(2-sat 染色)
- HDU 1814Peaceful Commission (最小字典序 2-SAT)
- HDU 1814 Peaceful Commission (2-sat暴力染色)
- HDU 1814 Peaceful Commission(2-SAT:最小字典序)
- hdu 1814 Peaceful Commission 2-sat 按字典序输出
- HDU 1814 POI 2001 Peaceful Commission 2-SAT
- Cocos2d的renderer分析
- 二
- 《c程序设计语言》读书笔记
- java hashmap 原理
- cat ,more ,less 命令的使用和区别
- HDU 1814 Peaceful Commission(2-sat)
- Android开源框架Volley
- [HTML5]推荐10款非常优秀的 HTML5 开发工具
- Setup Syslog with LogAnalyzer on Ubuntu Server
- 【干货】国外程序员整理的 C++ 资源大全
- Unity3D AssetBundle包加密
- 错误it is already used by statement which invoked this stored functiontrigger的解决方法
- Yii在Web分布式下将Session存储到Memcached
- windows服务