組合數學作業整理與解題思路總結:圖論

組合數學作業整理與解題思路總結: 圖論

1. 求證: 任一棵樹均爲一個二部圖.

[證明]

(法1)
下面使用數學歸納法進行證明:
TT 爲樹, E(T)=1.|E(T)| = 1. X,YV(T),XY=X,Y \subset V(T), X\cap Y = \empty.

TT 的唯一一條邊的兩個頂點分別歸於 X,YX,Y , TT 顯然是一個二部圖.

E(T)k1|E(T)| \leqslant k-1 時結論仍然成立:

E(T)=k|E(T)| = k 時: 設 xx 爲某一個度數爲 11 的頂點. 可知: E(Tx)=k1|E(T-x) = k-1|. 由歸納假設知: TxT-x 是一個二部圖.

xx 歸於與其鄰接的頂點所屬的不同的頂點集中, TT 依然滿足稱爲二部圖的條件, 證畢. \blacksquare


(法2)
沿用法1記號和規定. 我們採取以下的方法對 TT 中的點進行歸類:

將起始點歸入 XX 中, 向下遍歷每一條邊, 總是將邊的兩個頂點歸於不同的集合中. 這樣, 即得到了滿足二部圖判別條件的兩個頂點子集. 若不然, 則總可找到一個圈, 這和 “樹” 的定義矛盾. \blacksquare



2. 分別畫出兩個邊數最大的完全二部圖 K6.K7K_6.K_7.

[解]

設完全二部圖的頂點集被分類爲: {X,Y}\{X,Y\}.

由完全二部圖定義可立即確定最大邊數:

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

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

並且可對應繪出圖: 其中 X=m,Y=lm|X| = m, |Y| = l-m.



3. 設 GG 爲連通圖. 設 CCGG 的一個子圈, eeCC 的一條邊. 求證: GeG-e 仍爲連通圖.

[證明]

eeu,vu,v 關聯. 對於 GG 中的每一條路, 它們或經過 ee, 或不經過 ee.

對於所有原來不經過 ee 的路: 從 GG 中刪去 ee 後它們的連通性顯然不變.

對於所有原來需經過 ee 的路: 由圈的結構知: 刪去 ee 後的環在連通性上和 ee 等價. 故它們的連通性也不受影響.

綜上: GeG-e 仍爲一個連通圖. \blacksquare



4. 當且僅當 GG 的每一個分支均爲二部圖時, GG 爲一個二部圖.

[證明]

引理: 二部圖的子圖均爲二部圖.

\Leftarrow

因二部圖 GG 的分支爲 GG 的子圖, 由引理: 顯見其分支均爲二部圖.

\Rightarrow

G1G_1GG 的其中一個分支, 它是二部圖. 設 G\G1=V1+G1G\backslash G_1 = V_1+ G'_1, G1G'_1 爲所有 G\G1G\backslash G_1 中孤立的連通圖所組成的集合.

由定義知: G1G'_1 中每一個元素均爲 GG 的分支, V1V_1 爲孤立點集.

由假設知: GG 所有的分支均爲二部圖, 且它們不是連通的.


V(G1)=X1Y1,G1={G1,G2,,Gk},V(Gi)=XiYi,   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.

X=X1(i=1,2,,kXi),   Y=Y1V1(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)

XY=V(G).X\cup Y = V(G).
故找到了這樣的頂點子集 X,YX, Y, 使得 E(G)E(G) 中任一條邊的兩個頂點分別位於 X,YX, Y 中. 由定義知: GG 爲一個二部圖. \blacksquare



5. 設 GG 爲一個 nn 個頂點的 ll 部圖, 求證: E(G)E(T(l,n))|E(G)| \leqslant |E(T_{(l,n)})|.

6. 設 GG 爲一個 nn 個頂點, 不含 C4C_4 爲子圖的圖. 求證:

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

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

