CF1338D：Nested Rubber Bands（树形dp）

解析

神仙题
关键在于找到一个满足题意的充要条件

结论：所有的合法答案一定是由树上一条链及其相邻的点组成的独立集

充分性比较显然，这个东西随便画画就可以构造出合法的解来
所以我们只要考虑必要性
考虑不满足这个结论的方案
可以“发现”它一定是无解的
为什么？
懒得写了
这篇博客已经“发现”的很明白了

转化完题意后的dp就比较简单了

代码

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int N=5e5+100;
ll read() {
	ll x=0,f=1;char c=getchar();
	while(!isdigit(c)) {if(c=='-')f=-1;c=getchar();}
	while(isdigit(c)) {x=x*10+(c^48);c=getchar();}
	return x*f;
}
inline void Max(int &x,int y){if(x<y) x=y;}
int n,m;
struct edge{
	int to,nxt;
}p[N<<1];
int fi[N],cnt;
inline void addline(int x,int y){
	p[++cnt]=(edge){y,fi[x]};fi[x]=cnt;
	return;
}
int dp[N][2],du[N];
int ans(0);
void dfs(int x,int f){
	//dp[x][0]=du[x]-1;
	dp[x][1]=1;
	for(int i=fi[x];~i;i=p[i].nxt){
		int to=p[i].to;
		if(to==f) continue;
		dfs(to,x);
		Max(ans,dp[x][0]+max(dp[to][0],dp[to][1]));
		Max(ans,dp[x][1]+dp[to][0]);
		Max(dp[x][0],max(dp[to][1],dp[to][0])+du[x]-2);
		Max(dp[x][1],dp[to][0]+1);
	}
	//Max(dp[x][0],du[x]-1);
	Max(ans,max(dp[x][0],dp[x][1]));
	return;
}
int main() {
#ifndef ONLINE_JUDGE
	//freopen("a.in","r",stdin);
	//freopen("a.out","w",stdout);
#endif
	memset(fi,-1,sizeof(fi));cnt=-1;
	n=read();
	for(int i=1;i<n;i++){
		int x=read(),y=read();
		du[x]++;du[y]++;
		addline(x,y);
		addline(y,x);
	}
	dfs(1,0);
	printf("%d\n",ans);
	return 0;
}