Unverified Commit 5a184b43 authored by ir1d's avatar ir1d
Browse files

feat: add Hall 定理

parent 517d725a
Loading
Loading
Loading
Loading
+4 −0
Original line number Diff line number Diff line
@@ -31,6 +31,10 @@

### 二分图匹配

#### 霍尔定理

设二部图 $G=<V_1, V_2, E>, |V_1| \leq |V_2|$,则 $G$ 中存在 $V_1$ 到 $V_2$ 的完备匹配当且仅当对于任意的 $S \subset V_1$,均有 $|S|\leq|N(S)|$,其中 $N(S)=\Cup_{v_i \in S}{N(V_i)}$,是 $S$ 的邻域。

#### 最大匹配

#### 最大权匹配