BZOJ 1266: [AHOI2006]上学路线route

Description

可可和卡卡家住合肥市的东郊，每天上学他们都要转车多次才能到达市区西端的学校。直到有一天他们两人参加了学校的信息学奥林匹克竞赛小组才发现每天上学的乘车路线不一定是最优的。 可可：“很可能我们在上学的路途上浪费了大量的时间，让我们写一个程序来计算上学需要的最少时间吧！” 合肥市一共设有N个公交车站，不妨将它们编号为1…N的自然数，并认为可可和卡卡家住在1号汽车站附近，而他们学校在N号汽车站。市内有M条直达汽车路线，执行第i条路线的公交车往返于站点pi和qi之间，从起点到终点需要花费的时间为ti。(1<=i<=M, 1<=pi, qi<=N) 两个人坐在电脑前，根据上面的信息很快就编程算出了最优的乘车方案。然而可可忽然有了一个鬼点子，他想趁卡卡不备，在卡卡的输入数据中删去一些路线，从而让卡卡的程序得出的答案大于实际的最短时间。而对于每一条路线i事实上都有一个代价ci：删去路线的ci越大卡卡就越容易发现这个玩笑，可可想知道什么样的删除方案可以达到他的目的而让被删除的公交车路线ci之和最小。
[任务] 编写一个程序：
 计算出实际上可可和卡卡上学需要花费的最少时间；
 帮助可可设计一个方案，删除输入信息中的一些公交路线，使得删除后从家到学校需要的最少时间变大，而被删除路线的ci和最小；向输出文件输出答案。

Input

输入文件中第一行有两个正整数N和M，分别表示合肥市公交车站和公交汽车路线的个数。以下M行，每行（第i行，总第(i+1)行）用四个正整数描述第i条路线：pi, qi, ti, ci；具体含义见上文描述。

Output

输出文件最多有两行。 第一行中仅有一个整数，表示从可可和卡卡家到学校需要的最短时间。 第二行输出一个整数C,表示Ci之和

Sample Input

6 7

1 2 1 3

2 6 1 5

1 3 1 1

3 4 1 1

4 6 1 1

5 6 1 2

1 5 1 4

Sample Output

2

5

HINT

2<=N<=500, 1<=M<=124 750, 1<=ti, ci<=10 000
合肥市的公交网络十分发达，你可以认为任意两个车站间都可以通过直达或转车互相到达，当然如果在你提供的删除方案中，家和学校无法互相到达，那么则认为上学需要的最短为正无穷大：这显然是一个合法的方案。

分析

Q1，直接spfa
Q2，把所有的最短路的路径连边，然后求最小割。

代码

#include <bits/stdc++.h>

#define N 5005
#define INF 0x7fffffff

struct NOTE
{
    int to,next,c,t;
}e[N*1000],es[N*1000];

int dis[N];
int head[N],last[N],cur[N];
bool vis[N];
int cnt=1,tot=0;
int ans,s,t,n,m;

std::queue<int> q;

int read()
{
    int x=0,k=1;
    char ch;
    ch=getchar();
    while(ch<'0' || ch>'9'){if(ch=='-') k=-1;ch=getchar();}
    while(ch>='0' && ch<='9'){x=x*10+ch-'0';ch=getchar();}
    return x*k;
}

void add(int x,int y,int t,int c)
{
    es[++tot].to=y;es[tot].c=c;es[tot].t=t;es[tot].next=head[x];head[x]=tot;
    es[++tot].to=x;es[tot].c=c;es[tot].t=t;es[tot].next=head[y];head[y]=tot;
}

void radd(int x,int y,int c)
{
    e[++cnt].to=y;e[cnt].c=c;e[cnt].next=last[x];last[x]=cnt;
    e[++cnt].to=x;e[cnt].c=0;e[cnt].next=last[y];last[y]=cnt;
}

void spfa()
{
    memset(dis,127,sizeof(dis));
    dis[1]=0;
    vis[1]=1;
    q.push(1);
    while(!q.empty())
    {
        int u=q.front();
        q.pop();
        for(int i=head[u];i;i=es[i].next)
        {
            if(dis[es[i].to]>dis[u]+es[i].t)
            {
                dis[es[i].to]=dis[u]+es[i].t;
                if(!vis[es[i].to])
                {
                    q.push(es[i].to);
                    vis[es[i].to]=1;
                }
            }
        }
        vis[u]=0;
    }
}

void rbuild()
{
    q.push(n);
    memset(vis,0,sizeof(vis));
    vis[n]=1;
    while(!q.empty())
    {
        int u=q.front();
        q.pop();
        for(int i=head[u];i;i=es[i].next)
        {
            if(dis[es[i].to]+es[i].t==dis[u])
            {
                radd(es[i].to,u,es[i].c);
                if(!vis[es[i].to])
                {
                    q.push(es[i].to);
                    vis[es[i].to]=1;
                }
            }
        }
    }
}

bool bfs()
{
    std::queue<int> Q;
    memset(dis,0,sizeof(dis));
    dis[s]=1;
    Q.push(s);
    while(!Q.empty())
    {
        int u=Q.front();
        Q.pop();
        for(int i=last[u];i;i=e[i].next)
        {
            if(e[i].c && !dis[e[i].to])
            {
                dis[e[i].to]=dis[u]+1;
                Q.push(e[i].to);
                if(e[i].to==t)
                    return true;
            }
        }
    }
    return false;
}

int dfs(int x,int maxf)
{
    if(x==t || !maxf)
        return maxf;
    int ret=0;
    for(int &i=cur[x];i;i=e[i].next)
        if(e[i].c && dis[e[i].to]==dis[x]+1)
        {
            int f=dfs(e[i].to,std::min(maxf-ret,e[i].c));
            e[i].c-=f;
            e[i^1].c+=f;
            ret+=f;
            if(ret==maxf)
                break;
        }
    return ret; 
}

void dinic()
{
    while(bfs())
    {
        for(int i=s;i<=t;i++)
            cur[i]=last[i];
        ans+=dfs(s,INF);    
    }
}

int main()
{
    n=read();m=read();
    s=1;t=n;
    for(int i=1;i<=m;i++)
    {
        int x,y,time,c;
        x=read();y=read();time=read();c=read();
        add(x,y,time,c);
    }

    spfa();
    printf("%d\n",dis[n]);

    rbuild();
    dinic();
    printf("%d\n",ans);
}