Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
Ä. Â. Êàðïîâ
2
Îãëàâëåíèå
1 Ïóòè è öèêëû 9
1.1 Ýéëåðîâ ïóòü è öèêë . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Äëèíû öèêëîâ è ìèíèìàëüíàÿ ñòåïåíü . . . . . . . . . . . . 10
1.3 Ãàìèëüòîíîâ ïóòü è öèêë . . . . . . . . . . . . . . . . . . . . 11
1.3.1 Êëàññè÷åñêèé êðèòåðèé Äèðàêà . . . . . . . . . . . . 11
1.3.2 Çàìûêàíèå. Ìåòîä Õâàòàëà . . . . . . . . . . . . . . . 12
1.3.3 Ñâÿçíîñòü è ãàìèëüòîíîâû öèêëû . . . . . . . . . . . 13
1.3.4 Ãàìèëüòîíîâû ïîñëåäîâàòåëüíîñòè . . . . . . . . . . 15
1.3.5 Ãàìèëüòîíîâ öèêë â êâàäðàòå ãðàôà . . . . . . . . . 17
1.4 Ïàíöèêëè÷åñêèå ãðàôû . . . . . . . . . . . . . . . . . . . . . 24
1.5 Öèêëû ÷åòíîé äëèíû . . . . . . . . . . . . . . . . . . . . . . 25
1.6 Îáõâàò . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2 Ïàðîñî÷åòàíèÿ 33
2.1 ×åðåäóþùèåñÿ è äîïîëíÿþùèå ïóòè . . . . . . . . . . . . . 33
2.2 Ïàðîñî÷åòàíèÿ â äâóäîëüíîì ãðàôå . . . . . . . . . . . . . . 34
2.3 Ñîîòíîøåíèÿ ìåæäó α, β , α0 è β 0 . . . . . . . . . . . . . . . 36
2.4 Ïàðîñî÷åòàíèÿ ñ ïðåäïî÷òåíèÿìè . . . . . . . . . . . . . . . 37
2.5 Ïàðîñî÷åòàíèÿ â ïðîèçâîëüíîì ãðàôå . . . . . . . . . . . . 38
2.5.1 Òåîðåìà Òàòòà î ñîâåðøåííîì ïàðîñî÷åòàíèè . . . . 39
2.5.2 Ñîâåðøåííîå ïàðîñî÷åòàíèå â îäíîðîäíîì ãðàôå . . 41
2.5.3 Äåôèöèò ãðàôà. Ôîðìóëà Áåðæà . . . . . . . . . . . 43
2.5.4 Ôàêòîð-êðèòè÷åñêèå ãðàôû . . . . . . . . . . . . . . 45
2.5.5 Ñòðóêòóðíàÿ òåîðåìà Ãàëëàè-Ýäìîíäñà . . . . . . . 46
2.5.6 Áàðüåðû . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.6 Ôàêòîðû . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.6.1 Ôàêòîðû è ïàðîñî÷åòàíèÿ . . . . . . . . . . . . . . . 53
2.6.2 Íîðìàëüíûå ìíîæåñòâà . . . . . . . . . . . . . . . . . 54
2.6.3 f -äåôèöèò. Òåîðåìà Òàòòà î ôàêòîðå . . . . . . . . . 56
2.6.4 Ôàêòîðû îäíîðîäíîãî ãðàôà . . . . . . . . . . . . . . 61
3
4 ÎÃËÀÂËÅÍÈÅ
3 Ðàñêðàñêè âåðøèí 63
3.1 Õðîìàòè÷åñêîå ÷èñëî . . . . . . . . . . . . . . . . . . . . . . 63
3.2 Õðîìàòè÷åñêèé ìíîãî÷ëåí . . . . . . . . . . . . . . . . . . . 64
3.3 Òåîðåìà Áðóêñà . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.3.1 Òåîðåìà Áðóêñà è ñâÿçíîñòü . . . . . . . . . . . . . . 68
3.4 Ãèïîòåçà Õàéîøà . . . . . . . . . . . . . . . . . . . . . . . . 71
3.4.1 Êðèòè÷åñêèå ãðàôû . . . . . . . . . . . . . . . . . . . 71
3.4.2 Ãèïîòåçà Õàéîøà, ñëó÷àé k = 4 . . . . . . . . . . . . 74
3.5 Êîíñòðóèðóåìûå ãðàôû . . . . . . . . . . . . . . . . . . . . . 75
3.6 Îáõâàò è õðîìàòè÷åñêîå ÷èñëî . . . . . . . . . . . . . . . . . 76
3.7 Ñîâåðøåííûå ãðàôû . . . . . . . . . . . . . . . . . . . . . . . 79
3.8 Ñïèñî÷íûå ðàñêðàñêè . . . . . . . . . . . . . . . . . . . . . . 84
4 Ðàñêðàñêè ð¼áåð 85
4.1 Îïòèìàëüíûå ðàñêðàñêè . . . . . . . . . . . . . . . . . . . . 85
4.2 Òåîðåìà Âèçèíãà . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.3 Ñïèñî÷íûå ðàñêðàñêè ð¼áåð . . . . . . . . . . . . . . . . . . 90
7
8 ÎÃËÀÂËÅÍÈÅ
9
10 ÃËÀÂÀ 1. ÏÓÒÈ È ÖÈÊËÛ
a1 b1 , a2 b2 6∈ E(G0 ), dG0 (a1 ) + dG0 (b1 ) ≥ v(G), dG0 (a2 ) + dG0 (b2 ) ≥ v(G).
dG (vn−h+1 ) = . . . = dG (vn ) = n − 1.
Ëåãêî âèäåòü, ÷òî ñòåïåííàÿ ïîñëåäîâàòåëüíîñòü ãðàôà Gn,h ìàæîðèðó-
åò a1 , . . . , an . Îòìåòèì, ÷òî c(G − B) = h + 1 (ýòè êîìïîíåíòû ìíîæå-
ñòâî C è h ïîïàðíî íåñìåæíûx âåðøèí ìíîæåñòâà A). Òàêèì îáðàçîì,
c(G − B) > h = |B| è ïî ëåììå 1.6 ãðàô Gn,h íå ÿâëÿåòñÿ ãàìèëüòîíî-
âûì.
Q ïî îäíîìó ðàçó.
Ïîñëåäîâàòåëüíî âûïîëíèì òàêèå îïåðàöèè äëÿ âñåõ äóã òèïà 3. Â ðå-
çóëüòàòå ìàðøðóò Z ñòàíåò ãàìèëüòîíîâûì öèêëîì ãðàôà G21 . Îòìåòèì,
÷òî ìàðøðóò Z íå èçìåíèòñÿ íà âñåõ ïóòÿõ èç P2 . Íà ëþáîé äóãå L òèïà
1 öèêë Z ïî-ïðåæíåìó ïðîõîäèò âñå ð¼áðà, êðîìå ñàìîãî ïðàâîãî ðåáðà.
Ñàìîå ïðàâîå ðåáðî äóãè L öèêë Z ìîæåò íå ïðîõîäèòü òîëüêî â òîì
ñëó÷àå, êîãäà ñîñåäíÿÿ ñïðàâà äóãà Lr ïðèíàäëåæèò òèïó 3. Ïîñêîëüêó
I r ïðèíàäëåæèò òèïó 2, òî öèêë Z ïðîõîäèò âñå ð¼áðà äóãè I .
 ñëó÷àå a ∈ Int(I) îáà âûõîäÿùèõ èç a ðåáðà öèêëà Z ýòî ð¼áðà
