组合数学作业整理与解题思路总结:图论

本文深入探讨了组合数学中的关键概念,包括证明树为二部图、求解完全二部图的最大边数、验证图的连通性及二部性质、分析图的色数与补图的关系等。通过详细解析典型习题,帮助读者掌握图论的基本解题技巧。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

组合数学作业整理与解题思路总结: 图论

1. 求证: 任一棵树均为一个二部图.

[证明]

(法1)
下面使用数学归纳法进行证明:
TTT 为树, ∣E(T)∣=1.|E(T)| = 1.E(T)=1. X,Y⊂V(T),X∩Y=∅X,Y \subset V(T), X\cap Y = \emptyX,YV(T),XY=.

TTT 的唯一一条边的两个顶点分别归于 X,YX,YX,Y , TTT 显然是一个二部图.

∣E(T)∣⩽k−1|E(T)| \leqslant k-1E(T)k1 时结论仍然成立:

∣E(T)∣=k|E(T)| = kE(T)=k 时: 设 xxx 为某一个度数为 111 的顶点. 可知: ∣E(T−x)=k−1∣|E(T-x) = k-1|E(Tx)=k1. 由归纳假设知: T−xT-xTx 是一个二部图.

xxx 归于与其邻接的顶点所属的不同的顶点集中, TTT 依然满足称为二部图的条件, 证毕. ■\blacksquare


(法2)
沿用法1记号和规定. 我们采取以下的方法对 TTT 中的点进行归类:

将起始点归入 XXX 中, 向下遍历每一条边, 总是将边的两个顶点归于不同的集合中. 这样, 即得到了满足二部图判别条件的两个顶点子集. 若不然, 则总可找到一个圈, 这和 “树” 的定义矛盾. ■\blacksquare



2. 分别画出两个边数最大的完全二部图 K6.K7K_6.K_7K6.K7.

[解]

设完全二部图的顶点集被分类为: {X,Y}\{X,Y\}{X,Y}.

由完全二部图定义可立即确定最大边数:

EM=max⁡{m(l−m)}:m∈N+,m<lE_M = \max\{m(l-m)\}: m \in \mathbb{N^+}, m<lEM=max{m(lm)}:mN+,m<l.

计算得出: EM(K6)=9,EM(K7)=12E_M(K_6) = 9, E_M(K_7) = 12EM(K6)=9,EM(K7)=12.

并且可对应绘出图: 其中 ∣X∣=m,∣Y∣=l−m|X| = m, |Y| = l-mX=m,Y=lm.



3. 设 GGG 为连通图. 设 CCCGGG 的一个子圈, eeeCCC 的一条边. 求证: G−eG-eGe 仍为连通图.

[证明]

eeeu,vu,vu,v 关联. 对于 GGG 中的每一条路, 它们或经过 eee, 或不经过 eee.

对于所有原来不经过 eee 的路: 从 GGG 中删去 eee 后它们的连通性显然不变.

对于所有原来需经过 eee 的路: 由圈的结构知: 删去 eee 后的环在连通性上和 eee 等价. 故它们的连通性也不受影响.

综上: G−eG-eGe 仍为一个连通图. ■\blacksquare



4. 当且仅当 GGG 的每一个分支均为二部图时, GGG 为一个二部图.

[证明]

引理: 二部图的子图均为二部图.

⇐\Leftarrow

因二部图 GGG 的分支为 GGG 的子图, 由引理: 显见其分支均为二部图.

⇒\Rightarrow

G1G_1G1GGG 的其中一个分支, 它是二部图. 设 G\G1=V1+G1′G\backslash G_1 = V_1+ G'_1G\G1=V1+G1, G1′G'_1G1 为所有 G\G1G\backslash G_1G\G1 中孤立的连通图所组成的集合.

由定义知: G1′G'_1G1 中每一个元素均为 GGG 的分支, V1V_1V1 为孤立点集.

由假设知: GGG 所有的分支均为二部图, 且它们不是连通的.


V(G1)=X1∩Y1,G1′={G1′,G2′,⋯ ,Gk′},V(Gi′)=Xi′∩Yi,   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)=X1Y1,G1={G1,G2,,Gk},V(Gi)=XiYi,   i=1,2,,k.

