【BZOJ4316】小C的獨立集（仙人掌，動態規劃）

#【BZOJ4316】小C的獨立集（仙人掌，動態規劃） ##題面 BZOJ ##題解 除了普通的動態規劃之外，這題還能夠用仙人掌的作法來作。 這裏沒有必要把圓方樹給創建出來 $Tarjan$的本質其實就是一個構建$dfs$樹的過程 因此咱們在$Tarjan$的過程當中求解就好了 咱們設$f[i][0/1]$表示當前節點爲$i$，選或不選的子樹的最大獨立集 當一條邊是樹邊的時候，轉移和樹上的轉移相同。 不然暫時不轉移。 當咱們作完當前點，發現它是一個環的最頂端的時候，咱們須要從新對於這個環計算一遍答案。 咱們須要明白一點：對於環上的節點，只與環有關，掛在環外面的子樹能夠直接計算在一塊兒。

如今考慮對於環如何從新計算答案 從這個環的最底端開始往上跳，每次合併一次答案 先考慮如何計算最頂端不選 這樣子最底端選或者不選是沒有關係的。 維護兩個變量$f_0,f_1$，表示當前點選或者不選的答案 向上轉移和樹上的轉移就是同樣的了。 把算出來的$f_0$直接加給頂點 而後計算頂端選， 那麼最底下的那個點就必定不能選，直接令$f_1$初值爲$-\infty$就行了

這樣子作完就至關於把環給單獨拎出來考慮， 而後就變成了樹上的$dp$了

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define ll long long
#define RG register
#define MAX 55555
inline int read()
{
    RG int x=0,t=1;RG char ch=getchar();
    while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
    if(ch=='-')t=-1,ch=getchar();
    while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
    return x*t;
}
struct Line{int v,next;}e[MAX*3];
int h[MAX],cnt=1;
int n,m,fa[MAX],f[MAX][2],dfn[MAX],low[MAX],tim;
inline void Add(int u,int v){e[cnt]=(Line){v,h[u]};h[u]=cnt++;}
void dp(int u,int y)
{
	int t0,t1,f0=0,f1=0;
	for(int i=y;i!=u;i=fa[i])
	{
		t0=f0+f[i][0];t1=f1+f[i][1];
		f0=max(t0,t1);f1=t0;
	}
	f[u][0]+=f0;
	f0=0;f1=-1e9;
	for(int i=y;i!=u;i=fa[i])
	{
		t0=f0+f[i][0];t1=f1+f[i][1];
		f0=max(t0,t1);f1=t0;
	}
	f[u][1]+=f1;
}
void dfs(int u,int ff)
{
	fa[u]=ff;dfn[u]=low[u]=++tim;
	f[u][1]=1;f[u][0]=0;
	for(int i=h[u];i;i=e[i].next)
	{
		int v=e[i].v;
		if(!dfn[v])dfs(v,u),low[u]=min(low[u],low[v]);
		else if(v!=ff)low[u]=min(low[u],dfn[v]);
		if(low[v]>dfn[u])
			f[u][1]+=f[v][0],f[u][0]+=max(f[v][0],f[v][1]);
	}
	for(int i=h[u];i;i=e[i].next)
		if(fa[e[i].v]!=u&&dfn[u]<dfn[e[i].v])
			dp(u,e[i].v);
}
int main()
{
	n=read();m=read();
	for(int i=1;i<=m;++i)
	{
		int u=read(),v=read();
		Add(u,v);Add(v,u);
	}
	dfs(1,0);
	printf("%d\n",max(f[1][0],f[1][1]));
	return 0;
}