霍尔定理

• 每个B部分的点都有自己可以分配到的A点，当希望给\(A\)部分的每个点都分配\(k\)个属于\(B\)部分的点，则当且仅当任选\(x\)个\(A\)点，都有大于等于\(kx\)个B点满足至少有一个\(A\)点可以匹配到这个点
• 当希望给\(A\)部分的每个点都分配\(k\)个属于\(B\)部分的点，但是最多可以有\(a\)个点失配，则当且仅当任选\(x\)个\(A\)点，都有大于等于\(k(x-a)\)个B点满足至少有一个\(A\)点可以匹配到这个点