SlideShare una empresa de Scribd logo
1 de 6
Závěrečný úkol KPI
Matěj Klusáček, 324101


Téma jsem si vybral proto, že mnoho lidí nerozumělo tématu mé bakalářské práce a chtěl
jsem to zkusit odborně, ale zároveň pochopitelně vysvětlit. Narozdíl od skutečně
odborného matematického textu jsem se snažil vynechávat složité symbolické zápisy,
definice a důkazy, místy text mírně přesahuje do populárně-naučného stylu. Zastávám ale
názor, že alespoň ze začátku si to jako autor mohu dovolit. Proto mírně chytlavý začátek,
který má zaujmout. Název prošel postupným ubíráním odborných termínů tak, aby zaujal i
odborníky z jiných odvětví.


Anotace:
Text se zabývá otázkou, jaké grafy (tj. body spojené čarami) lze nakreslit tak, aby se
žádné dvě spojnice nekřížily. Takto nakreslené grafy mají několik výhod – především
některé algoritmy z oblasti dopravy, chemie či sociálních sítí s nimi pracují rychleji. V textu
jsou představeny matematické charakteristiky zmíněných grafů a také jedna z pokročilých
konstrukcí, jak křížení odstranit. Závěrem je nastíněn současný stav výzkumu v této
oblasti teorie grafů.


Klíčová slova: graf, rovinný graf, planární obal, nakreslení grafu
O (NE)KŘÍŽENÍ CEST
Starobylé město Královec se pyšnilo sedmi mosty. Ještě v osmnáctém století si místní
obyvatelé lámali hlavy, zda lze najít takovou procházku, která by vedla po každém mostě
právě jedenkrát. Tato stará hádanka dala vzniknout novému matematickému oboru – teorii
grafů.




                                       Obr. 1. Mosty v Královci


Zmíněný obor se zabývá výpočty nad grafy – grafem je v tomto případě nějaká množina
bodů vzájemně propojených spojnicemi. Na obrázku lze vidět problém mostů v Královci a
jeho zjednodušený přepis do řeči teorie grafů. Jednotlivé kousky pevniny jsou body
(vrcholy), mosty pak tvoří spojnice (hrany) mezi nimi. Přesně takové struktury mají
v dnešní době nespočetné využití (především v navigačních systémech, sociálních sítích,
chemii a dopravě). Existují grafy jednoduché s nemnoha body a naopak sítě nesmírně
složité s velkým množstvím vrcholů a hran, které se často kříží.


V tomto textu se zaměříme právě na problém křížících se hran. Existují případy nakreslení
grafů, v nichž se hrany kříží, ačkoli to není nutné. Představme si čtyři body uspořádané do
čtverce. Každý bod je propojený s každým, tedy vzniká jakýsi čtverec s křížením
uprostřed. Nicméne pokud jednu z diagonálních hran nakreslíme tak, že povede z jednoho
do druhého bodu okolo, odstraníme křížení, přičemž struktura grafu zůstane zachována.
Pokud bychom si představili pět bodů, kde jsou všechny vzájemně spojené, už se nám
nakreslení bez křížení nepovede. Proč je to důležité? Grafy, které je možné nakreslit bez
křížení, se nazývají rovinné a jsou z pohledu matematiky velmi důležité – některé
algoritmy s nimi pracují rychleji než na grafech nerovinných.


Nejdříve se podíváme na podmínky, které musí být splněny, aby byl graf rovinný. V druhé
části práce pak prezentujeme jeden nápad, jak z některých nerovinných grafů udělat
rovinné s podobnými vlastnostmi.


Kdy je graf rovinný? Jak již bylo zmíněno výše, rozhodně to nesmí být graf na pěti
vrcholech, které jsou vzájemně úplně propojené (takovému grafu se říká K 5 ). Stejně tak
jakýkoliv graf, který v sobě K 5 obsahuje, nemůže být rovinný. Druhý z takových malých
grafů, který zabraňuje rovinnosti, je graf na šesti vrcholech, které jsou rozděleny na dvě
poloviny (tři a tři). Každý vrchol je spojen se všemi vrcholy z druhé poloviny a zároveň není
spojen s žádným vrcholem své poloviny. Takový graf je nazýván K 3,3 . A to je vše.
Matematicky lze dokázat, že rovinné jsou právě ty grafy, které v sobě neobsahují žádný ze
dvou zmíněných zakázaných grafů - K 5 a K 3,3 .


