zoukankan      html  css  js  c++  java
  • 【bzoj1266】[AHOI2006]上学路线route 最短路+最小割

    题目描述

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

    输入

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

    输出

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

    样例输入

    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

    样例输出

    2
    5


    题解

    最短路+最小割

    第一问是裸的最短路,直接上板子。

    首先对答案有影响的只有1~n最短路上的边。

    所以我们需要先求出1~i和i~n最短路,然后判断某条边是否在1~n的最短路上。

    这里用了最好写的Floyd。

    这里边都是无向的,但仔细想想其实是有向的,因为:如果x->y为最短路上的边,那么y->x一定不为最短路上的边。

    证明:假设x->y和y->x都是最短路上的边,那么dis[1][x]+z+dis[y][n]=dis[1][n]=dis[1][y]+z+dis[x][n]

    整理得(dis[1][x]+dis[x][n])+(dis[1][y]+dis[y][n])=2*(dis[1][n]-z)

    假设dis[1][x]+dis[x][n]、dis[1][y]+dis[y][n]均大于dis[1][n]-z,等式必不成立。

    故dis[1][x]+dis[x][n]和dis[1][y]+dis[y][n]必有之一小于等于dis[1][n]-z,这比原来的最短路dis[1][n]更小,所以假设不成立。

    故边都是有向的。

    那么保留这些有向边,容量为ci,跑最小割即可出解。

    #include <cstdio>
    #include <cstring>
    #include <queue>
    #define N 510
    #define M 150010
    #define inf 0x3f3f3f3f
    using namespace std;
    queue<int> q;
    int map[N][N] , x[M] , y[M] , z[M] , c[M] , head[N] , to[M << 2] , val[M << 2] , next[M << 2] , cnt = 1 , s , t , dis[N];
    void add(int x , int y , int z)
    {
    	to[++cnt] = y , val[cnt] = z , next[cnt] = head[x] , head[x] = cnt;
    	to[++cnt] = x , val[cnt] = 0 , next[cnt] = head[y] , head[y] = cnt;
    }
    bool bfs()
    {
    	int x , i;
    	memset(dis , 0 , sizeof(dis));
    	while(!q.empty()) q.pop();
    	dis[s] = 1 , q.push(s);
    	while(!q.empty())
    	{
    		x = q.front() , q.pop();
    		for(i = head[x] ; i ; i = next[i])
    		{
    			if(val[i] && !dis[to[i]])
    			{
    				dis[to[i]] = dis[x] + 1;
    				if(to[i] == t) return 1;
    				q.push(to[i]);
    			}
    		}
    	}
    	return 0;
    }
    int dinic(int x , int low)
    {
    	if(x == t) return low;
    	int temp = low , i , k;
    	for(i = head[x] ; i ; i = next[i])
    	{
    		if(val[i] && dis[to[i]] == dis[x] + 1)
    		{
    			k = dinic(to[i] , min(temp , val[i]));
    			if(!k) dis[to[i]] = 0;
    			val[i] -= k , val[i ^ 1] += k;
    			if(!(temp -= k)) break;
    		}
    	}
    	return low - temp;
    }
    int main()
    {
    	int n , m , i , j , k , ans = 0;
    	scanf("%d%d" , &n , &m);
    	memset(map , 0x3f , sizeof(map));
    	for(i = 1 ; i <= n ; i ++ ) map[i][i] = 0;
    	for(i = 1 ; i <= m ; i ++ ) scanf("%d%d%d%d" , &x[i] , &y[i] , &z[i] , &c[i]) , map[x[i]][y[i]] = map[y[i]][x[i]] = min(map[x[i]][y[i]] , z[i]);
    	for(k = 1 ; k <= n ; k ++ )
    		for(i = 1 ; i <= n ; i ++ )
    			for(j = 1 ; j <= n ; j ++ )
    				map[i][j] = min(map[i][j] , map[i][k] + map[k][j]);
    	s = 1 , t = n;
    	printf("%d
    " , map[s][t]);
    	for(i = 1 ; i <= m ; i ++ )
    	{
    		if(map[s][x[i]] + z[i] + map[y[i]][t] == map[s][t]) add(x[i] , y[i] , c[i]);
    		if(map[s][y[i]] + z[i] + map[x[i]][t] == map[s][t]) add(y[i] , x[i] , c[i]);
    	}
    	while(bfs()) ans += dinic(s , inf);
    	printf("%d
    " , ans);
    	return 0;
    }
    

     

  • 相关阅读:
    聊聊 Java8 以后各个版本的新特性
    如何使用SpringBoot封装自己的Starter
    Git原理入门解析
    Linux磁盘管理:LVM逻辑卷的拉伸及缩减
    LVM在线扩容
    Ubuntu setup Static IP Address
    ubuntu修改主机名
    user.sh
    升级Dell的R810固件版本
    DSET收集ESXi硬件日志
  • 原文地址:https://www.cnblogs.com/GXZlegend/p/6909712.html
Copyright © 2011-2022 走看看