解析

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

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

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

转化完题意后的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);
#endifmemset(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;
}