öèêëà C , êîòîðûå ïðèíàäëåæàò E(G). Åñëè æå a = r(I) = w, òî w
ì¼ðòâûé êîíåö äóãè I r òèïà 2, ïîýòîìó öèêë Z ñîäåðæèò äâà èíöèäåíò-
íûõ âåðøèíå a = w ðåáðà ãðàôà G: ðåáðî äóãè I è ðåáðî, ñîåäèíÿþùåå
a = w ñ êîíöîì ïóòè P .
3. Âêëþ÷åíèå â öèêë ïóòåé èç P1 .
Èòàê, ìû èìååì ãàìèëüòîíîâ öèêë Z â ãðàôå G21 , â êîòîðîì îáà èíöè-
äåíòíûõ a ðåáðà ïðèíàäëåæàò ãðàôó G. Îñòà¼òñÿ âêëþ÷èòü â íåãî ïóòè
ñ îäíèì îñíîâàíèåì. Ïóñòü U ìíîæåñòâî âñåõ êîíòàêòîâ ïóòåé èç P1 .
Òîãäà â ñèëó (P 3) ìû èìååì |U | = |P1 |, âñå âåðøèíû èç U âíóòðåííèå
âåðøèíû äóã èç W .
3.1. Ñîîòâåòñòâèå u → e(u).
Ìû ïîñòàâèì â ñîîòâåòñòâèå êàæäîé âåðøèíå u ∈ U ðåáðî e(u) öèêëà Z
òàê, ÷òîáû ñîîòâåòñòâèå áûëî îäíîçíà÷íûì è âûïîëíÿëîñü îäíî èç äâóõ
óñëîâèé.
(E1) Ðåáðî e(u) ∈ E(C) èíöèäåíòíî u. Ïðè u 6= a, ðåáðî e(u) íå
èíöèäåíòíî a.
(E2) Ðåáðî e(u) ñîåäèíÿåò äâå ñîñåäíèå ñ u âåðøèíû öèêëà C .
Äëÿ ïðîñòîòû ìû îïðåäåëèì e(u) íà V (C) \ W ⊃ U . Ïîñòðîèì ñîîò-
âåòñòâèå îòäåëüíî íà âíóòðåííîñòè êàæäîé äóãè Q ∈ W .
3.1.1. Q äóãà òèïà 3.
Òîãäà äëÿ êàæäîé âåðøèíû u ∈ Int(Q) öèêë Z ïî ïîñòðîåíèþ ñîäåðæèò
ðåáðî, ñîåäèíÿþùåå äâå ñîñåäíèå ñ u âåðøèíû öèêëà C . Èìåííî ýòî
ðåáðî è íàçîâ¼ì e(u). Î÷åâèäíî, â ýòîì ñëó÷àå âûïîëíÿåòñÿ óñëîâèå (E2).
3.1.2. Q äóãà òèïà 2.
Ïóñòü u0 ñîñåäíÿÿ ñ ì¼ðòâûì êîíöîì äóãè Q âíóòðåííÿÿ âåðøèíà.
Òîãäà äëÿ êàæäîé îòëè÷íîé îò u0 âåðøèíû u ∈ Int(Q), â öèêëå Z ïî
ïîñòðîåíèþ åñòü ðåáðî, ñîåäèíÿþùåå äâå ñîñåäíèå ñ u âåðøèíû öèêëà C .
Èìåííî ýòî ðåáðî è íàçîâ¼ì e(u). Î÷åâèäíî, â ýòîì ñëó÷àå âûïîëíÿåòñÿ
óñëîâèå (E2).
Ðàññìîòðèì âåðøèíó u0 .  ñëó÷àå, êîãäà u0 ∈ Int(Q), öèêë Z ïî ïî-
ñòðîåíèþ ñîäåðæèò ðåáðî äóãè Q, ñîåäèíÿþùåå u0 ñ ñîñåäíåé âåðøèíîé
1.3. ÃÀÌÈËÜÒÎÍÎÂ ÏÓÒÜ È ÖÈÊË 23
Òîãäà ðåáðî e(u) íå ìîæåò óäîâëåòâîðÿòü óñëîâèþ (E1) èëè (E2) äëÿ
îòëè÷íîé îò u âåðøèíû u0 ∈ V (C) (â ýòèõ ñëó÷àÿõ äëèíà öèêëà C íå
ïðåâîñõîäèëà áû 4). Òàêèì îáðàçîì, îòîáðàæåíèå u → e(u) èíúåêòèâíî.
3.2. Ïåðåñòðîéêà öèêëà.
Ïî î÷åðåäè ìû ðàññìîòðèì âñå âåðøèíû u ∈ U è äëÿ êàæäîé èç íèõ
èçìåíèì öèêë Z , âêëþ÷èâ â íåãî ïóòü èç P = y1 . . . ym ∈ P1 ñ îñíîâàíèåì
u. Ðàçáåð¼ì äâà ñëó÷àÿ: ðåáðî e(u) óäîâëåòâîðÿåò óñëîâèþ (E1) èëè (E2).
3.2.1. Ðåáðî e(u) óäîâëåòâîðÿåò óñëîâèþ (E1).
Ïóñòü e(u) = uv , v ñîñåäíÿÿ ñ u âåðøèíà öèêëà C . Òîãäà â ãðàôå
G2 åñòü ðåáðî ym v (òàê êàê ym , v ∈ NG (u)). Çàìåíèì â öèêëå Z ðåáðî
uv íà ïóòü uy1 . . . ym v , âñòàâèâ â öèêë Z ïóòü P . Îòìåòèì, ÷òî åñëè a
24 ÃËÀÂÀ 1. ÏÓÒÈ È ÖÈÊËÛ
Ëåììà 1.10. Ïóñòü ðàñêðàñêà ρ âåðøèí ãðàôà H òàêîâà, ÷òî äëÿ ëþáîé
âåðøèíû a ∈ V (H) âñå âåðøèíû èç NG (a) ïîêðàøåíû â îäèí è òîò æå
öâåò. Òîãäà â ðàñêðàñêå ρ èñïîëüçóåòñÿ íå áîëåå, ÷åì äâà öâåòà.
|Vi+1 | 2δ
≥ äëÿ i < `. (cy2)
|Vi | 9`
1.6 Îáõâàò
Îïðåäåëåíèå 1.8. Îáõâàò ãðàôà G (îáîçíà÷åíèå g(G)) ýòî äëèíà
íàèìåíüøåãî öèêëà â ãðàôå G.
(k−1)g −1
k−2
âåðøèí, à íà ðàññòîÿíèè íå áîëåå g − 2 îò x íàõîäèòñÿ íå áî-
g−1
ëåå, ÷åì (k−1)
k−2
−1
âåðøèí. Òîãäà ïî óñëîâèþ òåîðåìû ñóùåñòâóåò òàêàÿ
âåðøèíà z , ÷òî dist(x, z) ≥ g − 1 è dist(y, z) ≥ g . Èç äîêàçàííîãî âûøå
ïîíÿòíî, ÷òî dG (z) = k ≥ 3, ñëåäîâàòåëüíî, ñóùåñòâóåò ðåáðî zu ∈ E(G),
÷åðåç êîòîðîå ïðîõîäÿò íå âñå ïðîñòûå öèêëû äëèíû g ãðàôà G, òîãäà
g(G − zu) = g(G) = g .
Ïóñòü G0 = G − zu + zx. Èç
distG (y, u) ≥ distG (y, z) − 1 ≥ g − 1 > distG (x, y) = dist<k (G) (cy4)
distG0 (y, u) ≥ min(distG (y, x) + 1, distG (y, z) + 1) > distG (y, x),
òàê êàê distG (y, z) ≥ g > distG (y, x). Òàêèì îáðàçîì,
Íà÷í¼ì ñ îïðåäåëåíèé.
Îïðåäåëåíèå 2.1. 1) Ìíîæåñòâî âåðøèí U ⊂ V (G) íàçûâàåòñÿ íåçà-
âèñèìûì, åñëè íèêàêèå äâå åãî âåðøèíû íå ñìåæíû. Îáîçíà÷èì ÷åðåç
α(G) êîëè÷åñòâî âåðøèí â ìàêñèìàëüíîì íåçàâèñèìîì ìíîæåñòâå ãðàôà
G.
2) Ìíîæåñòâî ð¼áåð M ⊂ E(G) íàçûâàåòñÿ ïàðîñî÷åòàíèåì, åñëè
íèêàêèå äâà åãî ðåáðà íå èìåþò îáùåé âåðøèíû. Îáîçíà÷èì ÷åðåç α0 (G)
êîëè÷åñòâî ð¼áåð â ìàêñèìàëüíîì ïàðîñî÷åòàíèè ãðàôà G.
3) Áóäåì ãîâîðèòü, ÷òî ìíîæåñòâî âåðøèí W ⊂ V (G) ïîêðûâàåò
ðåáðî e ∈ V (G), åñëè ñóùåñòâóåò âåðøèíà w ∈ W , èíöèäåíòíàÿ e. Áóäåì
ãîâîðèòü, ÷òî ìíîæåñòâî ð¼áåð F ⊂ E(G) ïîêðûâàåò âåðøèíó v ∈ V (G),
åñëè ñóùåñòâóåò ðåáðî f ∈ F , èíöèäåíòíîå v .
4) Ïàðîñî÷åòàíèå M ãðàôà G íàçûâàåòñÿ ñîâåðøåííûì, åñëè îíî ïî-
êðûâàåò âñå âåðøèíû ãðàôà.
5) Ìíîæåñòâî âåðøèí W ⊂ V (G) íàçûâàåòñÿ äîìèíèðóþùèì, åñëè
îíî ïîêðûâàåò âñå ð¼áðà ãðàôà. Îáîçíà÷èì ÷åðåç β(G) êîëè÷åñòâî âåð-
øèí â ìèíèìàëüíîì äîìèíèðóþùåì ìíîæåñòâå ãðàôà G.
6) Ìíîæåñòâî ð¼áåð F ⊂ E(G) íàçûâàåòñÿ ïîêðûòèåì, åñëè îíî ïî-
êðûâàåò âñå âåðøèíû ãðàôà. Îáîçíà÷èì ÷åðåç β 0 (G) êîëè÷åñòâî ð¼áåð â
ìèíèìàëüíîì ïîêðûòèè ãðàôà G.
 ýòîé ãëàâå ìû âûÿñíèì ìíîãî èíòåðåñíûõ ôàêòîâ î ââåä¼ííûõ ïî-
