首页 > 代码库 > bzoj 3528: [Zjoi2014]星系调查

bzoj 3528: [Zjoi2014]星系调查

Description

 银河历59451年,在银河系有许许多多已被人类殖民的星系。如果想要在行

星系间往来,大家一般使用连接两个行星系的跳跃星门。  一个跳跃星门可以把
物质在它所连接的两个行星系中互相传送。
露露、花花和萱萱被银河系星际联盟调查局任命调查商业巨擘ZeusLeague+
的不正当商业行为。
在银河系有N个已被ZeusLeague+成功打入市场的行星系,不妨标号为
1,2,...,N。而ZeusLeague+在这N个行星系之间还拥有自己的M个跳跃星门。使
用这些跳跃星门,ZeusLeague+的物资就可以在这N个行星系中两两任意互相传
输。由于经费问题,跳跃星门的个数不会超过行星系的个数。
露露在颇费周折之后得到了ZeusLeague+在这N个行星系中的各自的贸易总
额C[i]。
萱萱设计了一个经济学特征指标D[i]来度量这N个行星系的经济学特征。于
是,我们可以用二元组(C[i],D[i])来表示第i个行星系的XP(Xuan‘s Position)。现
在假设我们有k个行星系的XPs,把它们放置在二维平面上,然后我们用一条直
线去拟合这些XPs。定义一条直线与XPs的相斥度为这条直线到各个XP的Euclid
距离的平方之和。再令XPs的线性假设相斥度为所有直线与XPs的相斥度中的
最小者。那么,这个值越小,ZeusLeague+在这k个行星系中的相互贸易活动就
越可疑,从而值得进一步调查。花花负责计算许多行星系对(u,v)的非可疑度。一
条跳跃星门航线的非可疑度被定义为它经过的所有行星系(包括起点和终点)的
XPs的线性假设相斥度。而一个行星系对(u,v)的非可疑度则被定义为所有以u为
起点,v为终点的跳跃星门航线的非可疑度中的最小值。一条跳跃星门航线是指
从某个行星系开始,通过跳跃星门依次到达某些行星系,然后终止,并且中途不
重复经过行星系,这样的一个过程。
花花负责计算许多行星系对(u,v)的非可疑度。一条跳跃星门航线的非可疑度
被定义为它经过的所有行星系(包括起点和终点)的XPs的线性假设相斥度。
而一个行星系对(u,v)的非可疑度则被定义为所有以u为起点,v为终点的跳跃星
门航线的非可疑度中的最小值。一条跳跃星门航线是指从某个行星系开始,通过
跳跃星门依次到达某些行星系,然后终止,并且中途不重复经过行星系,这样的
一个过程。
在花花数天夜以继日的工作之后,平行调查组的你——大名鼎鼎的计算机科
学家Hcceleration.Gerk.Gounce不忍心看到她这样不眠不休,于是你在完成了手
头的工作之后决定帮一帮她。

Input

 第一行是N,M,分别表示这个银河系内的行星系的个数

以及跳跃星门的个数。
接下来N行,每行2个正整数C[i], D[i],表示第i 个行星系的XP(Xuan‘s Position)。
接下来的M行来描述跳跃星门,每行2个正整数u[i],v[i],表示有一个连接
着行星系u[i]和v[i]的跳跃星门。注意这个连接是无向的。不会存在自己连向自
己的情况。也不会存在重复连接的情况。
接下来的一行,有一个正整数Q,表示花花需要计算的非可疑度的行星对数。
接下来的Q行,每行2个正整数s[i], t[i],表示花花需要计算从s[i]到t[i]的
非可疑度。

Output

总共Q行,每一行一个实数,表示花花第i次需要计算的答

案。你的答案需要和标准答案的差不超过0.01才能得分。

Sample Input


6 6
3 4
5 6
1 3
4 4
3 3
2 4
1 2
1 3
2 3
2 4
3 5
5 6
3
3 6
2 4
4 6

Sample Output

0.66667
0.00000
1.67544

 

一道良心的必修一压轴题+树链剖分

通过一系列漫长的推导+勇敢的展开,最后只需要维护

推导的话主要是运用两次主元法(点到直线距离公式要记得),最后由求根公式即可,推导以后补

因为图连通且不超过n条边,所以为树或者一个基环树

树的话直接树链剖分,维护的东西直接用树上前缀和即可: x+y-lca-fa[lca];

基环树的话,把环看做根节点后就是树了,如果lca为环的话分别跳到环上,

环上的按照某种时针顺序预处理前缀和,然后分别走两条路统计即可.

