二分图最大权匹配——KM算法

前言

• 这东西虽然我早就学过了，但是最近才发现我以前学的是假的，心中感慨万千（雾），故作此篇。

  简介

• 带权二分图：每条边都有权值的二分图
• 最大权匹配：使所选边权和最大的匹配
• KM算法，全称Kuhn-Munkres算法，是用于解决最大权匹配的一种算法。

• 根据我的理解，该算法算是一种基于贪心的松弛算法，它通过设置顶标将原问题转化为求一个完备匹配（完备匹配：匹配数=min(左部点数，右部点数））。

  流程

• 设左部中点\(x\)的顶标\(wx_x\)、右部中点\(y\)的顶标\(wy_y\)。初始时\(wx_u=\max\{w_{u,v}\}\)，\(wy_v=0\)。
• 我们扫一遍左部，每扫到一个\(x\)点，尝试增广，我们只能走满足条件\(wx_u+wy