题目大意: 有 n n n 个人,其中 k k k 个人能进行一次会议当且仅当:k是奇数,这k个人坐一圈能满足任意相邻两人不相互憎恶。问有多少个人不能参加任何一场会议。
题解
我们给不相互憎恶的人之间连边,那么图中的一个奇环(即有奇数个点的环)就对应一次会议,那么我们可以给这个环上的所有人打上标记,那么最后没有标记的人数就是答案。
但是暴力找奇环显然会TLE,于是这里要用到一个结论:假如一个点双内有一个奇环,那么一定存在若干个奇环能覆盖这个点双内的所有点。
证明: 显然,奇环内不光点数是奇数,边数也是奇数。假如一个点双里面存在一个奇环:
那么和这个奇环的连接方式无非两种(显然所有连接方式都可以拆解成这最简单的两种):
1、 有奇数个点的链与它连接
这里用
1
1
1 个点作例子:
我们发现这个点显然与左边的几个点组成了一个大小为
5
5
5 的奇环。
2、 有偶数个点的链与它连接
这里用
2
2
2 个点做例子:
显然,这两个红色点和右边的三个黑色点组成了一个大小为
5
5
5 的奇环。
那么各位应该能找到一个规律:对于一条长度为 x x x 的链,它与奇环中的 a , b a,b a,b 两点相连,而在奇环上 a , b a,b a,b 之间恰好存在一条长度为奇数的路径和一条长度为偶数的路径,假如 x x x 是偶数,那么和长度为奇数的路径组合即可得到奇环,否则与长度为偶数的组合。
所以我们可以得出,如果点双中存在了一个奇环,那么一定存在若干个奇环能覆盖点双内的所有点。
那么找出所有点双后黑白染色找奇环即可。
代码:
#include <cstdio>
#include <cstring>
#include <set>
#include <algorithm>
using namespace std;
#define maxn 1010
#define it set<int>::iterator
int n,m;
bool link[maxn][maxn];
struct edge{int x,y,next;};
edge e[(maxn*maxn)<<1];
int first[maxn],len=1;
void buildroad(int x,int y)
{
e[++len]=(edge){x,y,first[x]};
first[x]=len;
}
int dfn[maxn],low[maxn],id,t;
edge zhan[(maxn*maxn)<<1];
int belong[maxn],cnt;
bool cut[maxn];
set<int> s[maxn];
void dfs(int x,int from)
{
dfn[x]=low[x]=++id; int son=0;
for(int i=first[x];i;i=e[i].next)
{
if(i==(from^1))continue;
int y=e[i].y;
if(!dfn[y])
{
zhan[++t]=e[i]; dfs(y,i); son++;
if(low[y]<low[x])low[x]=low[y];
if(low[y]>=dfn[x])
{
cnt++; edge xx; cut[x]=true;
do{
xx=zhan[t--];
belong[xx.x]=belong[xx.y]=cnt;
s[cnt].insert(xx.x);s[cnt].insert(xx.y);
}while(xx.x!=x||xx.y!=y);
}
}
else if(dfn[y]<low[x])low[x]=dfn[y];
}
if(from==-1&&son==1)cut[x]=false;
}
int col[maxn];
bool go(int x,int fa,int color,int bel)
{
col[x]=color;
for(int i=first[x];i;i=e[i].next)
{
int y=e[i].y;
if(y==fa||s[bel].count(y)==0)continue;
if(col[y])
{
if(col[y]==col[x])return true;
else continue;
}
if(go(y,x,color^1,bel))return true;
}
return false;
}
bool tf[maxn],tag[maxn];
int ans;
int main()
{
while(scanf("%d %d",&n,&m),n!=0&&m!=0)
{
memset(first,0,sizeof(first));len=1;
memset(link,false,sizeof(link));
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));id=t=cnt=ans=0;
memset(col,0,sizeof(col));
memset(cut,false,sizeof(cut));
memset(tf,false,sizeof(tf));
memset(tag,false,sizeof(tag));
for(int i=1;i<=n;i++)
s[i].clear();
for(int i=1,x,y;i<=m;i++)
scanf("%d %d",&x,&y),link[x][y]=link[y][x]=true;
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++)
if(i!=j&&!link[i][j])buildroad(i,j),buildroad(j,i);
/*for(int i=1,x,y;i<=m;i++)
scanf("%d %d",&x,&y),buildroad(x,y),buildroad(y,x);*/
for(int i=1;i<=n;i++)
if(!dfn[i])dfs(i,-1);
for(int i=1;i<=n;i++)
if(!col[i]&&!cut[i]&&!tag[belong[i]])
{
for(it j=s[belong[i]].begin();j!=s[belong[i]].end();j++)col[*j]=0;
if(go(i,0,2,belong[i]))tag[belong[i]]=true;
}
for(int i=1;i<=cnt;i++)
if(tag[i]) for(it j=s[i].begin();j!=s[i].end();j++)tf[*j]=true;
for(int i=1;i<=n;i++)
if(!tf[i])ans++;
printf("%d\n",ans);
}
}