正则二分图根据Hall定理（怎么证？）一定存在完美匹配。
当度数正好为2^k时有O(E)的完美匹配算法，那就是每次做一遍欧拉回路然后把欧拉回路上的边隔一条删一条，最后只剩下N/2条边时就是完美匹配。。。。
真是搞笑。。。
