Def :

A graph is
triangle -
free if it ⑧

÷÷÷÷÷÷÷¥÷
↳
A graph 6 is H -

free if has
6

6° subgraph isomorphic to H
H
.

-
. .

vetrex
.

The Turin the

graph Tnir
is n
-

.
at most 1
differ in size
by
-

3,3 , 4

all possible
edges
theorem
"

theorem (Turdus (Fringe free)-

The largest n - vertex Krti free graph

is Tmr .
For r=z ,
< 4%1
(r IEI to )
←

=L

Proof
,

(1) Tnp Kay free :is -

Tiny rti Tertius of Tnr contain

atleast 2 vertices in same part
(2) Tar is the
largest
-
r -

partite ⑨
n vertices
graph
:
on
-

If 6 is r
-

partite n - vertex graph

and two parts differ in size
. #j§
than 1 then
more ,
moving a

vertex from larger to smaller

part increases the number of

ver¥
etfs -
✓ ert

ti :

KIKI
-

LECH ) / =

ri :(§ 0¥
LECH' ) I =
Cktl -
L ) ( rets)
=

kt-kl.tl -1
/ ECW ) 1- IECH ) / ls
s→¥i
= > 0

l>
-

if
 that there is
(3) Let 6 be
Kra free show
⑧
-
.
We

fan
r-p-rh.fr H with VCH )=vG )
-
sit

Ave ↳
G) 7 deco )
-

which implies
IECH ) / 7 IECG ) /
This shows that Tyr is extremal
pf
÷÷•o%*÷¥
induction
:
By on r .

* Trivial for F- 1 Krty =

Kz
*
suppose I > 1 hog

÷÷÷;÷÷÷÷÷÷•¥÷
-
__ #

By induct ,

hyp .
3- G- 1) -

partitegspÑ
" "" ←

Let 5- V16 ) -

N (a) ←

✓ (G)
Form H : VCH ) = = SUN (a)
partite Cox Ncx ) )
'
r -

Elh , = ECH ) u

INCH / *

:*
=

. f-

ducal
zdc.lv/fveVC6)--VCHtDon-e-A--
Verify :

☐
 Pz Pz free
✓
-

H
.

To

¥:¥¥
6
'

B- free ?

NOT
;F¥*
① r parks

⑨ -
-

Kris
-

F- 2

µ① Ks ?

Nfa )={yÑ%yeEG } )

61--61%64]
si

ée .
Kr free
-
÷:* :* de NCN)

subgsfo
de xuNGe)
5.3 .

Gn¥n and Decomposition

components & Waites

Walk ( reorrido) lista Vo ly is ez ,

-
, ,
- -

, Erik

ei-oi-stio-o-Z.co
con

.
#
the
.
- - .

v0 of Uz Hey
V4

g-
¥D¥Ñ÷ V5
.

Trail ( Sendero ) es un recomob en el deal

no se repilen arista>

Path Camino) es un recomob en el and

vertices
no se repiten ni ansbs ni

u.o-wdn.no#--:o
U ,V- came
"

no
 c- V6 )
Sea 6
gsfo Ui
¥70b
in
y
recorrido contiene in
up -

ur -
camino omok . d-

•⇐¥☒¥É¥→
> >

o
u
>

VV
Pnieba . Superganos que e) on

uierewrriob en 6

y sea W* et wit -
subreconiob
-

de W ma's corto

Afin :
W*eÉ amino

W* no es un
spongemosque *
amino .
Enforces VV tiene

un vérhce que se repite .

Sea 2 d. primer vértice que

'
se respite en w

#⑦ el subreaomob entre
:
no

Eliminanto
de se
la la y 22 apariaon
en
obtieneunuit-subrec.de
W*
W
,
se

mis corto .
contradiction
 tu ,oeVG)
y
si
DEI G conexo

(
es

existe UN -

amino
conectaobs 6 si

(
estate en

Uyo
exist un wit -

Camino en G.

(
amino

u%Eo\*
Relation de equivalence
has chases de equivalencies son has
de
components conexas
-
G

6-
→ %) 30mF

- •

5.3.6
k lista
Ses D= Cds -
.
dn ) una

gisfica
,

2- infercambio →
• - - - - o

g.
•

☒ →
! →

@
p - - -
q
@
3

g.
°¥É?#
20g
V33
Ok
-
of
1-
(3,3/3,41)

2-
inlercambio
 3"
Gy 62
•
62

Eo|¥
v. → on
is
•
. we
→ v←
V4 Us → v3
3
V3 04 → V2

of → v5

6g→•o
tf & ✓ G-* 1=16
lists
:

de
Gz→• t.ge
grabs es
(3133/2,1)}
Irene
{
'

E( Ht ) = 66 :

de 6 con on

2- interosmbio}

6
y
H son isomrfos si

3- bigeccwn V66 ) -8 VCH)

t.ge Uwe EG ) sing sobsi

.

Pcu)4Co) c- ECH )
 ¥

É☒¥÷
:-O,

intereambio

V. ( HF ) {T / triangularis

(
= T es una

de Pn }
'

{ TT /
'
E (Hrt ) = T se ob tiene de T

con un iwtereambio de

diagonals}
1
remover or

Def .
G- it . .
.
borror un vértice devngrfo 6

consider en remover it y
todas las anstas incidents

G- e. bonar /remover una

anstede
console
run
gsfo
remover
6
e.
en
 D-et.it es m oértice decorte des
Cart vertex )
•

si A- components de 6- re es

mayor que
el # decomp.de 6

%¥④→
•

Ej v e, vérhcede
corte
n noes vértice
de corte
e es una
arista decorte si
cart edge)
-

- 6- e -
-
-

¥⇐¥_e•
eo eskimos
5 .

arista de corte .

de 6
Um ans.to una arista decorte
Levy e es
.

si solo si no pertenece a un cielo

y en 6

Agregar una arista a un grate combine

( dos

no
components
Cambria has
delgato
components
en

.
L or

sie c- ciob e no es arista decorte .