codevs 4175 收费站（二分+SPFA）

codevs 4175 收费站

题目描述 Description

在某个遥远的国家里，有n个城市。编号为1，2，3，……，n。

这个国家的政府修建了m条双向的公路。每条公路连接着两个城市。沿着某条公路，开车从一个城市到另一个城市，需要花费一定的汽油。

开车每经过一个城市，都会被收取一定的费用（包括起点和终点城市）。所有的收费站都在城市中，在城市间的公路上没有任何的收费站。

小红现在要开车从城市u到城市v(1<=u，v<=n)。她的车最多可以装下s升的汽油。在出发的时候，车的油箱是满的，并且她在路上不想加油。

在路上，每经过一个城市，她要交一定的费用。如果她某次交的费用比较多，她的心情就会变得很糟。所以她想知道，在她能到达目的地的前提下，她交的费用中最多的一次最少是多少。这个问题对于她来说太难了，于是她找到了聪明的你，你能帮帮她吗？

输入描述 Input Description
第一行5个正整数，n，m，u，v，s。分别表示有n个城市，m条公路，从城市u到城市v，车的油箱的容量为s升。

接下来有n行，每行1个正整数，fi。表示经过城市i，需要交费fi元。

再接下来有m行，每行3个正整数，ai,bi,ci(1<=ai,bi<=n)。表示城市ai和城市bi之间有一条公路，如果从城市ai到城市bi,或者从城市bi到城市ai，需要用ci升汽油。

输出描述 Output Description
仅一个整数，表示小红交费最多的一次的最小值。

如果她无法到达城市v，输出-1。

样例输入 Sample Input
【输入样例1】

4 4 2 3 8

8

5

6

10

2 1 2

2 4 1

1 3 4

3 4 3

【输入样例2】

4 4 2 3 3

8

5

6

10

2 1 2

2 4 1

1 3 4

3 4 3

样例输出 Sample Output
【输出样例1】

8

【输出样例2】

-1

数据范围及提示 Data Size & Hint
对于60%的数据，满足n<=200，m<=10000，s<=200

对于100%的数据，满足n<=10000，m<=50000，s<=1000000000

对于100%的数据，满足ci<=1000000000，fi<=1000000000，可能有两条边连接着相同的城市。

思路：

首先看到最大值最小肯定能想到二分，验证的话用spfa就可以。不过这题卡spfa，我们可以用SLF优化一下。但是直接二分答案会TLE一个点，我们在二分的时候可以将点的花费排一下序，然后直接二分每个点的花费，时间复杂度会大大降低。

题解：

#include<iostream>
#include<cstdio>
#include<queue>
#include<cstring>
#include<algorithm>
using namespace std;
const int maxn=200000+10;
long long n,m,u,v,s;
struct cc{
    long long from,to,cost;
}es[maxn];
long long first[maxn],next[maxn];
long long tot=0;
void build(long long ff,long long tt,long long pp)
{
    es[++tot]=(cc){ff,tt,pp};
    next[tot]=first[ff];
    first[ff]=tot;
}
long long vi[maxn];
long long f[maxn];
deque<long long>q;
bool vis[maxn];
long long dis[maxn];
bool check(long long mid) 
{
    memset(dis,63,sizeof(dis));
    memset(vis,0,sizeof(vis));
    while(!q.empty())
    {
        q.pop_front();
    }
    if(vi[u]<=f[mid])
    {
    q.push_front(u);
    }
    else
    {
        return 0;
    }
    vis[u]=1;
    dis[u]=0;
    while(!q.empty()) 
    {   
        long long u1=q.front(); q.pop_front();
        vis[u1]=0;
        for(long long i=first[u1];i;i=next[i])
        {
            long long v1=es[i].to;
            if(vi[v1]<=f[mid])
            {
                if(dis[v1]>dis[u1]+es[i].cost)
                {
                    dis[v1]=dis[u1]+es[i].cost;
                    if(!vis[v1])
                    {
                        vis[v1]=1;
                        if(!q.empty())
                        {
                            if(dis[v1]>dis[q.front()])
                            {
                                q.push_back(v1);
                            }
                            else
                            {
                                q.push_front(v1);
                            }
                        }
                        else
                        {
                            q.push_back(v1);
                        }
                    }
                }
            }
        }
    }
    if(dis[v]>s)
    {
        return 0;
    }
    else
    {
        return 1;
    }
}
int main()
{
    scanf("%lld%lld%lld%lld%lld",&n,&m,&u,&v,&s);
    for(long long i=1;i<=n;i++)
    {
        scanf("%d",&vi[i]);
        f[i]=vi[i];
    }
    sort(f+1,f+n+1);
    for(long long i=1;i<=m;i++)
    {
        long long x,y,z;
        scanf("%lld%lld%lld",&x,&y,&z);
        build(x,y,z);
        build(y,x,z);
    }
    long long l=1,r=n;
    long long ans=1e12;
    while(l<=r)
    {
        long long mid=(l+r)/2;
        if(check(mid)) 
        {
            ans=min(ans,f[mid]);
            r=mid-1;
        }
        else
        {
            l=mid+1;

        }
    }
    if(ans==1e12)
    {
        printf("-1");
    }
    else
    {
        printf("%lld",ans);
    }
    return 0;
}