『毒瘤算法系列11』二分图(二分图匹配·强连通分量)

$\mathrm{P}\mathrm{r}\mathrm{o}\mathrm{b}\mathrm{l}\mathrm{e}\mathrm{m}$

给定一个两侧各有$n$和$m$个点的二分图（保证$n\le m$），对于每条边，你需要判断原图是否存在一个大小为$n$，且包含了这条边的匹配。

$\mathrm{S}\mathrm{o}\mathrm{l}\mathrm{u}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$

首先我们需要进行二分图匹配，若匹配$<n$时直接判定无解。

我们首先思考一下在$n=m$时存在匹配的情况：

• 右边的每一个点都能在左边找到一个匹配。
  
• 左边的每一个点如果需要通过通非匹配边再找到一组合法解的话，我们肯定是要拆散原来哪些合法解的。
  
  这些组合中的点和其它点都是独立的，我们需要思考如何通过某种方式找出这些点。

观察到它和匹配点恰好形成了一个有规则的图形。恰好经过了匹配边，非匹配边，匹配边和非匹配边最后回到自己。那么我们可以采取如下建图方式：

• 若边$(i,j)$是匹配边，从$i$到$j$连一条边。
• 若边$(i,j)$是非匹配边，从 j j