Predavanje 12 - Odjel za matematiku
Predavanje 12 - Odjel za matematiku
Predavanje 12 - Odjel za matematiku
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Grafovi<br />
Dr.sc.Snježana Majstorović<br />
<strong>Odjel</strong> <strong>za</strong> <strong>matematiku</strong>, Sveučilište u Osijeku, Hrvatska<br />
Zimski semestar ak.god. 2013/2014.<br />
1 of 17
26 Usmjereni grafovi ili digrafovi<br />
Sjetimo se definicije usmjerenog grafa:<br />
Definicija 26.1<br />
Usmjereni graf ili digraf D je uredena trojka (V(D),A(D),ψ D) koja se sastoji<br />
od nepraznog skupa V(D) vrhova, skupa A(D) lukova (ili usmjerenih bridova)<br />
i funkcije incidencije ψ D koja svakom luku a pridružuje uredeni par (ne nužno<br />
različitih) vrhova u,v koje a spaja. Vrh u je početni, a v krajnji vrh od a.<br />
• Svakom digrafu D možemo pridružiti pripadni graf s istim skupom vrhova,<br />
pri čemu svakom luku iz D pridružimo brid s istim krajevima. Obratno,<br />
svakom grafu G možemo pridružiti digraf tako da specificiramo početak i<br />
kraj svakog brida.<br />
Kažemo još da je takav usmjereni graf orijentacija na G.<br />
2 of 17
26 Usmjereni grafovi ili digrafovi<br />
• Većina pojmova koji vrijede <strong>za</strong> grafove, vrijede i <strong>za</strong> digrafove, ali pritom<br />
moramo paziti na pojmove ve<strong>za</strong>ne <strong>za</strong> orijentaciju jer se oni odnose samo na<br />
digrafove.<br />
Npr. poddigraf digrafa se definira slično kao i podgraf grafa; usmjerena<br />
šetnja, sta<strong>za</strong>, put, ciklus se definiraju slično kao i <strong>za</strong> grafove, a zovemo ih<br />
redom dišetnja, dista<strong>za</strong>, itd.<br />
Pri tome moramo ’šetati’ grafom na način kao što bismo vozili<br />
jednosmjernim ulicama:<br />
e<br />
a<br />
d<br />
f<br />
c<br />
h<br />
3 of 17<br />
b<br />
g<br />
abcdea - usmjereni ciklus<br />
hdefgh - nije usmjereni ciklus<br />
- ne postoji usmjereni (d,h)-put
26 Usmjereni grafovi ili digrafovi<br />
• Ako postoji usmjereni (u,v)-put u digrafu D, kažemo da se vrh v može<br />
doseći u D iz vrha u.<br />
• Dva vrha su dipove<strong>za</strong>na u D ako se svaki može doseći iz onog drugog.<br />
• Digraf D je dipove<strong>za</strong>n ako su mu svaka dva medusobno različita vrha<br />
dipove<strong>za</strong>na.<br />
• Za vrh v digrafa D definiramo ulazni stupanj d − D (v) i izlazni stupanj d+ D (v)<br />
kao broj lukova u D s krajem, odnosno početkom v.<br />
Slično definiramo minimalan ulazni stupanj δ − (D) digrafa D, minimalan<br />
izlazni stupanj δ + (D), itd.<br />
✄ <br />
✂NAPOMENA:<br />
✁<br />
Primijetimo da digraf D ne mora biti dipove<strong>za</strong>n iako je njegov pripadni graf<br />
pove<strong>za</strong>n.<br />
4 of 17
26 Usmjereni grafovi ili digrafovi<br />
• Za digraf D kažemo da je striktan ako nema petlji i nikoja dva luka s istim<br />
krajevima nemaju istu orijentaciju.<br />
• Matrica susjedstva od D je n×n matrica, n = |V(D)|, A = [a ij], pri čemu<br />
je a ij broj lukova u D s početkom v i i krajem v j.<br />
• Jasno je da vrijedi<br />
∑<br />
d − (v) = ∑<br />
d + (v) = |E(D)|.<br />
v∈V (D)<br />
v∈V (D)<br />
⋄ Ne postoji izravna ve<strong>za</strong> izmedu duljine (veće od jedan) puta i duljine<br />
usmjerenog puta.<br />
5 of 17
26 Usmjereni grafovi ili digrafovi<br />
Postoji ’lijepa’ ve<strong>za</strong> izmadu duljina usmjerenih puteva u digrafu i kromatskog<br />
broja digrafa.<br />
(Kromatski broj digrafa D je kromatski broj pripadnog grafa.)<br />
Teorem 26.2<br />
Digraf D sadrži usmjereni put duljine χ(D)−1. Drugim riječima, ako D nema<br />
usmjerenog puta duljine k, tada je χ(D) ≤ k.<br />
Dokaz: Najprije ćemo pretpostaviti da digraf D nema usmjerenih ciklusa. Neka<br />
je l(v) maksimalna duljina usmjerenog puta u D s početkom u v ∈ V(D). Tada<br />
možemo pravilno obojati vrhove pripadnog grafa G tako da vrhu v pridružimo<br />
boju i ako je l(v) = i, 0 ≤ i ≤ k −1.<br />
Kako poka<strong>za</strong>ti da je takvo bojanje doista pravilno k-bojanje od D?<br />
Stoga je (x,y)+P put duljine i+1 s početkom u x pa je l(x) ≥ i+1.<br />
Primijetimo da u tom bojanju svaki put prolazi kroz vrhove koji su različito<br />
obojani.<br />
6 of 17
26 Usmjereni grafovi ili digrafovi<br />
Postoji ’lijepa’ ve<strong>za</strong> izmadu duljina usmjerenih puteva u digrafu i kromatskog<br />
broja digrafa.<br />
(Kromatski broj digrafa D je kromatski broj pripadnog grafa.)<br />
Teorem 26.2<br />
Digraf D sadrži usmjereni put duljine χ(D)−1. Drugim riječima, ako D nema<br />
usmjerenog puta duljine k, tada je χ(D) ≤ k.<br />
Dokaz: Pretpostavimo sada da D sadrži usmjerene cikluse. Neka je<br />
A ′ = {e 1,...,e m} najmanji skup bridova čijim odstranjivanjem nestaju svi<br />
usmjereni ciklusi u D. Tada je digraf D ′ = D −A ′ acikličan i ima k-bojanje<br />
kao gore.<br />
Kako D ′ +e i više nije acikličan, on ima ciklus koji prolazi kroz e i,<br />
i ∈ {1,...,m}. Dakle, D ′ sadrži put koji spaja krajeve od e i.<br />
Prema gornjoj primjedbi, krajevi od e i su različito obojani pa je k-bojanje od<br />
D ′ jedno pravilno k-bojanje i od D. Slijedi χ(D) ≤ k.<br />
7 of 17
26 Usmjereni grafovi ili digrafovi<br />
Prethodni teorem daje najbolju moguću gornju granicu <strong>za</strong> duljinu usmjerenog<br />
puta, tj.<br />
Korolar 26.3<br />
Svaki graf G ima orijentaciju D, pri čemu najdulji usmjereni putevi imaju<br />
duljinu χ(G)−1.<br />
Dokaz: Neka je k = χ(G) i (V 1,...,V k ) k-bojanje od G. Tada orijentiramo brid<br />
uv ∈ E(G) tako da dobijemo luk (u,v) ako je u ∈ V i, v ∈ V j, i < j. Očito da u<br />
takvoj orijentaciji usmjereni put ne može sadržavati više od k vrhova jer nikoja<br />
dva vrha takvog puta nemaju istu boju.<br />
8 of 17
26 Usmjereni grafovi ili digrafovi<br />
Definicija 26.4<br />
Orijentacija D neusmjerenog grafa G je aciklična ako ne sadrži usmjerene<br />
cikluse.<br />
Teorem 26.5<br />
Neka je G graf s n vrhova. Broj a(G) acikličnih orijentacija od G jednak je<br />
a(G) = (−1) n P(G,−1),<br />
gdje je P(G,t) kromatski polinom od G.<br />
Dokaz: Indukcijom po broju m bridova od G. Znamo da <strong>za</strong> točkast graf G<br />
vrijedi P(G,t) = t n pa imamo a(G) = 1 = (−1) n (−1) n = (−1) n P(G,−1) pa<br />
tvrdnja vrijedi.<br />
Znamo da P(G,t) <strong>za</strong>dovoljava rekurziju P(G,t) = P(G−e,t)−P(G·e,t).<br />
Poka<strong>za</strong>ti ćemo da a(G) <strong>za</strong>dovoljava rekurziju<br />
a(G) = a(G−e)+a(G·e).<br />
9 of 17
26 Usmjereni grafovi ili digrafovi<br />
Teorem 26.5<br />
Neka je G graf s n vrhova. Broj a(G) acikličnih orijentacija od G jednak je<br />
a(G) = (−1) n P(G,−1),<br />
gdje je P(G,t) kromatski polinom od G.<br />
Dokaz: Svaka aciklična orijentacija na G daje jednu acikličnu orijentaciju na<br />
G−e. S druge strane, ako je D neka aciklična orijentacija na G−e, e = uv,<br />
tada ju možemo proširiti na acikličnu orijentaciju tako da stavimo e 1 = (u,v)<br />
ili e 2 = (v,u).<br />
Ako D nema usmjerenih (u,v)-puteva, onda možemo odabrati e 2, a ako D<br />
nema usmjerenih (v,u)-puteva, onda biramo e 1.<br />
Primijetimo da ne možemo istovremeno birati i e 1 i e 2 jer je D acikličan.Slijedi<br />
a(G) = a(G−e)+b, gdje je b broj acikličkih orijentacija D od G−e koje smo<br />
proširili s e 1 <strong>za</strong>jedno sa brojem takvih orijentacija proširenih s e 2.<br />
10 of 17
26 Usmjereni grafovi ili digrafovi<br />
Teorem 26.5<br />
Neka je G graf s n vrhova. Broj a(G) acikličnih orijentacija od G jednak je<br />
a(G) = (−1) n P(G,−1),<br />
gdje je P(G,t) kromatski polinom od G.<br />
Dokaz: No, broj acikličkih orijentacija D proširenih u oba smjera jednak je<br />
broju orijentacija koje ne sadrže niti (u,v)-usmjereni put niti (v,u)-usmjereni<br />
put. Slijedi b = a(G·e).<br />
Sada, po pretpostavci indukcije imamo<br />
a(G) = (−1) n P(G−e,−1)+(−1) n−1 P(G·e,−1)<br />
= (−1) n (P(G−e,−1)−P(G·e,−1)) = (−1) n P(G,−1).<br />
11 of 17
26 Usmjereni grafovi ili digrafovi<br />
Definicija 26.6<br />
Turnir (eng. tournament) je orijentirani potpun graf.<br />
Primjer 26.7<br />
Postoje 4 neizomorfna turnira sa 4 vrha.<br />
Slijede neka svojstva turnira:<br />
Teorem 26.8<br />
Svaki turnir dopušta usmjereni Hamiltonov put (usmjereni put koji sadrži sve<br />
vrhove).<br />
Dokaz: Znamo da je kromatski broj potpunog grafa K n jednak n pa prema<br />
Teoremu 26.2 turnir s n vrhova sadrži usmjereni put duljine n−1. Takav put<br />
je usmjereni Hamiltonov put.<br />
<strong>12</strong> of 17
26 Usmjereni grafovi ili digrafovi<br />
Teorem 26.9 (Landau, 1953)<br />
Neka je v vrh turnira T maksimalnog izlaznog stupnja. Tada <strong>za</strong> svaki vrh<br />
u ∈ V(T) postoji usmjereni najkraći (v,u)-put duljine najviše dva.<br />
Dokaz: Neka je T turnir s n vrhova i neka je v vrh sa maksimalnim izlaznim<br />
stupnjem k. Pretpostavimo da postoji vrh x ∈ V(T) takav da je udaljenost od<br />
v do x najmanje 3. Slijedi da (x,v) ∈ A(T) i (x,u) ∈ A(T) <strong>za</strong> sve vrhove u <strong>za</strong><br />
koje je (v,u) ∈ A(T).<br />
No, skup B = {y : vy ∈ A(T)} je kardinalnosti k, pa je |B ∪{v}| = k +1.<br />
Slijedi da je vrh x izlaznog stupnja k +1 i dobili smo kontradikciju.<br />
13 of 17
26 Usmjereni grafovi ili digrafovi<br />
Teorem 26.10<br />
Turnir je dipove<strong>za</strong>n ako i samo ako sadrži usmjereni Hamiltonov ciklus.<br />
Dokaz: ⇐ Jasno je da ako turnir sadrži usmjereni Hamiltonov ciklus, onda je<br />
dipove<strong>za</strong>n.<br />
⇒ Neka je D dipove<strong>za</strong>n turnir, a C = (v 1,...,v k ) maksimalni diciklus u D<br />
(takav postoji jer aciklični turnir nije dipove<strong>za</strong>n).<br />
Pretpostavimo da C nije Hamiltonov te neka je u vrh koji nije u C.<br />
Neka je npr. (v 1,u) ∈ A(D). Ako je (u,v 2) ∈ A(D), onda je (v 1,u,v 2,...,v k )<br />
duži diciklus. Stoga (v 2,u) ∈ A(D).<br />
Slično je i (v i,u) ∈ A(D) ∀i = 1,2,...,k.<br />
Neka je U = {u ∈ V(D) : (v 1,u) ∈ A(D)}. Tada je (v i,u) ∈ A(D) ∀u ∈ U kao<br />
gore. Neka je (u,w) ∈ A(D) luk <strong>za</strong> koji je u ∈ U, w /∈ U (takav postoji jer ima<br />
lukova u A(D−U)). Slijedi w /∈ C pa stoga w /∈ U povlači (w,v 1) ∈ A(D). No,<br />
tada je (u,w,v 1,...,v k ) diciklus duži od C.<br />
14 of 17
27 Digrafovi: primjena na jednosmjerni promet<br />
ulicama<br />
Promotrimo slijedeće grafove:<br />
G<br />
Kako god orijentirali G, ne možemo dobiti dipove<strong>za</strong>n digraf. Problem je što G<br />
sadrži most.<br />
Graf H možemo orijentirati tako da dobijemo dipove<strong>za</strong>n digraf.<br />
H<br />
15 of 17
27 Digrafovi: primjena na jednosmjerni promet<br />
ulicama<br />
Teorem 27.1<br />
Graf G dopušta dipove<strong>za</strong>nu orijentaciju ako i samo ako je G 2-bridno pove<strong>za</strong>n.<br />
Dokaz: ⇒ Neka je D dipove<strong>za</strong>n graf dobiven nekom orijentacijom od G. Neka<br />
je (u,v) ∈ A(D). Tada postoji usmjereni (v,u)-put u D te je (u,v) sadržan u<br />
ciklusu od G (čak i od D) pa tvrdnja slijedi iz činjenice da brid nije rezni ako i<br />
samo ako je sadržan u ciklusu.<br />
⇐ Neka je G 2-bridno pove<strong>za</strong>n. Tada G sadrži ciklus G 1. Definiramo<br />
induktivno niz G 1,G 2,... pove<strong>za</strong>nih podgrafova od G ovako: Ako G i nije<br />
ra<strong>za</strong>pinjujući podgraf od G, neka je v i ∈ V(G−G i). Tada, prema bridnom<br />
analogonu Mengerovog teorema, postoje 2 bridno disjunktna puta P i i Q i od v i<br />
do G i.<br />
Definirajmo G i+1 = G i ∪P i ∪Q i. Budući da je |V(G i+1)| > |V(G i)|, taj niz<br />
mora <strong>za</strong>vršiti sa ra<strong>za</strong>pinjujućim podgrafom G n od G.<br />
16 of 17
27 Digrafovi: primjena na jednosmjerni promet<br />
ulicama<br />
Teorem 27.1<br />
Graf G dopušta dipove<strong>za</strong>nu orijentaciju ako i samo ako je G 2-bridno pove<strong>za</strong>n.<br />
Dokaz: ⇐ Raditi ćemo orijentaciju tako da prvo orijentiramo G 1 kao usmjereni<br />
ciklus, put P i orijentiramo kao put s početkom v i, a put Q i kao usmjereni put<br />
s krajem v i. Očito je tada svaki G i, pa onda i G n, orijentiran tako da postaje<br />
dipove<strong>za</strong>n. Kako je G n ra<strong>za</strong>pinjujući podgraf od G, slijedi da i G ima<br />
dipove<strong>za</strong>nu orijentaciju.<br />
17 of 17