[go: up one dir, main page]

0% found this document useful (0 votes)
65 views6 pages

Graph Coloring

This document discusses graph coloring and the four color theorem. It provides an example of a map with five regions and its corresponding planar graph. It explains that the four color theorem states that no more than four colors are needed to color any map such that no adjacent regions share the same color. It was proven that five colors are sufficient to color any planar graph, solving a long-standing problem in mathematics.

Uploaded by

Tapan Chowdhury
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
65 views6 pages

Graph Coloring

This document discusses graph coloring and the four color theorem. It provides an example of a map with five regions and its corresponding planar graph. It explains that the four color theorem states that no more than four colors are needed to color any map such that no adjacent regions share the same color. It was proven that five colors are sufficient to color any planar graph, solving a long-standing problem in mathematics.

Uploaded by

Tapan Chowdhury
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 6

e ra te d b y S u m o fs u b

f s t a te sp a c e tr e e g e n
F is u re 7 1 o p o r tio
.
n o

7 4 G x P H c o L O R ıN G
.

b i v e n p o s it iv e
in te g e r W e w a iıt to IS C t
h d g
.
e a
ııe t G b e a g r a p m m
h a w a y t】 ia t n o tw o
d f G m b e c o lo r e d iï ı s u c
w h e th e r t h e n o e s o c

h t h c o lo r y e t o ıı ly m c o lo r s m e u s e d T h is is te
.

n o d e s a v e e s a m e
r o b ie 】Ja d it is d is c u s s e d a g a in iħ C h a p te r
c o b r a b ility d e c & o n p
m
i
h it c m be co ı o red 1
t h a t if d is t h e d w o f t b e g iv e n g r a p h , t e n
e n ı A s ic s fo r t h e s n ıa
y o p tim iz a tio n p r o
c o lo n a b ilił

c o lo r s T h e m
fo r w h ic h th e g r a p h G c a ï ı b e c o ı o t ie d
.
T h is in te g e r i8 r e fe r r e
m

c b r o m a tic n u m b e r o f th e g r a p .
h F b , e x a n a p le , t h e g r a p h o f F IB
b ė c o lo r e d w ith th r e e c o lo r s 1 , 2 , a n d 3 T h e c o lo r o f e a c h n o d ë
.

h
n e x t to it It c a i ıa ls o b e s e e n t a t t r e e c o o r s a r e n e e e
J
h l d d to c o lo
u ıd h e n c e th is g r a p h s c h r o m a t ic n u n ıb e r i8 3
°
.

Scanned by CamScanner
rĮ $#

r 11 A n ex aıı
ıp le gr a p h a ]iıd itģ c o lo ,tiį
f« ıir e g
.

id To b e p la n a r iE it c a n b e d r a w n in
A g ra p h is s a a p la n e in s u c h a
ba t n o t w o e d g e s c r o s s e a c h o th e r A f a s p e c a i c a s e o f th e m
i
w ay t
n a o u s

it d e c is io n þr o b e r a is th e 4 c o lo r p r o b le m r p la n a r g r a p h s T h is
l
co io ra bil y
a s k s th e fo 1ı o w ilł g q u e s t io n g iv e n a n y m a p , c a aı th e r e g io n s b e
p o ble m
hlo re d in s u c h ą w a y th a t n o tw o a dja c e n t r e g io n a h a v e th e B a r n e c o ıo r
,

l fo u r c o lo r s a r e neeied ? T b i tu r n 8 o u t to b e a p r o b le p a fo r w h ic h
J1e8 o n y
e v e ry u se ńı l, b Ģf a u s e a m a p c a ï ıe a s ily b ¢t r a n s l o r in to a g pą p h
gra phs u
o d e i a n d if ţ re g io n s a r e a a c \ ,
Eac h r e g io n o f th e a p b e c o e s a i
ı

a r e jo in e d b y a J 1 e d g e F ig w e 7 12 s h o w e a
then the c o r r e s p o n d in g n o d e s
b T his n ıa p s ¢ fo u t
i
m a p w ith fiv e f e g o n s a
r d It s c o r r e s p o n d in g g r a p .

i t t co l r
colo r s ï o r m a iıy y e a r s
it w a s k】 ı Oíw tb a t fiv e c o lo r s w e r e s u ßc e n o o
lo r s h a d e v e r
an y ıa p , b u t n o n ıa p t a
h t ıe q u ir e d ıo o r e t h ņ lů w c o
h d d i w a s s o lve d b y a g ó u p ¢f
s , th iş p r o b e )a i
b u n d A fte r s e v e r ı u n r e y e a r
T h \ S b o tb a l in fa r t fo a r
a
it b t h h lp o f a c o m p u te r
m a the m M ic ia n s w e e h
id e r Jao l à d y G r a p h s t a i e
ar
I t h i t io n w e c o Ða
d b ıd e tg çw ip in g a H
co o rs a r e suß c
l fic e n
i t n s s e
b W a r e iÐte r e s te
piq d u c e d h o m m a l s b u t a ll g r a p
s

Ê. g i \ P h c a n b e u s i n g
.

the d if e r e n t w a ys

Scanned by CamScanner
F iw e 7 12 A d it s p la n
m a p m a r gra p h re p r e s e n ta t io
.

