一.基础概念
1.定义：
如果一个图的所有顶点可以被分成两个集合U和V，使得每条边连接的两个顶点都分别属于两个不同的集合，那么这个图就是一个二分图（Bipartite Graph）。
2.性质：
- 每个偶环都是二分图
- 如果一个二分图中存在奇环，则它不是二分图。
二.霍尔定理
前言：在hloj上有这个内容，不知道是干嘛的，但是反正就是学了一下，觉得用处还挺大
附带一个将Hall定理的好博客：https://www.cnblogs.com/wenyutao1/p/17784455.html
1.内容：
对于一个二分图，不妨假设左部节点个数n小于等于右部节点个数m，那么这个二分
图存在完美匹配（也就是匹配数为n）当且仅当我们从左部选出任意k(1≤k≤