catalog
左侧有l个点[1, l], 右侧有r个点[1, r], 中间有很多无向边(a,b),问最大匹配数,以及匹配情况
以前是for遍历左侧,通过matched数组,尝试让左侧强行与右侧进行匹配(也就是,增广路径,称为:匈牙利算法)
我们先不用考虑这个算法,因为,其实这个算法,本质就是最大流算法。
因此,我们首先,思考如何把这个问题,转换成,最大流问题。
- 无向边(a,b),即左侧与右侧的匹配。转换为: 左侧 -> 右侧,wth=1 的有向边
- 建立虚拟节点beg和ed, 建立 {beg -> 所有左侧点} 和 {所有右侧点 -> ed} 的wth=1 的有向边
此时,这个图/流网络,的最大流,便是 原问题的最大匹配。
这个问题转换最重要,需要你去证明 充要条件
再回顾 匈牙利算法,他每次去找1条增广路径,就对应 最大流的EK算法 每次去找1条路径
{
强行匹配,就对应 最大流的退流(即反向边) } ,其实他就是EK算法。
因为,Dinic比EK快,所以Dinic比匈牙利快。
{
b += l; // b是右侧
add_edge(a, b, 1), add_edge(b, a,