:Tn- ı
e aıf n o des .
F ig u r e 13 Bho w s th e s ta t e 8p a ce tr e e w h e
n . .

Pu n c tio n m c o lo r in g i8 b e g u n b ó r s t
y a ssig n in g t h e r a h t
g p o its a
ce n cy m a tr ix ,
Be 历\ Uï e a r nay Æ I to
【 z e ïÐ a n d t h e n in v o k i
qi»
, n g t h e s ta te
h eM
N o t ic e t h e s im ila r it b e t
y w e e n t h is lg o r ith m
a a ııd t h e g e n e r a ıfo r
rec w s iv e b a c k t r a c k in n o fe
g sche m a o f A ı g o r it h n ı 7 1 F h n c t io n N e x tv a ı
. .
ue (
b e e n d e fin e d T he h ı lo o p
m a o f m co ı
o r in g re p e a te d ly p id [s a n e ı

t h a t i8 th e tr e e t h a t i
8 g n e ra te d b y coı
m o r in g , E a cl i p a th to į
w ith e z a c tl th e e c l
y o o rB In th is t r ie e a ft
e r c h o o s ilı 39
.

th e p o s s ib le c h o ic ,
g 1 2 ä
es f o r o 3 a re 2 a d
0 3 - 2
n 3 A ft e r c h o o s in
, P o s 8 ib ı g o 1
.

e v a lu e 8 flo r £
4 a r e 1 a ııd 3 A n d
A n u pp er bo u n d 8o o n .

o n th e c o m
.

n o tic in
p u tin g th n e o f m c o ı o r in g c
g th a t th e n u m b e r o f in t
e rn a ln o d & i
n th e s ta te s p a i

も歹 艺袞オ俄
艺乙ım
'
n i
飞 2 )/i傷

n 一 n (m n 十\
隻 硝

Scanned by CamScanner
ŔO M 6 0 し舀ja b l@ ła ĦĐ

6 8 16 3

::
b

ıo lo X ĵx ea ß ä JıiJó m a e Đ 8 T
. n ıd łix o g lA

T į
Scanned by CamScanner
l
2
3
4
5
6
7
8 罗

9 re p e a t
10
11 =lj] (z [k ]+ 1 ) m o d (m + 1 )i / / N e x t h ig h e s t o o ļ o r
=

if (a [k ] O ) t h e n r e t u r in i / / A lıc o lo r e h a v e b e e n
=

l
4 fo r j = l to n d o
14 // C h e c k if t h is ã o lo r i8
15
1弓
1 ワ冒 馅 a n d \ 囲 d if a 4 i
18 // v e r t ic e s h a v ìe t h e sa n ıe c o lö ŕ

19 t lıe n b re a k i
2心
4 俚
n
If (i = f ł+ 1) t h e n r e t i //
N ew co lo r fo 1ı
n d
22 } i l (fu ae )i // O t h e r w ia e tr y to ñ n d a iıo th e r c o lo r

* 3
n 1

Scanned by CamScanner
Ţ
"
_

r ı4 A Ļ
. .9 ıll p o s s ib le 3 c o to r in M
W « z ,M

of G a r e v is ite d iıı th e o r d e r 111 » 112 » t]n + 1 Ŋ th e n th e e d g e s (u i 1ìi+ 1 l a r e in


t ?
E, 1 ś i ś n , a n d t h e t)i a r e d is tin c t e x c e p t fo r 111 m d t} *i+ ı t
w h iċh a »e e q u a l
l 2 8 7
T h e g r a p h G 1 o f F ig u r e 7 15 c o n ta in s th e H a ir ıilto n ia n c y c e Į , , ,
c le
5, 4 , 3 . 1 T h e g r a p h 0 2 o f F ig u r e 7 15 c o n ta in s n q Hamļ iltona W
T he r e i8 n k n o w n e a s y w a y to d e te r m in e w h ę th e r a g v e n grapcotı tairis e
i #

l it h t h t fin d s a ll
H a m ilto n ia n c y c le W e n o w lo o k a t a b a c k tr a c k in g a g q r
】n a

the H a m ilto n ia n c jrc le s in a g r a p h T h e grapīaay b e d ir e c të d x ) lidirected


O n ly d is tin c t c y c le s a r ë o u tp ū t
is d e fin e d 8 Q ţ łA t Øi r e p
T h e b a c k tr a c k in g s o lu tio n v e c to r (o 1 , : , o 1ı)
e d ç yple N e z a ll T gę n e e d Jd a is
re8e n ts th e i h
t v is ite d v e r te x o f ę F p t b p o £E

s e t veŕ tı çę fe r flį ı , \/ , Æk i
;

dete r m in e h o w to c o n ı u tĠ t h e v e r tic e s T o
ha v e a lr e a d b
p
1 tï ie ń o 1 c a
i ï ıb e a p y ò f \ m : ,

If k
y ee n ch o se n ,


dį stţ & o Jņ ° 里嘛
the n th a t î ş -
z t ca n - r te x . .

"
ve rt
d ţ o b ļQ tb * jņţ
d it c o n n e c te
ex a n
m u st bę

Scanned by CamScanner

You might also like