2022.04.10 洛谷 P1272

$\text{[Problem]}$

• 给定一棵有 $n$ 个节点的有根树。
• 每次操作可以删除树上两个点 $(u,v)$ 间的连边。
• 求最少需要几次操作可以从树上剥离出一个恰好有 $P$ 个节点的子树。
• $1\le P\le n\le 150$。

$\text{[Analysis]}$

很明显应该是树上背包问题。

剥离节点可以有很多种方式：

1. 直接删除 $({\text{fa}}_u,u)$ 间的连边，剩下一棵大小恰好为 $P$ 的子树 $u$，操作次数为 $1$。
2. 删除 $k$ 个节点 $u_{1\cdots k}$ 的子树，剩下大小为 $P$ 的残余子图。
3. 先剥离出节点 $u$ 的子树，再从这棵子树中删除一些节点，剩下大小为 $P$ 的残余子图。

$\text{Situation 2,3}$ 很相似，可以用同一种方法解决。

记 $f_{u,p}$ 表示从子树 $u$ 中删除 $p$ 个节点最少需要几次操作。

最后答案为：

$$\min \left\{f_{1,\text{sz}(1)-m},\underset{i=2}{\overset{n}{\min }}\left\{f_{i,\text{sz}(i)-m}+1\right\}\right\}$$

其中 $\text{sz}(i)$ 表示以 $i$ 为根的子树的大小。

树上背包求解即可。

$\text{[Solution]}$

树上背包，然后求解即可。

有一些需要注意的地方，具体看代码。

要特别注意那个分类讨论，不要漏讨论了某些情况。

$\text{[code]}$

const int inf=0x3f3f3f3f;

struct edge{
	int next,to;
}e[310];int h[160],te;
inline void add(int u,int v){
	e[++te]=(edge){h[u],v};h[u]=te;
}

int sz[160],a[160],f[160][160],n,m;

void dfs_init(int u,int Fa){
	for(int i=h[u];i;i=e[i].next){
		int v=e[i].to;
		if (v==Fa) continue;
		dfs_init(v,u);
		sz[u]+=sz[v];
	}
	sz[u]++;
}

int dp(int u,int P,int Fa){
	if (P==0) return f[u][P]=0;
	if (P==sz[u]) return f[u][P]=1;
	if (f[u][P]!=-1) return f[u][P];
	
	int tmp[160];//临时数组 
	bool BroTher=false;
	
	for(int i=0;i<=P;i++) tmp[i]=inf;
	
	for(int i=h[u];i;i=e[i].next){
		int v=e[i].to;
		if (v==Fa) continue;
		
		if (!BroTher){
			for(int j=0;j<=min(P,sz[v]);j++)
				tmp[j]=dp(v,j,u);
		}
		else{
			for(int k=P;k>=0;k--)
				for(int j=min(k,sz[v]);j>=0;j--)
					tmp[k]=min(tmp[k],tmp[k-j]+dp(v,j,u));
		}
		
		BroTher=true;
	}
	
	for(int i=0;i<=P;i++)
		f[u][i]=tmp[i];
	
	return tmp[P];
}

int main(){
	scanf("%d%d",&n,&m);
	for(int i=1,u,v;i<n;i++){
		scanf("%d%d",&u,&v);
		add(u,v);add(v,u);
	}
	
	dfs_init(1,0);
	
	
	memset(f,-1,sizeof(f));
	
	for(int i=0;i<=sz[1];i++) dp(1,i,0);
	
	int ans=f[1][sz[1]-m];
	for(int i=2;i<=n;i++)
		if (sz[i]>=m) ans=min(ans,f[i][sz[i]-m]+1);
	
	printf("%d",ans);
	
	return 0;
}