íÿòèÿõ è èõ âçàèìîîòíîøåíèÿõ.
33
34 ÃËÀÂÀ 2. ÏÀÐÎÑÎ×ÅÒÀÍÈß
Äîêàçàòåëüñòâî. ⇒. Î÷åâèäíî.
⇐. Èíäóêöèÿ ïî êîëè÷åñòâó âåðøèí â ãðàôå. Áàçà äëÿ |V1 (G)| = 1
î÷åâèäíà. Ïðåäïîëîæèì, ÷òî äëÿ ìåíüøåãî, ÷åì G, ãðàôà óòâåðæäåíèå
óæå äîêàçàíî. Ðàçáåð¼ì äâà ñëó÷àÿ.
1. Ïóñòü ñóùåñòâóåò òàêîå ìíîæåñòâî A ( V1 (G), ÷òî |A| =
|NG (A)|.
2.2. ÏÀÐÎÑÎ×ÅÒÀÍÈß Â ÄÂÓÄÎËÜÍÎÌ ÃÐÀÔÅ 35
Òåîðåìà 2.4. (T. Gallai, 1959). Ïóñòü G ãðàô ñ δ(G) > 0. Òîãäà
α0 (G) + β 0 (G) = v(G).
Äîêàçàòåëüñòâî. Î÷åâèäíî,
à !
X
m= dG (v) − 2e(G(U )) = k|U | − 2e(G(U )) ≡ k (mod 2).
v∈U
X n
X X
dG (v) ≥ mi ≥ 3n − 4 ≥ 3(|S| + 2) − 4 = 3|S| + 2 > 3|S| = dG (v),
v∈S i=1 v∈S
t
X t
X
2 βi + γi = 2|F | ≤ 2k − 2,
i=1 i=1
cëîæèâ êîòîðûå, ìû ïîëó÷èì
t
X t
X t
X
αi + 3 βi + γi ≤ k(|S| + 2) − 2. (m2)
i=1 i=1 i=1
Òåîðåìà 2.11. (T. Gallai, 1963.) Ïóñòü ñâÿçíûé ãðàô G òàêîâ, ÷òî
äëÿ ëþáîé âåðøèíû u ∈ V (G) âûïîëíÿåòñÿ ðàâåíñòâî α0 (G − u) = α0 (G).
Òîãäà G ôàêòîð-êðèòè÷åñêèé ãðàô.
Äîêàçàòåëüñòâî. Ðàññìîòðèì ìíîæåñòâî Òàòòà S , äëÿ êîòîðîãî
o(G − S) − |S| = def(G) = k (òàêîå ñóùåñòâóåò ïî òåîðåìå 2.10) è ïðåä-
ïîëîæèì, ÷òî S 6= ∅. Ïóñòü v ∈ S , G0 = G − v . Ïîëîæèì S 0 = S \ {v}.
Î÷åâèäíî, o(G0 − S 0 ) = o(G − S), îòêóäà ñëåäóåò, ÷òî
2.5.6 Áàðüåðû
Îïðåäåëåíèå 2.9. Ìíîæåñòâî S ⊂ V (G), äëÿ êîòîðîãî o(G − S) − |S| =
def(G) íàçûâàåòñÿ áàðüåðîì.
Çàìå÷àíèå 2.6. 1) Áàðüåð ãðàôà G ýòî òàêîå ìíîæåñòâî âåðøèí S ,
íà êîòîðîì äîñòèãàåòñÿ ìàêñèìóì â ôîðìóëå Áåðæà (òåîðåìà 2.10).
2) Èç ïóíêòà 4 òåîðåìû 2.12 ñëåäóåò, ÷òî A(G) áàðüåð ãðàôà G.
Îäíàêî, A(G) íå åäèíñòâåííûé áàðüåð. Áîëåå òîãî, A(G) â îáùåì
ñëó÷àå íå ÿâëÿåòñÿ íè ìàêñèìàëüíûì, íè ìèíèìàëüíûì ïî âêëþ÷åíèþ
áàðüåðîì. Ê òîìó æå, íè ïåðåñå÷åíèå, íè îáúåäèíåíèå äâóõ áàðüåðîâ íå
îáÿçàíî áûòü áàðüåðîì.
50 ÃËÀÂÀ 2. ÏÀÐÎÑÎ×ÅÒÀÍÈß
2.6 Ôàêòîðû
Ïîíÿòèå f -ôàêòîðà îáîáùàåò ââåäåííîå â îïðåäåëåíèè 2.5 ïîíÿòèå k -
ôàêòîðà.
Ëåììà 2.6. Ãðàô G èìååò f -ôàêòîð òîãäà è òîëüêî òîãäà, êîãäà ãðàô
Gf èìååò ñîâåðøåííîå ïàðîñî÷åòàíèå (òî åñòü, 1-ôàêòîð).
3. E(H) 6= ∅, E(H) ⊂ E1 .
Òàê êàê E1 ñîñòîèò èç íåçàâèñèìûõ ð¼áåð, â ýòîì ñëó÷àå |U | = 2.
4. E(H) ∩ E2 6= ∅.
Íàçîâ¼ì òàêóþ êîìïîíåíòó ñâÿçíîñòè U áîëüøîé. Ïðåäïîëîæèì, ÷òî H
ñîäåðæèò ðåáðî äâóäîëüíîãî ãðàôà B(x) äëÿ íåêîòîðîé âåðøèíû x ∈
V (G). Òîãäà D(x) 6⊂ W , S(x) 6⊂ W , ñëåäîâàòåëüíî, D(x) ∪ S(x) ⊂ U .
Ïóñòü M = {x ∈ V (G) : D(x) ∪ S(x) ⊂ U }. Òîãäà êîìïîíåíòà ñâÿçíîñòè
U ⊃ UM = ∪x∈M D(x) ∪ S(x).
56 ÃËÀÂÀ 2. ÏÀÐÎÑÎ×ÅÒÀÍÈß
X X X X
= f 0 (x) + f (x) − dG (x) − dG (x) + e(D, S) =
x∈D x∈S x∈D x∈S
X X
− f 0 (x) + (f 0 (x) − dG−S (x)) = def(f 0 ; S, D) − o(f 0 ; S, D),
x∈S x∈D
Ëåììà 3.1. Ïóñòü ãðàô G òàêîâ, ÷òî äëÿ ëþáîãî åãî ïîäãðàôà H âû-
ïîëíÿåòñÿ δ(H) ≤ k − 1. Òîãäà χ(G) ≤ k .
63
64 ÃËÀÂÀ 3. ÐÀÑÊÐÀÑÊÈ ÂÅÐØÈÍ
d − 1 = dG1 (a) = dG (a) − dG2 (a), d − 1 = dG1 (b) = dG (b) − dG2 (b),
ρ02 èìååò òèï 2. Òîãäà ðàñêðàñêà ρ03 íå ìîæåò èìåòü íè îäèí èç òèïîâ,
ñëåäîâàòåëüíî, m = 2.
2. Èòàê, êîëè÷åñòâî ÷àñòåé ðàçáèåíèÿ m = 2. Òîãäà G1 = G02 è
G2 = G01 , ïî äîêàçàííîìó âûøå, ó ãðàôîâ G1 è G2 íå ìîæåò áûòü ïðà-
âèëüíûõ ðàñêðàñîê îäíîãî è òîãî æå òèïà. Òîãäà íå óìàëÿÿ îáùíîñòè
3.4. ÃÈÏÎÒÅÇÀ ÕÀÉÎØÀ 73
n` Cδn−`
m−` n` (m − `)!(δn)!
B` = · = · =
2` Cδn
m 2` (m)!(δn − `)!
µ ¶`
1 n · δn n · (δn − 1) n · (δn − ` + 1) 1 δn2
= · · ... · < ,
2` m m−1 m−`+1 2` m
δn
òàê êàê ïðè 0 < i < n âûïîëíÿåòñÿ íåðàâåíñòâî > δn−i
m−i
. Âñïîìíèì,
m
n·(n−1)
÷òî m = 2
, ` < g è ïîòîìó n − 1 ≥ (2δ)g − 1 > 2` − 1 è ïðîäîëæèì
îöåíêó:
µ ¶` µ ¶` µ ¶
1 δn2 (2δ)` 1 (2δ)` 2` − 1
B` < = · 1+ < · 1+ <
2` m 2` n−1 2` n−1