1. 求证: 任一棵树均为一个二部图.
[证明]
(法1)
下面使用数学归纳法进行证明:
设 T T T 为树, ∣ E ( T ) ∣ = 1. |E(T)| = 1. ∣E(T)∣=1. X , Y ⊂ V ( T ) , X ∩ Y = ∅ X,Y \subset V(T), X\cap Y = \empty X,Y⊂V(T),X∩Y=∅.
将 T T T 的唯一一条边的两个顶点分别归于 X , Y X,Y X,Y , T T T 显然是一个二部图.
设 ∣ E ( T ) ∣ ⩽ k − 1 |E(T)| \leqslant k-1 ∣E(T)∣⩽k−1 时结论仍然成立:
∣ E ( T ) ∣ = k |E(T)| = k ∣E(T)∣=k 时: 设 x x x 为某一个度数为 1 1 1 的顶点. 可知: ∣ E ( T − x ) = k − 1 ∣ |E(T-x) = k-1| ∣E(T−x)=k−1∣. 由归纳假设知: T − x T-x T−x 是一个二部图.
将 x x x 归于与其邻接的顶点所属的不同的顶点集中, T T T 依然满足称为二部图的条件, 证毕. ■ \blacksquare ■
(法2)
沿用法1记号和规定. 我们采取以下的方法对 T T T 中的点进行归类:
将起始点归入 X X X 中, 向下遍历每一条边, 总是将边的两个顶点归于不同的集合中. 这样, 即得到了满足二部图判别条件的两个顶点子集. 若不然, 则总可找到一个圈, 这和 “树” 的定义矛盾. ■ \blacksquare ■
2. 分别画出两个边数最大的完全二部图 K 6 . K 7 K_6.K_7 K6.K7.
[解]
设完全二部图的顶点集被分类为: { X , Y } \{X,Y\} {X,Y}.
由完全二部图定义可立即确定最大边数:
E M = max { m ( l − m ) } : m ∈ N + , m < l E_M = \max\{m(l-m)\}: m \in \mathbb{N^+}, m
计算得出: E M ( K 6 ) = 9 , E M ( K 7 ) = 12 E_M(K_6) = 9, E_M(K_7) = 12 EM(K6)=9,EM(K7)=12.
并且可对应绘出图: 其中 ∣ X ∣ = m , ∣ Y ∣ = l − m |X| = m, |Y| = l-m ∣X∣=m,∣Y∣=l−m.
3. 设 G G G 为连通图. 设 C C C 为 G G G 的一个子圈, e e e 为 C C C 的一条边. 求证: G − e G-e G−e 仍为连通图.
[证明]
设 e e e 和 u , v u,v u,v 关联. 对于 G G G 中的每一条路, 它们或经过 e e e, 或不经过 e e e.
对于所有原来不经过 e e e 的路: 从 G G G 中删去 e e e 后它们的连通性显然不变.
对于所有原来需经过 e e e 的路: 由圈的结构知: 删去 e e e 后的环在连通性上和 e e e 等价. 故它们的连通性也不受影响.
综上: G − e G-e G−e 仍为一个连通图. ■ \blacksquare ■
4. 当且仅当 G G G 的每一个分支均为二部图时, G G G 为一个二部图.
[证明]
引理: 二部图的子图均为二部图.
“ ⇐ \Leftarrow ⇐”
因二部图 G G G 的分支为 G G G 的子图, 由引理: 显见其分支均为二部图.
“ ⇒ \Rightarrow ⇒”
设 G 1 G_1 G1 为 G G G 的其中一个分支, 它是二部图. 设 G \ G 1 = V 1 + G 1 ′ G\backslash G_1 = V_1+ G'_1 G\G1=V1+G1′, G 1 ′ G'_1 G1′ 为所有 G \ G 1 G\backslash G_1 G\G1 中孤立的连通图所组成的集合.
由定义知: G 1 ′ G'_1 G1′ 中每一个元素均为 G G G 的分支, V 1 V_1 V1 为孤立点集.
由假设知: G G G 所有的分支均为二部图, 且它们不是连通的.
设
V ( G 1 ) = X 1 ∩ Y 1 , G 1 ′ = { G 1 ′ , G 2 ′ , ⋯ , G k ′ } , V ( G i ′ ) = X i ′ ∩ Y i , i = 1 , 2 , ⋯ , k . V(G_1) = X_1\cap Y_1, G'_1 = \{G'_1, G'_2, \cdots,G'_k\}, V(G'_i) = X'_i \cap Y_i,~~~ i= 1,2,\cdots, k. V(G1)=X1∩Y1,G1′={G1′,G2′,⋯,Gk′},V(Gi′)=Xi′∩Yi, i=1,2,⋯,k.
取
X = X 1 ∩ ( ⋂ i = 1 , 2 , ⋯ , k X i ) , Y = Y 1 ∩ V 1 ∩ ( ⋂ i = 1 , 2 , ⋯ , k Y i ) X = X_1\cap (\bigcap_{i = 1,2,\cdots,k}X_i), ~~~ Y = Y_1\cap V_1 \cap (\bigcap_{i = 1,2,\cdots,k}Y_i) X=X1∩(i=1,2,⋯,k⋂Xi), Y=Y1∩V1∩(i=1,2,⋯,k⋂Yi)
且
X ∪ Y = V ( G ) . X\cup Y = V(G). X∪Y=V(G).
故找到了这样的顶点子集 X , Y X, Y X,Y, 使得 E ( G ) E(G) E(G) 中任一条边的两个顶点分别位于 X , Y X, Y X,Y 中. 由定义知: G G G 为一个二部图. ■ \blacksquare ■
5. 设 G G G 为一个 n n n 个顶点的 l l l 部图, 求证: ∣ E ( G ) ∣ ⩽ ∣ E ( T ( l , n ) ) ∣ |E(G)| \leqslant |E(T_{(l,n)})| ∣E(G)∣⩽∣E(T(l,n))∣.
6. 设 G G G 为一个 n n n 个顶点, 不含 C 4 C_4 C4 为子图的图. 求证:
i. ∑ x ∈ V ( G ) ( d ( x ) 2 ) ⩽ ( n 2 ) \sum_{x \in V(G)}\binom{d(x)}{2}\leqslant \binom{n}{2} ∑x∈V(G)(2d(x))⩽(2n).
ii. ∣ E ( G ) ∣ ⩽ n 4 ( 1 + 4 n − 3 ) |E(G)| \leqslant \frac{n}{4}(1 + \sqrt{4n-3}) ∣E(G)∣⩽4n(1+4n−3).
[证明]
设 G ′ G' G′ 为 n n n 个顶点的完全 l l l 部图. 由定义知: ∣ E ( G ) ∣ ⩽ ∣ E ( G ′ ) ∣ |E(G)| \leqslant |E(G')| ∣E(G)∣⩽∣E(G′)∣.
不妨设 G ′ = K n 1 n 2 ⋯ n l G' = K_{n_1n_2\cdots n_l} G′=Kn1n2⋯nl, T ( l , n ) = K m 1 m 2 ⋯ m l T_{(l,n)}{} = K_{m_1m_2\cdots m_l} T(l,n)=Km1m2⋯ml 由完全 l l l 部图定义:
∣ E ( G ′ ) ∣ = ∑ j = 1 l − 1 ∏ i = j l n i . |E(G')| = \sum_{j=1}^{l-1}\prod_{i=j}^{l}n_i. ∣E(G′)∣=j=1∑l−1i=j∏lni.
因
n 1 + n 2 + ⋯ + n l = m 1 + m 2 + ⋯ + m l = n n_1 + n_2 + \cdots + n_l = m_1 + m_2 + \cdots + m_l = n n1+n2+⋯+nl=m1+m2+⋯+ml=n
∑ j = 1 l − 1 ∏ i = j l n i . ⩽ q 2 ( 1 − q l − 1 ) 1 − q , q = n l \sum_{j=1}^{l-1}\prod_{i=j}^{l}n_i. \leqslant \frac{q^2(1-q^{l-1})}{1-q}, q = \frac{n}{l} j=1∑l−1i=j∏lni.⩽1−qq2(1−ql−1),q=ln
m 1 , m 2 , ⋯ , m l m_1,m_2,\cdots ,m_l m1,m2,⋯,ml 之间相差越小, 原式结果越大.
故由平衡完全r部图定义: ∣ E ( G ) ∣ ⩽ ∣ E ( T ( l , n ) ) ∣ |E(G)| \leqslant |E(T_{(l,n)})| ∣E(G)∣⩽∣E(T(l,n))∣.
i.
( d ( x ) 2 ) \binom{d(x)}{2} (2d(x)) 表示对任意顶点 x x x, 经过 x x x 所构成的, 连接 x x x 的任两个与 x x x 邻接的顶点的, 长为 2 2 2 的路的条数, ∑ x ∈ V ( G ) ( d ( x ) 2 ) \sum_{x \in V(G)}\binom{d(x)}{2} ∑x∈V(G)(2d(x)) 对 G G G 中所有的这样的长为 2 2 2 的路进行了计数.
而长为 4 4 4 的圈 C 4 C_4 C4 由两条长为 2 2 2 的路组成. 因此, 对于 G G G 中的任两个点, 最多有且仅有一条长为 2 2 2 的路, 否则会出现 C 4 C_4 C4, 与原假设矛盾.
在最极端的情况下, G G G 中任意两个顶点之间恰好存在一条长为 2 2 2 的路. 此时其长度为 ( n 2 ) \binom n2 (2n), 这是满足条件的 G G G 中长为 2 2 2 的路的最大条数.
故有不等式:
∑ x ∈ V ( G ) ( d ( x ) 2 ) ⩽ ( n 2 ) \sum_{x \in V(G)}\binom{d(x)}{2}\leqslant \binom{n}{2} x∈V(G)∑(2d(x))⩽(2n)
成立. ■ \blacksquare ■
ii.
由 i :
∑ x ∈ V ( G ) ( d ( x ) 2 ) ⩽ ( n 2 ) . \sum_{x \in V(G)}\binom{d(x)}{2}\leqslant \binom{n}{2}. x∈V(G)∑(2d(x))⩽(2n).
即:
∑ x ∈ V ( G ) d ( x ) ⋅ ( d ( x ) − 1 ) = ∑ x ∈ V ( G ) d 2 ( x ) − ∑ x ∈ V ( G ) d ( x ) ⩽ n ( n − 1 ) \sum_{x\in V(G)}d(x) \cdot (d(x)-1) = \sum_{x\in V(G)}d^2(x) - \sum_{x \in V(G)}d(x) \leqslant n(n-1) x∈V(G)∑d(x)⋅(d(x)−1)=x∈V(G)∑d2(x)−x∈V(G)∑d(x)⩽n(n−1)
由 Cauchy-Schwarz 不等式:
∑ x ∈ V ( G ) d 2 ( x ) ⩾ 1 n ∑ x ∈ V ( G ) 2 d ( x ) \sum_{x\in V(G)}d^2(x)\geqslant \frac{1}{n}{\sum_{x\in V(G)}}^2d(x) x∈V(G)∑d2(x)⩾n1x∈V(G)∑2d(x)
由握手引理:
∑ x ∈ V ( G ) d ( x ) = 2 ∣ E ( G ) ∣ \sum_{x\in V(G)}d(x) = 2|E(G)| x∈V(G)∑d(x)=2∣E(G)∣
故
1 n 4 ∣ E ( G ) ∣ 2 − 2 ∣ E ( G ) ∣ ⩽ n 2 − n \frac{1}{n}4|E(G)|^2 - 2|E(G)|\leqslant n^2-n n14∣E(G)∣2−2∣E(G)∣⩽n2−n
( ∣ E ( G ) ∣ − 1 4 n ) 2 ⩽ n 2 ⋅ 4 n − 3 16 (|E(G)|-\frac{1}{4}n)^2 \leqslant n^2\cdot \frac{4n-3}{16} (∣E(G)∣−41n)2⩽n2⋅164n−3
∣ E ( G ) ∣ ⩽ 1 4 n + n ⋅ 4 n − 3 4 |E(G)| \leqslant \frac{1}{4}n + \frac{n\cdot \sqrt{4n-3}}{4} ∣E(G)∣⩽41n+4n⋅4n−3
即
∣ E ( G ) ∣ ⩽ n 4 ( 1 + 4 n − 3 ) . |E(G)| \leqslant \frac{n}{4}(1 + \sqrt{4n-3}). ∣E(G)∣⩽4n(1+4n−3).
■ \blacksquare ■
7. 设 G G G 为有 n n n 个顶点的图, G C G^C GC 为 G G G 的补图. 求证: χ ( G ) ⋅ χ ( G C ) ⩾ n \chi(G)\cdot \chi(G^C) \geqslant n χ(G)⋅χ(GC)⩾n.
[证明]
记 G G G 的团 H H H 在 G C G^C GC 中所对应的图为 H C H^C HC. 由定义可知: 对任意的 H H H, H C H^C HC 均为 G C G^C GC 的稳定集. 且可知: ω ( G ) = α ( G C ) . \omega(G) = \alpha(G^C). ω(G)=α(GC).
故由图的色数不等式得: χ ( G ) ⋅ χ ( G C ) ⩾ m a x { ω ( G ) , ∣ V ( G ) ∣ α ( G ) } ⋅ m a x { ω ( G C ) , ∣ V ( G C ) ∣ α ( G C ) } = n . \chi(G) \cdot \chi(G^C) \geqslant max\{\omega(G), \frac{|V(G)|}{\alpha(G)}\}\cdot max\{\omega(G^C), \frac{|V(G^C)|}{\alpha(G^C)}\} = n. χ(G)⋅χ(GC)⩾max{ω(G),α(G)∣V(G)∣}⋅max{ω(GC),α(GC)∣V(GC)∣}=n.
8. 设 G G G 为一个图, G 1 , G 2 G_1, G_2 G1,G2 为它的两个诱导子图, 使得:
V ( G 1 ) ∪ V ( G 2 ) = V ( G ) , E ( G 1 ) ∪ E ( G 2 ) = E ( G ) , ∣ V ( G 1 ) ∩ V ( G 2 ) ∣ = 1. V(G_1)\cup V(G_2) = V(G), E(G_1)\cup E(G_2) = E(G),\\ |V(G_1) \cap V(G_2)| = 1. V(G1)∪V(G2)=V(G),E(G1)∪E(G2)=E(G),∣V(G1)∩V(G2)∣=1.
求证: χ ( G ) = m a x { χ ( G 1 ) , χ ( G 2 ) } \chi(G) = max\{\chi(G_1), \chi(G_2)\} χ(G)=max{χ(G1),χ(G2)}.
[证明]
不妨设
χ ( G 1 ) > χ ( G 2 ) , V ( G 1 ) ∩ V ( G 2 ) = { x } \chi(G_1) > \chi(G_2), V(G_1)\cap V(G_2) = \{x\} χ(G1)>χ(G2),V(G1)∩V(G2)={x}
对于 G G G:
χ ( G 1 \ { x } ) ⩾ χ ( G 1 ) − 1 ; \chi({G_1\backslash \{x\}}) \geqslant \chi(G_1)-1; χ(G1\{x})⩾χ(G1)−1;
由于
χ ( G 2 \ { x } ∪ { x } ) = χ ( G 2 ) ⩽ χ ( G 1 ) \chi({G_2\backslash \{x\} \cup \{x\}}) = \chi(G_2) \leqslant \chi(G_1) χ(G2\{x}∪{x})=χ(G2)⩽χ(G1)
故一定可以用 χ ( G 1 ) \chi(G_1) χ(G1) 种颜色将 G 1 , G 2 G_1, G_2 G1,G2 染色. 即:
χ ( G ) ⩽ m a x { χ ( G 1 ) , χ ( G 2 ) } . \chi(G) \leqslant max\{\chi(G_1), \chi(G_2)\}. χ(G)⩽max{χ(G1),χ(G2)}.
由命题 5-1.2知:
χ ( G ) ⩾ m a x { χ ( G 1 ) , χ ( G 2 ) } . \chi(G) \geqslant max\{\chi(G_1), \chi(G_2)\}. χ(G)⩾max{χ(G1),χ(G2)}.
故
χ ( G ) = m a x { χ ( G 1 ) , χ ( G 2 ) } . \chi(G) = max\{\chi(G_1), \chi(G_2)\}. χ(G)=max{χ(G1),χ(G2)}.
9. 设 G G G 为一个色数为 k k k 的图, ϕ \phi ϕ 为 G G G 的一个 k k k-染色. 求证: 对任意 i = 1 , 2 , ⋯ , k i = 1,2,\cdots, k i=1,2,⋯,k, ϕ − 1 ( i ) \phi^{-1}(i) ϕ−1(i) 有一个顶点, 它在 ϕ − 1 ( j ) \phi^{-1}(j) ϕ−1(j) 中有邻居. ( i ≠ j i \neq j i=j)
[证明]
设对任意 i = 1 , 2 , ⋯ , k i = 1,2,\cdots ,k i=1,2,⋯,k, ϕ − 1 ( i ) \phi^{-1}(i) ϕ−1(i) 的任何一个顶点不全和上了其他颜色的顶点邻接. 故在 ϕ − 1 ( i ) \phi^{-1}(i) ϕ−1(i) 的所有点, 总可以在 k − 1 k-1 k−1 种其余颜色中, 总可以找到一个和 i i i 不同的颜色, 将其上色. 故 χ ( G ) = k − 1 \chi(G) = k-1 χ(G)=k−1, 和条件矛盾. 因此原结论成立. ■ \blacksquare ■
10. 设 G G G 为一个图, M M M 为一个匹配, P P P 为 G G G 的一个非平凡 M M M-可扩路. 求证:
( M ∪ E ( P ) ) \ ( M ∩ E ( P ) ) (M\cup E(P))\backslash (M\cap E(P)) (M∪E(P))\(M∩E(P))
仍然为一个匹配, 但它比 M M M 多一条边.
[证明]
由于 P P P 为 G G G 的一条非平凡 M M M-可扩路, 其路长必为奇数. 不妨假设 ∣ E ( P ) ∣ = 2 k + 1 |E(P)| = 2k + 1 ∣E(P)∣=2k+1. 其中, 有 k k k 条路属于 M M M, k + 1 k+1 k+1 条路属于 E ( G ) \ M E(G)\backslash M E(G)\M.
由 M M M-可扩路的定义知:
∣ ( M ∪ E ( P ) ) \ ( M ∩ E ( P ) ) ∣ = ∣ M ∣ + k + 1 − k = ∣ M + 1 ∣ . |(M\cup E(P))\backslash (M\cap E(P))| = |M| + k + 1 - k = |M + 1|. ∣(M∪E(P))\(M∩E(P))∣=∣M∣+k+1−k=∣M+1∣.
下证其仍然为一个匹配:
不妨假设在 ( M ∪ E ( P ) ) \ ( M ∩ E ( P ) ) (M\cup E(P))\backslash (M\cap E(P)) (M∪E(P))\(M∩E(P)) 中存在一对相互邻接的边, 显见它们一定不全属于 M M M.
若其中有一条属于 M M M, 另外一条属于 E ( P ) \ ( M ∪ E ( P ) ) E(P)\backslash (M\cup E(P)) E(P)\(M∪E(P)) 或两条边均属于 E ( P ) \ ( M ∪ E ( P ) ) E(P)\backslash (M\cup E(P)) E(P)\(M∪E(P)), 由 M M M-可扩路定义知: 这样的两条边不存在.
故由定义知: 在 ( M ∪ E ( P ) ) \ ( M ∩ E ( P ) ) (M\cup E(P))\backslash (M\cap E(P)) (M∪E(P))\(M∩E(P)) 中找不到一对相互邻接的边, 它仍是一个匹配. ■ \blacksquare ■
11. 设 G G G 为二部图. 求证: G G G 存在一个包含每一个具有最大度数的顶点的匹配.
[证明]
不妨设 M M M 为一个包含了最多最大度顶点的匹配, 设 X , Y X, Y X,Y 为 G G G 的分割集. 假设 u ∈ v ( G ) u\in v(G) u∈v(G) 为其中一个最大度顶点, 但并不被匹配 M M M 包含. 不失一般性, 设 u ∈ X u\in X u∈X. 设 u ˉ \bar{u} uˉ 为一个包含了所有在一条 M M M-可扩路中的顶点, 令 S = U ˉ ∩ X , T = U ˉ ∩ Y S = \bar{U}\cap X, T = \bar{U}\cap Y S=Uˉ∩X,T=Uˉ∩Y.
首先, 每一个 S S S 中的顶点度数均为 Δ ( G ) \Delta(G) Δ(G). 否则, 设 x ∈ S , d G ( x ) < k x\in S, d_{G}(x)
其次, ∣ S ∣ = ∣ T ∣ + 1 , ⋃ x ∈ S N G ( x ) = T |S| = |T| + 1, \bigcup_{x\in S}N_{G}(x) = T ∣S∣=∣T∣+1,⋃x∈SNG(x)=T, 因为 M M M 为一个最大匹配.
现在有: ∣ S ⋅ k = ∑ x ∈ S d G ( x ) ⩽ ∑ y ∈ T d G ( y ) ⩽ ∣ T ∣ ⋅ k = ( ∣ S ∣ − 1 ) k |S\cdot k = \sum_{x\in S}d_{G}(x)\leqslant \sum_{y\in T}d_{G}(y)\leqslant |T|\cdot k = (|S|-1)k ∣S⋅k=∑x∈SdG(x)⩽∑y∈TdG(y)⩽∣T∣⋅k=(∣S∣−1)k, 矛盾.
12. 设 G G G 为二部图, k = Δ ( G ) k = \Delta(G) k=Δ(G). 假设 k > 0 k>0 k>0. 求证: G G G 有一个大小至少为 ∣ E ( G ) ∣ k \frac{|E(G)|}{k} k∣E(G)∣ 的匹配.
[证明]
先证明一个引理:
[引理] 设二部图 G G G, 记 k = Δ ( G ) k = \Delta(G) k=Δ(G). 则总能找到 k k k 个匹配, 使得它们的并等于 G G G 的边集 E ( G ) E(G) E(G).
[引理证明]
对 k k k 使用数学归纳法:
k = 1 k = 1 k=1 时: 显然结论成立.
k = n − 1 k = n-1 k=n−1: 假设原结论仍然成立. 下面考察 k = n k = n k=n 的情况:
因为在最大度数为 n n n 的图 G G G 中, 将属于 M M M 中的边删去, 即得到一个子图 G 1 G_1 G1, 且 Δ ( G 1 ) = n − 1 \Delta(G_1) = n-1 Δ(G1)=n−1, 故由归纳假设和问题 1 1 1 结论知: G 1 G_1 G1 中存在 n − 1 n-1 n−1 个匹配, 它们的并即为 E ( G 1 ) E(G_1) E(G1). 显然, E ( G ) = E ( G 1 ) ∪ M E(G) = E(G_1)\cup M E(G)=E(G1)∪M. 故原结论对任意正整数 k ⩾ 1 k\geqslant 1 k⩾1 成立. 即: 引理成立.
回到问题上来: 由鸽笼原理, 若这 k k k 个匹配的大小均小于 E ( G ) k \frac{E(G)}{k} kE(G), 则其并集的大小必小于 E ( G ) E(G) E(G), 矛盾. 故至少存在一个匹配, 其大小大于等于 E ( G ) k \frac{E(G)}{k} kE(G), 证毕. ■ \blacksquare ■
13. 设 G G G 为一个分割集为 X , Y X,Y X,Y 的二部图.
设 t = min x ∈ X d G ( x ) , s = max y ∈ Y d G ( y ) t = \min_{x\in X}d_{G}(x), s = \max_{y\in Y}d_{G}(y) t=minx∈XdG(x),s=maxy∈YdG(y). 求证: 若 t ⩾ s t\geqslant s t⩾s, 则 G G G 存在一个包含 X X X 中全部顶点的匹配.
[证明]
由 d G ( X ) , d G ( Y ) ⩾ 1 d_{G}(X), d_{G}(Y) \geqslant 1 dG(X),dG(Y)⩾1:
故 X X X 中的每一个顶点至少和 Y Y Y 中的一个顶点连接.
由 t ⩾ s t \geqslant s t⩾s: ∣ X ∣ > ∣ Y ∣ |X| > |Y| ∣X∣>∣Y∣. 根据鸽笼原理:
因此必存在一个单射 ψ \psi ψ, 将 X X X 中的每一个不同顶点唯一地映到 Y Y Y 中的某个顶点.
14. 设整数 n ⩾ 2 n \geqslant 2 n⩾2. 对每一个 i ∈ [ n ] i \in [n] i∈[n], S i = [ n ] \ { i } S_{i} = [n]\backslash \{i\} Si=[n]\{i}. 求证: { S i ; i ∈ [ n ] } \{S_i;i\in [n]\} {Si;i∈[n]} 存在一个相异代表系.
[证明]
由 S i S_i Si 的结构知: { S i ; i ∈ [ n ] } \{S_i; i\in [n]\} {Si;i∈[n]} 中每一个元素 S i S_i Si, 均满足 ∣ S i ∣ = n − 1 |S_i| = n-1 ∣Si∣=n−1, 且 S i ∪ S j = [ n ] , i f i ≠ j S_i \cup S_j = [n], ~ ~if ~ ~ i\neq j Si∪Sj=[n], if i=j.
故对 t ∈ [ n ] t \in [n] t∈[n]: { S i ; i ∈ [ n ] } \{S_i; i\in [n]\} {Si;i∈[n]} 中任何 t t t 个集合的并集均包含至少 t t t 个元素.
故知: { S i ; i ∈ [ n ] } \{S_i; i\in [n]\} {Si;i∈[n]} 存在一个相异代表系. ■ \blacksquare ■