#include<cstdio>
#include<iostream> 
#include<string.h>
#include<cmath>
#include<algorithm>
#include<queue>
#include<vector>
#include<set>
#include<stack>
using namespace std;
typedef long long ll;
const int N=2e5+10;
struct Node{
	int to,next;
	int c;
}edge[N*2];
int head[N],tot,dp[N];
int n;
int minn;
void init()
{
	minn=0x3f3f3f3f;
	memset(dp,0,sizeof(dp));
	memset(head,-1,sizeof(head));
	tot=0;
}
void add(int u,int v,int c)
{
	edge[tot].c=c;
	edge[tot].to=v;
	edge[tot].next=head[u];
	head[u]=tot++;
}
void DFS(int u,int fa)
{
	for(int i=head[u];i!=-1;i=edge[i].next)
	{
		int v=edge[i].to;
		if(v==fa)continue;
		if(edge[i].c==-1)
		{
			dp[1]++;	
		}
		DFS(v,u);
	}
}
void dfs(int u,int fa)
{
	for(int i=head[u];i!=-1;i=edge[i].next)
	{
		int v=edge[i].to;
		if(v==fa)continue;
		if(edge[i].c==-1)
		{
			dp[v]=dp[u]-1;
			minn=min(dp[v],minn);	
		}
		else if(edge[i].c==1)
		{
			dp[v]=dp[u]+1;
		//	minn=min(dp[v],minn);
		}
		dfs(v,u);
	}
}
int main()
{
	
	while(scanf("%d",&n))
	{
		init();
		int u,v;
		for(int i=1;i<n;i++)
		{
			scanf("%d%d",&u,&v);
			add(u,v,1);
			add(v,u,-1);
		}
		DFS(1,0);
		dfs(1,0);
		printf("%d\n",minn);
		for(int i=1;i<=n;i++) 
		{
			if(dp[i]==minn)
			{
				printf("%d ",i);
			}
		}
		printf("\n");
	}
}

我认为这是一个 $O(n)$ 的算法，但TLE了。 为什么会这样？