【BZOJ4316】小C的独立集
2016-04-04 20:22
274 查看
Description
图论小王子小C经常虐菜,特别是在图论方面,经常把小D虐得很惨很惨。
这不,小C让小D去求一个无向图的最大独立集,通俗地讲就是:在无向图中选出若干个点,这些点互相没有边连接,并使取出的点尽量多。
小D虽然图论很弱,但是也知道无向图最大独立集是npc,但是小C很仁慈的给了一个很有特点的图: 图中任何一条边属于且仅属于一个简单环,图中没有重边和自环。小C说这样就会比较水了。
小D觉得这个题目很有趣,就交给你了,相信你一定可以解出来的。
Input
第一行,两个数n, m,表示图的点数和边数。
第二~m+1行,每行两个数x,y,表示x与y之间有一条无向边。
Output
输出这个图的最大独立集。
Sample Input
5 6
1 2
2 3
3 1
3 4
4 5
3 5
Sample Output
2
HINT
100% n <=50000, m<=60000
Source
一开始觉得一脸不可做..后来发现是个仙人掌图..可以直接仙人掌DP
但是忘了仙人掌缩点姿势了..又看了一发hillan的缩点..
然后直接dp.f[i][0/1]表示整个图里点i选和不选,g[i][0/1]表示在某个环里点i选和不选,然后整体DP,遇到环单独进去DP
图论小王子小C经常虐菜,特别是在图论方面,经常把小D虐得很惨很惨。
这不,小C让小D去求一个无向图的最大独立集,通俗地讲就是:在无向图中选出若干个点,这些点互相没有边连接,并使取出的点尽量多。
小D虽然图论很弱,但是也知道无向图最大独立集是npc,但是小C很仁慈的给了一个很有特点的图: 图中任何一条边属于且仅属于一个简单环,图中没有重边和自环。小C说这样就会比较水了。
小D觉得这个题目很有趣,就交给你了,相信你一定可以解出来的。
Input
第一行,两个数n, m,表示图的点数和边数。
第二~m+1行,每行两个数x,y,表示x与y之间有一条无向边。
Output
输出这个图的最大独立集。
Sample Input
5 6
1 2
2 3
3 1
3 4
4 5
3 5
Sample Output
2
HINT
100% n <=50000, m<=60000
Source
一开始觉得一脸不可做..后来发现是个仙人掌图..可以直接仙人掌DP
但是忘了仙人掌缩点姿势了..又看了一发hillan的缩点..
然后直接dp.f[i][0/1]表示整个图里点i选和不选,g[i][0/1]表示在某个环里点i选和不选,然后整体DP,遇到环单独进去DP
#include<iostream> #include<cstdio> #include<cstring> #include<cmath> #include<algorithm> #define MAXN 100010 #define GET (ch>='0'&&ch<='9') using namespace std; int n,m,u,v,cnt,top; inline void in(int &x) { char ch=getchar();x=0; while (!GET) ch=getchar(); while (GET) x=x*10+ch-'0',ch=getchar(); } struct edge { int to; edge *next; }e[MAXN<<1],*prev[MAXN]; inline void insert(int u,int v) { e[++top].to=v;e[top].next=prev[u];prev[u]=&e[top]; } int f[MAXN][2],g[MAXN][2]; int sta[MAXN],tp; int low[MAXN],dfn[MAXN],deep[MAXN],fa[MAXN]; void dp(int x,int to) { for (sta[0]=x,sta[tp=1]=to;sta[tp]!=x;sta[++tp]=fa[sta[tp-1]]); int t1,t2;g[0][0]=g[0][1]=0; for (int i=1;i<=tp;i++) g[i][1]=g[i-1][0]+f[sta[i]][1], g[i][0]=max(g[i-1][0],g[i-1][1])+f[sta[i]][0]; t1=g[tp][0];g[0][0]=-1; for (int i=1;i<=tp;i++) g[i][1]=g[i-1][0]+f[sta[i]][1], g[i][0]=max(g[i-1][0],g[i-1][1])+f[sta[i]][0]; t2=g[tp][1]; f[x][1]=t2;f[x][0]=t1; } void dfs(int x) { low[x]=dfn[x]=++cnt;f[x][1]=1;f[x][0]=0; for (edge *i=prev[x];i;i=i->next) if (i->to!=fa[x]) { if (deep[i->to]) low[x]=min(low[x],dfn[i->to]); else { fa[i->to]=x;deep[i->to]=deep[x]+1; dfs(i->to); if (low[i->to]>dfn[x]) f[x][1]+=f[i->to][0],f[x][0]+=max(f[i->to][1],f[i->to][0]); low[x]=min(low[x],low[i->to]); } } for (edge *i=prev[x];i;i=i->next) if (i->to!=fa[x]&&low[i->to]==dfn[x]&&deep[i->to]!=deep[x]+1) dp(x,i->to); } int main() { for (in(n),in(m);m;m--) in(u),in(v),insert(u,v),insert(v,u); deep[1]=1;fa[1]=1;dfs(1); printf("%d\n",max(f[1][0],f[1][1])); }
相关文章推荐
- BZOJ 4316 小C的独立集 仙人掌DP
- 记一次报错(路径方面)
- 【ZOJ 1003】 Crashing Balloon
- ORACLE 毫秒与日期的相互转换
- c语言问卷调查
- struts2笔记08-初识ActionSupport
- 《算法竞赛入门经典》6.1.2栈和队列-铁轨
- 把GAE程序通过SSH部署到 VPS
- (转载)URL编码与解码
- 数据库系统概论学习02-基本概念
- uva 1103 Ancient Messages
- cocos2d: fullPathForFilename: No file found at resource/Player.png. Possible missing file.
- HDOJ 2099 整除的尾数
- 补间&属性动画
- 火星上有中国的地盘吗?
- 【追求进步】连续子数组的最大和
- 设计模式:中介者模式(Mediator)
- 设计模式:中介者模式(Mediator)
- 第四周自我总结
- LeetCode 225. Implement Stack using Queues