Professional Documents
Culture Documents
Graph Theory
in Semen 1,5 (which hhs led nh same simplinnhvinns in Ihnex pmnlsy hnd
4. Plhnhr Graphs sa
5. Colouring 1 11
6 1 Cu·ru|.u..rrs "030
031 14a
T. Extremhi Grhph Theory 16:1
12 ir1uu.rs"" 1611
B. Surfaces ::61
T The Basics
mnthined in some Aj, By [A|· wedennte the sm nt hJI kelement suksets [4]*
1.1 Graphs
peph A gmph sapairG : UQ El nlsets surh that E Q {VF; thus, the elements
rener iemms (nr vmies, nr pmnsy nl the graph G, the elements nl E a.re its
edre edges (er mesy, The usual an te pirture a graph is ay drawing a det ter
0306
E: ((1.2).(1.s).(2.s).(::.4).(s.1)l
:2;* s ralled mimi, Semetimrs, e,g, te start an indurtien, trivial graphs ran
elG, Twe edges : _/aae ddydenz iltheyhavean end in eemmen, Mall ieirnssirr
an mmumhim; il G : G 031,
it is ¤lled an mizamumhism, we de net *:3;
e 4
v\esetGuG ::
031
(\'u\",EuE'l a.udG¤G z:
031(\'¤\",E¤E 031l,
and
G' s an mdiiee.1 simymph elG; we say that v' mdiies er pus G' in G,
[I El
Ay 1 1 s A greph G wnh suhgrephs G rurd d'
writeG 024G',
Fer asuhset F ell\'| we
031
w-rite G 024
F z: UQ E 024,
Fl and
Q'fj{""" whieh ey e E are arnaeent as vertiee il and enly il they are arnaeent
G s ' 6 U
1.2 The degree of h vertex
my T new
I I hm
gelclFrm],
A graph enIEI
V :has
; T
gfuérdlrl
new e edge, se [dm is an even
030
l·1ere re elsewhere we drew the rrrder relerrru; u. ure urrderlyru; srruh rl the
but
031rrr.; lr.r rrrulugrrvhe, see seerrerr 1 in
ll a graph hhs large minimum degrm, i,e, everywhere, lerally, many
{jg:} prepesrtrerr rar. r·r·errgr.phc em. rr iersr are rage has . sri.
H z: G,, By the rheire et e, w·e have sIG,+rl z sIG,l ter all r, and
\\e elten reter te a path hy the natural sequenre et its vertire, 031
G p
rn,IM
the
Fermvvmprive
ll S z S ,i S
snhpmhs
kwe w-rite
nf F, \\e u: similar intuitive netatien {er
p · 024. ke/ZT =
H =v¤c 042Jl
in its030
ends, Ln phniunlu, the edge et any H-path et length 1
s never an edge nf H,
0 the ryrle et length k s ralled a keoele and deneted hy C*,
rndueer:ryrle
Isee1
alse
s s Fxerrise
A enele 0
1l:wrrh eher.1 ay. end
5IGl + 1, D
Minimum degru and girth, en the ether hand, are net related lun.
Thus, Iennally,
easilyrherhs
Iexerrisel,
radG
w·e have As ene
I
GI S Z
1l* Z
1+ Z
d 11 Z
1l* Z
1 e 7
**11 024
1l* .
1 14* I D
1+dZIdZ1l 030
ity :: 2r+1 is edd:
___ ityznrseven,
has at least mI5,gl vmire IFxerrise al, lnteretingiy, ene ran ehtain
Tneererrr 1.3.4. IAlen, I-ieery 1; Linial 2m12l
031
Z] 035"
111 en
035 e en
wI3,gl Z2 +I2 Zil 2 ,
ne 3, :1 1 -1 Z ,1
every walk hetwun tw·e vertire rentains* a path hetwun thee vertire
1.4 Cbnnectivity
Frm], Heh any vertex as ur, and aerurre indurtively that n,,,,,,n,
et F in G 024
G1: then nm hhs a neighheur in G., The rerureetednre et
we
030
null emu rise urns derrne: mr grrvhe rhr. tr Welles rs len; rs ther
Let G Z lil El he a graph, A maximal renneeted suhgraph et G
surhG
e ralled
5ep¤-rating
kenwteeted
sets ¤f
Ifer
edge
k ehave
m1r|G|
ne generic
» k andname,
G 024
X
hut
e rerureeted
seme heernneetee:
is the
s
i
d
t
e
r
u
r
e
e
s
i
d emmenrrxq
er a K11IGl
andet
030, G,
»:IlC Thus,
030l 11IGl
Z nZ1hr :
all n
vv it 1,
g and enly it G
jjjgm than 1 eagrs, then G s eauea 1.1.11e.ea1.1.retr.1. The greater integer 1
.II
t:IGl S IPI,
ne edge in F has heth ends in C Ihy the minimality et FI, there are at
Ne graph G' as in Isl ran have_erder exaetly 2k, sinee this w·euld
|IH1II s 1 LIH.lZ*J
s 1LIH1l+lH1lZ2kJ
are tree,l The vertire et degsm 1 in a tree are its L1tr1es, 030
Every nen- err
. y ' /»
ft L
v'
Irl T is a tree;
( 11,,,,,rrei I.
"" 030
rm], 11..1..et1e.. 1.. 1 sta.-s that the e.tgra,,t. sraatea ty the tra
eereurry 1.a.1.r1rsa eee a11dG1se11,»greeh e·m11sIGI G me 1. I§§]I
the tintrnemstie
e
h
t
,
s
n
m
l
e et y
IPreelsil and
The the tinemstie
vertire en,
at distanee k and
{remse
r en,
haveNeve that
hetght k and tetght
~ I .
030 I I I
I II I~, I
IT
n
I .11.,1 11111 rereees r,
. 1_ e r are seperated rr G 11,1 me set IrI n I,,I. I 034*
03
lie in NICI, Then 1 S 1, hy the rheiee et 1, Fer eur preet that y and
1.6 Bipartite graphs
q
i
e
e
i
I
I
. rn
I Ie` ·.042 .` 1 'T 031
`.
I| I I
I · I,_
I '»,' I,
K1 1 1 : Ir:
titien rlase
IFigrueare airhaeent
1,6,1 s ralled
shew·s the emplete;
example the remplete
et the erthhedren Ioj; 1-pa.rtite
rempare
rrdpaartrdri 1.11.1. 1-I graph ra 11par1·11e 11 and 1111,11111 edntarrs 1111 Ij{;I
New
030that we r.L~t.rn r Ki t' we reulaee e.1h Verma r.: r A" ty an rrureuerurent
er trivial, se we mq as-ume that G e renneeted, Let T he a spanning
hy Sr, Fer taeh n e V, the unique path rTn has edd er even length,
I I /; t
then CL :Z 1Ty +1- s a ryrle IFig, 1,6,3I, and hy the ra; treated
er ,,111 n»,IeII,
I-
,.,Z EI I V ,,Z n. eg V.
G
e
r
e
l
h "IIZZJ
generally,
it X e anether graph and (1; | 1 e VIXI I e a
G an MX and writei G Z MX (Fig, 1,1,2I, The sets I; are the bmneh tux
that may arise, l.n inhnite graphs, hranrh sets are allewed te he inturite,
vn
I it °
A I 1 I
4* ;ZZ4 Q4! 4*
\ r
, stx N
U Z ( 11, i1' I,
'rhris
031 h.r1r1.IIy the ewresr.11 il1xZwhere iu stands mr I1r1rnr.r 031,
see helm,
and edge, and then rentraeting seme iurther edge, Cenversely, any
ends Ise that nene et thee paths has an inner vertex en anether path
1111. rl, ae rah the graph G ettaned a a..11.1.a11. err and 1.-rite
G Z TX, LCG
030 Z TX e the suhgraph et anether graph Y, then X e a
VA 4444` r IZI [I
G _1;
IIGZ TX,weviewVIXIasasuhsete£VIGIandralltheevertire
the sets ,oI1I and dz/I w·henever 1y e an edge et G, Further variants are
-n1e11rern
etnyene1.a.1. Il;nler11asI
u. whern siiah insprratien seens hreieurhe: even ahnr eenternulatrns
·· I? -·
.1.:1.. I 'T *I I. 024-1
ms
.,-1 e share gmsase-. ·~==¤¤ 1
ri 024
"*I
030030 '```"T
vv *4 LII
y 030
C.
1
I'
rr 15.1 .1. r.... .1..., 11... .1 1.. .1. .1.. rr
veeter element
V
y
r
e
v
E spaeeever the2element
ef l'IGI heldnaturally
eenepends IF, Z ( li,1
teIa
et all tunetiens
suhset e£V, the set et
7*:Z{DeEIGI|IF1DIZl1hrallFe7}, $*
dim7+d.im7*Zm, III
l
l
a
G
I
{ The eee;. aprs
is mmetime c Zthe
ralled cIGI s the sntspaee
cocbmtme ersIGI
vttirner et G, sranned ty
030
I-rer sirnulieity
034 we shall net always dstrusueh hetween the edge sets F e um
IiI F e {IGI:
et {IGI, D
net the ether IFig, 1,9,1I, But thee are preeisely the edge hetween
Our seeend aertien, that the ruts EI¤I generate all et { hllews
031,
2.... 11I1I, ¤
ii, .ZZZ ZZZZ.)'1
D. I I t1'
II I tl
spre ter
t
e
i
l
p
x
e
i
s
a
h et {
G, It is
031IGI1net
and ditnenlt
thus te tind aaneng
te determine the ents
its dimensien may an21I,
IExerrise
its hends are lust its minimal ruts, and thee are easy te reeegnire:
I .
implie{ Q { 031*,
{ Q031
I{ 031*I*
hllews direetly {rem the dehnitien et 1, But { hhs
031the
dim{ 031+dim{
Z nr Z031*
dim{ 031*
+dimI{ 031*I*,
I-lenee { Z031
I{ 031*I*
as rlaimed, III
;'Q':;' 034
in T+e
034 (Fig,
034"'
1,6,::I; theeryrle C, are thejii1».:dn1ent.rLetIeLesetGwith
;';':" 034
Thee
034
hends034"'
D, are the jimddmentdl etits etG with repeet te T,
1 031
·IZ·
dim{ 031+dim{
Z m ZInZ1I+ImZn+1I
hy Theerem 1,u,s and III, se the tw-e inequalitie aheve ran held enly
withV
Z The
(n,,,,,,r».
meidewueI and
mtzmr
E Z(e,,,,,,e...IisdeturedeverIF,
B Z el a graph G Z I\',EI
hy
t" ` I li etherw·ise,
rnitlrt aeigning te every edge e an mmirl tener initIeI and a temliwnrl rener
lsep a Imp,
intrlttgraph A rntiL¤grtrph is a pair Il; EI et diseint sets Iei remes and edgesl
(LI its tw·e inrident edge are identiral, i,e, {erm a leep at n, we add ne
TheL e nist
I a elrrrrey ee1nL~rna¤.1-Ial paravhrase ei the muelesiaal netien ei
ExercIses
Notes
2 Matching
Cove r1ng
and Packing
he ahle te p¤ir up all its vertiee in this wei LI net, hew· ran we he
in 'H: dearly. we need at ltnst as many vertiee Ier surh a rever as the
at mest _/IkI vmiee, w·here _/IkI may depend en 'H hut net en Gi Ln
2.1 Matching in bipartite graphs
L. Z Il EI Fer this w·hele seetien, we let G Z I\Z EI he a hxed hipartite graph w·ith
;*;···*···¤ edge tran. n , ar ....1 tran. aria ..1 11111..11.I., ..111 .1th ..,,.11 tr ar,
I
Thaererrr 2.1.1. IKenig1tl31I
path ends in tha.t vertex, and its end in A etherw-ise IFig, 2,1,2 I, we
I U U B
.1
t
e
L alt e E he antr nedge: we shew- that either 11 er lt lie in U, LI
matehed, and w-as rhesen Ier U Irem the edge et M eenthining it, D
IiI ne is unmatehed:
Im eIiiiI
IiiI b.isa1·Uaeenttesemevenex1t,I.I
¤.b. e M,
na |Z M
:Zw-ith
_/I IkI Z ll
F is an alternating path,
setSQ A 024,
(1tI satishe
Ii\b·I$IIGIi\bISIIZ1:I$11
|A'| Ier B' :Z NIA'I, By the indurtien hypetheis, G' :Z GIAIU B'] cr
Fer eur last preef, let H he asparuring suhgraph eIG that satishe H
the graphs H Z ¤l~1 and H Z nba vielate the marriage renditien, Se Ier
5 |A,|Z1+|A,|Z1Z|A, UArI
Q |A,UAa ~ 024(1tI|Z1,
s jeined te NISI hy a tethl el k |S| edge, and thee are ameng the
edge e. Z nn.,, hy the edge nfng, (Fig, 2,1,4I, The renilting hipartite
every vertex pair InZ,n*I haeh inte a single vertex n, we tunr this 1.
024.`I
_ I ,. `B U
024.II 1* 1 031
I !-
G
IA
d gy/I
c 1I 1 ·rInre*s I
etnnirrntn IIIGZ sy 024IsI ter ., Q ::..11111 rhe
1I rr 7 0242
I / _ V __fh
1 030
"Za, .···1
Ctrrtrllhry 2.2.2. IPetersen16tl1I
n
e
s
u
a
e
e
h A graph G
it hhs Z Il;EI
edd erder, is Islled
we ralljretareermedl il Q
a vertex set S G s mtrtehdbte
V I and G Zth inrtehattle
vertexsetSU{t;Zsandedgeset( aC | Be e C: se e EI;seeFig,2,2,1,I
ISI Z I{¤ZsI·
eaeevt
030 mr theZ¤erin1tte:Aasethat 5 rr crsss s ern;-ty
qIGZ SI S |S| implie |S| Z |{g;ss|, and the existene-e et a 1-laeter
theeren lellews at enee lrem the aertiens IiI and IiiI: il G has a
1-Iaeter, w-e have qIG ZSI S ISI and hene-e |S| Z I{t;ZsI as aheve;
GIG Z $ `
031I
ISI,
are either heth even er heth edd, se they raruret dhter hy exaetly 1, we
qIG'ZS'I G |S'|+2,
eheese ISI edge hetween S and Us aeeerdingte IiI, and then ng IiiI te
lMtIZlsl+I(lIIlZls1Zlrl) Ia
and I2I, M has a.t least |S|Z |{|I edge, whirh implie hy
et graphs Irem 'H Inet neexerily distinrtI that we ran paeh digeintly
this preperty il there exists an rt AIR iunrtien k »A JIkI surh that, Ier
Iaheut 4klegkI surh that every graph rentains either k dineint ryrle
_W ,
1
n
e
h
t H r, elagraleglagrra
tnntains k cisuint ryrles. ...d
in HIM], sinee we reuld net meve them te l;, Let HI he the ruhir
Ier 1 G 6,I
Frm/, me shew- the renilt ler JIkI :Z st +kZ 1, Let k he gven, and
ene vertex, Let Z Q \'IHI = U he the set el these vertiee, Fer eheh z
dee net lie in {, and it dee net centhin an H-path hetween distinct
them, h1enger's theeruri I3,3,G IiiII in the next chapter w-ill tell us that
tnsily sen te he lalse It.ry k Z 2I; indeed it is net even clear at that any
edga 024cennectivity
w-ill imply the existence et k edgediseint spanning
we se- that FI has heen ehthined lrem F hy the eptrernent el the mmlwjgflf
E 034¤Z
U IE 024,EIPII 1**
eenthining e", \\e shall preve the aertien Ier U :Z VIC 034I, LI
1etPZIPr,,,,,PtIeI 034.andletIP{,,,,,r;Ihaveheen
1EQy Z 1Ejy and nethingte shew-, lt srtliee te shew- that nE;1n Q C 034:
hr every edge 1y e C", the path 1Pfy exists and lie in C", As C" is
F 030* Hchak-tupleP"ZIPf,,,,,PfIe7,LIeveryE;"eatree,weare
dual Icl, Theerem 1,s,1I: inte hew- tew aeyelie IspanningI suhgraphs
see
031Chamr 1 in en eentraetien tn rnnltisravhs
Thaererrr 2.4.4. INash-williams 1964I
its inturite versien, This is haed net en erdinary spanning tree Iter
the undirected case Iexercisel, and the directed ca; w-ill alse have an
Suppese then that GI has a path cever 'P" w-ith terI'P"I Q terI'P'I,
a path cever eIG w-hese set el last vertiee is a preper suhset et terI'PI1
eentradicting the cheice eI'P, LIapath F e P" ends in zu Ihut nene in nl.
F Isruret he cevered hy fewer than |A| chains, The Iaet that |A| chains
Fwiththeedgeset(I11yII1eyI, D
Exercises
A Ler A he a hnrre ser wrrh sulsers A,. ..\.1. and ler ·l,. .·l.1 r rl
shew rhar rhtre are dspnnr sulsers Lit Q At. wtrh Ilia] Z rlt air all
I I_I AI G Z .1.
IIIGZ SI 024I5I+IGI Z2k lerall sers S Q VIGI
jx, tanned ty the edges as nrth 11 e 1;, This net graph at G s sheen in
I 042
I _ 042
x I EI
U °
Z
Z
?
II 042
Li' I..?
042,.
zi ri eI
IQ I. oy. ~
eZ` s+ · 030 I
I I I I I
I I I
/*4 *
I " I
Iand ¤ 030cleI1
w-him are again erganired in a trea 024lihe
w-en This nen-
The
030 era-tens reader may talee a slanee at tzrerese zu ei Chacm iz
h:IGI G 3, the centraeted vertex n,,, et GI1y Isee Chapter 1,1I lie
a
thatL
in S and G,
separate |S| ev¤;y
Z 2, vertex
i,e, G has
in Tahas
vertex
a neighheur
1 g (1,yI
in every
such cempenent C
I IIEI `I
I
I, 030I'I I
CTZZ ZZ 035s"ZZ'
031ZZ
931
as 024umptien
el dI1I,dIyI G 3, III
that n' and n" theh aequire at least 3 incident edge, and that every
Ln K 030,
ev¤;y cycle is a triangle er Iin terms el edgeI the symmetric
G' :Z GIe s again 3eennected: cI, Lemma 3,2,1, Then every edge 0
e' e EIG -
031I
EIGI e et the {erm e' Z 11n.,w-here at least ene et the
and identity it netatienally w-ith the edge e'; thus e' new- denete heth
Graphs
031 ei the h.r1n 0* tw are aalle: aheeh, thas 11* s the srnallet wheel rvtel
regard EIG as
031I
asulset el EIGI, and EIG as
031I
a suhs-pace eIEIGI; thus
that centhin the edge 1-, me mall call thee the jiinddnlentdl rrtdhyles
viewed as a suleet el EIGI rnd net ceincide w-ith EICI, er even term
1 1- 1 _ .·,:I' 1.
I It I A I 030I I " It I
P+P+De (h,(eII,
erate a set C e {IGI smilar te C:
hut net the ether, Then n, e C': let 11,1n he the tw-e neighheurs el n,
en C', and e' Z nn. and e" Z me its incident edge Ias in Fig, 3,2,3I, LI
Te preve I3I1 we shall cheese the C, se that C.Ie Z Cj; thee w-ill he
1. 1.-
candidate ler GI the cycle C, :Z 11.F1n111 and C, :Z 11F1ny11, Beth are cr L.,
happen ler heth C, and C, a.t ence: etherw-ise I\bI( 1,y II Q VIFI and
cheese this as G,
Menger 031s
theorem
I 030j, 030,
Let G Z030I,
IlI,t1I he a graph andA,s Q lz men the nrininntrn rntrntrer
G mntains aset ni IF'|+1 diqnint AZB paths exeeeding'P.
exceds 'P, as deired, IThis w-ill happen w-hen 'P Z 9, se the induetien
BI :Z BUVI1FU1HI and'P :Z
034I'P 024-
( F I) U( F1I (Fig, 3,3,1I, Then
|'P 031|
Z |'P| Ihut |II'P 031|
e |II'P|I and kIG,A,B'I G kIG,A,BI, se hy
I, I' I
I I
I 1> I I
I 1 ZZ . re I I
I I I
_, I| rn I I I g.
(im w
1>wher
itz,
n s svhsj
e
m \'['P|, s E['P|a.nd ever; t EVP]
sem \'['P nt
031|
w P K ; y W
.a
V(W'mVW] Q VW'] and \'(1/PV¤\']'P'] :6.
and B z: Bib]. D
s
n
m
n
u
p
]
m
r
F uy .AKimp:. is keummd
I Lt 1 z¥1vh is k
G mnujns my uny .1 in
independenm p1ms hemeen 1ny um
Mndefs theorem
J J"JJ
C
J ` J J J ~ ,J
J J , 030
VJG 024Hl
and F Q EJG 024H sn¤hth1tever;y
024Xl H-p1thinGh1s1
sieQ
:
s
s
e
l
X sn lem
VJG independent
024HJ1nd
F Q EJG H-psnhs
024H snd
with
024Xl sn
k Z m+ Z li Mal
BG :6, let ip ::6. Then ]g|3G|J g g|i;·| hr all G e fr-. hlereever,
IXI+graph
elG JExerrise
ka IEJ. D
are Inst pesihle Jas general henndsJ: ene ran nnd examplrs ler G and
iii edge; ter iii : tg; this iiiipiirsthe aseieii with hm : NJ.
New let r 1 m S G), und axnme the axrtien helds ler smaller ni.
Let G with dJGJ g T" he given; thus, sJGJ 3 1**. Sinee G has 1
H LetH::GJ1\ 031JL*J].l.tHhasavertex
eeldegr¤dHJeJ1T'*",we
F; such that earh FQ starts in r,, earh Q, starts in 2,, and all
suhdividededge elthe k 031*J
lrem ir, te the end el F; in U, and let e, he
path in 'P, then this path is Q,. Then the mths are
e
e
h
T preelel Theerem 3.5.2 yields enly 1n expnnenvkl uvvu ¤¤¤¤d
ler the iunrtien _/JkJ. As 2.sJGJ z 5JGJ z »:JGJ, the lellewing rrsult
rentradirting (1 J.
X 024L
paths hy hlenger's theerem (3.3.1J. Then X reuld he linhed via
5(HJ 5 sk and IHI S 16k (in whirh L reuld he leund hy Lemma 3.5.4J;
parts 1w1y frem X:held ler H J A] heraug they did in H. This will
Gven k s ri, 1 graph G, and A, B,X Q V(GJ, call the erdered umm.;;
Crll aset Li Q VJGJ ughr inG il|JLJ|J*s sk|Li|, where |J¤|J*denetrs JJ JJ 042
1,erG:(V,EJbesgr.rph.rnuXQV.rser¤i.rrm¤s12k x
Te see that (¢J implirs the theerem, assiurre that »;(GJ g 2k and
| 024
JJG
e
\
\ |Jv 024x|J*
preve (¢J e
hy indurtien en |G|, and ler earh value el |G| hy indur-
B' ~ 024
(A'UBJ : B' 024.
A';
and ne edge el G' : E is inrident with this set (Fig 3.5.2J. Our as.
ei J
J J
J. ~ 024:
xx LV
l-lenee S Q B'. By eur rheiee el (A', BJJ, the graph G" :: G' J B']
satishrs the premise ef (cJ ler X" :: A' U B'. By the indurtien hype-
el A in the rheiee el (A, BJ.
J Q J 034
J J `J J
J J J J
XJ is linhed in G' J B']: il e, ereurs en ene el the linking paths ler X',
the premise el (¢J with rrspert tie X", m that X" is linhed inGJB] hy
pletas the preel that X" is linhed in GJ B], and henee the preel ef (2J.
The leuer heund in (3J lellews {rem (2J il ue amrurie that G has ne
X-mparatien (A,BJ surh that B 024.
A is heavy. ll the latter happens
mntradirtien tie eur amumvtiens in (¢J. But ile is sum an edge then
rstimate the numher _/(1J eledgrs that 1 vertex 1 e X sends tie V 024.
X. rJr>
There must he at least ene surh edge, 11/ ww as etherwise (X, V 024.
(1 JJ
By (2J we have 5(HJ z sk. and hy (3J and the rheiee el rh we have
its vertex set. lay dennitien el ·k-linhedJ, we have JL] 2k e JXI. i.tG
that rentradirts (1 J. D
Exercises
md 11. : JXnéf,JUJXnX'JUJX'nC..J
ki : J.YnCiJU JXnX'JUJ.Y'nCtJ
J J. r j .J J
he inhsrrurrrd lrinu 1 IU lm surrimiur applrrarrnns nl rhe lnllnwnrg
Notes
laets needed later. All thrse laets have (hy newJ easy and well-knewn
preefs: see the netes ler murrrs. Sinee these preels rentain ne graph
iegnrn again epen; they are the mgimis el 0. A desed set X Q W is mid tie
lirs in W 024.
X.
0sthatitsepar1tes0£remtherrstellR l.ndeed,il,¤:
031. QW
F U Fi 6.
I 7
erJ J J 034
Then 0 024.
F is axgiun ai W 024.
(X, UFUX,J.
peints in lR 035*
at distanee
030 1 {rem the erigin. The 2·sphere minus its
*nerth pele' (11,11, 1J is hemeemerphir tie the plane; let us rheese 1 nxed
S 024.
031
r"(F UOJ the nqrans el G.
iireles an S 031.
ler 0, be a regian ¤iG,. and ler 0, be a regian ai Q.
A pnrne ynrph s 1 pair (ip EJ el tuiite sets with the lellewing prepertirs
(iJ V Q W:
alm ler the plane graph (V,EJ, er ler the peint set V U LJE: smilar
W 024.
D. This laee is the eurarjrrm el G; the ether {ans are its inner
t·ir.wer·er
030 we shan eantrnne 1. use mr drtreruieg rirprnne sets and : mr graph
Frm]. (iJ Clearly, the peints in J are equivalent alm in W 024.
H; let J'
(iiiJ lie lies an na eyele. rhen e ues an rhe drinrier ai exaerly une iaee
rem 4.1.1 J. Sinee A and Ji are rentained in lads elG hy Lemma 4.2.1,
this implits _A Ji. Lt e dets net lie en any ryrle, then e is 1 hridge
New
031that even the heat tntnitirn can enly euer he Jneeurnte ie ernneide with
A Urn
fi
X, UX, : G 024.
e. Clearly, A UeUJ, is the suhset elalaee J elG:e.
ne my asume 042h1t
De : De, and D,. : D,,. By induetien en n, ene
and De.J. ue turd that 1i lits en the lrentier el heth A and Ji. D
v J J
p,,` ee J · J P n,,
Lemma 4.2.1 (iiJ, every laee elG s alm 1 laee el its heunda.ry; we shall
ether. Thus, A and Ji are distinct lads el C. As C has enly twe lads,
induetien en ]G] that G JJ] s a eyele. it G s itseil a eyele, this helds J} gg:
nenseparating induced cycle, then hy the lerdan curve theerem its twe JJ 2*03
Lemma 4.1 .2 (iJ this lace is heunded hy enly twe el the paths. The third
p":;":;" A plane graph G s called rndnrndllq phrni er just rndnrndl, il ae
(: lC 030J.
By C Q G, eur lace J is centained in 1 lace A· el C: let JJ.
JJ. rather than Je· (Fig. 4.2.3J. Analegeusly, since age, e GJJ], the
rrd].
e
e
r
t
d
n
a vn we
: n hx
: 1n and apply
(whyi'J, induetien
m the axrtienenlellews
rn. rerlrem
rn s Prepesitien
n : 1, G is4.2.4.
1
(cl
4.2.1 (iiJ. As clearly J J., this tstahlishts the lerwad inclusmn in (gJ.
hewever, J lits inside 1 lace JJJ el G'. Thus J' Q J Q J" and hence
The
031hindarrenm er.nneetir.n hetween graphs and surues hs at the heart r.:
eccur as plane graphs. The graph K ler
030,example, has 10 » 3 5:6
JJ JjJ carauaey 4.2.11. .-1 piane graph eanrains nemier K5 nar ie,, as a
graph can he drawn in the plane il and enly il it has ne (tiepelrgicalJ K 030
Drawings
H, t F F hetween twe plane graphs H : (\ZEJ and H' U (VJ,EJJ, with lace
HJ,\ JFJFJ sets F(HJ :: F and F(H'J :: FJ sq; and try tie meas-ure tie what
l.n what lellews we shall prepese three criteria ler this in decreasing
il
s there exists
e
d
u
d
n
i ir en V1U
hemeemerphism ,o:Swe
E. (hlere lermally: ~S
031
ash such
031
that that
4- 4- ::
agree nr
with ir en V,
el S mapping
031 the ela peint el mme iruter lace el H tie the
Jiztit put F(HJ :: F and F(H'J :: F', and let ¤:V AVJ he an immer.
(iJ l.l H s 1 cycle, the axrtien lellews lrem the lerdan curve thee.
(iiJ Let us assrurre that H s 2cennected, and that is is a cemhina- er
which,
tiepreserving
ler every
hijectien
vertex
lrem
erthe
plane
vertis,
edge 1edges
e H, a.nd
maps las* el H :: rr*(HJ
sA ; ri L HJ ; a¤
l1 Q
030
H T HJQ lr
,, te -:011. Then the unien el all these hemeemerphisms, ene ler every
all el S 031.
This catr he dene analegeusly tie the secend step, lace hy lace.
heunds the lace B(JJ el HJ. ByTheerem 4.1.4, we may therelere extend
lrem CUJ tie Lr(CJ UL·(JJ. We trnally tahe the utrien el all these hemee.
* Bt the ~r·er·t.es edgs and aes r.r H .nd ir we nean the rnrags under n:·
G rnpnhryrcrrllt (respectively, ennrmndrarrirttw sqrrrrrrlenr il { e pf s 1
ir cdnrains K dr
030
Kii as a nrrpdlagieai minar.
with 1 K rrriner
030centairrs either K as
030
1 tiepelrgical rrriner er K, , as
that K : MK? Then every hranch set elK indus atrm in K, and
· J KQ)
JJ JJ J ::,~
J `~ i:' I J
dene. Ll ene el the T, s net 1 TKr 1 then it has exactly twe vertis
1Kii.Thus,G : Kiiasdesired. D
K er
030
Ki, rrriner either. Thrrs, hy the inductien hypethesis, GJ1y has
I L peint e,,, and let C he the heundary elJ. Let X :: l\Je;(1J = (I1 l and
LJ G::G:(a,,a]aeY 024.XJ
hy the peint e,, (Fig. 4.4.2J. Our aim is tie add y tie this d.r1wing tie
J? ~ 024ere.
_1.
J
"
g
A U 2 . A
GJ asa drawrrrg 1ilG J 024
J1 rhe rrarea ars reprrserrred
Hence A Q W 024.
GJ, that is, A s centained in (and hence equal tieJ1lace
( Exercise 12J.
srrhgraph, then neither G, +1y ner G, +1y has srrch 1 suhgraph, and
with »:(GJ S 2. and let Gr,Ga be prrrper induced srrtgraphs ¤iG such
J J rx J JJ J J J
J J
L., L, w·itheut 1 TK er
030
TKi ,. Suppese »r(GJ 5 2, and cheese G, and G, as
r 1 1 IC'. with vertis 1.14 sun By Lemmas 4.4.4, 4.4.3 a.nd the inductien
J J ir J . J ._ J
JJK 042,J
,rkr*'''V i_J J
l.lall the hranch vertis el K lie in the mme G., then either G. +1:.
eentains 1 TK er
030
TKii; ths centradicts Cerellary 4.2.11, since these
(iJ G is planar;
cycles,
y
h
e
e
s
( the cycles
helew·J. that
On the heund
ether 1 lace.
hand, the Ll G scycles
lacial 2cennected it is cevered
enly cever G *thinlyJ,
the cut space f' (GJ has asimple hasis: accerdingtie Prepesitien 1.9.3 it
s the direct srrtrr el f(G,J and f(G,J, and hence h1s 1 simple hasis il JJHJ
e Q J lies en exactly tw-e lace heundaries G JJ'] w-ith J' Q J, and every
edge el C lies en exactly ene srrch lace heunda.ry. Hence the srrm in f(GJ
(C, + 254,,(y,...,Ct
J is srrch 1 hasis. (Nete that the tw-e has are
centain 1 TK er
030
TKi,, and m is planar hy l·{uratiewskiJs theerem.
S
r
r
e
r
r
d
h
T ZF :5
4.:.2. 4
(Kelmans1tl1éJ
(iJ V Q W:
(iiiJ apart lrem its ew-n endpeint(sJ, an edge centairrs ne vertex and
very similar tie G: in lact, G itmllmay he reehtained lrem G' in this way.
all (V 031,la"J1pLzne
dint er G, and write (rJ·,¤·J : G», irthere ue
(iJ a'(./J e J hr all J e F:
(iiiJ a e J 031(aJ
mr all n e V.
cenditien (iJ we start hy picking lrem each lace J elG 1 peint e'(JJ
e 031(./ ::
031(¤JJ
e and J 031(¤'(./JJ
:: J hr J 031(¤J
e F' and ¤ 031(JJ
e V', we
see that cenditierrs (iJ and (iiiJ ler G' translerm intie (iiiJ and (iJ ler G,
w-hile cenditien (iiJ is symmetrical in G and G'. As duals are easily seen
lay eenditiens (iJ and (iiJ in the deturitien el Gr, tw·e vertids
every srrch a.rc F (w-ith FU V(GJ : 6J detures awalk in G': Ia" hetween
ality tie ahstract mrrltigraphs. Call 1 mrrltigraph G' an dnsrrrret dual el 030 0
1 mrrltigraph G il E(G'J : E(GJ and the hends in G' are precisely the
f 031(G
: f(GJ.
031J
ated rdated
spaceand
hy the hends
sets el
inedges.
G'. By
lt Lemm11.9.4,
w-errld net have
ths
030
heen
is the
unthinlahle tie ask
hends (and vice vers1Ji' Put in this we-, it seerrrs surprising that this
shew- that the planar graphs are precisely these ler w-hich ths catr he
Althrnrgh
030the lerrana was staud mr graphs r.nly its prraiirernaars the sane mr
J] E {J rm;. Let G he a planar graph, and eensider any drawing. lsvery
eempenent C
030
el this d.r1w-ing has 1 plane dual C'. Censider thse
Exercises
hir.re
030 elegantly but les srrarghth.1-wardly use birds rnsaad rx ernrrprinents and
leasr ts alwats prrrduers lairh a 1*K* arrd a TK,, srrhgraph
rurire rharr arr : 6 edgrs erirrrarrrs a 1*K* arrd. wrrh rirre rsrsrln drserrlred elam
5 COIOl11`11lg
Sllfltthat
A
<(¤J
rst-ter
s c(enmrrnng
1cJ w-henever
elaegraph
and ie
G are
: ai-hacent.
(\ZEJ is 1The
mapelements el the `
its sire: typically, we shall he asking ler the strrallst integer k srrch that
G has 1 kcabrrnng,
ehmrtrrmc nrrttrsr
1 vmex el
celeuring
G; it is deneted hy1,...,kJ.
\(GJ. A graph
This k
G swith
the rJL.>
J
J J
isa
__ J*·
J " n p
s
.
]
m
r
F Let c r(GJ
he 1 vertex celerrring elG with k : \(GJ eeleuas. Then
have used the mme celeur ler heth class. Thrrs, nr g gk(k :1J. Selving
One ehvierrs way tie celeur 1 graph G with net tree many celeuas is
way, we rever use mere than A(GJ +1 releurs, even ler unlaveurahle
el la.rge degrm early (w-hen mest neighheurs are igneredJ and vertis
ths is easily achieved: we just cheese ec, trrst, w-ith d(¤,,J : 5(GJ, then
034·JJ*·J shew·s that cel(GJ 5 rrraxJri;e1i5(HJ +1. But ler H Q G drarly alm
cel(GJ Q- cel(HJ and cel(HJ z 5(HJ +1, since the *hackdegieeJ el the
least\(GJ:1. D ]rr2i]
As w-e have smn, every graph G mtistrs \(GJ S A(GJ +1, w-ith
\(GJ S A( GJ.
A(GJ g 3, and that the asrtien helds ler graphs el strraller erder.
eured 1 hy 1,, 1 : 1,...,A. Fer all 1 e .i, let H,J denete the srrhgraph 1, 1,
pdnent C, di H., J J L. ,
v
e
r
a pairw-ise aa-hacent, then each has A neighheurs in N(¤J U( 1 J already,
vertex 11 new- lies in Cgi, since e'(11J : c(1iJ : 2. By (4J ler c, hewever,
hut are enly 2chrem1tic. Thrrs, the mrt el la.rge (censtant J 030
1v¤1ge er
rach
recursively(iJ
kK*
e rt,
is let
kcenstructihle.
us detrne the clas el k-cansmrcnnle graphs
that G1 UGa : (1 J and 1y, e E(G,J and 1g, e E(G,J, then alm
the graph cerrstructed in (iiiJ, the vertis g, and p, de net heth have
kcdrisrrnetihle srrlzraph.
graph ler any r: ler then \(GJ g k w-errld imply r Q k, and G w-euld
H : Ju. 1 uiJ:r11:r11L+11i1L
(Hr Q G:
5.3 Cblouring edges
New- asrrme that |JGIJ g 1, and that the asrtien helds ler graphs w·ith
Ltrstead el 030(A
+1J<dge 024celeuringJ
let us just sq- *celeuringJ. An edge drlrnnrng
withj e (ll,»»»,tell
1 030
[ c1(e-J etherw·ise:
1
s
A :1 034
" , 030r
this is the edge 114.:1. Ltr c1, hewever, and
hence alm in is s rrrissing at y.:r (hy (2J and the cheice ely.J: let
5.4 List colouring
Suppese we are given 1 graph G : (V, EJ, and ler each vertex el
celeur G (in the rrsual senmJ m that sch vertex receivs 1 celeur lrem
el the lermer w·here all lists are equal tie (1,...,k J. Thrrs,
trve celeur theerem (er even EulerJs lertrrrrla, en w-hich the preel el the
Let us check trrst that (¢J implis the asrtien el the theerem.
vstex. Add edgs tie this graph until it is 1 maximal plane graph G.
G and the asrtien is trivial. New let IGI z 4, and asarnre (eJ ler
irrtrer lace (Fig. 5.4.1J. Applying the inductien hypethsis trrst tie G,
l.lC has ne cherd, let ur, 111, . . . , 11..., e,,, he the ndghheuas el 1, in in tr,.
their natural cyclic erder erder areutrd 1,;* hy detrnitien el C, all these
CJ ::FU(C:¤:J aeycle. LJ
1.
J
e
\
\ new- cheese tw-e dillerent celeurs j,L e 1 lrem the list el 1, and
As is elten the cam w-ith inductien preels, the hey tn the prnnlahnve
s031
rn the hrst prr.r.i r.i the hee er.lr.r1r thernsrr
list versien, i.e. tie preve an asrtien el the lertrr ch(GJ S k instead el
these tie w-hich 1, sends 1 directed edge. Ltr particular, il d*(eJ 1 k ler
has an mentadan D with d*(¤J 1 |S,| rirr every 1. and srrch that every
lim S,.
The vertis 1 with cr e S, span 1 nen-empty srrhgraph D' in D; hy DJ
1 J J '
.
5
G
(
'
h
r Perfect
Ctrrtrllary
J :.4.:.graphs
Every liparute graph G sadsties
1rJL.r dans ntrttrter ¤r(GJ elG. Clearly, d(GJ :.1(GJ and .1(GJ : d(GJ.
chrematic numher \(HJ : rd(HJ, i.e. il the trivial lews heutrd el rd(HJ
srrch that G :Gr UG, arrdS :Gr UGa, we say thatG arises lrem G,
put Gr ::GJV(CJUX] and G,:: G:C. Then G arises lrem G, and L., Le
Hence, there is an X-mth lrem a tie 1in Gr: we let Fl hea shertast such
The
031alas r.i perieet graphs has duality prapertrs wrth deep er.rureetrr.ns 1.
J
01/ J ,: `J·
JJ 254J'
.. J ·
JG1
J P1 J J I J J P1 J
J . J. Ji.J J J
fjf:,f 030
Thsdrern a.:.::. Jchudnevsky, rrehertmn, se,-nreur lr Thenras2r1r12J
ltsnein .-1 graph G is perieet ii and dnlyiineitherG ndrG mntains an ddd eyele
Thdrrerrr :.:.4. (Lievasr. 1912J pinch
J
sa, that
m
e
r
l G hytyexpanding
s attained1tran. 1
G1
vertex ,,
rs,
ee.,.dnd.ng the 11J.
G te an edge vertex . eur
Fer ta an edgethat
preel ..1 r rJ
Let.d(GJ::.d:then.d(G'Je(.1,.1+1J.Ll.d(G 031J:.d+1,then .1
\(G'J S \(GJ+1:.1+1:.1(GJ
and we are dene. Se let us asume that .d(G'J : .1. Then 1 lis in ne
K' Q
034
G: tegether w-ith 1', this w-errld yield 1 K·" in
030
G'. Let us celeur
ictien el G it thrrs srtlis tie preve \(GJ S .1(GJ (: 1rJ. Te this end,
weshalltrndasetKeisuchthatKUA:6trallAe.4:then
\(GJ S \(G:KJ+1:.d(G:KJ+1S.1(GJ
rJrJ r(.J::JJirec].e.4nlJ,
mining all the vertis elG, te all the vertis elG,w-henever 1 and y are
k(1J
]XUA:rI
S IKIr1: (TJ
(since Aw is independent hut G JX ] is eempleteJ, and |X UAy| :9 (hy
IGJI : Z k(1J
:J((1,KJ:1e\Z KeE,1eArrIJ
As d(G 031J
S rr hy cerrstrrrctien el G', ths implis
I IGJI .
\(<·' J z nm,) z sA Z IAI. (KJ
1 centradictien tie (1 J. D
the An has 1 chrematic numher that is tree large, larger than its clique
|G| : |K| rr and \(GJ : |K|, with the A., as celeur class. Olceurse,
the sets Aw will net in general he diseint. But we can make them m:
el sets Aw it livs in! This is the idea hehind GJ. What remains is tie
G and G, it dearly implies Theerem 5.5.4. As eur preel el Theerem
\(G:UJ:.d(G:UJZ.d. (1J
KUA.Z6ri1rexacdy¤ne1e(9,...,d.1J. (4J
¤.r,. . . ,¤.,. denetetheentris elthe 1th rew- elA, then 11,1 :1il 11 e A,,
lar,ttzcud+1,w-hichcentradicts(¢JhrH::G. D
Exercises
5 TW rr. rurrr rhe prratl rtl rhe hre e1.l1.ur· rhertrrni rrrrtt rtrre rtl rhe lrtur
er leavs the netw-erk: at all ether neds, the tietal arrreunt el llew intie
:9. lrrr-
J l=r.r earrssurrey we shall phrase srnre r.i r.ur prr.pr.srtrr.n h.r graphs r.nly thr.se
6.1 Circulations
F E :Z ( E I e e F l.
FJXyt P(X,YJ::((e,1,i1JePI1eX:14eY;1eyl,
:
e
l
i
rn.
X Here, as helew, X denets the cemplement V 024.
X el 1 vertex set X Q li
r
y
{JX
r
J
{ hl Ltrstead elJ(( 1 J, YJ we again w-rite J(1, YJ, etc.
'nrs
031utapter er.nta.ns nr. grrtup thedry The r.nly serrugrrnrw we ever er.nsrder
l.lJs1tistrs (F1J, then
J(X,X J : ti
Frm/. J(X,XJZJ(X,VJZJ(X,XJ:9:9:9. D
Ltr this sectien we give 1 hriel intreductien tie the kind el netw-erk llew
trculty (Exercise SJ, w-hich indicats mme el the natural pewer lying in
1I
LetJheatlewinAJ.l.lSQVissrrchthataeSand1eS,wesll
JE
edt tn N the pair (S,SJ 1 edt in AJ, and c(S,SJ the crrprrcrrv elthis cut.
./(S,SJ Z 11
The cerrrtrren value elJ(S,SJ in Prepesitien 6.2.1 w-ill he called the tatrrl
J7J 030J
"J"* rrrltle el J and deneted hy |J|;' the tlew shew-n in Figure 6.2.1 has t1etal
mr every cut (S, SJ in AJ. l-lence the tietal value el 1 llew in AJ is never
Thus
031 h.rrrrally JIJ may he negative in praetree hr.wever we can rrtange the
spaeitydi a rut. *'¤·*·¤···
Frm]. Let AJ Z (G, a, 1,cJ he anetw-erk, arrdG :: (ly EJ. weshall detrne
1 sequence A,A,.A1,...el
integral tlews in AJ el strictly increasing tietal
llew A.. Cerrespending tie this llew, we shall trnd 1 cut el capacity
c.. Z IA.I. Since ne tiew aan have a tetal value greater than 1,, and ne
cut can have 1 capacity lss than IA. I, this nrrrrrher is simrrltaneerrslythe
llew A. in AJ ler mme tt e rl, we denete hy S,, the set el all vertis 1 s,,
A.( 254J
1 Mil
witheut les el generality we mn- asume that W des net repeat any
e::min(c(5JZA.( 254JI11zl. .
J,.(eZJ ler eg W.
1
value ]/..+rI Z A.+r(a, VJ. Since W rentains the vertex a enly ence, :2
clrarrged. This value, and hence that el A.+r(.r, VJ was raised. Therelere
IA.1rI IA.]
030
as dsired.
l.l 1 -; S,,, then is 1 errt in AJ. By (F3J ler A,, and the
A.(EJ Z 4 EJ
er all ee t§(s.,§J,s1
I+; g are tw-e Hcirculatiens then, clearly, (J +gJ:e »A J(EJ +g(eZJ and
Ths
030ur-rrunr.lr.gy seerrs simplest he r.ur prrrprrss but s nr.t standard, see the
w-hen all edgs are leeps, there are (]H]:1J" srrch
030 maps, and F :: 1JJ~
G,H-llews
en G. s Fl(kJ.
G,:: We
G:e1
shall and
preve that the numher el H-llews en
IFIZr¤1(kJ:Fr(kJ. (1J
Fl(kJ Z IHI.
Fr(kJ Z IF1I,
and F, is the diseint utrien el E] and F. This will preve (1 J, and hence
l.tr Ga, let me :: ue, he the vertex centracted lrem e1 (Fig. 6.3.1: rr.
and th; setml H-llews en Ga. Given J, let g he the restrictien el
they have enly the ene directien (e-,11,erJ there: as its g-value, we
cheeseJ(e, 1, yJ.J Then g is indeed an H-llew en G,; rnte that (F2J helds
hqective il and enly il ler given g there is always 1 unique wn- tie detrne
(F2J in 1 and g.
it : Z .1JeJ (Z Z r1Je,11,.rJ)
00 Z J(y,VJ ZJ(e1JZh+J(y,V'J,
Fertrrrrately, deturing _/(RJ and _/(RJ in this way alm satistrs (F1 J ler J,
|J(EJ| 1 khr all E e IY, and 1:,eJ :g; netethat, likeg, anyJ e F is
J: E Azsuch that |J(eZJ| 1 kler all E e E and ir, eJ : g. Frr each edge
ler every e e E. Then J' is 1 lunctien satislying (F1 J and w-ith valus in
rr tcm : Z |.r(.,rJJl
\\e trrst shew- that X' centairrs 1 vertex 1' with J(1',VJ 1 0. By
1' e X and g e X. Ltr particular, this helds ler 1' : 1. Thrrs, (1J implis
ZJ(X',VJ ZJ(X',XJ+J(X',1J+J(X',XJJ 1 0,
./(1',VJ10. (2J
./ 030:eZ,-t
J(B+k lerE:(e-.,1.+r,1.J, 1:0,...,t:1:
_/(B lere 4 W.
tr:(J(1,VJJ Z l1(1,VJ Z0 e Z:
Z l1(1',VJ Z 0 e 2,,
|J 030(1,VJ|1]J(1,VJ|
and |J'(1',VJ|1|J(1',VJ|.
Trgether w-ith (3J, this givs K(J'J 1 K(JJ,1centradictien tie the cheice
el J.
Z,-llews are elten easier tie cerrstrrrct (hy srrmtrring ever srritahle partial
it has 1 L,-llew, i.e. iland enly il the censtarrt map E AL, with value?
satistrrs (F2J. This is the cam il and enly il all degrs are even. D
j};;,, rer the remainderel this ehapter, let ns eall 1 graph eren ilall its vertex
JQQQJ rjrmj. Let G : (l;¤J he 1 euhie graph. Let us asume trrst that
Therelere J asigrrs the valus T and 2 tie the edgs el C altertrately, and
tierrs 6.4.2 and 6.4.5J. l.trterestingly, K* s the enly cemplete graph w-ith
el thrm graphs G,, G,, G,, with G,,G, : K' and G, : K,,. Clearly
ummd C · 024mm¤
precisely: 1Z,<imumm mn
042G with wjus E and 024Z
BUN Imswzib
edgs nf IK 024
F in ques wim _A (ud is hence nm;-um hy me amine
(iw A gnph has .1 J-Haw if md muy iii: is zh; mmm ui awp even
dj ue
udiii:
msmepms
1 dj-alm-,
mb) wim 4,b s L,,
_/(E7:_/(E1:c(sWhmJlEsIY, D
6.5 Flow-ccvlouring duality
(E 031|EsG)
:L. 034(X,Ty.
( (s 031,1,y1,(s } 031,y,1y
simply hy vuming s 1nd ivs ends dnshwise nnvn s·
J1 iw : yf FW
P Z H'4X,X1 411
G'1X| nnving B, Sinse 1 dns nnv sep1x1v»e B, vhis shnws vh1v G'1X|
hy dehnivinn nt j 1nd J U
nt F1
Lev T he 1 nnn¤1J sp1nning vvee n£G, n-ivh xnnv s, s1y, Pnv s1s1:Z 0,
_/: E Z z hy
./(s,s,w1:Zc(w1Zs(¤1, I
pm], 1.. G Z 1.;... .. 1 ....1....s ..1,,.., s..... 6..1...-. ... .... Ziiil
The
030shine enum menevhee weuZ1.ne.wn s.n;<¤ne vhe were news seveesen
\. L: vn·n edgs, hevneen H. 1nd Hnu,,,u H.Zi, we vnivle H. Z: 1\{,E.1,
H: H 030:Z1Hnu,,,uH.1+1Fiu,,,uF11
\· F 1nd H Z:
0301\",L·."1, Nnvlevh1ve1sh H Z
030
1H 030Z
uH.1+F1
030 issnniesved
As H, neshnnse1ny k in
030
G, Nnn· 1ssnme vh1v 1nd
111
is 2<dgs 024snniesvled,
111 implis vh1v E1X,,V 030Z
Z 6,0301
By vhe mini-
A snniesvled nx 1 K 030,
As vhe elemenvs nf F1 ne yish nne nx vn·n edgs
ZZZGZZQ |X,
R 1 `Z X,
I,. Lev J,. he vhe snm nt 1ll vhse J,, Sinse e1sh e' s E." ls nn jnsv nne nt
n·he¤eP:Z(eZeE|eeP1,0n1imisvnde1nve_J,,iivsivsh1n·n~ 5
lev _AZi :Z J, 1nd vhns h1ve vn shnn· vh1v J is nnn-nexn nn 1vhe vn·n
1H, u H" 1 +R
030vh1v snnvninse-. 1nd ee, LLL is nnn-neinnn hnvhvhse
n·ivh vnlns in (0,2,41 hx 1lI edgs lying in snme H,, 1nd n·ivh vnlns
Nu tes
vn
031
vhe humnie vhe mn. new s ehen nsed u. nun wh.v we h.ne uued 1e.,
7 Extremal
Graph Theory
n·ivh 1:: sinse snmplevle hip1nive gx1phs s1n h1ve edgs, J11:1 mnsm
exssd 1: , 031
def;"` nt ivs pnvenvinl edgs vh1v G 1svn1lly h1s, is vhe edge de1:s.z1 nt G, The
7. 1 Subgrhphs
1
s
1
e
e
s
n
i
y
1
m 1
vhe nnmhex nt edgs in nn snmpleve 1rZ 11-p1nivle gx1ph
vhe p1nivinn sevs m1y nnn· he empvy; vhen, sleuly, 1"Z 03011:1
Z IP In;
1ll 1: S 1Z 1,
/ 031
`
1 024ZZ,._ Z,
1_
y
AV '1 1 2 me 'rnm: greph 1*1111
111
vhe eqn1livy nn vhe xighv £nllnn·s hy ins-pesvinn ntvhe '1\n1n gx1ph 1* Z 11:1
030
1 1<B
1 |T 1
1. 1.,1 \; :Z(se\'1G1|¤1,gE1G11
Sn 411111 S 4111, and simil1¤ly 411111 S 4111, Bnv vhen deleving hnvh y,
h1ve 1hnnv 1:* edgs, hinee exanvly, {ne evexy 1: and 1 ne h1ve
ex11:, H 11 Gjr Une maximum edge densivy vh1v 1n 1:-venlex gx1ph san
L
x
e
v
e
n deviavs mush txnm vhe value iv vahs when 1 Z 1 divids 1: 1see
. '1: 1Z2
Z
h
v
i
w 1Z1snlnns,weh1ve H Q 1**Z 03011:1n
all 1: e ri, and hense
LZ111:1 S ex11:,H1,
ex11:,H1 S ex11:,1q_1
¢.Z.11·1112J S ex11:,H1112J
e ex11,r~11112J
ex11:,n11l21, ¤
e
s
i 1£nrsv, vhen H ..1**
Q G as snnn as s1G1 is large ennngh, sn ex11:, H1 is 1v
mnsv linear in 1: (Exersise 131, Erdns and Sts sniqesvned in 1063 vh1v
7.2 Minors
hnnnd is §r 1Exersise
031 251,
1v was nnly in 1006 vh1v vhis Inner hnn.d was shnwn vn he nt vhe
see
031Chesm u
jj Q j[ rm], we preve .he .hen.e... ..-1... s Z 10, re. G he 1 mph ns 1ve..
11.1ad¤ 10031,
mnst 2k trnm X (hy the maximalivy n£X1, vhe vres 1*, :Z 1*** nhvained Tr
vhere is 1v mnst nne edge in G hevneen any vwn vres 1*, and 1*,: vwn
1*;*, all ivs 4¤1n1,~ 4 ndghhnnrs n alsn lie in 1,: sinse 41n,11s k
Theretnre 1*;, and hense alsn 1,, has 1v least 414Z11*Z le1vs,
030 Bnv
Alvhnngh hnvh innsvinns 1hnve, s 1,1145 and a*, are hst pnsihle
sae
031Chesm u he vhe ......1.. ..1:...me. .11*
¤.n he 1rZ11<nlnned,
vhe Inrsts 1why.'1, and vhs are indeed 2(nlnn1hle, Fnr 1 Z 4, vhere
rm], nesall hrs. .ha. every 1110 .er..a1r.s 1 1·K*,hee1..se A11<*1 Z a 1} ff:
nnv snmvleve: lev S Q V1G1 he 1 ¤pa.r1vnr nt sire »:1G1, and lev G., 254'z
1-lense .:1G1 S 2, a.nd vhe asrtinn Inllnws trnm Lemm1 4,4,4* and
The
030wee dehned h..-....11.: ... Chevm s s
The
030:1.....1 ..1 me 1e....... s e1e..e..ury end ser. be reed .r.de¤e..de..ur· ..1.he
vhen \1G1 Z vhe prnnt nt Prnpnsivinn 5,5,21,
1Exersise M 1,
1 Z 1 Z (5%) Z · ~
11 ITL: Z'
035
141X,Y1Z41A,B11 S e,
The edgs in a.n eeegnlar pair are vhns disvrihnved Iairly nniinrmly, vhe
...:.1.
Z 1·1 I· hl S <I· 'I=
vhe mme sire, Sinse snndivinn 1iii1 ahesvs nr.ly vhe sevs 13,,,,,1;, ne
.he nnivnr-...ivy nv vhe partivinn is assd, hnv there are nnly few such
snsh that evntv graph ef erder at leas1 11. admiu an e-regular parutien
sz.
0301.. may be rr. e»se¤....n .1s.. u. ..... .e.-........1¤s.s.. ....e ..... em....... ee.s
gr1phs:1 {nr sparse gr1phs iv heenms vrivial, hes1.s all der.sivis nt
1,,
hr ¤J=i¤z¤. =Z VE Md A =Z ¤.1,1E»
51
.11*1 Z Z..1<:,<·,1, nm
41'P1 :Z 41'F1 ,
F where'F:Z{G.,,,,,G:}u{(n1:neGn1,
lemm1, On vhe nne hand, iv measns vhe niiinrmivy nt vhe partivinn 'P:
iI'Phas vnn many irregular pairs 1.4, B1, nem1y vahe vhepairs 1X, Y1 nt
..11·1 Z I e Z. Z.
Z 4 1e. , e, 1
e F Z |<1| tc'.!
S 1,
1ii1i£'P,'P areparudens
031 eiV and'P re1ines'P.
031 then 41'P 0311
Z 41'P1.
.1:,n. Z §.1<:,¤.1
_ 1 uc-., ¤. .1*
4 1-*
1 1:.. .1<·..¤..11 031
_ 1 .1<·,¤.1*
035
lZ.I 254'.IJlZ.|¤.|J
034
Z 41G,D1,
.1¢·1 Z {elem;.
s Za1c.,c,1
S 41'F'1.
1
"
7
1
4
¤i¤¤=
n
r
e
I 7.4.3. Lete Z 0. andlet G, D Q V be diqeint. i£1G,D1isnete.
regular. then there are parudensf Z (C.,Ge 1 eiG and D Z ( D., D,1
. Z. 1 I `II I
Frm], Snppnse 1G, D1 is nnv e-regular, Then vhere are sevs G. Q G and
IHI 171
.1: n1 Z l Z-
1:* T s.4.
1 _ 1 'c.4.e 1
1 I ..1 r ...1. *
+|.1-.....1,|...
z
Z +-1 4*.4.
Z|e. *|.......1.
ZZ 5 ae.
.1. ... *
Iernrnn
Zbea pnrU¤en
7.4.4.
eiLet
\'. tl
with
1 e
exsep¤enal
S 114. and
set let
C, 'P
efsize ICLI S e1: and
snsh that |C',| S |Ch| + -:12*. all ether ses C'; have equal size. and
c,, Frm], Fnr all 1 S z 2 j S k, lev. us detme 1 paxtivinn {,1 nf C', and
Z. Z. 131
c, Fnr meh 1 Z 1,,,,,k, lev f. he vhe ntique minimal pa.rt.itinn nf C', vh1v.
elemenvs nl C1 s equivalenv whenever vhey lie in vhe mme partivinn sev
C :Z ( cn I u U f. c
Lev f,:Z{(n1:n e C'n1, Nnw it 'P s nnv eeegular, vhen {nr mnre C..
.1c. Z Z 41c.,C.1+Z41cn,f.1+Za1c.1
Z .1 +.1r..
Z
Z q1¢=1+ 511
nl vhe sevs C'.,,,,,C'», hnv nn mnre vha.n 4* sevs Cj ¤.n lie inside vhe
Finally, vhe sevs Cj, , , , ,C'[ is all hnv 1v mnst 4 vmies lrnm eash sev
C' Z CL nl C, 1-lense,
IGI S IChI+·i FI
Z |(,| +sk12*
S |C,| +1:12*,
mnst éen, and 1: hrge ennugh vh1v, {nr any inivial value nl |C'nI 1 k, we
k Sn lev k ,~ 11. he large ennugh vh1v 2*Z* ,» .11e, Then .112* S e12,
pair 1.4, B 1, Fnr any suksv Y Q B vh1v is nnv vnn small, mnst verties
S rtendere ..re.dr· e¤n......ed w.... re..d.e.. graphs may hud .. ....1.-..e...·eu. s....:
Iernrnn 7.:.1. Let 1.4,51 be an e-regular pair. el density4 sry: and
let Y Q B have sire |Y| ,» e|B|. Then all but lewer than e|.4| el the
, , I1 2 'I1
41.1,1 1 Z 14Ze Z41.4,s1Z.,
14Z41*Zee,Z;.1=: 111
laevnr snsh as 14Z e1, Nnw vhis san he dnne hy Lemm1 7,5,1 1wivh
a.v leasv el 1whish indusvinn will ens-ne1, all hnv 1v mnsv el mnies nl nj
selesv n1 e 1jZ ne
030h1ve 1shni.env1v leasv .1 sui.1hlesa.udid1vs: sinse
helnre ..1 a.v mnsv .1Z 1 verties .1 nue given an in·.1ge in \.L1.1, ne san
Biv all vhis lnllnws lrnm nn shnise nl en, Ltrdeed, vhe iruvial vargev
sevs 11," h1ve sire A, and eash 1., shrinhs 1v mnst A vims hy 1 laevnr nl
Z 14Ze1· 030LZ
Ast Z 14Ze,1Z 030lZ
Aent Z $4% Z a
im Q ew 031
n g kz, 421
k 031
M 7 M d 031
024*
ms nm
minimumms
lislem
snksunvizily
main) +m nnve
042
edgs,
me nppmxinme
i,e,
031 an edgedensity
densnynt nt me 'lmdn
p¤.ni 042i¤n
sevs \l, , , , , \1, mgevhex nm nuns; ;A 031k
edgis, All mln edgs
|\G|\ Q I',
. |\G|\ 024
§e 031n
024
mkz 031
024
4k*U 024
MHP 024
MU
HHH 1
nl . 1
W7 M
_, r 024
1 1
z ¢, 024l1kl,
deuil, lem ns nm- step mh and uy m sepunme vhe when {mm vhe
eenainly he hig ennngh, Lnnnn ease, we san ng vhe s {mm nn: H Z All
enegnlaa pains in meal (whene *den¤' means ml densimy an leasm J'), vhns
a
,
s
n
g
d
e even il we ng » ij
mhnse pains m vhein hill eapapimy nl I' edgns eaph
what kz s neaaly ny, Thns, we have almnsm exanly ann »,n addivinnal
031
IMM é gif,
rl-lun nn
usnllrs ns lu, s·¤k·:r¤l>*·¤
newly
EU'?') ~ MC)
rmpnnhngnnly ld nnnnnn
elamlvnnu nhe nnphs wnnhennn nn IP nnnnnen l-ls henpe wns ne. he nhle ne. shenw
en IP nnnnen nnehnele nhe plennnnn gnnphs, nhs wennld nnnennnnn ne. nn pm.: ent nhe
Lnespnne nns lnnhnne ne. nesenlnne nhe hnnn eenlennn pnnnhlenn. \\ 031.ngnnei·`s
IP sune,
hns nn lv nnnnnen hn p s ML.: Wl
Ths wns nnnswened hn nn·hnnn·¤n·», H kn, Ln Kuhn and Ln osnhns. lindneenl snhdn,
8 I11fh11te Graphs
and same nnhe depnh what vhis neld has m ¤l¥en, 030
Onn nvenall vheme will
The
030 seenmns wm nlmnnoe nn dnmenlzy whnle seenmns n 1 n i end n s nne ensnen
8.1 Basic notions, facts and techniques
I E:(a,a,,a,a,,s,a,,,,,I
Ilc
paxh is 042.nivial,
whim we allnw, vhen ivs nnniqnne venex lins nn R and alsn
1.|,
1, in
rhs
031nnnnnnmieun-y seenmn s delnhennmy leech nnnmnnnnnl wnhh nhe emuhnss 1.n
An lnnnlne sen nnlnns .n linlne snlsen is mil lnlinlne. (1l
nl K", vhe mmpleve gnaph nl nnden |r1|, we emhed K"¤ in G (as a yew
nl K", we ¤n shnnse vhis as vhe nexn nnnnnxd venex {mm same nxed
ennnmenavinn nl \'(G 1, l.n this nn-ng even-y venex nl G gens ehnsen evennnn.
ally, nnnlns ih hemmns pan nl vhe 1'K"* hdnne ivs nime, as a snhdividing
we
031
men-he me mm unnhnnnu seniennee mn eexniennea nndesed by me sen 1.:
what vhe innenseninn nl an innnive nnsned seqnnenee Aa Q An Q ,,, nl
edges nl C lhs in same nee in C, These uens lnrm a nnive snnhehain ntf,
dnsined nhjecm (such as a spanning ueey snep hy snep, navhen vhan stan-
'nne
030nvvennds mens hn-ner nnunalnenmnns u. uhhh enenish u. ennhle nhe nenden u.
ing {nne whnse ehains have nppen hmnndsl in whish vhe dnsined nhjens
edge e,, na a venues in 11;, Let IZ. he nhnained {mm II; hy adding n,,
and e,,, This neunnsinn ven-minaus, since if ¤.;+n (whene ns +1 denmas hhe
lem n, n he any hwn nl ivs veniexs, Sinee 1j, : LI, I_ 11;, vhene exism
as ehmpneensss 1see helnw can whyy, mens a mmalined ww he mahe nhe
will, when G' Q G" ane mwn nnive snhgnaphs and n, n ane veniexs nl G'
[**5 UI and len G be .n graph un nheln ninlun. 1·Ls1inne than evenqr vernen n in .n
* 034"'
se. 1; sm. ,1 nene .....1..1.,s....»
, 1 030 1 1 1 030 1
1 L
1. 0312nn¤ss
1*|
K
I'A
" Il I)
Tknmnennn 8.1.3. (de Bn-nijn in Endis, 19511
indnee panivinns in 12.+ 1; hum sinee, hy lneal nnihenns, even-y venex has
manly nne snsh mmpnnenh Inn eaph an ll hwn as ane eqnnivalenh 024
N..n
030 u. he e..nrn1sed wah nhe ..1... edge in hhe mnmn ..1
hy !l1G1, and we wnive G Z 1\ZE,!l1 042¤
expnns what G has venex, edge mm
have nnnmnnnvahly many ends, The pnmntype example 1 see Eseneise 211
1 1
mained: il an end mnvains a sem nl k (edgn 0241
disninh nays lm even-y inhn 024
nemm.
030 1 5 5 e..nn.nni¤ u. h..1d n.. ...h..1¤ snnvhs wah nhe sane un....:
qnnenee H Q H Q ,,,¤l nnive nm-mal vneas in G, all wivh vhe mme mm,
and see va iv vhav T,. mnvains nh., lv is dean vhav T will he a vaee lsinee
vhene exisvs a.n 1 e (1,,,,,11 I snsh vhah 12;*** has nah yev heen denned
nuvs av m¤s1 111* nl vhe nys in Tc; we mleve all hhe nvher nys tram Tc,
lev 1; denave vhe nay tram T: vham mnvains 1., chncse as H{ 030*
vhe my
030
1ii1 is analegmns, D
;1__ ¤1=ZH1(1¤,m1I1<ml|
nys in .a vhav can sene as *venical' 1s11hdivided1 nays U,. in ann dcsined
'PKQ.1 hetween vhe Q. and snivahle Q,,., wivh p(11 a 1 (hmm which we
111anay0.. e a dssaanv cram Qnu,..u0..+1:
1:11 lan eveny 1 111vh 1 5 1 5 11, a.11 innnive sev 7%.10.1 al diaainv
141 an innnive sev T¢..+1 5 R,. al disainv nas vhav ane diaainv tram
Thns, while vhe ms 0. and vhe pnedeensn map 1 »-· p(11 nemain
nnchanged anne denned lan same 1, vhe pavh sysvem 7%.10.1 hevween Q.
111 s 11 pv selecved, nne mw have va ehange ann mind ahanv 7%.10.1 and,
pavhs hevnneen Q. and Q,,., {nam vhs pnavisianal sevs 7%. (Q. 1, nav ham
H 7%.+110.1,
By vhechaiee alm and 141, we knaw vhav 11;; e .a, As alsa Q, e .a,
111 vhe Q. ane disainv lan divfenenv 1, \\e denne p(111 as vhis 1, and put
[17%.+110.1 ane disainv lan divfenenv 1, \.\e can vhen 11nd inhnive disainv
ahvain an intnnive sev 7*" al disainv AQJQ. an @4211-1 mths, and dehne
1.1111 7* disainv l{I4Q,1,., pavhs vhav avaid all avhen QI and all vhe sevs 7%.1011,
All vhav can pnevenv 11s tram chaasing 1;; as Q,. and 7* as 7%.10-.1 and
TQ,.+1 5 TQ,. \ (HQQ I s candivian 141: il 7* neevs all hnv hnively many
nys in Tc,. innnively, we cannav 11nd an inhnive sev Tt..+1 5 TQ,. al nays
Fan il 1:1 failed, we cannld chaase R as Q,. and 7*' as 7%.10111, and selecv
Using asnnmpvian 1:1, lev 11s chaase vwa seqnnenexs RQ, MIK, , ,, and
7* 11
0347** s11ch vhav even-y Rf, s a vail al a nay in R,. annd each
(Fig, 5,2,21, Clearly, 7*n :Z 7* is as neqnined lar k Z 11; pnv F; :Z ry, lr;
Far k g 1, we may nse 1.1 with lz 9 :1;* a.11d 7** Z 7*** ta tnnd in 1:,.
a rw nl Q 11;* thav meets 7*** innnitely hnv has a tail lz; avaiding
al 11* in l'1F,1, Replaeing 11* with its tail auf., we ca.11 a.rrange thav sq
, Q,.
$1,., H: RJ
* EE|
In . 11
l
I
'
I I`. I'. 111
II, 1.,
Z
1
.
.
0
1
.
%
7 Q. :Z ( Fn,F1,¤1,,,,I
n.+.1+(¤:+.11e1·11,
and 1:11, neeall thav Q,. and 7%.10..1 cansisv al segments al paths in 1:,.
a.11d 7*; ths ane diaainv tram Q. and 7%.10.1lar all 1 a 11 hy dennitian
al 7* a.11d 1.11 lar 11 + 1 ltagether with 151 lar 111, Far the diaaintnnss
neqninennenv in 1.11 nate thav 11*+. dans nav meev Q,. an 7%.10..1 inside
as paths in 7**. Since n:,. das nat, hy d-nnitian, met Q.
Tc,. al rays ta canst.n·ucv vhe dcsimi grid. By the infinity lemrrn 16.1.71,
theneisasequenee 11, a 11. a 11, s11ch vhav either 1-111.1 Z 11.+1 lar
mr all 1, i.e. discard any Q,. with 11 e ( 11n, 11.,...I, Then lar every 1 1 1
Our aim is ta maase tails Q. al a11n nys Q,. vhav will carnnspand ta vhe
lhuv alsa in the arder alincneasing 11, sarting w·ith Q; :Z 0n1, Av every
Lev k and 11 he minimal s11ch vhav S, annd QL. ane still undenned,
we dnscrihe haw ta chaase S,, and QL. it the detunitian al S, nequinns iv,
alneady heen detuned, and sa has Q[_., Naw chaase S, e 7%.1Q.1 030high
ta avaid
r
e
h
t
a
d
n
a QI1, S1 U Q;.
the ,,,uS,+1,
and S, By
ane l31lii1, S,
pairwise will alsa
dinainv laravaid
all every
11,k e rl, exeepv
R,. hy adding lar every sev U Q \'lH..1 a new- vertex n pined ta all vhe
vmiexs in U huv ta nane autside U, (ln pa.1·ticula.n, the new- vertiexs {arm
1FxereiseA11,
unrian al L17* with all vhs paths Rv, This is a turite graph in w-hich na
Let G be any graph. and let A,B Q \'(G1. Then G mntains a set7* ai
Lemmas 3,3,2 and 3,3,3 (whase praals w-ark lar invrnite graphs t1aa1
it w-ill nav da just va apply vhs lemmas invuritely alten, l.ndeed, al-
\'(G 1, lev 11s w-rite Gx-11 in vhe srrhgraph alG indueed hy X and all c.n-¤
I.1 1 , 1
1 ZZ 1 M
X the Annndnrq
',.' alw,
7 and alten use (\v,X11
as shartha.11d lar the wave
G Z K and
030 B althne
034 avher vertiexs, there is na praper AAB wave,1
[fsf'"' zarns lemma implies thav G has a maximal AZ B wave uv; lev X he
By the maximalivy allv, there is na praper X AB wave in Gxea,
it (as well as a lew mane vertiexs autside A1 leavcs a graph vhav has
paths W}. Z ¤+. ,,,11L. (11 1* 21 al vhis wave as initial segments lar vhe
Gang,
(a1,ar,,,, I,1
1 ( w :· 1 1 4,. 1 , 1
TZZZ-Z|-ZZZZFZZZZ-ZZZZ-ZZZ;
A! U i` G,. Ms nu pr1·p·i·A Z1
034
Li wn.1e
G,.+A anq+B
035 path F and asev X.. Q \'(F1such vhav G,. ZX.. has
av 11;*, and call its last vertex 11;***, By the maximalivy at uv there is na
praper A 035*
AB wave
030in G,.,. :Z (G,. Z X,.1_...1-p, sa (:1 is satistned
snxrir ,,+, _Q H,
1 Z ( 1.1
1 1 @-11, ,1
14++ ZZ ++-ZZ 1·1 1-1
+ s
paths any vertiexs al A L daes nav caver, As a lies an 7** huv nav in A,
the existene-e al HL makes 11* linlahle lar (G, A, B1, Sa we ass11nr1e vhav
Z 1:1
11
-
I
J
T
K
V 1 Z 1 1 11· 1 1 U,. 1 1 1 ,1
(lv,., A..1 is a wave in GZ T,., Lev F,. he srrch a pavh F, masen sa vhav F:.
11*+B path F;. and X Z \'(T,. U p,.F,. 1, we mn- therelare as-ume vhav
wave huv GL. Z 1,. daes, sa hy Lemma 3,4,5 every A,. A B wave in
(\v*, A 0311
he their lirrriv, Our aim is ta shaw vhav A* separates A 1-ram
pree-edes p,. ir arrr trxed enunrreravian al \'(G1, The laev vhav F w-as nav
jains A va q; this path taa avaids A*, Buv vhen WqQ eantains an AZB
Tkreerrerrr 8.4.7. (Pym19691
U U B Q N(A 024,
U1 is matehahle t1aA 024,
U, hy the edges al M, Anrd il
A 024,
U s matehahle ta N(A 024,
U1, then adding this matehing ta the edges
|S| s |N(S1|,
:f;" 034""
paths he
034
turite, as
030lang as vhey have a trnst vertex, Then, startingav any
alten (in w-him cs its stavus will he undetured av the limivZexa.mple1 0311,
er 1 ce.rrrreeen·1vyan1·1 memhrns 725
and M Q M', Sine-e QP; Q QJ, hr any such Sand S', 7arn 030s
lemma
and vie-e versa (hy the chaie-e al S1, sa Prapesitian 3,4,6 yields vhav
ms 1 mmpmp smqgupn K nt mdu wu1, ud mmytq pujw it K
and I¤,1l, hn an nven sem in ID, 1 I, Fm every vernex n and e ~ ll, deelue
This mmpleus vhe dennnien nf IGI. whnse epen sevs ue vhe nnsens el
qnive independenuy nl whevher they mnuin any rnys {mm snsh ends:
030
rnpelngsu
034an Im me memnunrr mnpmqrunwn nrc.
irs rlnsnre mgevher wivh all inner pninvs nl CI¤l 024S,,
edgs, Then G IS,.]
snsh what C.IS,.¤l Q 0. Nnw shnnse n huge ennugh what S,, mnvains
(why null Bn; QIGI ¤n he mmpan; see Exerrise 61 {nr when im is,
and Aa Q Xa.
1]nnplaranan
mere as enly
asane
lalse
arrenrnpanenr,
an general, even
men
larX
mans
s .¤¤.¤»nnn»r.1,
X Q IGI nam sanre
G larally
In,
e
h
T
me
,
e
r
m mpnlnglmtl
Fm X : |G|lenendeyne nlm
and G lnrally ln X,
nnive, me Impnlrgicall end degrees in
dun ¤i\'IGI. and F :: EIX,Yl.
eirele S Q
030
W, Far example, il G is me 2-way innnive ladder shnwn
|I I| |U
spaee at |G| mam eanvains every vernex and every end hn; eanvains ne 'N
.a me me ram at T, sn T s areeanneeved,
A Q |G| 024e
EIGSI. mis mnuadievs me lan mam A is mpnlegically mn-
IiI {IGI errnnains preelsely zhirse siilseu airs dia: mee: every linine
generane {IGI.
D CL, I cI
where (L denmas me inndamenval eirenim at e- wim ras-pen hn T, Tn
X :Z I\'u!zuUZ'I=e 024,
r m z' Z Ie I. snee every emer edge el z' lirs in X, and henee in X.,
,
H
semrennnseesd
G in G 024
Ins an leas1 kIA il
1Ievery hniveene
mm-edges. ¤lG
zhen G eenvains an edge atsenrieirn.
has k edge-dlqirinn
nf k-mplrs,
aseqneneeat
1;,sr, meane
inhnizy
tramlemma
eaeh 1;,,
Ié,1,2I,
wim ayields
limi; IH 030,,,,,WI
dehned hy me
Naw mnsider me k-tnple IH}, ,, , , , H: I whieh me innnity lemma piehed
By Lemma 6,5,5 IiI. mis implies that G has nnly nnitely many X, 024X,
mere aae nnly nnitaly many, Far eaph r s (1,,,,,kI, let TY he the
edges, mis ent is trrrite, By Lemma 8,5,5 Iii I, mis mntradiets me are-
Ezaercises
11 shaw rhar a graph G errnrains a 1 030l&"*
rl and rrrrl,. rl srrrne end rrr G s
25 ' shaw rhar rhe arrrrnnrrrphrsrns rrr a graph G : IV. EI arr narrrrall,. an
`
and ane in r.-' Isrhe saine rrrre lrrr all graphs rhar are nrrr lrreally hnirei
Call snm a seqnenee eqrrnalerrl nr anrrrher snm seqnenee rlenry ser rrr
tail rlT\n`E ¢ W Hrnrerrr rl we agnnie rhar TUIF : tv. rhen rhe separarrrr X
lerr IIG [u,. ¤.r]II when VIGI ; (n,. ur. ). srahen In J carpsar. P Erdaes
9 Ramsey Theory
for Graphs
ahnnt Ir 0242IIIr
1I nlall
024 pnsihle edges te lnrce a IC srrhgraph in G
IG¤r¤lla.ry 7,1 ,3 I, hnt neimer G nar G ran he expected te have mnre than
nmer vertiers all lie in \5, Let ns men chaase annmer vertex rh s W
T
V
I
s
r
e
i
t
r
e
v u, mrtlicrs te nnd amang them me vertiers ala K1 nr F,
mllewing v¤¤v¤¤i¤=
IiI Iz Z 1,»»»,7rZ7I:
2
:
z
I
i
i
I mer h arbacent eimer te all vertiers in 1; ar te ne vertex in 1,
I t : 2,,,,,2y» 2I,
Then IiI hnlds ler r : 1, while IiiI and IiiiI held trivially, Suppese new
mat Her and mer e \{er have heen chnsen sa as te satisty IiIrIiiiI {nr
hier · 024
I ver ll Z?""" Z1
neinmr HIrI nl r; nur preel shews mat I1IrI 5 2* l.n Chapter 11 we nerrnher
shall nse a simple prahahilistic a.rgnment te shew that l~zIyI s hnnnded "" 0
as
s Irr at
n
e
i
t
i
t
r
a
p
r
s
a
u have me Smilarly,
IX|*, nnre ealerrri
il G re, heleng
: I1; te
EI is ame nnre
graph as
and me
all r
me edges at
irrgly, mis asrtien remains trrre lar ceelarrrings at IX|* wim a.rhitra.ry
New
030 mat y s sailed rrr.nr.mrr.rrr.trc brit rt s me elements r.: [11* nr.; r.: y
Let IX]* he eelerrred w·im c eelenrs, we shall censtrrrct an inhrrite
¤iIX]*.
Zim", ers ran aren eelerrrrngs era; ree are mers asarrrrrng mat ser every n G k
` mere exists a had celerrringel In]*, Orrr aim is te cemhine mese inte a
me aheve ernstienmans sense isH has enly sew edgs, it sherrld emhed 031
I
rm],
,
T
]
'
I
K The mtcentain
des dineint nnien erThis
IC', r 71prevs
graphs KM eentains
I1I1;IC'I G Ia ne
024 cepy
1IIz er
0241I+1,
RI H I S c|H|
1~ I"
an graphelerdernGc|H|:weshewmatHQGerHQG,
hr
031
rnir n.r-rrr.1crr.r.rI. 042er
we shan dehne if . time drnererruy sem.; rt eemclrs
1 024e ,2 I2I
IIHII G
r .e _ * G
G in I1 F 2e)
G ¢..._1IkI
elLemma1,5,2,seHQGerHQGasdesired, D
\IGI » y and
031 girth yIGI » n, ll we celeur the edgs el G red and
graph,
; 030f_':f
srrch
030a graph a Ramsay ynrph ler H,
cepis HI¤I el H and jeining each HInI eempletely te all HIn'I with Hm
II G i I
IU>.1'IHIIUII1' 024,UI>.(¤II
in w-hich tw·e vertiers In, reI and Ie', ren are aeuacent itand enly il eimer
men I¢I helds w·im G : Fler large eneugh n, Fer me inductien step,
I·I helds ler all pairs IHI, HII wim smaller |HI| + |H;|,
The
031reclaeerrerrt r.r1 U by It UI v (u) s nin . n.rrrr.1der·ree 1. ennrre
\\e mall censtruct asequence G",, , , ,G ddineint
035 graphs; G" will
I1I
and _I ler
034me identity map en 1' 034
G 1'IG 034I,
we thrrs have _/'InI e 1' 034
u·y¤ me nrst step, censider me set url el all me verticxs e e 1"" whese
Isee Figurrs 9,3,2 and 9,3,3I, Set _II11'I :G 11 hr all 11 e U" and
030
u'
n(Recall
e GrI¤I,
mat I¤,WI
and _II¤'I
s simply
:G u the
hr unexpanded
all n' G I¤,¤I
cepy
w-im
el a vqtex n e G" 030
J has mus heen denned, i,e, me vertiers mat eimer cerrrspend directly
vertex 11, Then I1I helds ler 1, Alse, il we assume I2I inductively ler
1 G 1, men I2I helds again ler 1 Iin GHI, The graph GH is already
stach
GrIr1I exactly ene
F induced
G IHII11I
cepy
| 11el HI,I Fer each F e 7, add a
hy G 030,
This cempletes me inductive dennitien el me graphs 6*, , , , ,6 030 035,
cs
cepy el Gr in G 030:
G Q
030
GrI11Is GIHI.HrI,
el J te
DM U" :G
030
(y,, | rr e U" I 030
Q 1**
e
e
t and GG
eur ILM
se edge e IIn,uI el
celeuring I rG induers
030 an edge celerrring
H' srrhgraph H' celeured 2, w-im 1'IH'I Q and srrch mat the rrstric.
srrhgraph Q G Ialse
030 celeured 2I: men \'IH'I Q 1".
J 030I\'IH'II
Z G WL.
el U" and
030 me inverse image el H1, under me isemerphism
mese vertiersel H' mat lie in and all mcse edgs 1y,, have celeur 2,
" I ,3|
|"" T II I
I I,`· 024·I*,;I
:11eGaIG I I| ,G{/ I
. I VCI I` II I GGG1
I Ges |._| G IGI
031
I`II.IIII
I
I I ·~ II I I I
I I I HI · I II
H I,
$ VI ` ` 4> H {
I1I
I¤·' x' h' IX', IX']* ,E' I, w·here k' :G 2kG 1, X' s any st et cardinality
G
'
r WI E':G(1'Y'|1'eY'I,
|Y'| G 2k G 1 edgs incident w·im a vertex Y' e IX'|*', at least k must
The sts z' ran liewithin meir srpersts 1** in I;) wes, as renews,
e1IjI pesihleimags, V V
All Z' w-im Y' Q W mrrs lie w-imin meir Y' in me sme way, i,e, there
and all Y' e IW]*' are asrrated w·im me sme celeur, say w·im er, rr
Ithcse are k vmiees el type urI and men extend Z' hy H G k iurther
vertiers rr e W 024,
,rIXI te a st Y' e IW]*', in srrch a we- mat z' lis
I. _ .·
I I IiI
HI
III
II
·
..
I·I 030
I·I I-I
r G 1I rv
sts, IThus, en each I-st in'l'IKI we have ene trxed cepy HI el H,I
vIc 034I:GII1,,iI|1G1,,,,,I·:,iG1,»»»,IUI
I?)
I' Ia
1I II I me I I I
I I I I 1
I UI
EIG 034I
:G U II1,,iII1',,iI I 11' e EIHIII,
Applying me lemma iteratively- tie all me pairs el rew-s el 6*, w-e een.
G Q
034
G te (1,,,,,nI [hy centracting its rew-sI men detrncs an edge
e1G 034,
and hence er G,
graph 6* has heen detrned aheve; let 1;*,, , , , 1;f he its rew-s:
1'IG** 030I:G1;**
u,,,u1;**
030 030,
II;,;I1;*>~ (pII q
irdmeirrt
1 cepis el1;*,I We
he detrned hy
WI I* IIn,pI hregF
¤IG** G
030I
I_II¢=1I¤I¢=1I¤'I|¤¤'< ¤IG*II»
¢·,IG*I el G* w-hes edgs in F, i,e, mese hetween its 1Im and 1,m rew-,
GII~ {rem GIIZI, we isn nnd in G"* an induced cepy el such mat
cepy el w-hes edgs hetwun the 1m and me 1'm rew- have the
sme celeur alse ler 11' G Centinuing in mis way, we trnally arrive
at an induced cepy el 6* in G srrch mat, ler each pair I1,1'I, all the
edgs hetwun 1;* and 1;* have me sme celeur, As shew-n earlier, this
7; are incemparahle Ii,e,, 7; ( 'P; w-henever 1 G ,iI and ler every 'P e {
rrnrqrre mere is an 1 srrch mat 'P, S 'P, We rsll mis Kuratiew-shi set rrneqrre il
IivI The drrrehle wheels, the crrrrvns, the Airrtirs crrrrvns, and the
Lure rrr rnerrrrsed nrreraerrrrn wnh rrserrreh ern randrnrr and Iserrdrerarrdrrrrf
cenrreu
030 graphs whase arrrrenrre reremhls me srrrrenrre ereeeted r.: . rerrdem
I2m:iI. 621+11. wher prrrrred rhar RIHI 024
IHI"~ 034 031
I 0 Hem11t0h Cycles
x
r
r
e
v
,
1
1
,
n
e
t
l
i
r
n
a
H
n
i
t
a
i
r
e
t er G
is is
men anysum a r·i1n11r1..
walh
knew-n is el
a cycle:
030 a Hermeltan
me graphs mat de,erlele
we elG, l.tG
shall has
hegin a
mis chapter
030
rr rrrdeed erpeeted tr. erst, see the new mr deurls
Theerrerrr 10.1.1. IDirac1952I
r|.'P |1̀
X"` |rr
high IcerrstantI value ler 1; ramer man ler 5 stands a hetter chance el
By itsll, me asumptien el erIGI S k already guarantns a cycle el
an{ 030lan7ZIFlI1eIIinG,whereI
Qr,,andeachr;endsinn,,
,i I, and
1 a
e e·\___ A/f
weuld heacyclelenger man C (Fig, 111,1,2, le|tI, Thus |T| s |G|, and
de G ¤e hr all 1 I1I
quenceIdr,,,,,¤L1IelG:mus,
·IX:I+·iIyI:IlI+IJI<II, IZI
cheice el 1 Itlezemer w-im yl, Orrr cheice el (1,yI 11-im dI1I +»lII!I
dI1I+dI:I Gh+InGhI G n.
Ih,,,,,h, nGhG1,,,,,nGI1G1,nG1,,,,,nG1I
rr `T I 1,.
I
t
i 1; |GZG
is me unien el a IC=Z'* en me verticxs ¤I,e,,, , , , n,, and a Iq,I, with
\\e hegin w-ith mrs simple lemmas, Let us say mat an edge e- e G 031
IiI F errntains
031 a path Q darn ra trr n, with 1'IQI G 1'IFI and
GI.s~ sl
edd, :GIiiI
letQ
ll k s even, let Q :G 1a¤r,,,¤eGr¤»: il k is edd, let Q :G
vmiers el G 031, D
Ierrrrrra 10.3.3. LetG G I1', EI be a crelic rnreidgraph with aHanriItrrn
I I I I
I]j Q] rm], lay 1>repesitien 1,1,1, G has even lengm, neplace every- emer
net, let C" Q G he any cyde centairring 1; srrch a cycle exists, since G
I
030 I
I
I il/I
y had a neighheur J in G GC, men J w-errld lie in a cempenent U Q D
prev*¤1 030=
let IGI G 4, asarme me asrtien ler graphs el smaller erder, and let
in GI, Let E deneteme st rg mese edges, and let 'PIDI denete me st rmt
\ /
2 /
ri, ry Fer 1 G 1,2 let 'FL Q 'P denete me st el all pams in 'P w-im exactly 1
x, x, leet, and let X, Q 1'ICI knete me st el all leet el paths in 1;, Then
in G and
031satisncs Isl hr me medined versien el G, it will de se alse
ez G G G G U Pr ,
edge ern lies tie me Lejt el e, me edge ew lcs en its right, and se en, ec, len
me unique interval I¤,1e] with 1* e I¤,rc] as 1*, the pam in 11, with 1- r¤··
I' G I* hy I4I, and hence 1r x 1*, mcse cheices ele-Iul stisiy I»I, Ll
wim I esl,
satishcs Inl, The cas mat 1r is me drad end el! ren he treated in
l-lence, w-hen e-Iul was detrned ler me vertices n e IZ, me rightmest edge
1}1, elr w-as net chesn as c-Iul ler any n, se we mn- new- replace this
Lemma1t1,3,2Iiil, and me ether vertex in (211,1; I as ra; mereever, st
in G centairring
031 every vertexelG exactly ence, se Hldetrncs a Hamiltien
cycle H el G 031,
Since W still centairrs me pam Q*, H satishcs Iel, H
l.rr erder tie he ahle tie treat the cas el P1 Z I aleng w-im me cas el
II [err
031 it e e Iy*,1*l,
legerrsly tie intervals,l As helere, mis map n 042e-Inl
024 042
is irqective, satis
tres Inl, and is detrned en a srrperst e1X,, recall mat Ip rannet lie
in Xr h1' detrnitien, i
/ x
en Xr. asrtien I2I implies mat all mcse meditrcatiens el H Iene ler
*7 E s
Let us trnally chech mat H satishcs Isl. i,e, mat hem edgs el H
at 1* lie inrG, Since Isl helds ler H, it sutlis tie shew- mat any edge
e a e- G 1*J el H mat is net in H Iand hence has me {erm e- G e-Iul ler seme
preserves I cl, Therelere H des indeed satisiy I el, and eur inductien is
lust lihe '1\rtte's meerem I1t1,1,3l. 1-`leischner's meerem rrright ex-
I1t1113l,
Exercises
11 Fnrd a errnneered graph G whrse square G has
030ner Harurlrrrn eyele
No tes
c tie turn me set Q r-I all graphs en 1' inte a prehahility space, and men
detrning ler every petential edge e- e I1']' its ew-n little prehahility space
e rt 1G ]'I sz.,
omrr
030 rheralrre rdnwrll depend r.n me cardrrralrty n r.l me ser 1 rar whrah r.ur
any
031reader ready u. helrerre rhs may slerp ahead new re. me end r.l Prr.pr.ar,
Thrrs, lermally, an element el Q is a map re asigrring tie every e- e I1'] 031
and
,
p
t
s call
el G a nrndnm
graphs en 1' anynrph
scenten
in 1' wim edge
IJIn,pI, prehahility-
l.rr particrrlar, ler every e- e I1'] 031 erent
··L:GIwIrdIelG1.I .4..
Zprehahilitis
in eJIn,l·l, it merelere generally-srtlis tre werh w-im thse
rIeeIGI G kl S (EIM,
G s qIeI, The asrtien mrrs lellews lrem me tact that mere are enly-
FI aI<.I031·
G -
, II e "
e weI El,
New il k is trxed, and n is small eneugh mat mese heunds ler me preh-
mer a K* rer a K* induced, But men any- srrch n is a lewer heund ler
klmat,
ler all n S 2*I`* and G HI
e me prehahilitis FIerIGI G k]
and FI.eIGI
k]arehemlesmanSincep
G G
q G G, Lemma 11,1,2 and mearralegerrs asrtien ler.aIGI
G 2****
l.ndeed, ilme expected value elX s small, men XIGI rsnnet he large ler
G Z FI I G ll 11
G r' IX G el er,
mat runs mreugh me graphs H e 'H and ceunts *FI(G II' w-henever
x let X:QIn,pI Grt he me rarrdem variahle mat asigrrs tie every rarrdem
, _ I rtl: A
EIAI G1ilCQG:
M I- I1 ..1.....,,
Since Xe- tales enly 1 as a pesitive value, its expectatien EIXe·l equals
cycles, Clearly'. mis is the srrrrr el all me valus Xe·IGl, w-here C varies
X G EXC,
, , , IIIIA A
lim] FIer G G 0,
I11 121 Frm], Fer all integers n,r wim n G r G 2. and all G e IJII 042,pI,
Lemma
me G II S IIINI
Shere,
me last inequality- lellews lrem me fact mat 1 Gp S e" hr
030all p,
G 11,
Sinner G (Gk|nnyvV In
030
n large, ne mu; num;. tm r :: [évwkl
G pw] G G r|:¤,
* my *
nw Z {js S éfn- S 030
w 0242w»*p*:
S
Fmm mn nt mme [yds delete 1 vertex, ud let H he me graph
IHI M7
su ma wmmm 1.4;, ¤ [Q Q j[
11.3 Properties of almost a.l1 graphs
smnmpmr tn H s (1 024
vyl*·~`*1, snee tnrse events 1te independent hy
mu g Gsndnsed] u,
vertex sets LUV wim |U| 5 t 1nd |W| S J, 1vertex ¤ g UMV tn1t is
Iernrnn 11.3.2. Fur nerr mnstsnn p e (11,1) and z,j s H. almost evegr
ne
031
ward *.mr.er s used u. tndtme me nnly me snmrunsn twe nr H s
(ter wv z t +11, sinue me rnrrrspendjng events 1re independent tm
ditferent r. As mere 1re nn mnre m1n #*1 p11rs nt snm sets UJV
n·mrntrendstr¤rrer¤1sn~xsin¤e1 024;vq»¤11. D
n-1s 1sked {nr: r1mer m1n nnding, {nr 1ny twe venjns 1,11 ! W, some
tn
030
me ¤¤n.n·.1·.;y4 mrs my nm emer senunre tn me unsuge nr srrm.
._ Z I¤g(1#q7 n
~ rr s
- M024 <
s (Jr
V" 421
Z ,,5,121
k
Z rz
Z |¤zUM7
1 1*
nnt intended: 1|t¤ 1Jl, 1n·r¤ng 111 me gr1phs wim 1 eemjn prnpeny 'P
t.rers,1nd 1r¤und p : n" me trrst ryrlrs 1re hnrn. Snnn, smrre nl mrse
g
r
-
1
r
1
r
rr 111
P
C
L ms rr 11mrrstrrld
rrrmtrrrr jrarmz,rr
tunrtirn 1 rleuly
men 111,11 pr1p.r·r,~ ¢= rr
1ny pesitive ur.
nrultiple 41 rn
dms ter srrrrr prrpenirs 1re mmzsrng mrs, pmpenis rinsed under me
And indeed, Bnllnhk S: '1'lr¤n»r1mn (19671 h1ve shnwn m1t 1ll inrre1sing
1lnr¤st surely, G z R, D
7':<GIX1Gw:1l,
lrenr helen-: sinr-e X is net heunded 1heve, EKX I m1y he l1rge sinrply
rr :: EKX I u
¤ 031::
E((X 024py 031). ee
This qu1ntity ¤ s
031
ruled me rrrrrrmm er secend nrunrenx el X: hy
*
1
e
t
e
N m1t rr 1nd ¤ un-1ys
031 reler te 1 r1ndenr v1ri1hle en senre trxed
nn
030
sener betweerr tw rnd rle;»w* in esenrule .rnr..n eeeryc. z Gm rn
Ierurun 11.4.1. (Ghehyshev 030s
Lnequuityy
F[lXZr»I e 1] s Mw.
ru 1 rr N
Z
n
r
e
I
Frm]. By
11.4.2.1ip
Lenrnr111.1.4
~ tl
1nd
{rrr Z MX
deturitien
n large, end ss n Ax, then
S
X
e
-
r
n
i
S zNX ZW]
D, mis S m1t X
nre1ns s M]
0 unrest srrrely, i.e. m1t X(Gy s tl
sr unrest ulGe§1n,py. D
r rr* 024"
is s threshrrld irrnemrn irrr 'Prr.
rrr
pZyrr* 024". lil
¤1xwZ Eritrea}. zu
Z MWQGI
|n|r-* s EKXV S *11 an
<_r)~ ~ rr <_. . )
1 wr Z rr
k )
1mus,
M exeeeds (jj) hy ne nrere 1
thur031
1 lneter
kZ independent el rr,
(EKXH r i» 030J#rr
lxenr 1heve,
030 As in (sy ne h1ve
(Tl
r Sinee H s h1I1n¤ed, s(H'mH"l S elH] Z Lik. wim |H'¤H"| Z: r
,1, .·L:ZZF{H'uH"QG]
(HRH"] s Hf.]
Ar Z ZNHHMH" g G]
Q G] F]H" Q G]
S Z NW Q GI FW" Q GI
rr . (9]
<r Z. >~
.4, Z Z r·]u*uu"gG]
Z I (r-. PM ¤
S
Z P (r) P
rre" 030
S
Z s 1+1,1****
3 Z |M
Lit e rr.
m1t H s unhuureed. The mrrsheld mer heeenrrs any Z rr 030 ' 024`Z
035 031,
Exercises
rrr] Fnrd rr prrrhrrtrrhry P Z pm] surh thru rrlrursr rrrry G e 4Irrr.M s
|>¤·|>· 024*¤»*
¤|¤¤¤ S mn nverussnug bur has rr rhrrshrrld nrrrrrrrrrr
o
N
Z tes
trrry
ery.spr·rugu· G 0301 030lr1sa.
1¤m.rurd lm lrt Kru·rrrtsl:r. Hrrrribeelr eifehrbrnuxerrs
rdgrs rhrn rsrrh rrlrhrsr graphs rrrrurs wnh rhe sruur prrrtrrrtrrhry rrr (jj],
rhe lrrllrrwurg nrnrhrrn yr-rrph pnreerr sirunrng wnh rr ss surge zrrrr. rrru
1 2 M11101`S
Trees
and W QO
nru- leeh 1t tust siuree, h1s nr1de 1 lundnnrentu inrpnet hem eutside
preve ene surh meerem in full (excluding 1 gjven pl1n1r gr1ph] 1nd st1te
1nemer (excluding IW]; hem 1re eentru rrsnrlts 1nd treels in me meery
12.1 Well-quasi-ordering
R1nr¤y 030s
meerem (9.1.2], K h1s 1n intrnite indueed srrhgr1ph n-hese
geed: rensidu 1 geed pair. Since (A,.],.er·4 is had, mis pair c1nn¤t
(Br, B,]. Extendingme irnertien B, As] hy rr, »A rr, n·e deduee 1gain
m1t geed,1rent.radirtien. D
A,. Clearly, (T,,],,er·r s 1 had sequence. Fer eaeh n, let A,, denete the
nik] an n Z nik] srrch m1t 1** e Aer. Hrh1 k n-im snrulrst nik]. Then
s
;
1 1 geed sequence, hy me nrininrurheice el T..]»y and 1** Q Term. Let
TS T'ZT S
030
Trrrrvc
By Lenrnr112.1.3, the
030sequence (A,,],,ep in h1s 1 geed pair
Any
030 reederer wer-rre.1 mer we nrrnrt ned me ienrnr. mr serrreura er nrrrirsets
12.3 Tree-decompositions
rm \'1G]Z Ureru:
parts. Genditien (T3] inrplirs m1t me parts el (T,]'] are erganired rrrte
r. ,3 034,··']]
1 r ~
Z 030r. ~;;r» A;
wlrereseeriyms *serrse*strr.rrir1 he wrudeperrd hem enme ¤nr¤er=ys.rrsrr1ered
Ierrrrrrn 12.3.1. Let 1r11 be any edge ¤iT and let 1;,11, be the earn.
0u ] 4; u 024Z
J M
] t Vrrntlr ZJ
[tz rz] Ierrrrrrn 12.3.2. Far eterr H Q G. the pair (YZ 4\m\'(H]]re1J isa
Frm/. The asrtiens (T1] and (T2] ler KRW] hllen inrnredi1tely
and ur s ll, U Mr. Since LW. s cenneeted in G and ll, sepa.r1tes ur lrenr
Ierrrrrrn 12.3.4. Given a set W Q \'(G]. there is either a 1 e Tsueh
that W Q ll. rw there are veruees wr, un s W and an edge 1,1, e Tsueh
oil 12 I']. D
y
n
a
and me
n
e
i
t ms-rrrdth
el G. tn·]G]
As ene easily el G s me
rheehs, least
trees
031 n·idm el
menrstlvrs h1ve t.rer 024n-idm
1.
-1-nerrrerrr 1111.
Andrea me -Zr rn mehennn
me denrrrrrenre ser-rrrenr
or wrdm sn-earrrrrrrr
nr. emer vnruese than h. nrniee
tural vhenenrenen m1t ercurs in 1 gr1ph it and enly il its t.rer 024n-idm
is
adnrisihle.]
s1tishrs Ke].
|W]| s k, n-e hnen- m1t ll fails te meet seme B e B: let us shen- m1t W1
(T4] Given 1r,1r s Tand vertex sets Zr Q ll, and Z, Q I], surh m1t
n-hirh ensures m1t Tis nentrivial (unlrs G s remplete] hut su-s neming
den-ernrrrrs
030 en warm eime twe. drrel rsprers r.ir1*1>we won rr. enrphesrre
wagner gr1ph W, and sinrilarly ler gr1phs n-imeut K* nriners (see Pre.
and (T2], and \'(Gr HG1] Z ll, H ll, hy me lemm1; thrrs, Gr HG1 is
G, are indeed snruler man G.] Since Gr HG1 s cemplete, any induced
Ferh.4'H]:Z(G|GeHhrulHe'H] 1-Perhrrrtr
semerphism. 030
When it is n-ritten as 1heve, ne s1y m1t this preperty _
is
erehrded]mrnereebsrd:
expnsd hyilG'
speeitying
Z G e Ferh.
me gr1phs
YH] men
H eG'
H eas
Ferh.
prnrdden
4'H]. (er
Every nriner.
noK*nrinor. wut
As
030
rrsrrei we nhhrermu 1-Perhrrur
A qurstien renverse te me 1heve is te ask ler n-hirh H (ether than
planar gr1ph is 1 nriner el seme grid. (Te see mis, tahe 1 dr1n-ing el me
p1m Fl, e TL, lrem eaeh lanrily se m1t mrse seleeted p1ms are pairn-ise
m1t large externally keerureeted sets in-im k large] ran exist enly in
KG Z C, G ]. Pr
)
1
s
u
h
T |X| Z 1
lr, se 111
hy as 024rrnrptien
eur premrsh 1G ZGG] rsnnet
ZZZZZZQZ H___ZZZZZZ".
` 1
T 2 r' ,
(1 1
Let X' :Z XHS and U' :Z UHS, and let D' he thet.rer 024
meet C'. Therelere 1GZ(",G'] s 1 premrsh n-im tree T' and leal e;
as-ume m1t |X| Z 2k. Let e- he an edge el T surh m1t seme rempenent
rirr everr r Z1,...,ri 4Fig. 1143). Then G has an r >. r gid nrinrrr.
11 l 1 1 l
1 1 1 1 1 1 1 1 1, 1 1
1 1 1 1 1 1 1 1 1
1 1 1 1 1 e H
H. Z 1 » I I I 1 030_
1
1 * E E E
Vr 031 \Ir
mem m1t meets ne emerp1m in 'H. Since I; meets every p1m in 'H, this
enly r Z1 edgrs ler eaur vertiral p1th, n-e reserve r r1ther man just r Z1
rr- 1`
II.
I r ,1 I
I 1 `~_ ~
H 1 1 . I I 1
H, , 1 11* . .
H, E r ' 1 l
Hr, 1 11
I, Il ` I1 1 1
I 024· ` / I
,,,,1. , ~ \r .
. 1;.1
EEWEEEEEEEEEEEE
HP 11|..
. .|.
|I'-'-.......II
H" 030::f:::::::::::::
H- 2:1|12:11
inte r vertical p1ms, ne men centrart in eaeh herirental p1m me initial
ne irurer vertex en any p1m in 'H. Trgemer n-im (parts el] me :th
p1ms H .030,
. . , H', hec1uZ nene elmrse H4 s an irurer vertex elany el
Z 1111.1111 Z1rrr11111rZ111rZ1,
el erder lm +1112kZ 11. Let T Q A he 1 tree a¤ci1ted n-im the T
elX: let Ar,. . . , A,,, he the vertex sets el thse tres. By detrnitien el1 4, 4,,
p1ms m1t h1ve ne irurer vertirs in A. Thse sets 'Fl, nill shrinh 1 little
ure eptien in eur preel n-ill he te nnd single p1ms Fl] e TL] m1t
and 1*,], srrch m1t many p1ms el 'P,] rmet marry p1ms nl 'P,,,, lnrrning
meh pair rj, n-e mall deture 1 sequence 1;] Z el snruler and
whenever 1 set if] is detrned, ne shul n·rite Hf] :Z 1171] ler me unien iq
lii] Lhrl:11 Q A men if] has exaetly ene element F1], and Fl] des ra,
ne k]e"* dineint
030 A,ZA] p1ms in me gr1ph lH,§, H H}]] Ze.
Nete m1t, hy liv], the p1ms cerrsidered in lv] de exist in HL. The
rr.1t srnee rrlr.1] e lt;] hv derrnrrren E} rr, eendnerrs lrrr] 1nd lrv] gave
Z c n-henever
031 ¤l:j] Z L
Let us shen- m1t 1* s 11. Let pq :Z and put 'PQQ, :Z 1*,,,. Te
he nraximu srrch m1t (H:. H H.] 1 Z F sill centains k]e dineint A,ZA]
p1ms, and let PQ] he srch 1 set el p1ths. Since me vertirs lrem A,] H A,
h1ve degrm 1 in HL H H.] unlrs mey use lie in A. H A], thse p1ms
cenditiens (i1Z(v1 are s1tished ler A hut cannet he s1tished ler A +1.
r 030lz
+1] and put '¤§f :Z
030Q,]. Fer rrlrj] s 1+1n·rite H,] :Z 11 131,],
Thrrs ler every p1th F e P;. mere exists 1 pair rj n-im ul:11 A
r 1I¢ 030,f,|1(ZZ1I
el mrse F m1t pair rj nill he me mme; let';1 denete me set
rr el mese F, and heep rj trxed lrem nen- en. Nete th1t [PI Z I'P,f,I](1]] Z
·1
1r
Q Z 111 ( Z Zum)
LetusrrZLerrrrrr112.4.7te1rndsetsI'Q 'P
|'H| Z r 031
S 1l¢*l11l 1111111*
Z
S
'
1 11 edgs, as reqrrired. I-lence, I' and 'H erist as claimed.
ene lrem eaur segnrent ln-hich is me mest delic1te task: ne shall need
Fer n Z 1,2,. . . ,dZ 1 let e-,, he me trrst edge elQ (en its nu- {rem r,.
Ar te A]1 srrch m1t me initial cempenent Q,. el Q Z c,. meets a.t least Q,.
ditierent p1ths lrem I', and srrch m1t e,, is net an edge el H;.
exactlyp1ms
in Q hy
lrem
an I'.
edge
Put
net
Qnin
:ZH1.,
(andeach
Qi el
:Zthse
Q. Since
Q,. meets
|I'| Z 1*];*;], ne h1ve
liv] and lv] imply m1t H,}, H Hf] has 1 set S,. nl Z1 y¤1i¤s srrrh 5,.
rhe ....11.. 1r1ll rinse sets s,. 1-ren 1s] e rim]], se raclr m meets 11
1
.
I
Q 1 1. Q e,... q;] c,. c.rZr 1 1
] ¤ rz ] 1
1, 11
1 1
] 11 1
1 1 1 1
.1. Nr .1,
indeed 1;. cannet meet F,.Z., hec1nse r*,.Zr HIL. H lQZQ·rZr] n-euld
H S G.1
Jlk1:Z 2_/(kZ11+re»
hy mme linear erder 1 srrch m1t 11,,, I; Z \'(G1, every edge ¤lG has " 030
A030
cnrnvrer crrrurrerer zenrnnrnnd wrmrrrrr 1,r.rrrn1ary, see Avvends ra
;_";_Q_]]" emhrrdrrule in S it H has 1 set X el1t mest k vertirs srrch m1t H Z X
(Distel Ae Themas 1929]. There are use strrrcture meerenrs ler exclud.
FII. ......11 rrrnrrr ir ri rns 1 rrrrire se. r ervenirre ner. ,11. ri Zr .1..
and k Z 1, n-hile (N3] helds n-ith k Z |X|. (Ln emer n-erds, deleting
edge 11* e Tthe set \1H\1· is turite and ler every inturite p1m 1.1,...
Theorem 12.4.12. (Distel, Rehertmn, Sbymeur 1: Themas 1995Z99]
ner. retrrs s1vrrr1t c 11snnrrs rnsnrrdrtr irc 1d.rrirs 1ner.dererrrpesi. ]_Z_Q] 034
tien (T, (l11rer] inte trrrite parts srrch mat ler every intrnite p1m 1,1, . ..
(iii] G Ins a normal spanning uee T srioh that for every ray R in T
Gr11>h prepertis m1t are clesed under talring nriners eccur lrequently
me nriners K and
030Kr r. This is 1 grad chrrrrreterramen el planarity in
Z 1 ri 1 ri is s.r.inirr.1iir.
'P Z Ferh.('H]. We call Kp the hrrrrrteresm set ler 'P.
*'¤·I¤"· n
o
u
a
l
e
r
e
g
r
lThe snite
grids graphs are(Lenrm112.5.4].
as nriners wellorrasi-orrieredLy
Then me nrinor
meir t.rer 024n-idm
is heunded
Fer cenvenience (cl. Prepesitien 1.7.2 (ii]], ne shall n-erh n-im hex1genal
0428
I I I 0428 0428:8 0428
042:
I I I I 042:
0420422 042
042 042
**= 042' 042'
I 042I 042I 042I 0
042*
042
042:
srrhgr1ph elG n-hich eur trrst emhedding had placed in D': nete m1t
in S (1 centradictien].
mem, D su-, meets me heundariv el anemer srrch disc. But since the
F, 042:
" 042:
042:
Z` 042:
042
042: 042:
042: 04
e
d
n
p
s
r
r
e
c ,:1 042,:,
1 042,
042:
__ 042,
042
(hy rrej] te drcls in Sm1t heund dineint epen diss there 042
~ :'° 042
042
~042
E:
042
1 .4%.,,. 042
~ . 042.
jg}; ~»Z»
042 031
s..
D' in S', herurded hy 1/(C]. Deleting 1 snrul epen disc inside U m1t D'
..1..] 1
deturitien el Jn]; let re he its lust vertex m1t rr' m1ps te me heundary
n-im :r'lJ] Q _A,ar1d ler ul J{' edgs el G, deture rr" as ,1, ee'. D
m J .;` /· ~, u ,7,,,
Pmqr
m
u
n
i
e
i
l qs me sup;.
Fmh.1G»W, mum
und ue mq mmm, 4sxe
ug me smmme 042em,
we nne
mmmmn me m snm.-
mese gupns
ax-nmemm lC ¤G.
030 tm]! z a1,
in Fmt:. UTY ¤.n he nhaaanemed hy men uenwlemmpnsivjnns, and
nnhedded in mese mutans, wim VIH; M Hf'1 Z X,, The sem nt a11 mse
algnrimm exists (nn maner hnw slew 1 mam deeids ler any given graph
in 3·spaee will nm ueave a knee where nene had heen helme, l-lenue, hy
lndeed
031 . eme wah . m·1e.11y enr.¤¤.u mum; dependln:
Exercises
12 Y Ler
Gmy 12. nh ¢ W hn ann edn nu ,16
1s Ler Gis
keagmph.
.1 J < k Meryl.`;
1 030¤m.¤nd
M, Miller
nU,, \1_ ;\1_
2a ' In rhe wand hall dnhe pm.: dl Thedmn 12 au, ler H' he rhe nnnin
dl H and rhe puh: P1. Lx H" he rhe graph unwind min H'
Notes
naned lm :4 Arnkarrg. DG Curnerl and A Prdslnirdwsla. Fdrnalden rnnnrrs
we wrive IA| : |B| and say what A and B have sha sms drrdmduxq,
Tha
030 a me canurnernsrear ehedrern, . sanple rrauhahedreue pm s men
mmparahle, 1.1 (CS1 is a rhain, and i1 1, y e G misty 1 q y hum nn
gjgnnl ra ae .1a11.ar.1am.1, rm exarrrple, rl, ; and 1: are 111 [mrs 4wm. near
S hyF:
,
s
w
l
¤
1
n
n
i
v rrdnwuxa mducnan,
lem us wrive which
Fm vn werhs
exprr§ mamas im dns, Jus; as in erdinary
<¤<¤|m1wm1s;
all 11 Q cv, and say wha; eur recursien zaminrras am sup dn Un 1ac1,
Zum'; Lernrnn. Le: (X, S1 be .1 paruhlly urdered sen suph than everr
B Surfaces
1r¤n 042ier
¤1X
me wha;
sphere S is a
: circle
031
(1 sin S is
1R' a minddn,
: |11|1 : 1 1 meta
hy e1 X,
*adding A heundary
nnively many splere 5*
rhraugheua
030 nih aupenda *cr.ruiee¤d* rreans
me clasincavinn meerem, hum vc 1¤rm a picmuré lem us see wha: me
ensrrrs diminm 1r¤m S, Tn ddd 11 ernssdrp, we remnve nne epen disc, a.nd men
Qf_jf_* 034 s any sac. hnnearnnpriic 1n me prndncr sac. 111,11a 111,11 ann
Q 1 Q 11u(p1,wherepsmep¤in1rrs11l 042ing1r¤m
vhe idenvincavinne1 11, $1 wivh 111, Q 1, 11 ca.n he shnwn* wha; every circle
i1i1 has nnly nne, men G is nan-sepzrdmig, While nnesided circls are
rhs
031s made preese by me 1denujk1r11.,n1r¤¤r~yy whnse n.rn1.1de:1n111r.n can
11 ni + A : 1 1 S1 ,
hll¤ws, 030
Lee N he any snip neighheurheed ¤1 G in S, and pu; X' 1:
drcle ¤1 N \G in S', wim (N\C1u X' U X" hrming nne cylinder in S',
The
030dsd-1m1r.n 111.1 mllews may ,¤.und camplwaeed hue 11 s nr.1 wr.rl11n1 1n
ue preve, 0301
lndaed. hy deuhling G we len n Z vn unchanged, hecaus a
induc 042ien
en me Euler genus, Still, in is semevims mere cenvenienm ue
s(S1 Z s(S'1+s(S"1,
s(S'1+s(S"1Z12Z n'+m'ZA'1+(2Zn"+m"ZL"1
Z 4Z1n+k1+1m+k1ZU+21
Z sl S1 ,
1-lence, i1 G des nee heund a disc in S men s1S'1 and s1S"1 are hem
verhaw
030 me sanblen bn.4 was 1n·en by C 'rhernassen The .1r.rdansa1eer1n1s
in C. Then s(S1 z |f|.
seme |f}| drcls nee in C, and am leasm hal1 me circls in C1, This will
FI
. ¤ 031
1-·
c, e. Lay- » * ,
Z Z L ar; Z aa JL an
U) ~
1
=
g
n
i
n
u
G aleng me circls in C1 (and capping me hels1 s snaigh 042.1er-
ward: since mse circls are enesided. mey are alwns nenseparaving,
a med circle G s C}, le1 S' he me s1r1ace ehvained 1rem D(C1 hy spping
(i,e,, hem meir *sids'1 lie in D,. (ln Figure B,1, mseare me circls G,
e1 S1 UC, (ln Figure B,1, mse a.re me circls C1.,,,,Ca,1 Fer every
leas1 |f;I12, D
Hmts fO1` all the
Exe 1·c1s e s
6 ' I1 wu han 9 g .9' Q .1 wirh 191 Z 1.*.*1911 in rhe mnre ease. rhe
1n 2 03011·
.1 G 030
1 1.11.n rhe nrrns. 1..n lm 1..n. lr1..u 9 r1. 9 1-11.11 d1.1s rhe nalin 1.1
reera...s asigind lm [11 and s an. 1... as lew edges as p1ss.l.le Then
éslirr #1+01
G ¢ 11* earends r1. all 1.1 G
lm .ua.1y edgs r1. rhe ...n...re ser 1.l nrraes yer r1. he d1h.nd
Z G [v1. .1.1] rhar ..upl.es rhe e1.rr1sp....d...g srann.e.n l1.r rhe
lr1..u G.1 lm add..¤g a large e1..uplere graph K 11...nd e1..upler1ly r1. all
lm ensuring rhar 11111. nrrer 1.lG s used lr.1 1..1ly n.1.rely .ua.1y .\1H
rheaa
rays
L1a.l:..1
arrhe
Ererse
rlarge Au
1...1a.1d
n.1.n1
.rs ser
h..1r
11,,
F1.r
as rays
l1.eally
Q., n.1.re
The Gparr
rhe1.1
sers S are
an ' Ls a .11.r..1al sp.1.1.1..1g rree r1. nnd pr..11s.1..1al sers 1.1 arr...
su ' T1. d1h.n rhe r1.p1.l1.gy 1..1 X. uuirare rhe d1h.1.ra..1 1.1 rhe usual 1..nZ
we. ends ee.u1eade. a.1d rhar F Z G .s a eirele
11 ' Gne.1 a pe...1r ..· e AZ .1. pal: a sequenee u1.u1. 1.1 uerraes ..1 .1
1 Z Can ye.u ee.le.ur rhe edges 1.1 11* nd a.1d green w.rhe.ur erenruig a red
e.r a green rr..1.1gle* can ye.u de. rhe s.1.ue le.r a 11**
16 she.w u1duer.11·ly le.r le Z n. .1.1 rhar ..·1G*1 Z ..-1 H1
21 ' she.w rhar rhe parrs are preeisely rhe .uaruual .rredueal.le u1dueed sula
rhe1:1
u.1l.e.u.1dedly .ua.1y ds1e...1r ee.pas 1.1 11*
11* Fee
hee numhersin ivalisre1er ve delueiviens; in vhe cas e1 auvher nams,
almnaaeng l'"
*1** in kann; pam l.n.1-gs nar
·*·¤·····<<¤ 024*
N kann; .11.1-11.1.111 11 1.11.1
nw-: ex 11 uu 212
030" 034'
_ 034 030 ndnnnds .1 si as in
11.1112
s ri
.
.
1
2
Z
s
e
a
m an eur
ia. eu. 211 2**** 5
11..1111a.n wu 2111
ev. 211 211 " "
030
""
030
" 030
030 * *2* 034"
" ' 030}" 030
*2* **2
"*"f 030
"' 2m 2si 21:1 211 211 insane
E"*
*" g"
030**
034* 111111
.1..1.1.11 111 111
..1..,. inin
.1.
: 034""*
_*" *°*
030,," 1.1.1 1.1.1.1..e 11141.
,_ M ,5 034' .1..1n.n1,·e1.1...ee.1d in 211 211
*" ..u1n11y1e11a11. mu 21s 1.11
1....... 1.
j[_ 030;j_j_
Q 112 1... ..1.................... 11.
*···¤¤·* ».1~.r11» 1:
e 111
Symbol Index
6 2 1 , 1 23
E g fig,,,, 1a
(.1,,... .1.
` E(¤1.E 031(1¤1.,,, 2
Z 4,66,144 1411, 226
i V7 e,
IT, .2, 5,,,,
P, C', 1111
11 1, 1s (S,S1.,,, 142
ri 1, 351 JKGW 5.
L. 1 dim 5.
d*(¤W 124
'Pg 306 { 1
1'(G7 73 leg, In 1
pu·(GW 352
254'*, 254'(S,m.C(S,m
6,221 q(Gy 39
EKG) 2 n:1G 9
PKG) 66 Milf} 76
Km nv 11
IQ, 11 AKG) 5.
LKGW 4
MX 19 MG) 126
F 295. MG) 11
F* 6 »:u(HW 66
Fu 134 AKG) 12
H(k,c,r) 255 S5
[NG) N3
[MG) 121