Důležitá je ještě správná definice pojmu „obsahovat“. Definujme ho takto: Graf G obsahuje
graf H právě tehdy když můžeme H dostat z g aplikováním libovolného počtu následujících
operací:
   – odebrání hrany či vrcholu
   – sloučení dvou sousedních (tedy spojených hranou) vrcholů do jednoho (tak, že
       původní hrany obou vrcholů nyní vychází z nového vrcholu)
Tím jsme charakterizovali třídu grafů, které rovinné jsou, i třídu těch, které nikoliv.




                            Obr.2. Nerovinné grafy K 5 a K 3,3


Zajímavý koncept nadále rozšiřující otázku rovinnosti grafů předložil v roce 1988 Seyia
Negami[3]. Jednalo se o takzvaný planární (neboli rovinný) obal – graf, který je
strukturálně velmi podobný nějakému nerovinnému grafu, nicméně neobsahuje žádné
křížení hran. Co ale znamená „strukturálně velmi podobný“? Nejdříve postupně očíslujme
libovolně vrcholy grafu G, kterému budeme konstruovat planární obal. Nyní použijme
matematickou definici: Graf H je planárním obalem grafu G, pokud je rovinný a zároveň lze
každému vrcholu z H přiřadit číslo takové, že sousedí (je spojen hranou) se stejně
očíslovanými vrcholy jako původní vrchol stejného čísla v G. Co to znamená? Intuitivně si
celou konstrukci lze představit tak, že pokud bychom se nalézali v libovolném vrcholu a
podívali se na své nejbližší sousedy, pak bychom nepoznali, zda jsme v G či v H. Nejlépe
to ilustruje obrázek níže.




                         Obr.3. Planární obal grafu K 5 a samotný K 5


Přirozená otázka zněla: Jak popsat třídu těch grafů, kterým lze sestrojit planární obal?
Motivací je opět fak, že na planárním obalu (tedy rovinném grafu) mohou některé algoritmy
fungovat lépe a rychleji než na původním narovinném grafu. Negami ve stejném roce
publikoval domněnku, která říká, že graf má planární obal pouze tehdy, pokud lze nakreslit
bez křížení hran na tzv. projektivní rovině. Projektivní rovina je typ povrchu, který nelze
nakreslit ve 3D zobrazení – jedná se o jakousi zkroucenou pneumatiku, která prochází
sama sebou. Tato teze nicméně stále není zcela dokázaná, pěkné shrnutí dosavadního
výzkumu a dostupných poznatků můžeme nalézt v odborném článku Petra Hliněného
z roku 2008[1].


V současné době je nejrozsáhlejší výzkum zaměřen na efektivní hledání zakázaných
nerovinných grafů ve velkých grafech (tedy efektivní zjišťování rovinnosti), stejně jako
pokračují studie planárních obalů a také ještě mírně rozšířenějšího konceptu (takzvaných
planárních emulátorů). Vše je ale jen nepatrných kouskem koláče zvaného Teorie Grafů,
který díky mostům v Královci upekl teprve před dvěma stoletími slavný matematik
Leonhard Euler, když si mosty schematicky překreslil a následně problém vyřešil. Jak už
asi tušíte, procházka po všech mostech možná není.
Obr. 4. Některé zajímavé grafy a jejich vlastnosti související s rovinností
Seznam použité literatury

[1] HLINĚNÝ, Petr. 20 Years of Negami’s Planar Cover Conjecture. Graphs and
Combinatorics. 2010, č. 26, s. 525-536.

[2] Mathematics of Michigan [online]. [cit. 2013-01-05].
Dostupné z: http://www.math.lsa.umich.edu/

[3] NEGAMI, Seyia. Graphs Which Have No Finite Planar Covering, Bulletin of the Institute
of Math, Academia Sinica 1988, č. 16, s. 378–384.

[4] PICKOVER, Clifford A. Matematická kniha: od Pythagora po 57. dimenzi : 250 milníků
v dějinách matematiky. 1. vyd. v českém jazyce. Praha: Argo, 2012, 542 s. Zip (Argo:
Dokořán). ISBN 978-80-257-0705-0.




