Update odt.md

如果要保证复杂度正确，必须保证数据随机。

证明在 [此](http://codeforces.com/blog/entry/56135?#comment-398940) 。

补充一个更详细的严格证明： [看这里](https://zhuanlan.zhihu.com/p/102786071) 。对于 add，assign 和 sum 操作，用 set 实现的珂朵莉树的复杂度为 $O(n \log \log n)$ ，而用链表实现的复杂度为 $O(n \log n)$ 。

## 正文

算法步骤大致如下：

1\. 首先从任意一个未配对的点 $u$ 开始，选择他的任意一条边（ $u$ - $v$ ），如此时 $v$ 还未配对，则配对成功，配对数加一，若 $v$ 已经配对，则尝试寻找 $v$ 的配对的另一个配对（该步骤可能会被递归的被执行多次），若该尝试成功，则配对成功，配对数加一。

1.首先从任意一个未配对的点 $u$ 开始，选择他的任意一条边（ $u$ - $v$ ），如此时 $v$ 还未配对，则配对成功，配对数加一，若 $v$ 已经配对，则尝试寻找 $v$ 的配对的另一个配对（该步骤可能会被递归的被执行多次），若该尝试成功，则配对成功，配对数加一。

2\. 若果上一步配对不成功，那么选择重新选择一条未被选择过的边，重复上一步。

2.若果上一步配对不成功，那么选择重新选择一条未被选择过的边，重复上一步。

3\. 对剩下每一个没有被配对的点执行步骤 1，直到所有的点都尝试完毕。

3.对剩下每一个没有被配对的点执行步骤 1，直到所有的点都尝试完毕。

用下面的二分图为例：