X=X1∩(⋂i=1,2,⋯ ,kXi),   Y=Y1∩V1∩(⋂i=1,2,⋯ ,kYi)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,,kXi),   Y=Y1V1(i=1,2,,kYi)

X∪Y=V(G).X\cup Y = V(G).XY=V(G).
故找到了这样的顶点子集 X,YX, YX,Y, 使得 E(G)E(G)E(G) 中任一条边的两个顶点分别位于 X,YX, YX,Y 中. 由定义知: GGG 为一个二部图. ■\blacksquare



5. 设 GGG 为一个 nnn 个顶点的 lll 部图, 求证: ∣E(G)∣⩽∣E(T(l,n))∣|E(G)| \leqslant |E(T_{(l,n)})|E(G)E(T(l,n)).

6. 设 GGG 为一个 nnn 个顶点, 不含 C4C_4C4 为子图的图. 求证:

i. ∑x∈V(G)(d(x)2)⩽(n2)\sum_{x \in V(G)}\binom{d(x)}{2}\leqslant \binom{n}{2}xV(G)(2d(x))(2n).

ii.∣E(G)∣⩽n4(1+4n−3)|E(G)| \leqslant \frac{n}{4}(1 + \sqrt{4n-3})E(G)4n(1+4n3).

[证明]

  1. G′G'Gnnn 个顶点的完全 lll 部图. 由定义知: ∣E(G)∣⩽∣E(G′)∣|E(G)| \leqslant |E(G')|E(G)E(G).

    不妨设 G′=Kn1n2⋯nlG' = K_{n_1n_2\cdots n_l}G=Kn1n2nl, T(l,n)=Km1m2⋯mlT_{(l,n)}{} = K_{m_1m_2\cdots m_l}T(l,n)=Km1m2ml 由完全 lll 部图定义:
    ∣E(G′)∣=∑j=1l−1∏i=jlni.|E(G')| = \sum_{j=1}^{l-1}\prod_{i=j}^{l}n_i.E(G)=j=1l1i=jlni.

    n1+n2+⋯+nl=m1+m2+⋯+ml=nn_1 + n_2 + \cdots + n_l = m_1 + m_2 + \cdots + m_l = nn1+n2++nl=m1+m2++ml=n
    ∑j=1l−1∏i=jlni.⩽q2(1−ql−1)1−q,q=nl\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=1l1i=jlni.1qq2(1ql1),q=ln
    m1,m2,⋯ ,mlm_1,m_2,\cdots ,m_lm1,m2,,ml 之间相差越小, 原式结果越大.

    故由平衡完全r部图定义: ∣E(G)∣⩽∣E(T(l,n))∣|E(G)| \leqslant |E(T_{(l,n)})|E(G)E(T(l,n)).



  1. i.

    (d(x)2)\binom{d(x)}{2}(2d(x)) 表示对任意顶点 xxx, 经过 xxx 所构成的, 连接 xxx 的任两个与 xxx 邻接的顶点的, 长为 222 的路的条数, ∑x∈V(G)(d(x)2)\sum_{x \in V(G)}\binom{d(x)}{2}xV(G)(2d(x))GGG 中所有的这样的长为 222 的路进行了计数.

    而长为 444 的圈 C4C_4C4 由两条长为 222 的路组成. 因此, 对于 GGG 中的任两个点, 最多有且仅有一条长为 222 的路, 否则会出现 C4C_4C4, 与原假设矛盾.

    在最极端的情况下, GGG 中任意两个顶点之间恰好存在一条长为 222 的路. 此时其长度为 (n2)\binom n2(2n), 这是满足条件的 GGG 中长为 222 的路的最大条数.

    故有不等式:
    ∑x∈V(G)(d(x)2)⩽(n2)\sum_{x \in V(G)}\binom{d(x)}{2}\leqslant \binom{n}{2}xV(G)(2d(x))(2n)
    成立. ■\blacksquare


    ii.

    由 i :
    ∑x∈V(G)(d(x)2)⩽(n2).\sum_{x \in V(G)}\binom{d(x)}{2}\leqslant \binom{n}{2}.xV(G)(2d(x))(2n).
    即:
    ∑x∈V(G)d(x)⋅(d(x)−1)=∑x∈V(G)d2(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)xV(G)d(x)(d(x)1)=xV(G)d2(x)xV(G)d(x)n(n1)
    由 Cauchy-Schwarz 不等式:
    ∑x∈V(G)d2(x)⩾1n∑x∈V(G)2d(x)\sum_{x\in V(G)}d^2(x)\geqslant \frac{1}{n}{\sum_{x\in V(G)}}^2d(x)xV(G)d2(x)n1xV(G)2d(x)
    由握手引理:
    ∑x∈V(G)d(x)=2∣E(G)∣\sum_{x\in V(G)}d(x) = 2|E(G)|xV(G)d(x)=2E(G)

    1n4∣E(G)∣2−2∣E(G)∣⩽n2−n\frac{1}{n}4|E(G)|^2 - 2|E(G)|\leqslant n^2-nn14E(G)22E(G)n2n
    (∣E(G)∣−14n)2⩽n2⋅4n−316(|E(G)|-\frac{1}{4}n)^2 \leqslant n^2\cdot \frac{4n-3}{16}(E(G)41n)2n2164n3
    ∣E(G)∣⩽14n+n⋅4n−34|E(G)| \leqslant \frac{1}{4}n + \frac{n\cdot \sqrt{4n-3}}{4}E(G)41n+4n4n3

    ∣E(G)∣⩽n4(1+4n−3).|E(G)| \leqslant \frac{n}{4}(1 + \sqrt{4n-3}).E(G)4n(1+4n3).
    ■\blacksquare



7. 设 GGG 为有 nnn 个顶点的图, GCG^CGCGGG 的补图. 求证: χ(G)⋅χ(GC)⩾n\chi(G)\cdot \chi(G^C) \geqslant nχ(G)χ(GC)n.

[证明]

GGG 的团 HHHGCG^CGC 中所对应的图为 HCH^CHC. 由定义可知: 对任意的 HHH, HCH^CHC 均为 GCG^CGC 的稳定集. 且可知: ω(G)=α(GC).\omega(G) = \alpha(G^C).ω(G)=α(GC).

故由图的色数不等式得: χ(G)⋅χ(GC)⩾max{ω(G),∣V(G)∣α(G)}⋅max{ω(GC),∣V(GC)∣α(GC)}=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. 设 GGG 为一个图, G1,G2G_1, G_2G1,G2 为它的两个诱导子图, 使得:
V(G1)∪V(G2)=V(G),E(G1)∪E(G2)=E(G),∣V(G1)∩V(G2)∣=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)=max{χ(G1),χ(G2)}\chi(G) = max\{\chi(G_1), \chi(G_2)\}χ(G)=max{χ(G1),χ(G2)}.