Krátké hodnocení zdrojů:

[1]
–     kvalitní erudovaný autor (v oboru jeden z největších odborníků)
–     článek vyšel v odborném periodiku
–     článek používá odborné termíny (navíc je psán v angličtině)
–     článek obsahuje poměrně aktuální informace
–     informace jsou přesné a pořádně matematicky dokázané

[2]
–     kvalitní univerzita nabízející dobré online kurzy
–     erudovaní autoři kurzů
–     pěkně a názorně vysvětlené
–     přesné informace
–     aktuální informace

[3]
–     kvalitní erudovaný autor (v oboru jeden z největších odborníků)
–     informace jsou přesné a pořádně matematicky dokázané
–     článek vyšel v odborném periodiku
–     článek používá odborné termíny (navíc je psán v angličtině)
–     velmi pěkně strukturovaný článek (kapitoly, tvrzení, důkazy)

[4]
–     kvalitní autor
–     pěkně a názorně vysvětlené
–     dobře členěné, vzájemné odkazy
–     přesné informace
–     ne zcela dostačující hloubka je nahrazena odkazy na další související materiály

Más contenido relacionado

Último

SEO Restart 2024: Roman Teuschel - Mezinárodní SEO v kontextu expanze
SEO Restart 2024: Roman Teuschel - Mezinárodní SEO v kontextu expanzeSEO Restart 2024: Roman Teuschel - Mezinárodní SEO v kontextu expanze
SEO Restart 2024: Roman Teuschel - Mezinárodní SEO v kontextu expanzeTaste
 
SEO Restart 2024: Martin Žatkovič - Můžeme jakožto SEO konzultanti uspět v Go...
SEO Restart 2024: Martin Žatkovič - Můžeme jakožto SEO konzultanti uspět v Go...SEO Restart 2024: Martin Žatkovič - Můžeme jakožto SEO konzultanti uspět v Go...
SEO Restart 2024: Martin Žatkovič - Můžeme jakožto SEO konzultanti uspět v Go...Taste
 
SEO Restart 2024: Tomáš Zahálka - Tajné SEO tipy pro Shoptet
SEO Restart 2024: Tomáš Zahálka - Tajné SEO tipy pro ShoptetSEO Restart 2024: Tomáš Zahálka - Tajné SEO tipy pro Shoptet
SEO Restart 2024: Tomáš Zahálka - Tajné SEO tipy pro ShoptetTaste
 
SEO Restart 2024: Martin Michálek - Nová metrika rychlosti INP a praktické ti...
SEO Restart 2024: Martin Michálek - Nová metrika rychlosti INP a praktické ti...SEO Restart 2024: Martin Michálek - Nová metrika rychlosti INP a praktické ti...
SEO Restart 2024: Martin Michálek - Nová metrika rychlosti INP a praktické ti...Taste
 
SEO Restart 2024: Martin Kopta a Jakub Goldmann - Jak se dnes navrhují weby a...
SEO Restart 2024: Martin Kopta a Jakub Goldmann - Jak se dnes navrhují weby a...SEO Restart 2024: Martin Kopta a Jakub Goldmann - Jak se dnes navrhují weby a...
SEO Restart 2024: Martin Kopta a Jakub Goldmann - Jak se dnes navrhují weby a...Taste
 
SEO Restart 2024: Vojtěch Fiala - Linkbuilding vs. (digitální) PR: Od odkazů ...
SEO Restart 2024: Vojtěch Fiala - Linkbuilding vs. (digitální) PR: Od odkazů ...SEO Restart 2024: Vojtěch Fiala - Linkbuilding vs. (digitální) PR: Od odkazů ...
SEO Restart 2024: Vojtěch Fiala - Linkbuilding vs. (digitální) PR: Od odkazů ...Taste
 
SEO Restart 2024: Sarah Presch - Kognitivní předsudky - jak psychologické teo...
SEO Restart 2024: Sarah Presch - Kognitivní předsudky - jak psychologické teo...SEO Restart 2024: Sarah Presch - Kognitivní předsudky - jak psychologické teo...
SEO Restart 2024: Sarah Presch - Kognitivní předsudky - jak psychologické teo...Taste
 
