CW – 05 TEORIE ROZHODOVACÍCH PROCESŮ

Prezentace na téma: "CW – 05 TEORIE ROZHODOVACÍCH PROCESŮ"— Transkript prezentace:

1 CW – 05 TEORIE ROZHODOVACÍCH PROCESŮ
Ústav technologie, mechanizace a řízení staveb Fakulta stavební VUT v Brně CW – 05 TEORIE ROZHODOVACÍCH PROCESŮ 14. PŘEDNÁŠKA © Ing. Václav Rada, CSc. Březen 2009

2 další ….. METODY ŘEŠENÍ jsou z oblasti TEORIE GRAFŮ ☺
CW05 POKRAČOVÁNÍ další ….. METODY ŘEŠENÍ jsou z oblasti TEORIE GRAFŮ ☺ Březen 2009

3 CW05 Teorie grafů Základy teorie grafů se datují do počátku století a místně jsou kladeny do pruského pruského města Königsberg. Teorie grafů patří mezi relativně mladé mate-matické disciplíny. Jedná se o obor matematiky, pomocí něhož lze formulovat a řešit mnoho problémů z růz-ných oblastí, nejčastěji celočíselné a kombi-natorické povahy Březen 2009

4 CW05 Teorie grafů Mezi klasické problémy, které jsou řešeny pomocí aparátu teorie grafů, patří například: * úloha nalezení nejkratší cesty v grafu (odpovídá hledání trasy na mapě) * úloha nalezení minimální kostry grafu (řeší problém neuzavřených spojení) * úloha nalezení maximálního toku (hledání např. kapacity sítě a její úzký profil) * úloha mazaného obchodního cestujícího * úloha nalezení kritické cesty. Březen 2009

5 CW05 Teorie grafů Základní pojmy Graf je určitý útvar (systém), který je možno znázornit obrázkem v rovině pomocí bodů (uzly grafu) a spojnic mezi body (hrany grafu). konečný graf - počet uzlů je konečný nekonečný graf Březen 2009

6 CW05 Teorie grafů Zabýváme se pouze konečnými grafy, aniž bychom to vždy výslovně uváděli. prostý (jednoduchý) graf - graf je orientovaný Březen 2009

7 CW05 Teorie grafů Neorientovaný graf je neuspořádaná trojice ve vztahu: G = ( U, V, γ ) tvořená konečnou množinou V, jejíž prvky v nazýváme uzly, konečnou množinou E, jejíž prvky e nazýváme neorientovanými hra-nami a zobrazením γ (vztah incidence), které přiřazuje každé hraně e jedno nebo dvou-prvkovou množinu uzlů. Březen 2009

8 CW05 Teorie grafů Je-li e Є E, ζ (e) = (u, v), používá se pojmeno-vání stavu, že u je počáteční a v koncový vrchol hrany e. Březen 2009

9 CW05 Teorie grafů Platí d(u, v) = 0, právě když u = v. Dále d(u, v) = 1, právě když uzly u, v jsou spojeny hranou. Pro libovolné uzly u, v platí d(v, u) = d(u, v). Největší vzdálenost dvou uzlu v konečném grafu. Březen 2009