[证明]

不妨设
χ(G1)>χ(G2),V(G1)∩V(G2)={x}\chi(G_1) > \chi(G_2), V(G_1)\cap V(G_2) = \{x\}χ(G1)>χ(G2),V(G1)V(G2)={x}

对于 GGG:
χ(G1\{x})⩾χ(G1)−1;\chi({G_1\backslash \{x\}}) \geqslant \chi(G_1)-1;χ(G1\{x})χ(G1)1;

由于
χ(G2\{x}∪{x})=χ(G2)⩽χ(G1)\chi({G_2\backslash \{x\} \cup \{x\}}) = \chi(G_2) \leqslant \chi(G_1)χ(G2\{x}{x})=χ(G2)χ(G1)

故一定可以用 χ(G1)\chi(G_1)χ(G1) 种颜色将 G1,G2G_1, G_2G1,G2 染色. 即:
χ(G)⩽max{χ(G1),χ(G2)}.\chi(G) \leqslant max\{\chi(G_1), \chi(G_2)\}.χ(G)max{χ(G1),χ(G2)}.

由命题 5-1.2知:
χ(G)⩾max{χ(G1),χ(G2)}.\chi(G) \geqslant max\{\chi(G_1), \chi(G_2)\}.χ(G)max{χ(G1),χ(G2)}.


