标签:缩点 head SP2878 cl int DCC maxn 奇环 co
SP2878 KNIGHTS-Knights of the Round Table
### v-DCC缩点+二分图染色
题目链接
因为互相仇视的骑士不能相邻
所以先把能相邻,也就是不仇视的骑士连上边
然后询问就化为了求图上有多少个点没有被任何奇环包括
那么这时候就需要几个结论
1.两个骑士不在一个点双连通分量里不可能同时出现
因为他俩同时出现就意味着两个点双连通分量联通
而且没有割点
那么以点双的极大性,他俩相当于在一个点双里,与条件矛盾
2.只要点双有一个奇环那么整个点双的所有点都会被一个奇环包括
因为一个奇环可以分为一奇一偶两半
无论你剩余部分是奇还是偶都会组合成奇环
1条件主要用于缩完点可以各个点分别计算
不用考虑其他
2条件则是可以随便染色,只要染不成那整个点都是符合的
那么就是v-DDC缩点再加染色
代码如下:
#include<bits/stdc++.h>
using namespace std;
const int maxn=1010,maxm=1e6+10;
int n,m,ht[maxn][maxn],head[maxm],tot,rt,dccnt;
int dfn[maxn],low[maxn],num,st[maxn],top,ct[maxn];
int v[maxn],co[maxn],now,can[maxn];
vector<int> dc[maxn];
bool flag=0;
struct node{
int nxt,to;
#define nxt(x) e[x].nxt
#define to(x) e[x].to
}e[maxm<<1];
inline void add(int from,int to){
to(++tot)=to;nxt(tot)=head[from];head[from]=tot;
}
void tarjan(int x){
low[x]=dfn[x]=++num;st[++top]=x;
int fl=0;
for(int i=head[x];i;i=nxt(i)){
int y=to(i);
if(!dfn[y]){
tarjan(y);
low[x]=min(low[x],low[y]);
if(low[y]>=dfn[x]){
fl++;
if(x!=rt || fl>1) ct[x]=1;
dccnt++;int z;
do{
z=st[top--];dc[dccnt].push_back(z);
}while(z!=y);
dc[dccnt].push_back(x);
}
}else low[x]=min(low[x],dfn[y]);
}
}
void dfs(int x,int cl){
co[x]=cl;
for(int i=head[x];i;i=nxt(i)){
int y=to(i);
if(v[y]!=now) continue;
if(co[y] && co[y] == cl){
flag=1;return;
}
if(!co[y]) dfs(y,3-cl);
}
}
int main()
{
while(scanf("%d%d",&n,&m) && n+m){
memset(ht,0,sizeof(ht));memset(head,0,sizeof(head));memset(e,0,sizeof(e));tot=0;
for(int i=1;i<=maxn;i++) dc[i].clear();
for(int x,y,i=1;i<=m;i++){
scanf("%d%d",&x,&y);
if(x!=y) ht[x][y]=ht[y][x]=1;
}
for(int i=1;i<=n;i++) for(int j=i+1;j<=n;j++)
if(!ht[i][j]) add(i,j),add(j,i);
memset(ct,0,sizeof(ct));memset(dfn,0,sizeof(dfn));memset(low,0,sizeof(low));num=0;top=0;dccnt=0;
for(int i=1;i<=n;i++) if(!dfn[i]) rt=i,tarjan(i);
memset(v,0,sizeof(v));memset(co,0,sizeof(co));memset(can,0,sizeof(can));
for(int i=1;i<=dccnt;i++){
now=i;
for(unsigned int j=0;j<dc[i].size();j++){
int y=dc[i][j];
v[y]=i,co[y]=0;
}
flag=0;
dfs(dc[i][0],1);
if(flag)
for(int j=0;j<dc[i].size();j++) can[dc[i][j]]=1;
}
int ans=0;
for(int i=1;i<=n;i++) if(!can[i]) ans++;
printf("%d\n",ans);
}
return 0;
}
标签:缩点,head,SP2878,cl,int,DCC,maxn,奇环,co 来源: https://www.cnblogs.com/ChrisKKK/p/11654694.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。