10 CW05 Teorie grafů Běžný - hranově ohodnocený graf - hranám grafu je přirazena určitá hodnota = ohod-nocení hran (v tomto případě představuje vzdá-lenosti mezi kři-žovatkami silnic (uzly), např. v ki-lometrech. Březen 2009

11 CW05 Teorie grafů Uzlově ohodnocený graf - charakteristiky jsou připisovány uzlům = ohodnocení uzlů (příklad postupu montáže - uzly jsou montážní operace s jejím nutným časem a hrany grafu znázorňují způsob navazování jednotlivých operací. Březen 2009

12 CW05 Teorie grafů - formálně: Je-li G graf, f zobrazení množiny jeho hran do množiny reálných čísel, pak uspořádaná dvo-jice (G, f) je hranově ohodnocený graf. Uzlově ohodnocený graf jako uspořádaná dvojice (G, f), kde G je graf a f zobrazení mno-žiny jeho uzlů do množiny reálných čísel. Zobecněním grafu jsou hypergrafy (společ-nosti) představující systém neprázdných pod-množin množiny uzlů (místo hran spojující dva uzly máme nějakou podmnožinu - tým). Březen 2009

13 CW05 Teorie grafů Zobecněním grafu jsou hypergrafy (společ-nosti), které představují systém neprázdných podmnožin množiny uzlu (místo hran spojující dva uzly máme nějakou podmnožinu - tým) … … například množina uzlů {a, b, c, d, e} a množina týmů {{a, b, c}, {a, d, e}, {c, d}, {e}}. Graf - diagram hypergrafu Březen 2009

14 CW05 Teorie grafů Zobecnění zadání: graf G = (U,H, γ ), U = {w, x, y, z}, H = {a, b, c, d, e, f, g} … tabulkou – grafem i a b c d e f g γ(i) {w,x} {w,y} {w,z} {x,y} {x,z} {y,z} {z,z} zadání grafickou formou zadání grafu tabulkou Březen 2009

15 CW05 Teorie grafů Cesta v grafu je posloupnost orientovaných hran, při které vždy následující hrany začínají v uzlu, v němž končí předcházející hrana. Cyklus (kružnice u neorientovaného grafu) je taková cesta, která začíná a končí v témže uzlu. Březen 2009

16 CW05 Teorie grafů Jestliže G = (U,H, γ ), G´ = (U´, H´, γ´) jsou neorientované grafy … (U´,H´, γ´ ) je podgraf grafu G, který nazýváme jeho komponentou. Graf se nazývá souvislý, má-li právě jednu komponentu; jinak se nazývá nesouvislý. Komponenty grafu jsou jeho maximální sou-vislé podgrafy. Březen 2009

17 nesouvislý graf se třemi komponentami
CW05 Teorie grafů nesouvislý graf se třemi komponentami Orientovaný graf je Silně souvislý, exis-tuje-li z každého jeho uzlu dráha do kaž-dého jiného jeho uzlu. Silně souvislý graf je ovšem vždy souvislý. Obráceně to neplatí ! Březen 2009

18 CW05 Teorie grafů Například při určování jednosměrnosti ulic je třeba dbát na to, aby orientovaný graf sítě ulic byl Silně souvislý. Bylo by jistě nemilé, kdyby se auto mohlo dostat z jednoho místa do druhého, ale už ne zpět. Březen 2009

19 Silně souvislý graf s pěti komponentami
CW05 Teorie grafů Silně souvislý graf s pěti komponentami Souvislý, ale ne Silně souvislý graf Březen 2009

20 CW05 Teorie grafů Jestliže v souvislém grafu G existuje uzel, je-hož odstraněním vznikne nesouvislý graf, tomuto uzlu říkáme artikulace grafu G. Jestliže v souvislém grafu G existuje hrana, jejímž odstraněním vznikne nesouvislý graf, této hraně říkáme most grafu G. Most rozděluje graf na dvě části, přičemž z jedné části nelze přejít na druhou, aniž by cesta nevedla pres tento most. Obdobně je graf rozdělen i artikulací. Březen 2009

21 CW05 Teorie grafů Existuje-li cesta z uzlu u do uzlu v v neorien-tovaném grafu G, pak vzdálenost uzlů u, v v G je délka nejkratší cesty z u do v, kterou značíme d(u, v). Délka cesty je počet jejích hran. Jestliže žádná cesta z u do v v G neexistuje, klademe d(u, v) = . Březen 2009

22 CW05 Teorie grafů Pro každý uzel u souvislého neorientované-ho grafu G označme e(u) největší ze vzdále-ností uzlu u od ostatních uzlu grafu G. Uzel u, pro nějž je e(u) nejmenší, se nazývá centrum grafu G. Březen 2009

23 tři artikulace a jeden most
CW05 Teorie grafů tři artikulace a jeden most průměr a centrum grafu V grafu platí: e(u1) = e(u7) = 4, e(u2) = e(u3) = e(u5) = e(u6) = 3, e(u4) = 2, takže centrum tohoto grafu je uzel u4. Březen 2009

24 CW05 Teorie grafů centrum grafu Březen 2009

25 CW05 Teorie grafů Strom - má n uzlů, má přesně n−1 hran. Mezi každými dvěma různými uzly existuje jediná cesta. Březen 2009

26 CW05 Teorie grafů Příklad: Ve třech domech bydlí tri sousedé. Poblíž jejich domu jsou tri studny. Každý chce mít od svého domu cesty ke všem studním. Nikdo však nechce, aby se některá jeho cesta křižovala se sousedovou. Je to možné zařídit? Březen 2009

27 CW05 Teorie grafů Jestliže lze graf G zobrazit v rovině tak, že jeho hrany nemají společný vnitřní bod, pak se G nazývá rovinný (planární) graf. Budeme-li zkoušet náš graf tří domu a tří studní zobrazit popsaným způsobem, nepodaří se nám to. Tento graf totiž nepatří mezi rovinné grafy. Ne každý graf je tedy rovinný a i rovinný graf lze nakreslit nerovinným způsobem. Březen 2009

28 CW05 Teorie grafů Na dalším obrázku je nakreslen jeden a týž graf třemi různými způsoby. Jedná se tedy o příklad navzájem izomorfních grafu. Vzhledem k třetímu způsobu zakreslení však jde o rovinný graf. Březen 2009

29 CW05 Teorie grafů Řetěz (řetězec) je v orientovaném grafu pos-loupnost na sebe navazujících hran bez ohle-du na orientaci. Souvislý graf je graf, u kterého mezi všemi dvojicemi uzlů existuje alespoň jedna cesta. Nesouvislý graf je graf, u kterého neexistuje alespoň jedna cesta mezi všemi dvojicemi uzlů. Březen 2009

30 CW05 Teorie grafů Strom je takový graf, který neobsahuje žádný cyklus. Podgraf původního grafu je graf, který vznikne tím, že vynecháme z grafu některé uzly a příslušné hrany těchto uzlů. Acyklický graf je graf, který neobsahuje žádný cyklus. Březen 2009

31 CW05 Teorie grafů Ohodnocený graf (orientovaný, neorien-tovaný) je graf, ve kterém reálná funkce definovaná na množině hran přiřazuje každé hraně nějakou hodnotu (například vzdálenost, doba, energie…). Síť je graf, který je konečný, souvislý, orien-tovaný, acyklický a ohodnocený, v němž existuje jeden konečný a jeden počáteční uzel. Březen 2009

32 CW05 Teorie grafů Konečný graf má konečný počet uzlů a hran. Řezem sítě se nazývá množina všech hran, které spojují uzly množiny U1 s uzly množiny U2, kdy U1 je množina uzlů, která obsahuje počáteční uzel a všechny uzly dosažitelné z počátečního uzlu po nenasycené cestě. Mno-žina uzlů U2 je taková množina, která obsa-huje koncový uzel a všechny zbývající uzly. Březen 2009

33 CW05 Teorie grafů Kapacita řezu je číslo, které je tvořeno souč-tem kapacit (ohodnocení) všech hran řezu. Minimální řez je řez, který má nejmenší kapacitu. Multigraf je graf, v němž mezi některou dvo-jicí uzlů existuje v jednom směru větší počet hran než jedna. Březen 2009

34 Smyčka Hrana, která inciduje s jedním uzlem CW05 Teorie grafů
Březen 2009

35 Rovnoběžné hrany Inicidují se stejnými uzly. CW05 Teorie grafů
Březen 2009

36 CW05 Teorie grafů Orientované hrany Iniciují se stejnými uzly. Je naznačen směr orientace Březen 2009

37 CW05 Teorie grafů Neoriento-vané hrany Iniciují se stejnými uzly. Není naznačen směr orientace Březen 2009

38 CW05 Teorie grafů Násobné hrany Jsou rovnoběžné hrany, které jsou buď neoriento-vané, nebo všechny sou-hlasně orientované. Březen 2009

39 CW05 Teorie grafů Nenásobné hrany Jsou rovnoběžné hrany, které jsou buď neoriento-vané, nebo všechny orientované souhlasně. Březen 2009

40 CW05 Teorie grafů Násobné Březen 2009

41 další viz text až po str. CW05 Distribuční a dopravní modely
Březen 2009

42 …..… Informace pokračují …… cw05 – 14. CW05 POKRAČOVÁNÍ PŘÍŠTĚ …….
březen 2009

43 CW05 ……… Březen 2009