χ(G)=max{χ(G1),χ(G2)}.\chi(G) = max\{\chi(G_1), \chi(G_2)\}.χ(G)=max{χ(G1),χ(G2)}.


9. 设 GGG 为一个色数为 kkk 的图, ϕ\phiϕGGG 的一个 kkk-染色. 求证: 对任意 i=1,2,⋯ ,ki = 1,2,\cdots, ki=1,2,,k, ϕ−1(i)\phi^{-1}(i)ϕ1(i) 有一个顶点, 它在 ϕ−1(j)\phi^{-1}(j)ϕ1(j) 中有邻居. (i≠ji \neq ji=j)

[证明]

设对任意 i=1,2,⋯ ,ki = 1,2,\cdots ,ki=1,2,,k, ϕ−1(i)\phi^{-1}(i)ϕ1(i) 的任何一个顶点不全和上了其他颜色的顶点邻接. 故在ϕ−1(i)\phi^{-1}(i)ϕ1(i) 的所有点, 总可以在 k−1k-1k1 种其余颜色中, 总可以找到一个和 iii 不同的颜色, 将其上色. 故 χ(G)=k−1\chi(G) = k-1χ(G)=k1, 和条件矛盾. 因此原结论成立. ■\blacksquare



10. 设 GGG 为一个图, MMM 为一个匹配, PPPGGG 的一个非平凡 MMM-可扩路. 求证:
(M∪E(P))\(M∩E(P))(M\cup E(P))\backslash (M\cap E(P))(ME(P))\(ME(P))
仍然为一个匹配, 但它比 MMM 多一条边.

[证明]

由于 PPPGGG 的一条非平凡 MMM-可扩路, 其路长必为奇数. 不妨假设 ∣E(P)∣=2k+1|E(P)| = 2k + 1E(P)=2k+1. 其中, 有 kkk 条路属于 MMM, k+1k+1k+1 条路属于 E(G)\ME(G)\backslash ME(G)\M.

