首页 > 代码库 > UVAlive3523_Knights of the Round Table
UVAlive3523_Knights of the Round Table
圆桌骑士。有的骑士之间是相互憎恨的,不能连坐,需要安排奇数个骑士围着桌子坐着,大于3个,求哪些骑士不可能安排到座位。
根据给定的关系,如果两个骑士之间没有憎恨关系,那么连边。最终就是求有多少个点无法位于奇圈之内。
首先求所有联通分量,对于每个连通分量二分图染色,看看是否存在一个奇圈,如果有一个,那么这个联通分量里面的所有点都可以在至少一个奇圈之内。(详细的见白书)
下面重点说说如何找联通分量的。
方法是用一个栈来维护下面走过的边,如果当前点是割点,那么把在这个点后面加入的边全部退出来,把这些点拿出来,就构成了一个独立的联通分量。
这个维护是很有意思的,因为是递归操作,有点难以理解。
结合下面的图来说:
这也就是题目的样例,如图,假设我们现在走1->2->4,现在2是关键点,于是就把2->4这条边出来,(2,4)两个点构成一个分量。
同理的有3,5。
但是问题也许会是,我一开是走的是1->2->3->5,那么会不会导致(2,3,5)构成一个分量,不会的!因为在你处理完3后,3->5这条边就已经被拿出来了,最终也只有(1,2,3)。这个递归和栈的混合运用是有一点难以理解,好好想想就清楚了。
还有一个问题,2-4并不能看成是一个双联通分量,但是在这个题目里面不会对答案产生影响,因为2个点也无法构成奇圈(3个点呢?嘿嘿不会有3个点的情况)。想想就知道了,加油!
召唤代码君:
#include <iostream>#include <cstdio>#include <cstring>#include <vector>#define maxn 2000100using namespace std;vector<int> bcc[maxn];int next[maxn],first[1010],to[maxn],edge;int low[1010],d[1010],belong[1010],color[1010];int a[1010][1010];int n,m,T=0,bccnum,ans,u,v,dfs_clock;int U[maxn],V[maxn],top;bool can[1010];void _init(){ T++,ans=dfs_clock=bccnum=top=0,edge=-1; for (int i=1; i<=n; i++) low[i]=d[i]=belong[i]=first[i]=-1,can[i]=false;}void addedge(int uu,int vv){ edge++; to[edge]=vv,next[edge]=first[uu],first[uu]=edge; edge++; to[edge]=uu,next[edge]=first[vv],first[vv]=edge;}bool find(int cur,int tag){ for (int i=first[cur]; i!=-1; i=next[i]) { if (belong[to[i]]!=tag) continue; if (color[to[i]]==color[cur]) return true; if (color[to[i]]!=-1) continue; color[to[i]]=1-color[cur]; if (find(to[i],tag)) return true; } return false;}void dfs(int cur,int fa){ low[cur]=d[cur]=++dfs_clock; for (int i=first[cur]; i!=-1; i=next[i]) { if ((i^1)==fa) continue; if (d[to[i]]==-1) { U[++top]=cur,V[top]=to[i]; dfs(to[i],i); low[cur]=min(low[cur],low[to[i]]); if (low[to[i]]>=d[cur]) { bcc[++bccnum].clear(); for (;;top--) { if (belong[U[top]]!=bccnum) belong[U[top]]=bccnum,bcc[bccnum].push_back(U[top]); if (belong[V[top]]!=bccnum) belong[V[top]]=bccnum,bcc[bccnum].push_back(V[top]); if (U[top]==cur && V[top]==to[i]) { top--; break; } } for (unsigned j=0; j<bcc[bccnum].size(); j++) color[bcc[bccnum][j]]=-1; color[bcc[bccnum][0]]=1; if (find(bcc[bccnum][0],bccnum)) for (unsigned j=0; j<bcc[bccnum].size(); j++) can[bcc[bccnum][j]]=true; } } else low[cur]=min(low[cur],low[to[i]]); }}int main(){ while (scanf("%d%d",&n,&m) && (n|m)) { _init(); while (m--) { scanf("%d%d",&u,&v); a[u][v]=a[v][u]=T; } for (int i=1; i<=n; i++) for (int j=i+1; j<=n; j++) if (a[i][j]!=T) addedge(i,j); for (int i=1; i<=n; i++) if (d[i]==-1) dfs(i,-1); for (int i=1; i<=n; i++) if (!can[i]) ans++; printf("%d\n",ans); } return 0;}
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。