bzoj1487 无归岛 树形dp

       对于题目中的一句话：“对于同一个岛上的任意两个生物，他们有且仅有一个公共朋友，即对同一岛上的任意两个生物a和b有且仅有一个生物c既是a的朋友也是b的朋友。”，我个人以为他是说这一个岛上的点构成一个环，否则我看不懂样例中的图是怎么符合题意的。。。（果然我是语体教）那么这句话是说有x个环，这x个环又构成一个环。

       这道题和bzoj1040骑士很像，不同的是这道题有多个环，而bzoj1040只有一个环。那么这道题目可以用类似于仙人掌图的方法做。对于一个环，求出最高点x的f[x][0]和f[x][1]，其中f[x][0]表示x不选。设x两边的点y和z，那么在求x的时候，首先x不选，那么y和z随意；如果x要选，那么y和z都不选。这样递推一下就能得到f[x][0]和f[x][1]了。

AC代码如下（代码中now0表示fa[i]不选，到i为止对fa[i]的影响，反之亦然）：

#include<iostream>
#include<cstdio>
#include<cstring>
#define N 100005
#define inf 1000000000
using namespace std;

int n,m,tot,dfsclk,fst[N],pnt[N<<2],nxt[N<<2],f[N][2],fa[N],pos[N],a[N];
void add(int aa,int bb){
	pnt[++tot]=bb; nxt[tot]=fst[aa]; fst[aa]=tot;
}
void solve(int x,int y){
	int now0=0,now1=0,t0,t1,i;
	for (i=y; i!=x; i=fa[i]){
		t0=now1+f[i][1]; t1=now0+f[i][0];
		now0=max(t0,t1); now1=t1;
	}
	f[x][0]+=now0; now0=0; now1=-inf;
	for (i=y; i!=x; i=fa[i]){
		t0=now1+f[i][1]; t1=now0+f[i][0];
		now0=max(t0,t1); now1=t1;
	}
	f[x][1]+=now1;
}
void dfs(int x){
	pos[x]=++dfsclk; int p;
	for (p=fst[x]; p; p=nxt[p]){
		int y=pnt[p]; if (y==fa[x]) continue;
		if (!pos[y]){ fa[y]=x; dfs(y); }
	}
	f[x][1]=a[x];
	for (p=fst[x]; p; p=nxt[p]){
		int y=pnt[p];
		if (fa[y]!=x && pos[x]<pos[y]) solve(x,y);
	}
}
int main(){
	scanf("%d%d",&n,&m); int i;
	for (i=1; i<=m; i++){
		int x,y; scanf("%d%d",&x,&y);
		add(x,y); add(y,x);
	}
	for (i=1; i<=n; i++) scanf("%d",&a[i]);
	dfs(1); printf("%d\n",max(f[1][0],f[1][1]));
	return 0;	
}

by lych

2015.12.27