定义：分成两部分，只有两部分之间（而非之中）的边。记为 $G=<V_1, V_2, E>$ 。
完全二分图：任意一点和对面都有一条边。
判定和染色的定义：
<aside> 📌 无向图的匹配
匹配：无向图的匹配是指边集中选出的一系列互不相邻的边，组成的集合。
极大匹配：不能再加边，再加边就要相邻的，边集合。
最大匹配：边数最多的极大匹配。
饱和点：一种匹配方案下，有被匹配中的边所连上的顶点为饱和点。每条边会饱和两个点。
完美匹配：如一种匹配方案能让所有的点都饱和（能接上所有的点），则称这个匹配是完美的。
</aside>
二分图的完备匹配：因为二分图可能 $|V_1| \neq |V_2|$ ，所以只要饱和较少点数的一侧就叫完备匹配了（不需要完美）。如果 $|V_1| = |V_2|$ ，那么它是二分图的完美匹配。
二分图完备匹配存在的定理：
注意两个定理的关系： $t条件 \Rightarrow Hall定理条件_{(相异性条件)} \Leftrightarrow 存在完备匹配$ 。也就是说如果不满足 t条件 ，那还需要再看 相异性条件 。
<aside> 📌
应用例
</aside>
<aside> 📌 七桥问题
</aside>
