zoukankan      html  css  js  c++  java
  • P3106 [USACO14OPEN]GPS的决斗(最短路)

     化简:够简的了.....但是!翻译绝对有锅。

    这个最短路是从n到每个点的单源最短路,也就是最短路径树。

    那么,思路就很明确了。建两个图,然后跑两边SPFA,记录下最短路径。

    然后,对于两点之间的边,如果最短路不经过它,那么最终图边权+1;

    然后在最终图上(边权为0,1,2)跑一遍SPFA即可。

    一开始我想复杂了,在想怎么记录路径,怎么重构图.balabala。

    然后发现,怎么才能让两点不在最短路径上呢?

    SPFA的松弛操作,依据是三角不等式。于是,如果两点之间的最短路的距离如果不等于边权(也就是最短路径不过它俩之间的边)那么就它就是一条会报警的边。

    $$看来SPFA最重要的是三角不等式$$

    于是,只要暴力跑三遍SPFA即可。

    用尽浑身解数,信仰SPFA,各种常数优化,读入挂,我还是没能跑到最优解的第一面....在第二页前几个徘徊.....

    代码:(这么长的图论题也不多见,但是好像逛公园就那么长)

    #include<iostream>
    #include<cstdio>
    #include<queue>
    #define rg register
    using namespace std;
    const int maxn=1e6+10;
    int n,m;
    inline int read()
    {
        int x=0,f=1;char s=getchar();
        while(s>'9'||s<'0'){if(s=='-')f=-1;s=getchar();}
        while(s<='9'&&s>='0'){x=x*10+s-'0';s=getchar();}
        return x*f;
    }
    struct edge
    {
        int to,next,dis;
    }e1[maxn],e2[maxn],e[maxn];
    int head[maxn],head1[maxn],head2[maxn];
    int cnt1,cnt2,cnt;
    inline void addedge1(int from,int to,int dis)
    {
        e1[++cnt1].next=head1[from];
        e1[cnt1].to=to;
        e1[cnt1].dis=dis;
        head1[from]=cnt1;
    }
    inline void addedge2(int from,int to,int dis)
    {
        e2[++cnt2].next=head2[from];
        e2[cnt2].to=to;
        e2[cnt2].dis=dis;
        head2[from]=cnt2;
    }
    inline void addedge(int from,int to,int dis)
    {
        e[++cnt].next=head[from];
        e[cnt].to=to;
        e[cnt].dis=dis;
        head[from]=cnt;
    }
    
    int dis1[maxn],vis1[maxn],pre1[maxn];
    struct cmp1
    {
        bool operator () (int a,int b)
        {
            return dis1[a]>dis1[b];
        }
    };
    inline void spfa1()
    {
        priority_queue < int , vector < int > , cmp1 > q;
        for(rg int i=1;i<=n;i++)
        {
            dis1[i]=2147483647;
            vis1[i]=0;
        }
        q.push(n);
        dis1[n]=0;
        vis1[n]=1;
        while(!q.empty())
        {
            int u=q.top();
            q.pop();
            vis1[u]=0;
            for(rg int i=head1[u];i;i=e1[i].next)
            {
                int v=e1[i].to;
                if(dis1[v]>dis1[u]+e1[i].dis)
                {
                    dis1[v]=dis1[u]+e1[i].dis;
                    if(vis1[v]==0)
                    {
                        vis1[v]=1;
                        q.push(v);
                    }
                }
            }
        }
    }
    int dis2[maxn],vis2[maxn],pre2[maxn];
    struct cmp2
    {
        bool operator () (int a,int b)
        {
            return dis2[a]>dis2[b];
        }
    };
    inline void spfa2()
    {
        priority_queue < int , vector < int > , cmp2 > q;
        for(rg int i=1;i<=n;i++)
        {
            dis2[i]=2147483647;
            vis2[i]=0;
        }
        q.push(n);
        dis2[n]=0;
        vis2[n]=1;
        while(!q.empty())
        {
            int u=q.top();
            q.pop();
            vis2[u]=0;
            for(rg int i=head2[u];i;i=e2[i].next)
            {
                int v=e2[i].to;
                if(dis2[v]>dis2[u]+e2[i].dis)
                {
                    dis2[v]=dis2[u]+e2[i].dis;
                    if(vis2[v]==0)
                    {
                        vis2[v]=1;
                        q.push(v);
                    }
                }
            }
        }
    }
    int dis[maxn],vis[maxn];
    struct cmp
    {
        bool operator () (int a,int b)
        {
            return dis[a]>dis[b];
        }
    };
    inline void rebuild()
    {
        for(rg int i=1;i<=n;i++)
        {
            for(int j=head1[i];j;j=e1[j].next)
            {
                int v1=e1[j].to;
                int v2=e2[j].to;
                //cout<<i<<' '<<v1<<endl;
                int d=0;
                if(dis1[v1]-dis1[i]!=e1[j].dis)
                d++;
                if(dis2[v2]-dis2[i]!=e2[j].dis)
                d++;
                addedge(v1,i,d);
            }
        }
    }
    inline void spfa()
    {
        priority_queue < int , vector < int > , cmp > q;
        for(rg int i=1;i<=n;i++)
        {
            dis[i]=2147483647;
            vis[i]=0;
        }
        q.push(1);
        dis[1]=0;
        vis[1]=1;
        while(!q.empty())
        {
            int u=q.top();
            q.pop();
            vis[u]=0;
            for(rg int i=head[u];i;i=e[i].next)
            {
                int v=e[i].to;
                if(dis[v]>dis[u]+e[i].dis)
                {
                    dis[v]=dis[u]+e[i].dis;
                    if(vis[v]==0)
                    {
                        vis[v]=1;
                        q.push(v);
                    }
                }
            }
        }
    }
    int main()
    {
        n=read();
        m=read();
        for(rg int i=1;i<=m;i++)
        {
            int a=read(),b=read(),c=read(),d=read();
            //scanf("%d%d%d%d",&a,&b,&c,&d);
            addedge1(b,a,c);
            addedge2(b,a,d);
            //addedge(a,b,0);
        }
        spfa1();
        spfa2();
        rebuild();
        spfa();
        printf("%d",dis[n]);
        return 0;
    }

    (完)

  • 相关阅读:
    痞子衡嵌入式:MCUXpresso IDE下SDK工程在Build配置上与IAR,MDK差异
    13万字详细分析JDK中Stream的实现原理
    扫码登录是这样登录的
    [Vue深入组件-边界情况处理] 控制更新
    [Vue深入组件-边界情况处理] 模板定义的替代品
    [Vue深入组件]:递归组件和组件的循环引用
    #antdv 清除指定字段验证 #antdv表单验证指定清除
    [Vue深入组件-边界情况处理] 程序化的事件监听器
    [Vue深入组件-边界情况处理] 访问元素 & 组件
    [Vue深入组件]:Slot插槽
  • 原文地址:https://www.cnblogs.com/ajmddzp/p/11780356.html
Copyright © 2011-2022 走看看