如果lca不是环就正常树的即可

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#define RG register
using namespace std;
const int N=300050;
int n,m,cnt,tot,root[N],head[N],to[N],nxt[N],fa[N],dep[N],size[N],son[N],top[N],cir[N],rt[N];  
int tx[N],ty[N],vis[N];
int gi()
{
    int x=0,flag=1;
    char ch=getchar();
    while(ch<‘0‘||ch>‘9‘){if(ch==‘-‘) flag=-1;ch=getchar();}
    while(ch>=‘0‘&&ch<=‘9‘) x=x*10+ch-‘0‘,ch=getchar();
    return x*flag;
}
struct data{  
    int pre[6];  
    void update(RG int u,RG int v){  
	pre[0]++;pre[1]+=u;pre[2]+=u*u;  
	pre[3]+=v;pre[4]+=v*v;pre[5]+=u*v;  
    }  
    double query(){
	RG double n=pre[0],totx=pre[1],toty=pre[3],totx2=pre[2],toty2=pre[4],totxy=pre[5];
	RG double xar=totx/n,yar=toty/n;
	RG double a=totx2-2*xar*totx+n*xar*xar;
	RG double b=2*yar*totx+2*xar*toty-2*totxy-2*n*xar*yar;
	RG double c=toty2-2*yar*toty+n*yar*yar;
	RG double A=4.0,B=-4*(a+c),C=4*a*c-b*b;
	return (-B-sqrt(B*B-4*A*C))/2/A;
    }  
}a[N],b[N];  
data operator +(data x,data y){  
    for(RG int i=0;i<6;i++) x.pre[i]+=y.pre[i]; return x;  
}  
data operator -(data x,data y){  
    for(RG int i=0;i<6;i++) x.pre[i]-=y.pre[i]; return x;  
}  
void lnk(RG int x,RG int y){  
    to[++tot]=y;nxt[tot]=head[x];head[x]=tot;  
}  
inline void dfs1(int x,int f){  
    vis[x]=1;size[x]=1;son[x]=0;rt[x]=f;  
    a[x]=a[fa[x]]; a[x].update(tx[x],ty[x]);  
    for(RG int i=head[x];i;i=nxt[i]){  
	RG int y=to[i];  
	if (!vis[y]&&y!=fa[x]){  
	    dep[y]=dep[x]+1;fa[y]=x;  
	    dfs1(y,f);size[x]+=size[y];  
	    if(size[y]>size[son[x]]) son[x]=y;  
	}  
    }  
}  
inline void dfs2(RG int x,RG int f){  
    top[x]=f;  
    if(son[x]) dfs2(son[x],f);  
    for (RG int i=head[x]; i; i=nxt[i]){  
	RG int y=to[i];  
	if(x==fa[y] && y!=son[x]) dfs2(y,y);  
    }  
}  
inline int lca(RG int x,RG int y){
    while(top[x]!=top[y]){
	if(dep[top[x]]<dep[top[y]]) swap(x,y);
	x=fa[top[x]];
    }
    if(dep[x]<dep[y]) swap(x,y);
    return y;
}  
inline void work(){  
    memset(vis,0,sizeof(vis));  
    for(RG int x=1;x<=n;x++)  
	for(RG int i=head[x];i;i=nxt[i]){
	    if(fa[x]!=to[i]&&fa[to[i]]!=x){  
                RG int y=to[i];  
                if(dep[x]>dep[y]) swap(x,y);  
                for(;y!=x;y=fa[y]){  
                    root[++cnt]=y;cir[y]=cnt;vis[y]=1;  
                    b[cnt]=b[cnt-1];b[cnt].update(tx[y],ty[y]);  
                }  
                root[++cnt]=x;cir[x]=cnt;vis[x]=1;  
                b[cnt]=b[cnt-1];b[cnt].update(tx[x],ty[x]);  
                return;  
            }
	}
}  
int main(){
    n=gi(),m=gi();RG int x,y;  
    for(RG int i=1;i<=n;i++) tx[i]=gi(),ty[i]=gi();  
    for(RG int i=1;i<=m;i++){
	x=gi(),y=gi();
	lnk(x,y); lnk(y,x);  
    }  
    dfs1(1,1);  
    memset(vis,0,sizeof(vis));  
    if(n==m) work();else root[cnt=1]=1;  
    memset(fa,0,sizeof(fa));   
    for(RG int i=1;i<=cnt;i++){  
	dfs1(root[i],root[i]); dfs2(root[i],root[i]);  
    }  
    RG int Q=gi();data u,v;  
    for(RG int i=1;i<=Q;i++){  
	x=gi(),y=gi();  
	if (rt[x]==rt[y]){  
	    u=a[x]+a[y]-a[lca(x,y)]-a[fa[lca(x,y)]];  
	    printf("%.5f\n",u.query());  
	} else{  
	    if (cir[rt[x]]>cir[rt[y]]) swap(x,y);  
	    u=a[x]-a[rt[x]]+a[y]-a[rt[y]]+b[cir[rt[y]]]-b[cir[rt[x]]-1];  
	    v=a[x]-a[rt[x]]+a[y]-a[rt[y]]+b[cir[rt[x]]]+b[cnt]-b[cir[rt[y]]-1];  
	    printf("%.5f\n",min(u.query(),v.query()));  
	}  
    }  
    return 0;  
}  

 

bzoj 3528: [Zjoi2014]星系调查