2012,

H:
I R2 :
G:
I H G H
I H G


H:
I R2 :
G:
I H G H
I H G


H:
I R2 :
G:
I H G H
I H G

:
I G H
H .


:
I

K5 (?)

K3,3 (?)

K5

K3,3


:
I
.
I :
I : -
I F(G): r = |F(G)|


:
I
.
I :
I : -
I F(G): r = |F(G)|
v3

v2

v3

v2
f3

v8

v7

v8

f6
f4

v5

v6

v7
f5

f1
v5

v6
f2

v1

v4
.

v1

v4
.


:
I
.
I :
I : -
I F(G): r = |F(G)|
v3

v2

v3

v2
f3

v8

v7

v8

f6
f4

v5

v6

v7
f5

f1
v5

v6
f2

v1

v4

v1

v4

f: G[f]
.
.
I
f. G[f]:


G f G:
I

V(G) = V(G[f]) G


G f G:
I

V(G) = V(G[f]) G

:
I

.
K4 ?

 Euler

.
( Euler)
.
. G r : n + r = m + 2.


d(f):
I G[f]
I e G[f] (.. e ) e
G[f].


d(f):
I G[f]
I e G[f] (.. e ) e
G[f].
v3

v2
f3
v8

f6
f4

v7

v5

f4

f5

f1
v6

v1

f2

v4
.

f3

f1

f2


d(f):
I G[f]
I e G[f] (.. e ) e
G[f].
v3

v2
f3
v8

f6
f4

v7

v5

f4

f5

f1
v6

v1

f2

v4
. f2
f1

f3

f1

f2

f2 .

f1

 -
.

.
G ,

d(f) = 2m.
.

fF(G)

 -
.

.
G ,

d(f) = 2m.
.

fF(G)

.
G[f]
G[f1 ], G[f2 ].

 -
.

.
G ,

d(f) = 2m.
.

fF(G)

.
G[f]
G[f1 ], G[f2 ].

.


.
;


.
;
G:
I

e G


.
;
G:
I

e G


.
;
G:
I

e G


.
;
G:
I

e G


.
;
G:

e G

. 9
.

G .


-
.

. , .


-
.

. , .
.

3n 6 .
.


-
.

. , .
.

3n 6 .
.

.
e f1 , f2 f e1 , e2 , e3 .


-
.

. , .
.

3n 6 .
.

.
e f1 , f2 f e1 , e2 , e3 .
mr = 23 , 23 m .


-
.

. , .
.

3n 6 .
.

.
e f1 , f2 f e1 , e2 , e3 .
mr = 23 , 23 m .
T Euler .


-
.

. , .
.

3n 6 .
.

.
e f1 , f2 f e1 , e2 , e3 .
mr = 23 , 23 m .
T Euler .
.

3n 6 .
.


-
.

. , .
.

3n 6 .
.

.
e f1 , f2 f e1 , e2 , e3 .
mr = 23 , 23 m .
T Euler .
.

3n 6 .
.

.

3 . :
2m = fF(G) d(f) 3r = 3(m n + 2) m 3n 6.

 -
.

. G, (G) 5.

 -
.

. G, (G) 5.

.
....

 -
.

. G, (G) 5.

.

....
2m = vV(G) deg(v).....

 -
.

. G, (G) 5.

.

....
2m = vV(G) deg(v).....
m 3n 6 .....

 -
.

. G, (G) 5.

.

....
2m = vV(G) deg(v).....
m 3n 6 .....
.
1
.

.
.

 -
.

. G, (G) 5.

.

....
2m = vV(G) deg(v).....
m 3n 6 .....
.
1
.

.
.
.
2
.
K5 K3,3 .

K5 K3,3 .
.


G H :
I

0
.


G H :
I

0
.

Pn P2 .

Cn C3 .


G H :
I

0
.

Pn P2 .

Cn C3 .

.
, ,

.
.

 Kuratowski
.
Kuratowski
.
G
. K5 K3,3 .

 Kuratowski
.
Kuratowski
.
G
. K5 K3,3 .
G
K5 K3,3 H G.

 Kuratowski
.
Kuratowski
.
G
. K5 K3,3 .
G
K5 K3,3 H G.

 Kuratowski
.
Kuratowski
.
G
. K5 K3,3 .
G
K5 K3,3 H G.

 Kuratowski
