luogu P6113 【模板】一般图最大匹配（带花树）

整理的算法模板合集： ACM模板

---

总结一下带花树算法的流程
1.每次找一个未匹配的点出来增广
2.在增广过程中，如果相邻点是白点，或者是同一朵花中的节点，则直接跳过这个点
3.如果相邻点是一个未被匹配过的白点，证明找到了增广路，沿着原有的pre和match路径，对这一次的匹配结果进行更新
4.如果相邻点是一个被匹配过的白点，那么把这个点的匹配点丢进队列中，尝试能否让这个点的匹配点找到另外一个点进行匹配，从而可以增广。
(以上步骤同匈牙利算法)
5.如果相邻点是一个被匹配过的黑点，证明此时出现了奇环，我们需要将这个环缩成一个黑点。具体的实现过程是：找到他们的最近花公共祖先，也就是他们的花根，同时，沿着当前这两个点一路到花根，将花上的所有节点全部染成黑点（因为一朵花都是黑点），将原来的白点丢进栈中。同时，修改花上所有点的pre，此时，只剩下花根并不与花内的节点相匹配。

这里找到的也是一个增广路，也就是非匹配边和匹配边交替而成的，所以我们往上找他们两个点的lca的时候，就是从x开始往上走一步走到他的匹配点y，然后再走一步走到y的前驱z，这样一步一步地往上走到他们的lca即可。（不断的向上走交替地沿着match和pre边向上）

两个点u和v一次走一个，每走一步，如果另一个点还有的话就交换到另一个点往上走一步一步，交替地往上走。

这样暴力跑是$O(n)$的，但是带花树的总的时间复杂度为$O(n^3)$，所以这里无所谓慢一点。（或者说我们只能这样走）…

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<iostream>
#include<queue>

using namespace std;
const int N = 5007, M = 500007, INF = 0x3f3f3f3f;

int n, m;
int dfn[M];
int low[N], fa[N];
int tim;
int pre[N];//前驱
int match[N];//匹配点
queue<int>q;
int head[N], ver[M