[POJ2942]:Knights of the Round Table(塔尖+二分图染色法)
题目传送门
题目描述
亚瑟王要在圆桌上召开骑士会议,为了不引发骑士之间的冲突,并且能够让会议的议题有令人满意的结果,每次开会前都必须对出席会议的骑士有如下要求:
1、相互憎恨的两个骑士不能坐在直接相邻的2个位置。
2、出席会议的骑士数必须是奇数,这是为了让投票表决议题时都能有结果。 如果出现有某些骑士无法出席所有会议(例如这个骑士憎恨所有的其他骑士),则亚瑟王为了世界和平会强制把他剔除出骑士团。
现在给定准备去开会的骑士数n,再给出m对憎恨对(表示某2个骑士之间使互相憎恨的),问亚瑟王至少要剔除多少个骑士才能顺利召开会议?
注意:
1、所给出的憎恨关系一定是双向的,不存在单向憎恨关系。
2、由于是圆桌会议,则每个出席的骑士身边必定刚好有2个骑士。即每个骑士的座位两边都必定各有一个骑士。
3、一个骑士无法开会,就是说至少有3个骑士才可能开会。
输入格式
输入包含多组测试。 每种情况都以包含两个整数1≤n≤1000且1≤m≤1000000的整数行开始。 数字n是骑士的数量。 接下来的m行描述哪个骑士憎恨哪个骑士。 这m行中的每一行包含两个整数k1和k2,这意味着骑士数k1和骑士数k2彼此讨厌(数字k1和k2在1和n之间)。
输入n=m=0时终止。
输出格式
对于每组测试,输出一个整数,表示必须被驱逐的骑士数量。
样例
样例输入:
5 5
1 4
1 5
2 5
3 4
4 5
0 0
样例输出:
2
题解
些许有些复杂,思维量较大。
注意亚瑟王会召开多次会议,可以参加其中任意一次会议的骑士就可以被保留。
考虑建出原图的补图,其定义为:原来相连的两个点现在不相连,原来不相连的两个点现在相连。
这样的话两个其实可以坐在一起的条件即为他们之间有连边,方便处理。
那么,如果一个骑士可以参加会议,当且仅当他在一个奇环里。
给出两个定理:
1、如果一个双连通分量内的某些顶点在一个奇圈中(即双连通分量含有奇圈),那么这个双连通分量的其他顶点也在某个奇圈中。
2、如果一个双连通分量含有奇圈,则他必定不是一个二分图。反过来也成立,这是一个充要条件。
显然利用塔尖求出每一个v-DCC,然后判断这个v-DCC是不是奇环即可。
这时就用到了交叉染色法,dfs时每一条边都和上一条边反色,当发现两条相邻的边同色时即为奇环。
特别注意:此题不能用万能头文件,否则会CE!!!
那些被CE打倒的大佬:
不过结局总会是好的:
代码时刻
#include<cstdio>
#include<iostream>
#include<vector>
#include<cstring>//不要万能头!!!
using namespace std;
struct rec
{
int nxt;
int to;
}e[1000001];
int head[1001],cnt;
int dfn[1001],low[1001],sta[1001],tot,top;
bool par[1001],vis[1001];
int col[1001];
bool Map[1001][1001];
vector<int> dcc;
void pre_work()//多测不清空,爆零两行泪TAT……
{
cnt=0;
tot=0;
top=0;
memset(head,0,sizeof(head));
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
memset(sta,0,sizeof(sta));
memset(vis,0,sizeof(vis));
memset(Map,0,sizeof(Map));
}
void add(int x,int y)//建边
{
e[++cnt].nxt=head[x];
e[cnt].to=y;
head[x]=cnt;
}
bool dfs(int x,int color)//交叉染色法判奇环
{
col[x]=color;
for(int i=head[x];i;i=e[i].nxt)
{
if(!par[e[i].to])continue;
if(col[e[i].to]==color)return 1;
if(!col[e[i].to]&&dfs(e[i].to,-color))return 1;
}
return 0;
}
void color_solve()//将v-DCC转入数组,方便处理
{
memset(par,0,sizeof(par));
memset(col,0,sizeof(col));
for(int i=0;i<dcc.size();i++)
par[dcc[i]]=1;
if(dfs(dcc[0],1))
for(int i=0;i<dcc.size();i++)vis[dcc[i]]=1;
}
void tarjan(int x)//塔尖
{
dfn[x]=low[x]=++tot;
sta[++top]=x;
for(int i=head[x];i;i=e[i].nxt)
{
if(!dfn[e[i].to])
{
tarjan(e[i].to);
low[x]=min(low[x],low[e[i].to]);
if(dfn[x]<=low[e[i].to])//发现v-DCC
{
int y;
dcc.clear();
do
{
y=sta[top--];
dcc.push_back(y);
}while(e[i].to!=y);
dcc.push_back(x);
color_solve();
}
}
else low[x]=min(low[x],dfn[e[i].to]);
}
}
int main()
{
while(1)
{
int n,m;
scanf("%d%d",&n,&m);
if(!n&&!m)break;
pre_work();
for(int i=1;i<=m;i++)
{
int x,y;
scanf("%d%d",&x,&y);
Map[x][y]=Map[y][x]=1;//临接矩阵存图
}
for(int i=1;i<=n;i++)
for(int j=i+1;j<=n;j++)
if(!Map[i][j]){add(i,j);add(j,i);}//链式前项星建反图
for(int i=1;i<=n;i++)
if(!dfn[i])tarjan(i);
int ans=0;
for(int i=1;i<=n;i++)//统计可以参加的骑士
if(vis[i])ans++;
printf("%d\n",n-ans);//用总骑士数减去
}
return 0;
}
rp++
[POJ2942]:Knights of the Round Table(塔尖+二分图染色法)的更多相关文章
- POJ2942 Knights of the Round Table[点双连通分量|二分图染色|补图]
Knights of the Round Table Time Limit: 7000MS Memory Limit: 65536K Total Submissions: 12439 Acce ...
- 「题解」:[POJ2942]Knights of the Round Table
问题 E: Knights of the Round Table 时间限制: 1 Sec 内存限制: 256 MB 题面 题目描述 作为一名骑士是一个非常有吸引力的职业:寻找圣杯,拯救遇难的少女,与 ...
- POJ2942 Knights of the Round Table【Tarjan点双联通分量】【二分图染色】【补图】
LINK 题目大意 有一群人,其中有一些人之间有矛盾,现在要求选出一些人形成一个环,这个环要满足如下条件: 1.人数大于1 2.总人数是奇数 3.有矛盾的人不能相邻 问有多少人不能和任何人形成任何的环 ...
- [POJ2942]Knights of the Round Table(点双+二分图判定——染色法)
建补图,是两个不仇恨的骑士连边,如果有环,则可以凑成一桌和谐的打麻将 不能直接缩点,因为直接缩点求的是连通分量,点双缩点只是把环缩起来 普通缩点 ...
- poj2942 Knights of the Round Table[点双+二分图染色]
首先转化条件,把无仇恨的人连边,然后转化成了求有哪些点不在任何一个奇环中. 一个奇环肯定是一个点双,所以想到处理出所有点双,但是也可能有的点双是一个偶环,有的可能是偶环和奇环混杂,不好判. 考察奇环性 ...
- $POJ2942\ Knights\ of\ the\ Round\ Table$ 图论
正解:图论 解题报告: 传送门! 一道,综合性比较强的题(我是萌新刚学$OI$我只是想练下$tarjan$,,,$QAQ$ 考虑先建个补图,然后现在就变成只有相互连边的点不能做邻居.所以如果有$K$个 ...
- POJ2942 Knights of the Round Table(点双连通分量 + 二分图染色)
题目大概说要让n个骑士坐成一圈,这一圈的人数要是奇数且大于2,此外有些骑士之间有仇恨不能坐在一起,问有多少个骑士不能入座. 双连通图上任意两点间都有两条不重复点的路径,即一个环.那么,把骑士看做点,相 ...
- poj2942 Knights of the Round Table,无向图点双联通,二分图判定
点击打开链接 无向图点双联通.二分图判定 <span style="font-size:18px;">#include <cstdio> #include ...
- POJ2942 Knights of the Round Table 点双连通分量 二分图判定
题目大意 有N个骑士,给出某些骑士之间的仇恨关系,每次开会时会选一些骑士开,骑士们会围坐在一个圆桌旁.一次会议能够顺利举行,要满足两个条件:1.任意相互憎恨的两个骑士不能相邻.2.开会人数为大于2的奇 ...
随机推荐
- C++ day01 预备知识、C++综述、教材、推荐阅读。
C++ day01: 1.预备知识? 1)什么是编程 编程,即编订程序. 程序 = 数据 + 算法(蛋糕 = 糖.鸡蛋.奶油 + 打鸡蛋.加糖.烤) 2)编程语言 最初的编程是用二进制代码(即“机器码 ...
- ubuntu下python3虚拟环境的配置
安装相关包 sudo pip3 install virtualenv # 虚拟环境包 sudo pip3 install virtualenvwrapper # 虚拟环境管理包 创建虚拟环境目录 su ...
- 高效编程之 concurrent.future
背景 我们知道 Python 中有多线程threading 和多进程multiprocessing 实现并发, 但是这两个东西开销很大,一是开启线程/进程的开销,二是主程序和子程序之间的通信需要 序列 ...
- flume复习(一)
关于flume官方文档介绍可以去:http://flume.apache.org/看看.接下来就介绍一下关于我个人对flume的理解 一.flume介绍: 1.flume是一个分布式.可靠.和高可用的 ...
- Centos下安装nc命令工具安装以及使用
1)netcat(nc)是一个简单而有用的工具,被誉为网络安全界的“瑞士军刀”,不仅可以通过使用TCP或UDP协议的网络连接读写数据,同时还是一个功能强大的网络调试和探测工具,能够建立你需要的几乎所有 ...
- vue elementui table组件内容换行
解决方案 tableData = [ { "name": "domain111", "metric": [ "平均耗时" ...
- maven 下载源码eclipse的配置
1.在eclipse使用maven 下载源码包需要更改 D:\apache-maven-3.2.1-bin\apache-maven-3.2.1\conf 目录下 的 settings.xml 文件, ...
- hdu 1003 最大连续子串
#include <bits/stdc++.h> #define PI acos(-1.0) #define mem(a,b) memset((a),b,sizeof(a)) #defin ...
- 跳跃表-原理及Java实现
跳跃表-原理及Java实现 引言: 上周现场面试阿里巴巴研发工程师终面,被问到如何让链表的元素查询接近线性时间.笔者苦思良久,缴械投降.面试官告知回去可以看一下跳跃表,遂出此文. 跳跃表的引入 我们知 ...
- 【vue-router的基础】history了解一下
概述 window.onpopstate是popstate事件在window对象上的事件处理程序. 每当处于激活状态的历史记录条目发生变化时,popstate事件就会在对应window对象上触发. 如 ...