.
Kuratowski
.
G
. K5 K3,3 .
G
K5 K3,3 H G.


.
Kuratowski
.
G.

n < 5 m < 9 .

m > 3n 6 .


.
Kuratowski
.
G.

n < 5 m < 9 .

m > 3n 6 .

.
:
K5 5 10
K3,3 6 9 .


.
Kuratowski
.
G.

n < 5 m < 9 .

m > 3n 6 .

.
:
K5 5 10
K3,3 6 9 .
G -: K5 K3,3
uratowski.
n 5 m 9.


.
Kuratowski
.
G.

n < 5 m < 9 .

m > 3n 6 .

.
:
K5 5 10
K3,3 6 9 .
G -: K5 K3,3
uratowski.
n 5 m 9.
Euler.


.
Kuratowski
.
G.

n < 5 m < 9 .

m > 3n 6 .

.
:
K5 5 10
K3,3 6 9 .
G -: K5 K3,3
uratowski.
n 5 m 9.
Euler.
!!


I
I
I

n < 5 m < 9 .
m > 3n 6 .
K5 K3,3 .


I
I
I

n < 5 m < 9 .
m > 3n 6 .
K5 K3,3 .


I
I
I

n < 5 m < 9 .
m > 3n 6 .
K5 K3,3 .


I
I
I

n < 5 m < 9 .
m > 3n 6 .
K5 K3,3 .


G f G:
I V(G) = V(G[f]) G
I

.

.
()
.
G
. K4 K2,3 .

.
()
.
G
. K4 K2,3 .

.
K4 K2,3
.

.
()
.
G
. K4 K2,3 .

.
K4 K2,3
.
G - .
G K4 K2,3 .

.
()
.
G
. K4 K2,3 .

.
K4 K2,3
.
G - .
G K4 K2,3 .
G+ = G {x}: G+ -:

.
()
.
G
. K4 K2,3 .

.
K4 K2,3
.
G - .
G K4 K2,3 .
G+ = G {x}: G+ -:
G+ : x G
.

.
()
.
G
. K4 K2,3 .

.
K4 K2,3
.
G - .
G K4 K2,3 .
G+ = G {x}: G+ -:
G+ : x G
. G .

.
()
.
G
. K4 K2,3 .

.
K4 K2,3
.
G - .
G K4 K2,3 .
G+ = G {x}: G+ -:
G+ : x G
. G .
G+ -: H K5 K3,3 .
H x G .

.
()
.
G
. K4 K2,3 .

.
K4 K2,3
.
G - .
G K4 K2,3 .
G+ = G {x}: G+ -:
G+ : x G
. G .
G+ -: H K5 K3,3 .
H x G .
K5 K3,3 :
G K4 K2,3 X

.
( )
.
. G 2n 3 .

.
1
.

.
.
v2

v3

v1 .

v4
v6

v5

.
3
.

.
.

.
4
.
G (V1 , V2 )
V(G) G[V1 ] G[V2 ] .
.


4 :
4-


4 :
4-
1977 :
4-


4 :
4-
1977 :
4-

I
I
I

6-
5-
4-:
(google: ''planar graphs 4 colors'')


4 :
4-
1977 :
4-

I
I
I

6-
5-
4-:
(google: ''planar graphs 4 colors'')

:
I K5 , K3,3
I ...

6-
.

6-.
.

6-
.

6-.
.

.
n G.

6-
.

6-.
.

.
n G.
: n = 6: v : (G) 6

6-
.

6-.
.

.
n G.
: n = 6: v : (G) 6
: n 1 6-

6-
.

6-.
.

.
n G.
: n = 6: v : (G) 6
: n 1 6-
: n :

6-
.

6-.
.

.
n G.
: n = 6: v : (G) 6
: n 1 6-
: n :
v deg(v) 5 (: (G) 5)

6-
.

6-.
.

.
n G.
: n = 6: v : (G) 6
: n 1 6-
: n :
v deg(v) 5 (: (G) 5)
G v 6-

6-
.

6-.
.

.
n G.
: n = 6: v : (G) 6
: n 1 6-
: n :
v deg(v) 5 (: (G) 5)
G v 6-
6 G v deg(v) 5:

6-
.

6-.
.