[證明]

  1. GG'nn 個頂點的完全 ll 部圖. 由定義知: E(G)E(G)|E(G)| \leqslant |E(G')|.

    不妨設 G=Kn1n2nlG' = K_{n_1n_2\cdots n_l}, T(l,n)=Km1m2mlT_{(l,n)}{} = K_{m_1m_2\cdots m_l} 由完全 ll 部圖定義:
    E(G)=j=1l1i=jlni.|E(G')| = \sum_{j=1}^{l-1}\prod_{i=j}^{l}n_i.

    n1+n2++nl=m1+m2++ml=nn_1 + n_2 + \cdots + n_l = m_1 + m_2 + \cdots + m_l = n
    j=1l1i=jlni.q2(1ql1)1q,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}
    m1,m2,,mlm_1,m_2,\cdots ,m_l 之間相差越小, 原式結果越大.

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



  1. i.

    (d(x)2)\binom{d(x)}{2} 表示對任意頂點 xx, 經過 xx 所構成的, 連接 xx 的任兩個與 xx 鄰接的頂點的, 長爲 22 的路的條數, xV(G)(d(x)2)\sum_{x \in V(G)}\binom{d(x)}{2}GG 中所有的這樣的長爲 22 的路進行了計數.

    而長爲 44 的圈 C4C_4 由兩條長爲 22 的路組成. 因此, 對於 GG 中的任兩個點, 最多有且僅有一條長爲 22 的路, 否則會出現 C4C_4, 與原假設矛盾.

    在最極端的情況下, GG 中任意兩個頂點之間恰好存在一條長爲 22 的路. 此時其長度爲 (n2)\binom n2, 這是滿足條件的 GG 中長爲 22 的路的最大條數.

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


    ii.

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

    1n4E(G)22E(G)n2n\frac{1}{n}4|E(G)|^2 - 2|E(G)|\leqslant n^2-n
    (E(G)14n)2n24n316(|E(G)|-\frac{1}{4}n)^2 \leqslant n^2\cdot \frac{4n-3}{16}
    E(G)14n+n4n34|E(G)| \leqslant \frac{1}{4}n + \frac{n\cdot \sqrt{4n-3}}{4}

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



7. 設 GG 爲有 nn 個頂點的圖, GCG^CGG 的補圖. 求證: χ(G)χ(GC)n\chi(G)\cdot \chi(G^C) \geqslant n.

[證明]

GG 的團 HHGCG^C 中所對應的圖爲 HCH^C. 由定義可知: 對任意的 HH, HCH^C 均爲 GCG^C 的穩定集. 且可知: ω(G)=α(GC).\omega(G) = \alpha(G^C).