SEO Restart 2024: Jan Tichý - Na počátku bylo...
SEO Restart 2024: Jan Tichý - Na počátku bylo...SEO Restart 2024: Jan Tichý - Na počátku bylo...
SEO Restart 2024: Jan Tichý - Na počátku bylo...Taste
 
SEO Restart 2024: Richard Klačko - Klíčovka s AI pohonem
SEO Restart 2024: Richard Klačko - Klíčovka s AI pohonemSEO Restart 2024: Richard Klačko - Klíčovka s AI pohonem
SEO Restart 2024: Richard Klačko - Klíčovka s AI pohonemTaste
 
SEO Restart 2024: Martina Zrzavá Libřická - SEO & DEV: Jak na vývojáře od poc...
SEO Restart 2024: Martina Zrzavá Libřická - SEO & DEV: Jak na vývojáře od poc...SEO Restart 2024: Martina Zrzavá Libřická - SEO & DEV: Jak na vývojáře od poc...
SEO Restart 2024: Martina Zrzavá Libřická - SEO & DEV: Jak na vývojáře od poc...Taste
 

Último (10)

SEO Restart 2024: Roman Teuschel - Mezinárodní SEO v kontextu expanze
SEO Restart 2024: Roman Teuschel - Mezinárodní SEO v kontextu expanzeSEO Restart 2024: Roman Teuschel - Mezinárodní SEO v kontextu expanze
SEO Restart 2024: Roman Teuschel - Mezinárodní SEO v kontextu expanze
 
SEO Restart 2024: Martin Žatkovič - Můžeme jakožto SEO konzultanti uspět v Go...
SEO Restart 2024: Martin Žatkovič - Můžeme jakožto SEO konzultanti uspět v Go...SEO Restart 2024: Martin Žatkovič - Můžeme jakožto SEO konzultanti uspět v Go...
SEO Restart 2024: Martin Žatkovič - Můžeme jakožto SEO konzultanti uspět v Go...
 
SEO Restart 2024: Tomáš Zahálka - Tajné SEO tipy pro Shoptet
SEO Restart 2024: Tomáš Zahálka - Tajné SEO tipy pro ShoptetSEO Restart 2024: Tomáš Zahálka - Tajné SEO tipy pro Shoptet
SEO Restart 2024: Tomáš Zahálka - Tajné SEO tipy pro Shoptet
 
SEO Restart 2024: Martin Michálek - Nová metrika rychlosti INP a praktické ti...
SEO Restart 2024: Martin Michálek - Nová metrika rychlosti INP a praktické ti...SEO Restart 2024: Martin Michálek - Nová metrika rychlosti INP a praktické ti...
SEO Restart 2024: Martin Michálek - Nová metrika rychlosti INP a praktické ti...
 
SEO Restart 2024: Martin Kopta a Jakub Goldmann - Jak se dnes navrhují weby a...
SEO Restart 2024: Martin Kopta a Jakub Goldmann - Jak se dnes navrhují weby a...SEO Restart 2024: Martin Kopta a Jakub Goldmann - Jak se dnes navrhují weby a...
SEO Restart 2024: Martin Kopta a Jakub Goldmann - Jak se dnes navrhují weby a...
 
SEO Restart 2024: Vojtěch Fiala - Linkbuilding vs. (digitální) PR: Od odkazů ...
SEO Restart 2024: Vojtěch Fiala - Linkbuilding vs. (digitální) PR: Od odkazů ...SEO Restart 2024: Vojtěch Fiala - Linkbuilding vs. (digitální) PR: Od odkazů ...
SEO Restart 2024: Vojtěch Fiala - Linkbuilding vs. (digitální) PR: Od odkazů ...
 
SEO Restart 2024: Sarah Presch - Kognitivní předsudky - jak psychologické teo...
SEO Restart 2024: Sarah Presch - Kognitivní předsudky - jak psychologické teo...SEO Restart 2024: Sarah Presch - Kognitivní předsudky - jak psychologické teo...
SEO Restart 2024: Sarah Presch - Kognitivní předsudky - jak psychologické teo...
 
