给以一个图,每个有向边都有两个权值,a,b其中a是保留这条边的花费,b是删除这条边的花费,让你删去一些边使图满足一下要求:
(1)只有一个起点和一个终点
(2)所有的边都是又向的(题目给的就是有向的)
(3)对于起点,出度 = 入度 + 1
(4)对于终点,入度 = 出度 + 1
(5)其他的点 出度 = 入度
求满足要求时的花费最小。
思路:
仔细一看要求,貌似是在求一个“欧拉路”,(但是图不一定是连通的),如果我们直接把t-s连起来就是在求所有出度=入度的最小了,也就是在求一些欧拉回路,第一反应以为是混合欧拉呢,但是对于混合欧拉是用流而不是费用流,而且混合欧拉里面也不设计到费用,但是他们有很大的相似之处,这个题目做了好久,是因为自己想不出来,同时网上的的解题报告很少,并且有的根本就写错了,还有就是网上没有说为什么,只有怎么建图,所以想了好久才明白,思路不怎么好说,我尽量去描述清楚,一边建图一遍说吧。
(1)对于每一条边,我们先选择a,b中最小的加在sum里
//先选择最小的,最为当前的选择,最后在用sum + 调整的代价就行了。
(2)如果a <= b sum += a ,连接边b -> a,流量 1 ,费用b - a
//a小我们选择a,选择a也就是我们当前打算要这条边,此时我们建立b->a是为了反悔的时候用的,b - a 是因为反悔的时候要花费的代价是 b-a,因为有一部分是放在sum里了。
因为我们选择了这条边,此时还要记录度数,我们虽然建的是b->a但度数要这样,in[b]++,
out[a] ++,因为b->a是为了反悔用的,我们的决策是在图里建了一条a->b的边,所以度数是那样存的,不要弄混了。
(3)如果b < a sum += b ,连接边a -> b,流量 1,费用a - b
// b小于a ,当前我们的选择是不连这条边,a -> b 是为了后悔的时候用的,后悔的时候我们只要在花费a - b就可以把不连变成连了,有一个关键地方就是对于这种决策不要计算入度和出度,因为我们选择的是不连边,所以当前的决策里面不设计到度数的改变。
(4)因为我们要把图处理成所有点的出度=入度,所以我们还得吧in[s] ++ ,out[t] ++,
记住只是改度数,而没有去连边,只是虚拟的去连边。
(5)最后我们要设立一个超级原点S和超级汇点T,对于所有点如果in[i] > out[i],
连接 S->i ,流量为in[i] - out[i] ,费用 0,否则连接i->T,流量out[i] - in[i],
费用0。
// 这个位置一定要理解好,不要和混合欧拉混了,混合欧拉是in[i] < out[i],连接
S->i,流量是 (out[i] - in[i]) / 2,混合欧拉是在调整(双向边的)涉及的度数,而咱们这个题目是为了调整单向边涉及的点的度数,并且含有代价在里面,至于为什么连接S-i,和i->T的时候和混合欧拉是反的,是因为我们组开始建图的时候建的都是反边,也就是建的都是反悔的时候才跑的边,所以涉及到反向。
为了理解这个题目我画了集合图来方便大家理解,画的垃圾忘谅解。
跑一边S->T的费用流就可以选择出事l1反悔还是l2反悔了,如果对于l1,l2都不选,那么和这个差不多,只不过是虚线的方向边了,S,T的连点再调换一下,如果都选我们跑边S->T的目的是为了找出我们选择的那一个,因为毕竟l1,l2我们要选一个丢弃一个,如果是在之前我们的去最小决策就正好选了一个,丢弃了一个,那么此时的连个点出度=入度,也就没必要跑费用流了。
下面是代码。
#include<stdio.h> #include<string.h> #include<queue> #define N_node 110 #define N_edge 5000 #define INF 1000000000 using namespace std; typedef struct { int from ,to ,next; int cost ,flow; }STAR; STAR E[N_edge]; int list[N_node] ,tot; int s_x[N_node]; int mer[N_edge]; int in[N_node] ,out[N_node]; void add(int a ,int b ,int c ,int d) { E[++tot].from = a; E[tot].to = b; E[tot].cost = c; E[tot].flow = d; E[tot].next = list[a]; list[a] = tot; E[++tot].from = b; E[tot].to = a; E[tot].cost = -c; E[tot].flow = 0; E[tot].next = list[b]; list[b] = tot; } bool SPFA(int s ,int t ,int n) { for(int i = 0 ;i <= n ;i ++) s_x[i] = INF; int mark[N_node] = {0}; s_x[s] = 0; mark[s] = 1; queue<int>q; q.push(s); memset(mer ,255 ,sizeof(mer)); while(!q.empty()) { int xin ,tou; tou = q.front(); q.pop(); mark[tou] = 0; for(int k = list[tou] ;k; k = E[k].next) { xin = E[k].to; if(s_x[xin] > s_x[tou] + E[k].cost && E[k].flow) { s_x[xin] = s_x[tou] + E[k].cost; mer[xin] = k; if(!mark[xin]) { mark[xin] = 1; q.push(xin); } } } } return mer[t] != -1; } int MCMF_Spfa(int s ,int t ,int n ,int ss) { int maxflow ,mincost ,minflow; maxflow = mincost = 0; while(SPFA(s ,t ,n)) { minflow = INF; for(int i = mer[t] ;i + 1 ;i = mer[E[i].from]) { if(minflow > E[i].flow) minflow = E[i].flow; } for(int i = mer[t] ;i + 1 ;i = mer[E[i].from]) { E[i].flow -= minflow; E[i^1].flow += minflow; mincost += E[i].cost * minflow; } maxflow += minflow; } if(maxflow != ss) return -1; return mincost; } int main () { int tt ,n ,m ,s ,t ,S ,T ,i; int cas = 1; int a ,b ,c ,d; scanf("%d" ,&tt); while(tt--) { scanf("%d %d %d %d" ,&n ,&m ,&s ,&t); S = 0 ,T = n + 1; memset(list ,0 ,sizeof(list)); tot = 1; memset(in ,0 ,sizeof(in)); memset(out ,0 ,sizeof(out)); in[s] ++ ,out[t] ++; int sum = 0; for(i = 1 ;i <= m ;i ++) { scanf("%d %d %d %d" ,&a ,&b ,&c ,&d); if(c <= d) { add(b ,a ,d - c ,1); sum += c; in[b]++ ,out[a] ++; } else { add(a ,b ,c - d ,1); sum += d; } } int ss = 0 ,sss = 0; for(i = 1 ;i <= n ;i ++) { if(in[i] >= out[i]) { add(S ,i ,0 ,in[i] - out[i]); ss += (in[i] - out[i]); } else { add(i ,T ,0 ,out[i] - in[i]); sss += (out[i] - in[i]); } } int ans = MCMF_Spfa(S ,T ,n + 1 ,ss); printf("Case %d: " ,cas ++); if(ans == -1 || ss != sss)puts("impossible"); else printf("%d " ,ans + sum); } return 0; }