MMM-可扩路的定义知:
∣(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|.(ME(P))\(ME(P))=M+k+1k=M+1.
下证其仍然为一个匹配:
不妨假设在 (M∪E(P))\(M∩E(P))(M\cup E(P))\backslash (M\cap E(P))(ME(P))\(ME(P)) 中存在一对相互邻接的边, 显见它们一定不全属于 MMM.

若其中有一条属于 MMM, 另外一条属于 E(P)\(M∪E(P))E(P)\backslash (M\cup E(P))E(P)\(ME(P)) 或两条边均属于 E(P)\(M∪E(P))E(P)\backslash (M\cup E(P))E(P)\(ME(P)), 由 MMM-可扩路定义知: 这样的两条边不存在.

故由定义知: 在 (M∪E(P))\(M∩E(P))(M\cup E(P))\backslash (M\cap E(P))(ME(P))\(ME(P)) 中找不到一对相互邻接的边, 它仍是一个匹配. ■\blacksquare



11. 设 GGG 为二部图. 求证: GGG 存在一个包含每一个具有最大度数的顶点的匹配.

[证明]

不妨设 MMM 为一个包含了最多最大度顶点的匹配, 设 X,YX, YX,YGGG 的分割集. 假设 u∈v(G)u\in v(G)uv(G) 为其中一个最大度顶点, 但并不被匹配 MMM 包含. 不失一般性, 设 u∈Xu\in XuX. 设 uˉ\bar{u}uˉ 为一个包含了所有在一条 MMM-可扩路中的顶点, 令 S=Uˉ∩X,T=Uˉ∩YS = \bar{U}\cap X, T = \bar{U}\cap YS=UˉX,T=UˉY.
首先, 每一个 SSS 中的顶点度数均为 Δ(G)\Delta(G)Δ(G). 否则, 设 x∈S,dG(x)<kx\in S, d_{G}(x)<kxS,dG(x)<k, 令 PPP 为一条从 uuuxxxM−M-M可扩路. 则 MΔE(p)M\Delta E(p)MΔE(p) 为一个新的最大匹配, 但它相比 MMM 多包含了一个最大度点, 这和 MMM 的最大性矛盾.
其次, ∣S∣=∣T∣+1,⋃x∈SNG(x)=T|S| = |T| + 1, \bigcup_{x\in S}N_{G}(x) = TS=T+1,xSNG(x)=T, 因为 MMM 为一个最大匹配.
现在有: ∣S⋅k=∑x∈SdG(x)⩽∑y∈TdG(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)kSk=xSdG(x)yTdG(y)Tk=(S1)k, 矛盾.



12. 设 GGG 为二部图, k=Δ(G)k = \Delta(G)k=Δ(G). 假设 k>0k>0k>0. 求证: GGG 有一个大小至少为 ∣E(G)∣k\frac{|E(G)|}{k}kE(G) 的匹配.

[证明]

先证明一个引理:

[引理] 设二部图 GGG, 记 k=Δ(G)k = \Delta(G)k=Δ(G). 则总能找到 kkk 个匹配, 使得它们的并等于 GGG 的边集 E(G)E(G)E(G).

[引理证明]

kkk 使用数学归纳法:

k=1k = 1k=1 时: 显然结论成立.

k=n−1k = n-1k=n1: 假设原结论仍然成立. 下面考察 k=nk = nk=n 的情况:

因为在最大度数为 nnn 的图 GGG 中, 将属于 MMM 中的边删去, 即得到一个子图 G1G_1G1, 且 Δ(G1)=n−1\Delta(G_1) = n-1Δ(G1)=n1, 故由归纳假设和问题 111 结论知: G1G_1G1 中存在 n−1n-1n1 个匹配, 它们的并即为 E(G1)E(G_1)E(G1). 显然, E(G)=E(G1)∪ME(G) = E(G_1)\cup ME(G)=E(G1)M. 故原结论对任意正整数 k⩾1k\geqslant 1k1 成立. 即: 引理成立.

回到问题上来: 由鸽笼原理, 若这 kkk 个匹配的大小均小于 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. 设 GGG 为一个分割集为 X,YX,YX,Y 的二部图.
t=min⁡x∈XdG(x),s=max⁡y∈YdG(y)t = \min_{x\in X}d_{G}(x), s = \max_{y\in Y}d_{G}(y)t=minxXdG(x),s=maxyYdG(y). 求证: 若 t⩾st\geqslant sts, 则 GGG 存在一个包含 XXX 中全部顶点的匹配.

[证明]

dG(X),dG(Y)⩾1d_{G}(X), d_{G}(Y) \geqslant 1dG(X),dG(Y)1:

XXX 中的每一个顶点至少和 YYY 中的一个顶点连接.

t⩾st \geqslant sts: ∣X∣>∣Y∣|X| > |Y|X>Y. 根据鸽笼原理:

因此必存在一个单射 ψ\psiψ, 将 XXX 中的每一个不同顶点唯一地映到 YYY 中的某个顶点.



14. 设整数 n⩾2n \geqslant 2n2. 对每一个 i∈[n]i \in [n]i[n], Si=[n]\{i}S_{i} = [n]\backslash \{i\}Si=[n]\{i}. 求证: {Si;i∈[n]}\{S_i;i\in [n]\}{Si;i[n]} 存在一个相异代表系.

[证明]

SiS_iSi 的结构知: {Si;i∈[n]}\{S_i; i\in [n]\}{Si;i[n]} 中每一个元素 SiS_iSi, 均满足 ∣Si∣=n−1|S_i| = n-1Si=n1, 且 Si∪Sj=[n],  if  i≠jS_i \cup S_j = [n], ~ ~if ~ ~ i\neq jSiSj=[n],  if  i=j.

故对 t∈[n]t \in [n]t[n]: {Si;i∈[n]}\{S_i; i\in [n]\}{Si;i[n]} 中任何 ttt 个集合的并集均包含至少 ttt 个元素.
故知: {Si;i∈[n]}\{S_i; i\in [n]\}{Si;i[n]} 存在一个相异代表系. ■\blacksquare



评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值