SEO Restart 2024: Jan Tichý - Na počátku bylo...
SEO Restart 2024: Jan Tichý - Na počátku bylo...SEO Restart 2024: Jan Tichý - Na počátku bylo...
SEO Restart 2024: Jan Tichý - Na počátku bylo...
 
SEO Restart 2024: Richard Klačko - Klíčovka s AI pohonem
SEO Restart 2024: Richard Klačko - Klíčovka s AI pohonemSEO Restart 2024: Richard Klačko - Klíčovka s AI pohonem
SEO Restart 2024: Richard Klačko - Klíčovka s AI pohonem
 
SEO Restart 2024: Martina Zrzavá Libřická - SEO & DEV: Jak na vývojáře od poc...
SEO Restart 2024: Martina Zrzavá Libřická - SEO & DEV: Jak na vývojáře od poc...SEO Restart 2024: Martina Zrzavá Libřická - SEO & DEV: Jak na vývojáře od poc...
SEO Restart 2024: Martina Zrzavá Libřická - SEO & DEV: Jak na vývojáře od poc...
 

Destacado

AI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdfAI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdfmarketingartwork
 
PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024Neil Kimberley
 
Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)contently
 
How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024Albert Qian
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsKurio // The Social Media Age(ncy)
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Search Engine Journal
 
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summarySpeakerHub
 
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd Clark Boyd
 
Getting into the tech field. what next
Getting into the tech field. what next Getting into the tech field. what next
Getting into the tech field. what next Tessa Mero
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentGoogle's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentLily Ray
 
Time Management & Productivity - Best Practices
Time Management & Productivity -  Best PracticesTime Management & Productivity -  Best Practices
Time Management & Productivity - Best PracticesVit Horky
 
The six step guide to practical project management
The six step guide to practical project managementThe six step guide to practical project management
The six step guide to practical project managementMindGenius
 
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...RachelPearson36
 
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Applitools
 
12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at Work12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at WorkGetSmarter
 

Destacado (20)

AI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdfAI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
 
Skeleton Culture Code
Skeleton Culture CodeSkeleton Culture Code
Skeleton Culture Code
 
PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024
 
Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)
 
How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie Insights
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024
 
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary
 
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd
 
Getting into the tech field. what next
Getting into the tech field. what next Getting into the tech field. what next
Getting into the tech field. what next
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentGoogle's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search Intent
 
How to have difficult conversations
How to have difficult conversations How to have difficult conversations
How to have difficult conversations
 
Introduction to Data Science
Introduction to Data ScienceIntroduction to Data Science
Introduction to Data Science
 
Time Management & Productivity - Best Practices
Time Management & Productivity -  Best PracticesTime Management & Productivity -  Best Practices
Time Management & Productivity - Best Practices
 
The six step guide to practical project management
The six step guide to practical project managementThe six step guide to practical project management
The six step guide to practical project management
 
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
 
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
 
12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at Work12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at Work
 
ChatGPT webinar slides
ChatGPT webinar slidesChatGPT webinar slides
ChatGPT webinar slides
 
More than Just Lines on a Map: Best Practices for U.S Bike Routes
More than Just Lines on a Map: Best Practices for U.S Bike RoutesMore than Just Lines on a Map: Best Practices for U.S Bike Routes
More than Just Lines on a Map: Best Practices for U.S Bike Routes
 

