很巧的一道点双

两个骑士如果相互憎恨,我们考虑连边的话,不太好处理答案,所以我们尝试一下建反图。

如果两个骑士没有相互憎恨,我们就在他们两个人之间连一条无向边,最后要让你会议召开,那么显然是选择任意一个奇环上的所有点。

现在题目就变成了找不在奇环上的点的个数。

有引理:

  • 若两个点属于不同的点双,则他们不可能在同一个奇环。

  • 若某个点双内存在奇环,则这个点双的所有点必定被至少一个奇环包含。

综上所述,奇环只会在点双内,所以我们把反图的点双找出来,一个一个判断是否存在奇环即可(只要存在奇环,这个点双内的所有点一定有办法参加会议, 因为总有一个奇环会包含点双内的一些点,这所有奇环的并集就是点双内的所有点)。

对于判断一张图是否存在奇环,实际上就是判断一张图是不是二分图,因为二分图是不可能存在奇环的,存在奇环的图也一定不是二分图。

最后统计不在奇环的点即可。

#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 (算竞进阶习题)相关推荐

  1. poj 2942 Knights of the Round Table(双连通分量+tarjan+二分图判定)

    http://poj.org/problem?id=2942 题意: 有N个骑士,给出某些骑士之间的仇恨关系,骑士们开会时会围坐在一个圆桌旁.一次会议能够顺利举行,要满足两个条件: 1:任意相互憎恨的 ...

  2. POJ - 2942 Knights of the Round Table (双连通分量)

    题目链接 题意 有N个骑士,每个骑士有自己不喜欢的人,你需要选择奇数个骑士开一个圆桌会议,每个骑士不能和自己不喜欢的人挨着坐. 问需要删除那些人,这些人不能组成圆桌会议 思路 按照补图建边求双连通分量 ...

  3. POJ - 2942 Knights of the Round Table(点双缩点+二分图判定)

    题目链接:点击查看 题目大意:国王要在圆桌上召开骑士会议,但是有若干对骑士之间互相憎恨.出于各种各样奇怪的原因,每次开会都必须有以下要求: 相互憎恨的两个骑士不能坐在相邻的两个位置 为了让投票表决议题 ...

  4. POJ 2942 Knights of the Round Table ★(点双连通分量+二分图判定)

    题意:找出图中不可能在奇圈中的点. [分析]注意到,在不同点双连通分量中的两个点,显然是不会存在圈的.那么这样,问题就划归为在点双连通分量中去找奇圈. [重要性质]在一个点双连通分量中,只要有任意一个 ...

  5. POJ 2942 Knights of the Round Table (奇圈+点双联通)

    题意:在亚瑟王的圆桌骑士团中,某些骑士两两之间相互憎恨,这样一来他们开会的时候边不能相邻的坐着.即肯定存在某些人不能参加会议.假如一个骑士所有的会议都不能出席,那么他就会被驱逐.现在已知那些骑士之间相 ...

  6. POJ 2942 Knights of the Round Table 【点双联通 + 二分图染色法判奇环】

    传送门 亚瑟王要在圆桌上召开骑士会议,为了不引发骑士之间的冲突,并且能够让会议的议题有令人满意的结果,每次开会前都必须对出席会议的骑士有如下要求: 1. 相互憎恨的两个骑士不能坐在直接相邻的2个位置: ...

  7. POJ 3683 Priest John's Busiest Day (算竞进阶习题)

    2-SAT 可以把每一次仪式看成变量,0/1的取值分别为开头举行和结尾举行. 转换为2-SAT接受的命题,就是看某一次仪式中有没有重合的时间段,有的话,就按照不冲突的形式连有向边. 然后跑tarjan ...

  8. POJ 3974 Palindrome (算竞进阶习题)

    hash + 二分答案 数据范围肯定不能暴力,所以考虑哈希. 把前缀和后缀都哈希过之后,扫描一边字符串,对每个字符串二分枚举回文串长度,注意要分奇数和偶数 #include <iostream& ...

  9. POJ 2245 Addition Chains(算竞进阶习题)

    迭代加深dfs 每次控制序列的长度,依次加深搜索 有几个剪枝: 优化搜索顺序,从大往下枚举i, j这样能够让序列中的数尽快逼近n 对于不同i,j和可能是相等的,在枚举的时候用过的数肯定不会再被填上所以 ...

最新文章

  1. 通过公历年计算天干地支
  2. AngularJS模块——module
  3. math and date、ajax、画布
  4. python3.5将list类型转换为矩阵类型
  5. MongoDB分布式(分片存储)部署
  6. matlab 矩阵引用,MATLAB矩阵生成、引用
  7. 基于JAVA+SpringMVC+MYSQL的网上订餐系统
  8. tomcat 错误页面html,Nginx整合Tomcat后配置友好错误界面
  9. 清华大学 ucore-lab0 MacOS
  10. php disable-ipv6,強迫 PHP Curl 使用 IPv4 , 忽略 IPv6
  11. 【Python】SVM分类 特征标准化+网格搜索最优模型参数+十折交叉验证
  12. Vue入门---实现汇率换算
  13. 解决Hadoop Browse Directory Couldn‘t upload the file 错误.无法上传文件
  14. 分析和解决:ERR Error compiling script (new function): user_script:1: 'end' expected near '
  15. 电影《终结者2018》
  16. 基于立体视觉的三维模型重建系统设计
  17. Android仿keep运动轨迹动画,仿keep思路
  18. ModuleNotFoundError: No module named nose 的python错误,解决方案
  19. JavaScript的内存管理
  20. TomCat 启动报:validateJarFile jar not loaded. See Servlet Spec 2.3, section 9.7.2.

热门文章

  1. windows安装MongoDB环境以及在pycharm中配置可视化插件
  2. 前端Vue学习之路(二)-Vue-router路由
  3. 2019-3:时间飞逝
  4. SQL case when
  5. dataframe构建
  6. 【图论】有向无环图的拓扑排序
  7. Java堆和栈的基本理解
  8. AIFramework框架Jittor特性(上)
  9. CVPR2019论文解读:单眼提升2D检测到6D姿势和度量形状
  10. 客快物流大数据项目(八):Docker的安装和启动