故由圖的色數不等式得: χ(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.


8. 設 GG 爲一個圖, G1,G2G_1, G_2 爲它的兩個誘導子圖, 使得:
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.
求證: χ(G)=max{χ(G1),χ(G2)}\chi(G) = max\{\chi(G_1), \chi(G_2)\}.

[證明]

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

對於 GG:
χ(G1\{x})χ(G1)1;\chi({G_1\backslash \{x\}}) \geqslant \chi(G_1)-1;

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

故一定可以用 χ(G1)\chi(G_1) 種顏色將 G1,G2G_1, G_2 染色. 即:
χ(G)max{χ(G1),χ(G2)}.\chi(G) \leqslant max\{\chi(G_1), \chi(G_2)\}.

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


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


9. 設 GG 爲一個色數爲 kk 的圖, ϕ\phiGG 的一個 kk-染色. 求證: 對任意 i=1,2,,ki = 1,2,\cdots, k, ϕ1(i)\phi^{-1}(i) 有一個頂點, 它在 ϕ1(j)\phi^{-1}(j) 中有鄰居. (iji \neq j)

[證明]

設對任意 i=1,2,,ki = 1,2,\cdots ,k, ϕ1(i)\phi^{-1}(i) 的任何一個頂點不全和上了其他顏色的頂點鄰接. 故在ϕ1(i)\phi^{-1}(i) 的所有點, 總可以在 k1k-1 種其餘顏色中, 總可以找到一個和 ii 不同的顏色, 將其上色. 故 χ(G)=k1\chi(G) = k-1, 和條件矛盾. 因此原結論成立. \blacksquare



10. 設 GG 爲一個圖, MM 爲一個匹配, PPGG 的一個非平凡 MM-可擴路. 求證:
(ME(P))\(ME(P))(M\cup E(P))\backslash (M\cap E(P))
仍然爲一個匹配, 但它比 MM 多一條邊.

[證明]

由於 PPGG 的一條非平凡 MM-可擴路, 其路長必爲奇數. 不妨假設 E(P)=2k+1|E(P)| = 2k + 1. 其中, 有 kk 條路屬於 MM, k+1k+1 條路屬於 E(G)\ME(G)\backslash M.

MM-可擴路的定義知:
(ME(P))\(ME(P))=M+k+1k=M+1.|(M\cup E(P))\backslash (M\cap E(P))| = |M| + k + 1 - k = |M + 1|.
下證其仍然爲一個匹配:
不妨假設在 (ME(P))\(ME(P))(M\cup E(P))\backslash (M\cap E(P)) 中存在一對相互鄰接的邊, 顯見它們一定不全屬於 MM.

若其中有一條屬於 MM, 另外一條屬於 E(P)\(ME(P))E(P)\backslash (M\cup E(P)) 或兩條邊均屬於 E(P)\(ME(P))E(P)\backslash (M\cup E(P)), 由 MM-可擴路定義知: 這樣的兩條邊不存在.

故由定義知: 在 (ME(P))\(ME(P))(M\cup E(P))\backslash (M\cap E(P)) 中找不到一對相互鄰接的邊, 它仍是一個匹配. \blacksquare



11. 設 GG 爲二部圖. 求證: GG 存在一個包含每一個具有最大度數的頂點的匹配.

[證明]

不妨設 MM 爲一個包含了最多最大度頂點的匹配, 設 X,YX, YGG 的分割集. 假設 uv(G)u\in v(G) 爲其中一個最大度頂點, 但並不被匹配 MM 包含. 不失一般性, 設 uXu\in X. 設 uˉ\bar{u} 爲一個包含了所有在一條 MM-可擴路中的頂點, 令 S=UˉX,T=UˉYS = \bar{U}\cap X, T = \bar{U}\cap Y.
首先, 每一個 SS 中的頂點度數均爲 Δ(G)\Delta(G). 否則, 設 xS,dG(x)<kx\in S, d_{G}(x)<k, 令 PP 爲一條從 uuxxMM-可擴路. 則 MΔE(p)M\Delta E(p) 爲一個新的最大匹配, 但它相比 MM 多包含了一個最大度點, 這和 MM 的最大性矛盾.
其次, S=T+1,xSNG(x)=T|S| = |T| + 1, \bigcup_{x\in S}N_{G}(x) = T, 因爲 MM 爲一個最大匹配.
現在有: Sk=xSdG(x)yTdG(y)Tk=(S1)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, 矛盾.



12. 設 GG 爲二部圖, k=Δ(G)k = \Delta(G). 假設 k>0k>0. 求證: GG 有一個大小至少爲 E(G)k\frac{|E(G)|}{k} 的匹配.

[證明]

先證明一個引理:

[引理] 設二部圖 GG, 記 k=Δ(G)k = \Delta(G). 則總能找到 kk 個匹配, 使得它們的並等於 GG 的邊集 E(G)E(G).

[引理證明]

kk 使用數學歸納法:

k=1k = 1 時: 顯然結論成立.

k=n1k = n-1: 假設原結論仍然成立. 下面考察 k=nk = n 的情況:

因爲在最大度數爲 nn 的圖 GG 中, 將屬於 MM 中的邊刪去, 即得到一個子圖 G1G_1, 且 Δ(G1)=n1\Delta(G_1) = n-1, 故由歸納假設和問題 11 結論知: G1G_1 中存在 n1n-1 個匹配, 它們的並即爲 E(G1)E(G_1). 顯然, E(G)=E(G1)ME(G) = E(G_1)\cup M. 故原結論對任意正整數 k1k\geqslant 1 成立. 即: 引理成立.

回到問題上來: 由鴿籠原理, 若這 kk 個匹配的大小均小於 E(G)k\frac{E(G)}{k}, 則其並集的大小必小於 E(G)E(G), 矛盾. 故至少存在一個匹配, 其大小大於等於 E(G)k\frac{E(G)}{k}, 證畢. \blacksquare


13. 設 GG 爲一個分割集爲 X,YX,Y 的二部圖.
t=minxXdG(x),s=maxyYdG(y)t = \min_{x\in X}d_{G}(x), s = \max_{y\in Y}d_{G}(y). 求證: 若 tst\geqslant s, 則 GG 存在一個包含 XX 中全部頂點的匹配.

[證明]

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

XX 中的每一個頂點至少和 YY 中的一個頂點連接.

tst \geqslant s: X>Y|X| > |Y|. 根據鴿籠原理:

因此必存在一個單射 ψ\psi, 將 XX 中的每一個不同頂點唯一地映到 YY 中的某個頂點.



14. 設整數 n2n \geqslant 2. 對每一個 i[n]i \in [n], Si=[n]\{i}S_{i} = [n]\backslash \{i\}. 求證: {Si;i[n]}\{S_i;i\in [n]\} 存在一個相異代表系.

[證明]

SiS_i 的結構知: {Si;i[n]}\{S_i; i\in [n]\} 中每一個元素 SiS_i, 均滿足 Si=n1|S_i| = n-1, 且 SiSj=[n],  if  ijS_i \cup S_j = [n], ~ ~if ~ ~ i\neq j.

故對 t[n]t \in [n]: {Si;i[n]}\{S_i; i\in [n]\} 中任何 tt 個集合的並集均包含至少 tt 個元素.
故知: {Si;i[n]}\{S_i; i\in [n]\} 存在一個相異代表系. \blacksquare



發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章