Zaverecny ukol

  • 1. Závěrečný úkol KPI Matěj Klusáček, 324101 Téma jsem si vybral proto, že mnoho lidí nerozumělo tématu mé bakalářské práce a chtěl jsem to zkusit odborně, ale zároveň pochopitelně vysvětlit. Narozdíl od skutečně odborného matematického textu jsem se snažil vynechávat složité symbolické zápisy, definice a důkazy, místy text mírně přesahuje do populárně-naučného stylu. Zastávám ale názor, že alespoň ze začátku si to jako autor mohu dovolit. Proto mírně chytlavý začátek, který má zaujmout. Název prošel postupným ubíráním odborných termínů tak, aby zaujal i odborníky z jiných odvětví. Anotace: Text se zabývá otázkou, jaké grafy (tj. body spojené čarami) lze nakreslit tak, aby se žádné dvě spojnice nekřížily. Takto nakreslené grafy mají několik výhod – především některé algoritmy z oblasti dopravy, chemie či sociálních sítí s nimi pracují rychleji. V textu jsou představeny matematické charakteristiky zmíněných grafů a také jedna z pokročilých konstrukcí, jak křížení odstranit. Závěrem je nastíněn současný stav výzkumu v této oblasti teorie grafů. Klíčová slova: graf, rovinný graf, planární obal, nakreslení grafu
  • 2. O (NE)KŘÍŽENÍ CEST Starobylé město Královec se pyšnilo sedmi mosty. Ještě v osmnáctém století si místní obyvatelé lámali hlavy, zda lze najít takovou procházku, která by vedla po každém mostě právě jedenkrát. Tato stará hádanka dala vzniknout novému matematickému oboru – teorii grafů. Obr. 1. Mosty v Královci Zmíněný obor se zabývá výpočty nad grafy – grafem je v tomto případě nějaká množina bodů vzájemně propojených spojnicemi. Na obrázku lze vidět problém mostů v Královci a jeho zjednodušený přepis do řeči teorie grafů. Jednotlivé kousky pevniny jsou body (vrcholy), mosty pak tvoří spojnice (hrany) mezi nimi. Přesně takové struktury mají v dnešní době nespočetné využití (především v navigačních systémech, sociálních sítích, chemii a dopravě). Existují grafy jednoduché s nemnoha body a naopak sítě nesmírně složité s velkým množstvím vrcholů a hran, které se často kříží. V tomto textu se zaměříme právě na problém křížících se hran. Existují případy nakreslení grafů, v nichž se hrany kříží, ačkoli to není nutné. Představme si čtyři body uspořádané do čtverce. Každý bod je propojený s každým, tedy vzniká jakýsi čtverec s křížením uprostřed. Nicméne pokud jednu z diagonálních hran nakreslíme tak, že povede z jednoho do druhého bodu okolo, odstraníme křížení, přičemž struktura grafu zůstane zachována. Pokud bychom si představili pět bodů, kde jsou všechny vzájemně spojené, už se nám nakreslení bez křížení nepovede. Proč je to důležité? Grafy, které je možné nakreslit bez křížení, se nazývají rovinné a jsou z pohledu matematiky velmi důležité – některé algoritmy s nimi pracují rychleji než na grafech nerovinných. Nejdříve se podíváme na podmínky, které musí být splněny, aby byl graf rovinný. V druhé
  • 3. části práce pak prezentujeme jeden nápad, jak z některých nerovinných grafů udělat rovinné s podobnými vlastnostmi. Kdy je graf rovinný? Jak již bylo zmíněno výše, rozhodně to nesmí být graf na pěti vrcholech, které jsou vzájemně úplně propojené (takovému grafu se říká K 5 ). Stejně tak jakýkoliv graf, který v sobě K 5 obsahuje, nemůže být rovinný. Druhý z takových malých grafů, který zabraňuje rovinnosti, je graf na šesti vrcholech, které jsou rozděleny na dvě poloviny (tři a tři). Každý vrchol je spojen se všemi vrcholy z druhé poloviny a zároveň není spojen s žádným vrcholem své poloviny. Takový graf je nazýván K 3,3 . A to je vše. Matematicky lze dokázat, že rovinné jsou právě ty grafy, které v sobě neobsahují žádný ze dvou zmíněných zakázaných grafů - K 5 a K 3,3 . Důležitá je ještě správná definice pojmu „obsahovat“. Definujme ho takto: Graf G obsahuje graf H právě tehdy když můžeme H dostat z g aplikováním libovolného počtu následujících operací: – odebrání hrany či vrcholu – sloučení dvou sousedních (tedy spojených hranou) vrcholů do jednoho (tak, že původní hrany obou vrcholů nyní vychází z nového vrcholu) Tím jsme charakterizovali třídu grafů, které rovinné jsou, i třídu těch, které nikoliv. Obr.2. Nerovinné grafy K 5 a K 3,3 Zajímavý koncept nadále rozšiřující otázku rovinnosti grafů předložil v roce 1988 Seyia Negami[3]. Jednalo se o takzvaný planární (neboli rovinný) obal – graf, který je strukturálně velmi podobný nějakému nerovinnému grafu, nicméně neobsahuje žádné křížení hran. Co ale znamená „strukturálně velmi podobný“? Nejdříve postupně očíslujme libovolně vrcholy grafu G, kterému budeme konstruovat planární obal. Nyní použijme matematickou definici: Graf H je planárním obalem grafu G, pokud je rovinný a zároveň lze každému vrcholu z H přiřadit číslo takové, že sousedí (je spojen hranou) se stejně
  • 4. očíslovanými vrcholy jako původní vrchol stejného čísla v G. Co to znamená? Intuitivně si celou konstrukci lze představit tak, že pokud bychom se nalézali v libovolném vrcholu a podívali se na své nejbližší sousedy, pak bychom nepoznali, zda jsme v G či v H. Nejlépe to ilustruje obrázek níže. Obr.3. Planární obal grafu K 5 a samotný K 5 Přirozená otázka zněla: Jak popsat třídu těch grafů, kterým lze sestrojit planární obal? Motivací je opět fak, že na planárním obalu (tedy rovinném grafu) mohou některé algoritmy fungovat lépe a rychleji než na původním narovinném grafu. Negami ve stejném roce publikoval domněnku, která říká, že graf má planární obal pouze tehdy, pokud lze nakreslit bez křížení hran na tzv. projektivní rovině. Projektivní rovina je typ povrchu, který nelze nakreslit ve 3D zobrazení – jedná se o jakousi zkroucenou pneumatiku, která prochází sama sebou. Tato teze nicméně stále není zcela dokázaná, pěkné shrnutí dosavadního výzkumu a dostupných poznatků můžeme nalézt v odborném článku Petra Hliněného z roku 2008[1]. V současné době je nejrozsáhlejší výzkum zaměřen na efektivní hledání zakázaných nerovinných grafů ve velkých grafech (tedy efektivní zjišťování rovinnosti), stejně jako pokračují studie planárních obalů a také ještě mírně rozšířenějšího konceptu (takzvaných planárních emulátorů). Vše je ale jen nepatrných kouskem koláče zvaného Teorie Grafů, který díky mostům v Královci upekl teprve před dvěma stoletími slavný matematik Leonhard Euler, když si mosty schematicky překreslil a následně problém vyřešil. Jak už asi tušíte, procházka po všech mostech možná není.
  • 5. Obr. 4. Některé zajímavé grafy a jejich vlastnosti související s rovinností
  • 6. Seznam použité literatury [1] HLINĚNÝ, Petr. 20 Years of Negami’s Planar Cover Conjecture. Graphs and Combinatorics. 2010, č. 26, s. 525-536. [2] Mathematics of Michigan [online]. [cit. 2013-01-05]. Dostupné z: http://www.math.lsa.umich.edu/ [3] NEGAMI, Seyia. Graphs Which Have No Finite Planar Covering, Bulletin of the Institute of Math, Academia Sinica 1988, č. 16, s. 378–384. [4] PICKOVER, Clifford A. Matematická kniha: od Pythagora po 57. dimenzi : 250 milníků v dějinách matematiky. 1. vyd. v českém jazyce. Praha: Argo, 2012, 542 s. Zip (Argo: Dokořán). ISBN 978-80-257-0705-0. Krátké hodnocení zdrojů: [1] – kvalitní erudovaný autor (v oboru jeden z největších odborníků) – článek vyšel v odborném periodiku – článek používá odborné termíny (navíc je psán v angličtině) – článek obsahuje poměrně aktuální informace – informace jsou přesné a pořádně matematicky dokázané [2] – kvalitní univerzita nabízející dobré online kurzy – erudovaní autoři kurzů – pěkně a názorně vysvětlené – přesné informace – aktuální informace [3] – kvalitní erudovaný autor (v oboru jeden z největších odborníků) – informace jsou přesné a pořádně matematicky dokázané – článek vyšel v odborném periodiku – článek používá odborné termíny (navíc je psán v angličtině) – velmi pěkně strukturovaný článek (kapitoly, tvrzení, důkazy) [4] – kvalitní autor – pěkně a názorně vysvětlené – dobře členěné, vzájemné odkazy – přesné informace – ne zcela dostačující hloubka je nahrazena odkazy na další související materiály