雪之国度有N座城市,依次编号为1到N,又有M条道路连接了其中的城市,每一条道路都连接了不同的2个城市,任何两座不同的城市之间可能不止一条道路。
  雪之女王赋予了每一座城市不同的能量,其中第i座城市被赋予的能量为Wi。
  如果城市u和v之间有一条道路,那么只要此刻雪之女王的能量不小于|Wu-Wv|,这条道路就是安全的。
  如果城市u和v之间存在两条没有重复道路的安全路径(其中每一段道路都是安全的),则认为这两座城市之间有着良好的贸易关系。
  最近,雪之女王因为情感问题,她的能量产生巨大的波动。为了维持雪之国度的经济贸易,她希望你能帮忙对Q对城市进行调查。
  对于第j对城市uj和vj,她希望知道在保证这两座城市之间有着良好贸易关系的前提之下,自己最少需要保持多少的能量。
 Input
  每一组数据第一行有3个整数,依次为N,M,Q,表示城市个数,道路个数,和所需要进行的调查次数。
  之后一行,有N个整数,依次为每一个城市被赋予的能量Wi。
  之后M行,每一行有2个整数,表示对应编号的两个城市之间有一条道路。
  之后Q行,每一行有2个整数,表示一组调查的城市目标。
  对于100%的数据来说,3<=N<=100000, 3<=M<=500000, 1<=Q<=100000, 每一座城市的能量Wi满足0<=Wi<=200000.
 Output
  输出一共有Q行,依次对应Q次调查的结果。
  其中第j行给出了第j次调查的结果,即雪之女王需要保持的最少能量值。如果永远也无法做到,输出"infinitely"。

  就是要使俩城市在同个边双连通分量,问这个边双最大边权的最小值。

  先把最小生成树跑出来,然后把没用到的边按照边权从小到大加进去,每次可能会形成一个环,就把那个环缩成一个点。这个过程的同时搞一棵新的树,新树上每个点代表一个边双,缩点的时候就在新树里建一个新点,新的点往环上的所有点连边,边权为环上的最大边权。

  那么对于每个查询的点对(a,b),答案其实就是两个点在新树上路径的最大边权(两个点在新树上的lca代表的边双就是最优的了)。

  具体实现就是倍增来倍增去的....

 #include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<queue>