.
n G.
: n = 6: v : (G) 6
: n 1 6-
: n :
v deg(v) 5 (: (G) 5)
G v 6-
6 G v deg(v) 5:
. 6 v

6-
.

6-.
.

.
n G.
: n = 6: v : (G) 6
: n 1 6-
: n :
v deg(v) 5 (: (G) 5)
G v 6-
6 G v deg(v) 5:
. 6 v
v 5
G 6- X

5-

.

.
. 5-.

5-

.

.
. 5-.

.
:
v deg(v) 5: N(v) = {v1 , v2 , v3 , v4 , v5 }.

5-

.

.
. 5-.

.
:
v deg(v) 5: N(v) = {v1 , v2 , v3 , v4 , v5 }.
G v 5-.
v 5

5-

.

.
. 5-.

.
:
v deg(v) 5: N(v) = {v1 , v2 , v3 , v4 , v5 }.
G v 5-.
v 5
(vi ) = i 1 i 5.

5-

.

.
. 5-.

.
:
v deg(v) 5: N(v) = {v1 , v2 , v3 , v4 , v5 }.
G v 5-.
v 5
(vi ) = i 1 i 5.
G[v1 , v2 , v3 , v4 , v5 ] K5 G -: {v1 , v3 }
/ E(G)

5-

.

.
. 5-.

.
:
v deg(v) 5: N(v) = {v1 , v2 , v3 , v4 , v5 }.
G v 5-.
v 5
(vi ) = i 1 i 5.
G[v1 , v2 , v3 , v4 , v5 ] K5 G -: {v1 , v3 }
/ E(G)
{v, v1 },{v, v3 }:
v2
v2
v3

v1

.
v

.
w
(1 3)

v4

v5

v4

v5

5-

.

.
. 5-.

.
:
v deg(v) 5: N(v) = {v1 , v2 , v3 , v4 , v5 }.
G v 5-.
v 5
(vi ) = i 1 i 5.
G[v1 , v2 , v3 , v4 , v5 ] K5 G -: {v1 , v3 }
/ E(G)
{v, v1 },{v, v3 }:
v2
v2
G : 5- w 3
v1
.

.
v
w

v3

(1 3)

v4

v5

v4

v5

5-

.

.
. 5-.

.
:
v deg(v) 5: N(v) = {v1 , v2 , v3 , v4 , v5 }.
G v 5-.
v 5
(vi ) = i 1 i 5.
G[v1 , v2 , v3 , v4 , v5 ] K5 G -: {v1 , v3 }
/ E(G)
{v, v1 },{v, v3 }:
v2
v2
G : 5- w 3
v3
v1
G: 3 v1 , v3 1
.

.
v
v
w
(1 3)
G 5- X
v4
v5
v4
v5

Appel Haken
1977 .
.
4
.

4-.
.

(1997, 2003) /.


G :
I


G :
I

k- :
I

G k
.


G :
I

k- :
I

G k
.


G :
I

k- :
I

G k
.

2-

.

.
. G 2- G Eulerian.

.
() v G.
v deg(v).

2-

.

.
. G 2- G Eulerian.

.
() v G.
v deg(v).
v : 3

2-

.

.
. G 2- G Eulerian.

.
() v G.
v deg(v).
v : 3
.

deg(v) G Eulerian.

2-

.

.
. G 2- G Eulerian.

.
() v G.
v deg(v).
v : 3
.

deg(v) G Eulerian.
() G Eulerian

2-

.

.
. G 2- G Eulerian.

.
() v G.
v deg(v).
v : 3
.

deg(v) G Eulerian.
() G Eulerian deg(v) = 2k

2-

.

.
. G 2- G Eulerian.

.
() v G.
v deg(v).
v : 3
.

deg(v) G Eulerian.
() G Eulerian deg(v) = 2k v

2-

.

.
. G 2- G Eulerian.

.
() v G.
v deg(v).
v : 3
.

deg(v) G Eulerian.
() G Eulerian deg(v) = 2k v
v :
: v

2-

.

.
. G 2- G Eulerian.

.
() v G.
v deg(v).
v : 3
.

deg(v) G Eulerian.
() G Eulerian deg(v) = 2k v
v :
: v
:
v r X


.
1
.

3- .
.
v3

v2

v1

v8

v7

v5

v6
v4

.
3
.
G . :
(i) G 3.
.

(ii) G 4-.