最小乘积生成树

最小乘积生成树

题目链接

题目解析

想法还是比较难想到的。

把每棵生成树的(sum a_e)(sum b_e)看成点对((x,y)),于是答案是(k=x imes y)最小的点对。由于边权都是非负数,所以可以看成是离坐标轴最近的反比例函数的系数。

怎么求这个点呢?

首先,分别找到离(x)轴,(y)轴最近的点

这个可以分别以(a_e,b_e)作为边权,求(MST)

不妨设离(x)轴最近的点是(A),离(y)轴最近的点是(B)

然后,找到一个在(AB)左下方,并且离(AB)最远的点(C)

可以等价为(S_ΔABC)最大,因为底为(AB)是定值,三角形面积越大,高越大,而高就是距离。

根据叉乘的几何意义,(S_ΔABC=frac{|vec{AB} imesvec{AC}|}{2})

注意到(vec{AB} imesvec{AC})负数:(我还想了很久为啥它是负数,我一直以为叉乘顺序不一样(旋转方向不一样)只会影响最后生成的向量的方向(右手螺旋定理),但注意这里是有向面积)

如果是(vec{AB} imesvec{AC}),那么就是(vec{AB})逆时针转到(vec{AC}),转了优角,所以(sinθ<0),所以(vec{AB} imesvec{AC}=|vec{AB}| imes|vec{AC}| imes sinθ<0)

反之,如果是(vec{AC} imesvec{AB}),就是(vec{AC})逆时针转到(vec{AB}),转了劣角,所以乘出来(>0)

最小乘积生成树

(图片来自于网络)

所以(S_ΔABC=-frac{vec{AB} imesvec{AC}}{2}),要最大化(S_ΔABC),只需要最小化(vec{AB} imesvec{AC})

根据叉乘的坐标表达形式:(vec{AB} imesvec{AC}\=(x_B-x_A)(y_C-y_A)-(x_C-x_A)(y_B-y_A)\ =(x_B-x_A)y_C+(y_A-y_B)x_C-(x_B-x_A)y_A+(y_B-y_A)x_A)

后面是常数,所以要最小化((x_B-x_A)y_C+(y_A-y_B)x_C)(x_C,y_C)是生成树的(sum),所以把边权赋成((x_B-x_A)b_e)((y_A-y_B)a_e),然后求(MST)就可以得到(C)的坐标,用(C)的坐标更新答案。

递归AC,BC

(AC,BC)拿去重复上述操作,递归处理,不断得到一个新的(C),更新答案。

直到算出来的(C)满足(vec{AB} imesvec{AC}),说明转过火了,这个时候的(C)(AB)上方,结束递归。

点的编号居然是从(0)开始的,差评(雾


►Code View

#include<cstdio>
#include<algorithm>
#include<vector>
#include<queue>
#include<cstring>
using namespace std;
#define N 205
#define M 10005
#define INF 0x3f3f3f3f
#define LL long long
int rd()
{
	int x=0,f=1;char c=getchar();
	while(c<'0'||c>'9'){if(c=='-')f=-1; c=getchar();}
	while(c>='0'&&c<='9'){x=(x<<1)+(x<<3)+(c^48);c=getchar();}
	return f*x;
}
int n,m,f[N];
struct node{
	int u,v,a,b,w;
}e[M];
struct Point{
	int x,y;
};
Point ans;
int Cross(Point p,Point q)
{
	return p.x*q.y-p.y*q.x;
}
bool cmp(node p,node q)
{
	return p.w<q.w;
}
void Init()
{
	for(int i=1;i<=n;i++)
		f[i]=i;
}
int Find(int x)
{
	if(f[x]==x) return x;
	return f[x]=Find(f[x]);
}
bool Union(int u,int v)
{
	u=Find(u),v=Find(v);
	if(u==v) return 0;
	if(u<v) f[u]=v;
	else f[v]=u;
	return 1;
}
Point Kruskal()
{
	Point res; res.x=0,res.y=0;
	Init();
	sort(e+1,e+m+1,cmp);
	int cnt=0;
	for(int i=1;i<=m;i++)
	{
		if(!Union(e[i].u,e[i].v)) continue;
		res.x+=e[i].a,res.y+=e[i].b;
		cnt++;
		if(cnt==n-1) break;
	}
	LL ret=1ll*ans.x*ans.y,now=1ll*res.x*res.y;
	if(now<ret||(now==ret&&res.x<ans.x)) ans=res;
	return res;
}
void solve(Point A,Point B)
{
	for(int i=1;i<=m;i++)
		e[i].w=(B.x-A.x)*e[i].b+(A.y-B.y)*e[i].a;
	Point C=Kruskal();
	Point D,E;
	D.x=B.x-A.x,D.y=B.y-A.y;
	E.x=C.x-A.x,E.y=C.y-A.y;
	if(Cross(D,E)>=0) return ;
	solve(A,C);
	solve(C,B);
}
int main()
{
	n=rd(),m=rd();
	for(int i=1;i<=m;i++)
		e[i].u=rd()+1,e[i].v=rd()+1,e[i].a=rd(),e[i].b=rd();
	for(int i=1;i<=m;i++)
		e[i].w=e[i].a;
	ans.x=INF,ans.y=INF;
	Point A=Kruskal();
	for(int i=1;i<=m;i++)
		e[i].w=e[i].b;
	Point B=Kruskal();
	solve(A,B);
	printf("%d %d
",ans.x,ans.y);
	return 0;
}