紫书网络流上的题目,上面的题目简述与分析挺清楚。
给n各点(n<=100)的有向带权图,找若干个有向圈,每个点恰好属于一个圈。要求权和尽量小。若找到,则输出最小的权值,否则输出‘N’。注意及时(u,v)和(v,u)都存在,它们的权值也不一定相同。
每个点恰好属于一个圈,意味着每个点都有一个唯一的后继。反过来,只要每个点都有唯一的后继,每个点一定恰好属于一个圈。“每个东西恰好有唯一的……”让我们想到了二分图匹配。把每个点i拆成Xi和Yi,原图中的有向边u->v对应二分图中的边Xu->Yv,则题目转化为了这个二分图上的最小权完美匹配问题。
Xi就像每个点的尾巴,Yi就像每个点的头,Xu->Yv就是指u的尾巴可以和v的头相连,最小权完美匹配就是让每个尾巴都能且只能找到一个头,同时满足匹配的代价最小。
拆点法,用最小费最大流求最小权完美匹配。
将所有Xi连到源点,容量为1,费用为0。将所有Yi连到汇点,容量为1,费用为0。连Xu->Yv时,容量为1,费用为权值。跑一个从源点到汇点的最小费用最大流,若最大流为点的个数(此时从源点出发的弧与进入汇点的弧都满载)则存在完美匹配,且此时的花费为最小费用,否则不存在完美匹配。
附上渣代码
#include<stdio.h>
#include<vector>
#include<queue>
#inc