POJ 2942 Knights of the Round Table (算竞进阶习题)
很巧的一道点双
两个骑士如果相互憎恨,我们考虑连边的话,不太好处理答案,所以我们尝试一下建反图。
如果两个骑士没有相互憎恨,我们就在他们两个人之间连一条无向边,最后要让你会议召开,那么显然是选择任意一个奇环上的所有点。
现在题目就变成了找不在奇环上的点的个数。
有引理:
若两个点属于不同的点双,则他们不可能在同一个奇环。
若某个点双内存在奇环,则这个点双的所有点必定被至少一个奇环包含。
综上所述,奇环只会在点双内,所以我们把反图的点双找出来,一个一个判断是否存在奇环即可(只要存在奇环,这个点双内的所有点一定有办法参加会议, 因为总有一个奇环会包含点双内的一些点,这所有奇环的并集就是点双内的所有点)。
对于判断一张图是否存在奇环,实际上就是判断一张图是不是二分图,因为二分图是不可能存在奇环的,存在奇环的图也一定不是二分图。
最后统计不在奇环的点即可。
#include <bits/stdc++.h>
#define INF 0x3f3f3f3f
#define full(a, b) memset(a, b, sizeof a)
using namespace std;
typedef long long ll;
inline int lowbit(int x){ return x & (-x); }
inline int read(){int X = 0, w = 0; char ch = 0;while(!isdigit(ch)) { w |= ch == '-'; ch = getchar(); }while(isdigit(ch)) X = (X << 3) + (X << 1) + (ch ^ 48), ch = getchar();return w ? -X : X;
}
inline int gcd(int a, int b){ return a % b ? gcd(b, a % b) : b; }
inline int lcm(int a, int b){ return a / gcd(a, b) * b; }
template<typename T>
inline T max(T x, T y, T z){ return max(max(x, y), z); }
template<typename T>
inline T min(T x, T y, T z){ return min(min(x, y), z); }
template<typename A, typename B, typename C>
inline A fpow(A x, B p, C lyd){A ans = 1;for(; p; p >>= 1, x = 1LL * x * x % lyd)if(p & 1)ans = 1LL * x * ans % lyd;return ans;
}
const int N = 1005;
int n, m, cnt, k, root, tot, head[N], dfn[N], low[N], cut[N], col[N], c[N];
bool has[N][N], able[N], flag;
vector<int> dcc[N];
stack<int> st;
struct Edge { int v, next; } edge[2000005];void addEdge(int a, int b){edge[cnt].v = b, edge[cnt].next = head[a], head[a] = cnt ++;
}void build(){while(!st.empty()) st.pop();cnt = k = tot = 0;full(has, false), full(head, -1);full(dfn, 0), full(low, 0);full(cut, false), full(able, false);full(col, 0), full(c, 0);for(int i = 1; i <= n; i ++)dcc[i].clear();
}void tarjan(int s){dfn[s] = low[s] = ++k;st.push(s);if(s == root && head[s] == -1){dcc[++tot].push_back(s);return;}int flag = 0;for(int i = head[s]; i != -1; i = edge[i].next){int u = edge[i].v;if(!dfn[u]){tarjan(u);low[s] = min(low[s], low[u]);if(low[u] >= dfn[s]){flag ++;if(s != root || flag > 1) cut[s] = true;tot ++;int cur;do{cur = st.top(); st.pop();dcc[tot].push_back(cur);}while(cur != u);dcc[tot].push_back(s);}}else low[s] = min(low[s], dfn[u]);}
}bool dfs(int s, int color, int cur){col[s] = color;for(int i = head[s]; i != -1; i = edge[i].next){int u = edge[i].v;if(c[u] != cur) continue;if(col[u] == color) return false;if(!col[u] && !dfs(u, 3 - color, cur)) return false;}return true;
}int main(){ios::sync_with_stdio(false), cin.tie(nullptr), cout.tie(nullptr);while(cin >> n >> m && n && m){build();for(int i = 0; i < m; i ++){int u, v;cin >> u >> v;has[u][v] = has[v][u] = true;}for(int i = 1; i < n; i ++){for(int j = i + 1; j <= n; j ++)if(!has[i][j]) addEdge(i, j), addEdge(j, i);}for(int i = 1; i <= n; i ++){if(!dfn[i]) root = i, tarjan(i);}for(int i = 1; i <= tot; i ++){for(int j = 0; j < dcc[i].size(); j ++){c[dcc[i][j]] = i, col[dcc[i][j]] = 0;}if(!dfs(dcc[i][0], 1, i)){for(int j = 0; j < dcc[i].size(); j ++){able[dcc[i][j]] = true;}}}int ans = 0;for(int i = 1; i <= n; i ++){if(!able[i]) ans ++;}printf("%d\n", ans);}return 0;
}
转载于:https://www.cnblogs.com/onionQAQ/p/10840812.html
POJ 2942 Knights of the Round Table (算竞进阶习题)相关推荐
- poj 2942 Knights of the Round Table(双连通分量+tarjan+二分图判定)
http://poj.org/problem?id=2942 题意: 有N个骑士,给出某些骑士之间的仇恨关系,骑士们开会时会围坐在一个圆桌旁.一次会议能够顺利举行,要满足两个条件: 1:任意相互憎恨的 ...
- POJ - 2942 Knights of the Round Table (双连通分量)
题目链接 题意 有N个骑士,每个骑士有自己不喜欢的人,你需要选择奇数个骑士开一个圆桌会议,每个骑士不能和自己不喜欢的人挨着坐. 问需要删除那些人,这些人不能组成圆桌会议 思路 按照补图建边求双连通分量 ...
- POJ - 2942 Knights of the Round Table(点双缩点+二分图判定)
题目链接:点击查看 题目大意:国王要在圆桌上召开骑士会议,但是有若干对骑士之间互相憎恨.出于各种各样奇怪的原因,每次开会都必须有以下要求: 相互憎恨的两个骑士不能坐在相邻的两个位置 为了让投票表决议题 ...
- POJ 2942 Knights of the Round Table ★(点双连通分量+二分图判定)
题意:找出图中不可能在奇圈中的点. [分析]注意到,在不同点双连通分量中的两个点,显然是不会存在圈的.那么这样,问题就划归为在点双连通分量中去找奇圈. [重要性质]在一个点双连通分量中,只要有任意一个 ...
- POJ 2942 Knights of the Round Table (奇圈+点双联通)
题意:在亚瑟王的圆桌骑士团中,某些骑士两两之间相互憎恨,这样一来他们开会的时候边不能相邻的坐着.即肯定存在某些人不能参加会议.假如一个骑士所有的会议都不能出席,那么他就会被驱逐.现在已知那些骑士之间相 ...
- POJ 2942 Knights of the Round Table 【点双联通 + 二分图染色法判奇环】
传送门 亚瑟王要在圆桌上召开骑士会议,为了不引发骑士之间的冲突,并且能够让会议的议题有令人满意的结果,每次开会前都必须对出席会议的骑士有如下要求: 1. 相互憎恨的两个骑士不能坐在直接相邻的2个位置: ...
- POJ 3683 Priest John's Busiest Day (算竞进阶习题)
2-SAT 可以把每一次仪式看成变量,0/1的取值分别为开头举行和结尾举行. 转换为2-SAT接受的命题,就是看某一次仪式中有没有重合的时间段,有的话,就按照不冲突的形式连有向边. 然后跑tarjan ...
- POJ 3974 Palindrome (算竞进阶习题)
hash + 二分答案 数据范围肯定不能暴力,所以考虑哈希. 把前缀和后缀都哈希过之后,扫描一边字符串,对每个字符串二分枚举回文串长度,注意要分奇数和偶数 #include <iostream& ...
- POJ 2245 Addition Chains(算竞进阶习题)
迭代加深dfs 每次控制序列的长度,依次加深搜索 有几个剪枝: 优化搜索顺序,从大往下枚举i, j这样能够让序列中的数尽快逼近n 对于不同i,j和可能是相等的,在枚举的时候用过的数肯定不会再被填上所以 ...
最新文章
- 通过公历年计算天干地支
- AngularJS模块——module
- math and date、ajax、画布
- python3.5将list类型转换为矩阵类型
- MongoDB分布式(分片存储)部署
- matlab 矩阵引用,MATLAB矩阵生成、引用
- 基于JAVA+SpringMVC+MYSQL的网上订餐系统
- tomcat 错误页面html,Nginx整合Tomcat后配置友好错误界面
- 清华大学 ucore-lab0 MacOS
- php disable-ipv6,強迫 PHP Curl 使用 IPv4 , 忽略 IPv6
- 【Python】SVM分类 特征标准化+网格搜索最优模型参数+十折交叉验证
- Vue入门---实现汇率换算
- 解决Hadoop Browse Directory Couldn‘t upload the file 错误.无法上传文件
- 分析和解决:ERR Error compiling script (new function): user_script:1: 'end' expected near '
- 电影《终结者2018》
- 基于立体视觉的三维模型重建系统设计
- Android仿keep运动轨迹动画,仿keep思路
- ModuleNotFoundError: No module named nose 的python错误,解决方案
- JavaScript的内存管理
- TomCat 启动报:validateJarFile jar not loaded. See Servlet Spec 2.3, section 9.7.2.