zoukankan      html  css  js  c++  java
  • [日常训练]Z国特色社会路

    Description

    小$W$非常喜欢社会主义,这天他开始研究它的优越性。
    他发现它们国家十分乐于修建特色的社会主义道路。具体的说,$Z$国有$n$座城市,由$m$条有向边连接,城市从$1$编号。
    特色的地方在于,时不时会有一些$LD$下来在城市间视察,视察时他会从城市$b_i$开始,最终到$e_i$结束。每次视察都会走过一些路,这些路自然会被$LD$所注意。
    更具体地, $LD$会重修自己走过的路。每条边重修需要的费用也不相同。
    而如果视察结束后, $LD$不在一开始自己所在的城市$b_i$,则会要新建一条$VIP$道路送他回家,也就是只有他自己能通过的道路。这需要花费固定的费用$C$,这条道路走过后便会拆毁。
    若某个城市没有被$LD$经过,则这个城市的下级$LD$会被勒令整改,也要花费$C$的费用。
    现在有$k$年,每年有若干个$LD$下来视察(可能$0$个),每年的固定费用$C$不同。小$W$想知道对于每一年怎样安排他们的视察人数和视察路线,能使得总花费最小。注意,领导至少要视察一条边。
    注意,若一条道路被同一个人多次经过,则每次都会重修这条路。多个人多次经过也是一样。没有被$LD$经过的城市,更具体的说是没有被任何$LD$经过。

    Input

    第一行三个整数$n,m,k$。

    接下来$m$行每行三个整数$s_i,t_i,v_i$,表示$s_i$和$t_i$间的有向边,重修需要花费$v_i$的代价。接下来$k$行每行一个整数,表示这一年的固定费用$C$。

    Output

    输出$k$行,每行一个最小花费。

    Sample Input

    6 5 3 6

    1 3 2

    2 3 2

    3 4 2

    4 5 2

    4 6 2

    1

    5

    10

    Sample Output

    6

    21

    32

    HINT

    $2;leq;n;leq;250,1;leq;m;leq;30000,1;leq;k;leq;10000,s_i ot=t_i,1;leq;v_i,C;leq;10000$,一对城市间可能有多条单向路,图中无自环。

    Solution

    先求出原图的最短路建一张完全图,任意两点间的边权为原图中两点的最短路长度.

    可以发现,每个点只会被最优路径经过一次.

    由于一个点只被经过一次,且要找出一些路径使得它们的和最小,这非常想最小路径覆盖的模型,拆点建边.

    接着做最小费用最大流,若流了$k$路径,则我们需支付$(n-k)C$.

    证明:若这$k$路径首尾相连成一个环,则需对剩下$n-k$个城市支付$C$;若不是环,则这$k$路径经过$k+1$个点,需对剩下$n-k-1$个城市支付$C$,以及为$LD$修路回去的$C$.

    接下来要决定流几条路径.显然,做费用流时,每次得到的路径的费用是单调不降的,也就是可以在做费用流时判断:若当前的费用$>C$,则停止费用流,剩下的城市用$C$补。

    由于有多组$C$,所以考虑提前将所有$n$次流后所得到的费用用前缀和存下来,每次二分出需要流的路径条数.

    #include<cmath>
    #include<ctime>
    #include<queue>
    #include<stack>
    #include<cstdio>
    #include<vector>
    #include<cstring>
    #include<cstdlib>
    #include<iostream>
    #include<algorithm>
    #define N 505
    #define M 125505
    #define INF 1000000000
    using namespace std;
    struct graph{
        int nxt,to,f,w;
    }e[M];
    struct edge{
        int s,t,w;
    }a[M];
    struct tag{
        int e,v;
    }pre[N];
    int d[N][N],g[N],f[N],sum[N],dis[N],c,n,m,s,t,ti,cnt=1;
    bool inq[N];queue<int> q; 
    inline int read(){
        int ret=0;char c=getchar();
        while(!isdigit(c))
            c=getchar();
        while(isdigit(c)){
            ret=(ret<<1)+(ret<<3)+c-'0';
            c=getchar();
        }
        return ret;
    }
    inline void addedge(int x,int y,int f,int w){
        e[++cnt].nxt=g[x];g[x]=cnt;
        e[cnt].to=y;e[cnt].f=f;e[cnt].w=w;
    }
    inline void adde(int x,int y,int f,int w){
        addedge(x,y,f,w);addedge(y,x,0,-w);
    }
    inline bool spfa(int u){
        for(int i=1;i<=t;++i){
            dis[i]=INF;inq[i]=false;
        }
        dis[u]=0;q.push(u);inq[u]=true;
        while(!q.empty()){
            u=q.front();q.pop();inq[u]=false;
            for(int i=g[u];i;i=e[i].nxt)
                if(e[i].f>0&&dis[u]+e[i].w<dis[e[i].to]){
                    dis[e[i].to]=dis[u]+e[i].w;
                    pre[e[i].to].e=i;pre[e[i].to].v=u;
                    if(!inq[e[i].to]){
                        q.push(e[i].to);inq[e[i].to]=true;
                    }
                }
        }
        return dis[t]<INF;
    }
    inline int mf(int f){
        int ret=0,d;
        while(f){
            if(!spfa(s)) return -1;
            d=f;
            for(int i=t;i!=s;i=pre[i].v) 
                d=min(d,e[pre[i].e].f);
            ret+=d*dis[t];f-=d;
            for(int i=t;i!=s;i=pre[i].v){
                e[pre[i].e].f-=d;
                e[pre[i].e^1].f+=d;
            }
        }
        return ret;
    }
    inline void Aireen(){
        n=read();m=read();ti=read();
        for(int i=1;i<n;++i)
            for(int j=i+1;j<=n;++j)
                d[i][j]=d[j][i]=INF;
        for(int i=1,j,k,w;i<=m;++i){
            j=read();k=read();w=read();
            d[j][k]=min(d[j][k],w);
        }
        for(int k=1;k<=n;++k)
            for(int i=1;i<=n;++i)
                for(int j=1;j<=n;++j)
                    d[i][j]=min(d[i][j],d[i][k]+d[k][j]);
        t=n+1<<1;s=t-1;
        for(int i=1;i<=n;++i){
            adde(s,i,1,0);
            adde(i+n,i,1,0);
            adde(i+n,t,1,0);
        }
        for(int i=1;i<=n;++i)
            for(int j=1;j<=n;++j)
                if(i!=j&&d[i][j]<INF)
                    adde(i,j+n,1,d[i][j]);
        for(m=1;m<=n;++m){
            f[m]=mf(1);
            if(f[m]<0) break;
            sum[m]=sum[m-1]+f[m];
        }
        --m;
        int l,r,mid;
        while(ti--){
            c=read();
            l=0;r=m;
            while(l<r){
                mid=l+r+1>>1; 
                if(f[mid]<=c) l=mid;
                else r=mid-1;
            }
            printf("%d
    ",sum[l]+c*(n-l));
        }
    }
    int main(){
        freopen("road.in","r",stdin);
        freopen("road.out","w",stdout);
        Aireen();
        fclose(stdin);
        fclose(stdout);
        return 0;
    }
  • 相关阅读:
    composer npm bower 版本依赖符号说明
    FastAdmin 速极后台框架从 v1.0 到 v1.2 的数据库升级
    FastAdmin 也可以出书了
    FastAdmin 开发时用到的 Git 命令 (2020-09-26)
    FastAdmin用什么弹窗组件
    笔记:Linux 文件权限
    笔记:使用源代码在 Centos 7 安装 Git 2
    php gd 生成表格 图片
    easyui datagrid 清空
    mysql 去重
  • 原文地址:https://www.cnblogs.com/AireenYe/p/6278066.html
Copyright © 2011-2022 走看看