Část I Základní pojmy teorie grafů [Graph theory] V matematice grafem obvykle rozumíme grafické znázornění funkční závislosti. Pro tento předmět je však podstatnější pohled jiný. V teorii grafů rozumíme grafem objekt popsaný množinou vrcholů [vertices] a množinou hran [edges]. Neorientovaný graf Definice (Neorientovaný graf). Graf (z pohledu teorie grafů) definujme jako dvojici G = (V, E), kde V = {u, u,..., u n } je konečná množina objektů, kterým říkáme vrcholy, někdy též uzly (dále budeme používat termín uzly) grafu a E = {u i, u j, i, j =,,..., n} je množina některých dvojic uzlů, kterým říkáme hrany grafu. Obrázek : Příklad neorientovaného uzlového grafu matice sousednosti () Tak jak jsme zvyklí v matematice, je graf obvykle znázorněním určité situace a proto i my budeme na grafy nahlížet jako na realizace rozličných problémů. Graf pak může znázorňovat počítačovou síť, postup stavby rodinného domku, sociologické vztahy ve skupině apod. Uzly grafu u i, pro i =,,..., n, budeme zobrazovat jako očíslované je kroužky viz obrázek. Hrany grafu u i, u j, pro i, j =,,..., n a i j, budeme zobrazovat přímými nebo různě lomenými čarami. Obyčejný graf, tak jsem jej zavedli v definici, je grafem konečným, má tedy konečný počet uzlů a hran. Někdy bývá uvažováno vícero hran mezi dvěma uzly, ale touto situací se zabývat nebudeme viz multigraf. Počet uzlů V = n omezuje i počet možných hran E, které lze v grafu udělat. Maximální počet hran v grafu bez vícenásobných hran mezi uzly a bez smyček (hrana, která vychází a končí v tom samém uzlu) je ( n ). Počet všech různých grafů vytvořených na množině n uzlů je tedy: (n ). Pro efektivní popis grafů samotných, jakožto i popisu reálných situaci zadefinujme několik pojmů, které nám umožní srozumitelně a přesně hovořit o různých typech grafů o jejich vlastnostech a charakteristikách.
NEORIENTOVANÝ GRAF Obrázek : Příklad neorientovaného uzlového grafu s vícero hranami. Definice/vysvětlení základních pojmů Sousedními uzly nazveme nazveme takovou dvojici uzlů, která je spojena hranou. Hrana u i, u j je pak incidentní s uzly u i a u j, pro i, j =,,..., n a i j. Multigraf je graf, ve kterém mezi některou dvojicí uzlů existuje více hran (obrázek ). Stupeň uzlu deg(u i ) definujeme jako počet hran, které do uzlu vstupují/vztupují. Platí: n deg(u i ) = E, neboť každá hrana začíná/končí ve dvou uzlech. i= Okolím uzlu u i nazveme množinu všech uzlů, do kterých vede z uzlu u i hrana. Diskrétním grafem nazveme takový graf, který neobsahuje ani jednu hranu. Naopak úplným (komplexním) grafem bude nazýván takový graf, který obsahuje všechny možné hrany. Obrázek zobrazuje čtyřuzlový diskrétní a kompletní graf. Obrázek : Čtyřuzlový diskrétní (vlevo matice sousednosti ()) a komplexní (vpravo matice sousednosti ()) graf D K Doplněk grafu G = (V, E) je graf (V, E ), který obsahuje právě ty hrany, které neobsahuje graf původní. Například grafy D a K z obrázku jsou si doplňkem. Uvědomme si, že mluvíme o neorientovaném grafu. U neorientovaného grafu nelze rohodnout Uvědomme si, že mluvíme o neorientovaném grafu, který není multigrafem!
. Definice/vysvětlení základních pojmů Podgraf grafu G = (V, E) je graf takový G, který vznikne z toho původního vypuštěním některých uzlů nebo některých hran. Úplným podgrafem nazýváme takový podgraf, který má s ohledem na vypuštěné uzly všechny hrany, které měl graf původní, tj. nemá jen ty hrany, které by vedly k vypuštěným uzlům. Sledem obvykle rozumíme posloupnost uzlů, kde pro uzel u i a uzel následující u i+ existuje hrana. Někteří autoři sledu říkají procházka. Sled končící ve stejném uzlu, ve kterém začal se nazývá cyklus, nebo také kružnice. Kružnice je tedy sled, ve kterém jsou všechny uzly pospojované jakoby navlečené na niť. Dvě různé kružnice na šesti uzlech zobrazuje obrázek. Obrázek : Kružnice na šesti uzlech (vlevo matice sousednosti () i vpravo matice sousednosti ()) C C Graf bez kružnice (cyklu) se nazývá acyklický. Pokud se ve sledu žádný z uzlů neopakuje víckrát mluvíme o cestě. Méně přísným požadavkem na graf než je předpoklad sledu je neexistence opakující se hrany. V tomto případě mluvíme o tahu. U tahu se tedy uzly opakovat mohou. Pro vyjádření obyčejného grafu například pro softwareovou implementaci se nejčastěji používá tzv. matice sousednosti obvykle značeno A G. Matice sousednosti (nebo také incidenční matice) je čtvercová matice, která má na pozici ij nulu pokud mezi i-tým a j-tým uzlem neexistuje hrana. Pokud mezi i-tým a j-tým uzlem hrana existuje je ij-tá pozice obsazena jedničkou. Matice sousednosti pro obyčejné grafy jsou přílohách a odkazované v popiscích obrázků jednotlivých grafů. Je zřejmé, že popis multigrafu by musel probíhat jinak. Vzhledem k tomu, že zatím byla řeč jen o neorientovaných grafech, musí být matice sousednosti symetrické podle hlavní diagonály.
NEORIENTOVANÝ GRAF Dalším možným vyjádřením důležitých vlastností grafů je matice dosažitelnosti (R G ) a matice vzdáleností (D G ). Jedná se opět o čtvercové matice. Matice dosažitelnosti má na pozici ij nulu pokud mezi i-tým a j-tým uzlem neexistuje procházka. Pokud mezi i-tým a j-tým uzlem procházka existuje je ij-tá pozice obsazena jedničkou. Matice vzdáleností má na pozici ij nulu pokud mezi i-tým a j-tým uzlem neexistuje procházka. Pokud mezi i-tým a j-tým uzlem procházka existuje je ij-tá pozice obsazena počtem hran, který obsahuje nejkratší cesta. Zkuste vytvořit tyto matice jako cvičení. Průměrem grafu je nejdelší vzdálenost kroků mezi libovolnými uzly. Průměr je nejvyšší hodnota v matici vzdáleností. Excentricitou vrcholu u i označíme nejdelší z nejkratších cest, tj. nejvyšší číslo v i-tém řádku matice vzdáleností. Uzel/uzly s nejnižší excentricitou se nazývají středem grafu. Excentricitu těchto uzlů navíc označujeme jako poloměr grafu. Hamiltonovskou cestou nazveme takovou cestu, která prochází skrz všechny uzly. Končíli cesta ve stejném uzlu jako začala mluvíme o Hamiltonovské kružnici. Hamiltonovský graf je tedy graf obsahující alespoň jednu hamiltonovskou kružnici. Graf, který lze nakreslit jedním tahem (žádná hrana se neopakuje), nazýváme eulerovským grafem. Obrázek : Eulerovský graf 7 8 Souvislý graf je takový graf, pro který platí, že pro všechny dvojice jeho uzlů existuje alespoň jedna cesta, která je spojuje. Kostrou grafu nazveme libovolný podgraf grafu původního, který obsahuje všechny uzly a který je stále souvislý. Tj. vypouštíme pouze některé hrany, ale tak, aby i po vypoštění zůstal graf souvislý. (Souvislými) komponentami se nazývají takové maximální úplné podgrafy, které jsou souvislé (tj. přidáním/znovuvrácením dalšího uzlu původního grafu by se podgraf stal nesouvislým). Matice vzdáleností je daleko zajímavější za předpokladu stranově ohodnoceného orientovaného grafu Matice dosažitelnosti obsahuje samé jedničky.
Graf, který lze překreslit tak, aby se jeho hrany nekřížily se nazývá rovinným grafem. Stromem je takový souvislý graf, který neobsahuje cyklus. Příkladem může být logický strom zobrazující jak může proběhnout tenisové utkání, které se hraje na dva vyhrané sety. Každý set může vyhrát hráč A nebo hráč B. A aby to nebylo tak jednoduché uvažme, že hráč A či hráč B může odstoupit, tj. utkání skrečovat. První set tedy může vyhrát hráč A nebo hráč B a utkání pokračuje, nebo vzdá hráč A či B a utkání končí. Po druhém setu utkání skončí jen v případě, že vyhrál stejný hráč jako v setu prvním, nebo opět někdo skrečuje. To se to komplikuje, že? Pojďme možné výsledky uspořádat do logického stromu, kde A bude znamenat vítězství hráče A v setu, AS skreč hráče A u hráče B obdobně. Spojnice mezi jednotlivými stavy nazýváme větve a stavy, které jsou konečné, pak listy. Listy na obrázku, které jsou červené, zobrazují výsledek, který skončil vítězstvím hráče A, modré pak symbolizují vítězství hráče B. Počet listů () je počtem všech možných výsledků tenisového zápasu. V polovině vyhrává samozřejmě hráč A v polovině hráč B. Obrázek : Logický strom výsledků tenisového zápasu S A AS BS B A B AS BS BS AS A B A BS AS B A BS AS B Jak se situace změní pokud budeme uvažovat orientované hrany popisuje následující podkapitola. Orientovaný graf Definice (Orientovaný graf). Graf (z pohledu teorie grafů) definujme jako dvojici G = (V, E), kde V = {u, u,..., u n } je konečná množina objektů, kterým říkáme vrcholy, někdy též uzly grafu a E = {u i, u j, i, j =,,..., n} je množina některých uspořádaných dvojic uzlů, kterým říkáme orientované hrany grafu. Orientace hrany bývá v grafu zobrazena šipkou. Některé pojmy jsou shodné pro orientované i neorientované grafy. Některé pojmy naopak mají smysl jen pro jeden typ grafů. Následující definice se týkají výhradně orientovaných grafů. I u nich však nepředpokládme existenci cyklů a více souhlasně orientovaných hran.
ORIENTOVANÝ GRAF Obrázek 7: Příklad orientovaného uzlového grafu matice sousednosti (). Definice/vysvětlení základních pojmů Orientovaným sledem je obvykle rozuměna posloupnost uzlů kde pro uzel u i a uzel následující u i+ existuje orientovaná hrana. Pokud se v orientovaném sledu žádný z uzlů neopakuje víckrát mluvíme o orientované cestě. Podobně se definuje orientovaný tah, Hamiltonovská cesta a Hamiltonovská kružnice v orientovaném grafu. Síť je konečný souvislý, orientovaný, acyklický graf, v němž existuje jeden počáteční uzel (nevstupuje do něj žádná hrana) a jeden uzel koncový (žádná hrana z něj nevystupuje). Příkladem sítě je telefonní síť, rozvod plynu, kanalizace, atd. Příkladem může být na rozdíl od grafu na obrázku 7 graf na obrázku 8. Obrázek 8: Příklad sítě matice sousednosti (7) POČÁTEK KONEC Konkrétní použití grafů je součástí ostatních kapitol.
7 A Matice sousednosti A. Neorientované grafy. Matice sousednosti pro graf 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (). Matice sousednosti pro graf vlevo 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (). Matice sousednosti pro graf vpravo 0 0 0 0 (). Matice sousednosti pro graf vlevo 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 (). Matice sousednosti pro graf vpravo 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ()
8 A MATICE SOUSEDNOSTI A. Orientované grafy. Matice sousednosti pro graf 7. Matice sousednosti pro graf 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 () (7)