[BZOJ]1050 旅行comf(HAOI2006)

　　图论一直是小C的弱项，相比其它题型，图论的花样通常会更多一点，套路也更难捉摸。

Description

　　给你一个无向图，N(N<=500)个顶点, M(M<=5000)条边，每条边有一个权值Vi(Vi<30000)。给你两个顶点S和T，求一条路径，使得路径上最大边和最小边的比值最小。如果S和T之间没有路径，输出”IMPOSSIBLE”，否则输出这个比值，如果需要，表示成一个既约分数。备注：两个顶点之间可能有多条路径。

Input

　　第一行包含两个正整数，N和M。下来的M行每行包含三个正整数：x，y和v。表示景点x到景点y之间有一条双向公路，车辆必须以速度v在该公路上行驶。最后一行包含两个正整数s，t，表示想知道从景点s到景点t最大最小速度比最小的路径。s和t不可能相同。

Output

　　如果景点s到景点t没有路径，输出“IMPOSSIBLE”。否则输出一个数，表示最小的速度比。如果需要，输出一个既约分数。

Sample Input

　　3 3
　　1 2 10
　　1 2 5
　　2 3 8
　　1 3

Sample Output

　　5/4

HINT

　　1<N<=500,1<=x,y<=N，0<v<30000，0<M<=5000

Solution

　　看到最大和最小值我们就可以感觉到肯定不能直接走，然后很自然地想到了排序。

　　这种图论的题型常常要求我们逆向思考，我们不是找一条路径去更新答案，而是枚举一个答案看它能否构成路径。

　　于是我们枚举路径中的最小的那条边，从小到大加边，直到S和T连通，

　　说明存在一条S到T的路径。用最后加入的这条边和枚举的最小边更新答案。

　　判连通性用并查集即可。

　　时间复杂度O(m^2)

　　在黄学长博客里还看到一个比较妙的解法分享一下：

　　理论复杂度是一样的，但实际远小于上界。

#include <cstdio>

#include <cstring>

#include <algorithm>

#define MN 505

#define MM 5005

#define INF 0x3FFFFFFF

using namespace std;

struct edge{int x,y,z;}b[MM];

int fa[MN];

int n,m,S,T,ans1,ans2,g;

inline int read()

{

    int n=,f=; char c=getchar();

    while (c<'' || c>'') {if(c=='-')f=-; c=getchar();}

    while (c>='' && c<='') {n=n*+c-''; c=getchar();}

    return n*f;

}

int getf(int x) {return fa[x]?fa[x]=getf(fa[x]):x;}

inline void gather(int x,int y) {if (x!=y) fa[x]=y;}

int gcd(int x,int y) {return y?gcd(y,x%y):x;}

bool cmp(const edge& a,const edge& b) {return a.z<b.z;}

int main()

{

    register int i,j;

    n=read(); m=read();

    for (i=;i<=m;++i)

        b[i].x=read(),b[i].y=read(),b[i].z=read();

    S=read(); T=read();

    sort(b+,b+m+,cmp);

    ans1=INF; ans2=;

    for (i=;i<=m;++i)

    {

        memset(fa,,sizeof(fa));

        for (j=i;j<=m;++j)

        {

            gather(getf(b[j].x),getf(b[j].y));

            if (getf(S)==getf(T)) break;

        }

        if (j>m) break;

        if ((double)b[j].z/b[i].z<(double)ans1/ans2) ans1=b[j].z,ans2=b[i].z;

    }

    if (i==) return *printf("IMPOSSIBLE");

    g=gcd(ans1,ans2);

    ans1/=g; ans2/=g;

    if (ans2==) printf("%d",ans1); else printf("%d/%d",ans1,ans2);

}

Last Word

　　用并查集解决图论的问题也是常见的思路。

　　小C会告诉你迷之RE是因为并查集写错了？