CF700B Connecting Universities

题目

CF700B Connecting Universities

分析

显然是可以直接对于每一条边贪心匹配，也就是对于一条边假设其两点的权值是 \(val[u],val[v]\) ，那么这条边的贡献就是两者较小值。

貌似没有证明为什么一定可以这样选到，但是直接yy一下也确实是这样？不太理解。

实现就是个dfs就行了。

代码

#include<bits/stdc++.h>
using namespace std;
#ifdef ONLINE_JUDGE
	#define getchar() (p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++)
	char buf[1<<21],*p1=buf,*p2=buf;
#endif
template<typename T>
inline void read(T &x){
	x=0;bool f=false;char ch=getchar();
	while(!isdigit(ch)){f|=ch=='-';ch=getchar();}
	while(isdigit(ch)){x=x*10+(ch^48);ch=getchar();}
	x=f?-x:x;
	return ;
}
template<typename T>
inline void write(T x){
	if(x<0) x=-x,putchar('-');
	if(x>9) write(x/10);
	putchar(x%10^48);
	return ;
}
#define ll long long
#define ull unsigned long long
#define ld long double
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define pc putchar
#define PII pair<int,int>
#define rep(i,x,y) for(register int i=(x);i<=(y);i++)
#define dep(i,y,x) for(register int i=(y);i>=(x);i--)
const int MOD=1e9+7;
inline int inc(int x,int y){x+=y;return x>=MOD?x-MOD:x;}
inline int dec(int x,int y){x-=y;return x<0?x+MOD:x;}
inline void incc(int &x,int y){x+=y;if(x>=MOD) x-=MOD;}
inline void decc(int &x,int y){x-=y;if(x<0) x+=MOD;}
inline void chkmin(int &x,int y){if(y<x) x=y;}
inline void chkmax(int &x,int y){if(y>x) x=y;}
const int N=2e5+5,M=2e5+5,INF=1e9+7;
int n,m,siz[N];
ll Ans;
int head[N],to[N<<1],nex[N<<1],idx;
inline void add(int u,int v){nex[++idx]=head[u];to[idx]=v;head[u]=idx;return ;}
void dfs(int x,int f){
	for(int i=head[x];i;i=nex[i]){
		int y=to[i];
		if(y==f) continue;
		dfs(y,x);
		siz[x]+=siz[y];
	}
	Ans+=min(siz[x],(m<<1)-siz[x]);
	return ;
}
signed main(){
//	freopen(".in","r",stdin);
//	freopen(".out","w",stdout);
//	ios::sync_with_stdio(false);
	double ST=clock();
	read(n),read(m);int x,u,v;
	rep(i,1,m<<1) read(x),siz[x]++;
	rep(i,1,n-1) read(u),read(v),add(u,v),add(v,u);
	dfs(1,0);
	write(Ans);
#ifndef ONLINE_JUDGE
	cerr<<"\nTime:"<<(clock()-ST)/CLOCKS_PER_SEC<<"s\n";
#endif
	return 0;
}
/*

*/