#include<cmath>
#include<cstdlib>
#include<bitset>
//#include<ctime>
#define ll long long
#define ull unsigned long long
#define ui unsigned int
#define d double
#define ld long double
using namespace std;
const int maxn=;
struct zs{int x,y,dis;bool used;}a[maxn];
struct zs1{int too,pre,dis;}e[maxn<<];int tot,last[maxn];
int too[maxn],pre[maxn],la[maxn],tt;
int FA[][],_FA[][],MX[][],_MX[][];
int id[maxn],cnt,dep[maxn],_dep[maxn],_RT[maxn],RT,fa[maxn],top[maxn],v[maxn],_V[maxn];
int i,j,k,n,m;
bool u[maxn]; int ra;char rx;
inline int read(){
rx=getchar(),ra=;
while(rx<'')rx=getchar();
while(rx>='')ra=ra*+rx-,rx=getchar();return ra;
} bool operator <(zs a,zs b){return a.dis<b.dis;}
inline int getfa(int x){return fa[x]!=x?fa[x]=getfa(fa[x]):x;}
inline int gettop(int x){return top[x]!=x?top[x]=gettop(top[x]):x;}
inline int abs(int x){return x<?-x:x;} inline void insert(int a,int b,int c){
e[++tot].too=b,e[tot].dis=c,e[tot].pre=last[a],last[a]=tot,
e[++tot].too=a,e[tot].dis=c,e[tot].pre=last[b],last[b]=tot;
}
inline void ins(int a,int b){too[++tt]=b,pre[tt]=la[a],la[a]=tt;/*printf("link:%d-->%d\n",a,b);*/}
inline int max(int a,int b){return a>b?a:b;}
inline void maxs(int &a,int b){if(b>a)a=b;}
void dfs(int x){
int to,i;dep[x]=dep[FA[x][]]+,u[x]=;
for(i=;i<;i++)FA[x][i]=FA[FA[x][i-]][i-],MX[x][i]=max(MX[x][i-],MX[FA[x][i-]][i-]);
for(i=last[x];i;i=e[i].pre)if(!u[to=e[i].too])
FA[to][]=x,MX[to][]=e[i].dis,dfs(to);
}
inline int getmx(int x,int y){
int mx=,i;//printf(" getmx:%d %d\n",x,y);
if(dep[x]<dep[y])swap(x,y);
for(i=;i>=;i--)if(dep[FA[x][i]]>=dep[y])maxs(mx,MX[x][i]),x=FA[x][i];
if(x!=y){
for(i=;i>=;i--)if(FA[x][i]!=FA[y][i])maxs(mx,MX[x][i]),maxs(mx,MX[y][i]),x=FA[x][i],y=FA[y][i];
maxs(mx,MX[x][]),maxs(mx,MX[y][]);
}//printf("lca:%d\n",FA[x][0]);
return mx;
} void _dfs(int x){
int i;_dep[x]=_dep[_FA[x][]]+,_RT[x]=RT,u[x]=;
for(i=;i<;i++)_FA[x][i]=_FA[_FA[x][i-]][i-],_MX[x][i]=max(_MX[x][i-],_MX[_FA[x][i-]][i-]);
for(i=la[x];i;i=pre[i])
_FA[too[i]][]=x,_MX[too[i]][]=_V[x],_dfs(too[i]);
}
inline int _getmx(int x,int y){
int mx=,i;
if(_dep[x]<_dep[y])swap(x,y);
for(i=;i>=;i--)if(_dep[_FA[x][i]]>=_dep[y])maxs(mx,_MX[x][i]),x=_FA[x][i];
if(x!=y){
for(i=;i>=;i--)if(_FA[x][i]!=_FA[y][i])maxs(mx,_MX[x][i]),maxs(mx,_MX[y][i]),x=_FA[x][i],y=_FA[y][i];
maxs(mx,_MX[x][]),maxs(mx,_MX[y][]);
}return mx;//_FA[x][0]>0?mx:-1;
}
int main(){
n=read(),m=read();int q=read();
for(i=;i<=n;i++)v[i]=read(),fa[i]=i;
for(i=;i<=m;i++)a[i].x=read(),a[i].y=read(),a[i].dis=abs(v[a[i].x]-v[a[i].y]);
std::sort(a+,a++m); int x,y,tmp;
for(i=;i<=m;i++)if((x=getfa(a[i].x))!=(y=getfa(a[i].y)))
fa[x]=y,insert(a[i].x,a[i].y,a[i].dis),a[i].used=;//,printf("%d--%d %d\n",a[i].x,a[i].y,a[i].dis);
for(i=;i<=n;i++)if(!u[i])dfs(i);
// for(i=1;i<=n;i++)printf("i:%d FA:%d\n",i,FA[i][0]);
// return 233;
int cnt=n;
for(i=;i<=n;i++)id[i]=top[i]=i;
for(i=;i<=m;i++)if(!a[i].used&&((x=gettop(a[i].x)))!=(y=gettop(a[i].y))){
// printf(" %d %d %d x:%d y:%d\n",a[i].x,a[i].y,a[i].dis,x,y);
_V[++cnt]=max(a[i].dis,getmx(a[i].x,a[i].y));//printf(" _V:%d\n",_V[cnt]);
while(x!=y){
if(dep[x]<dep[y])swap(x,y);
ins(cnt,id[x]),//printf("link:%d-->%d\n",cnt,id[x]),
top[x]=gettop(FA[x][]),x=top[x];//printf(" %d %d\n",x,y);
}ins(cnt,id[x]),id[x]=cnt;
}
memset(u+,,cnt);
for(i=cnt;i;i--)if(!u[i])RT=i,_dfs(i); while(q--){
x=read(),y=read();
if(_RT[x]!=_RT[y])puts("infinitely");//else
// if((tmp=_getmx(x,y))==-1)puts("infinitely");
else printf("%d\n",/*tmp*/_getmx(x,y));
}
}
05-11 11:30