Matematyka dyskretna 1/Ćwiczenia 14: Grafy III: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Arek (dyskusja | edycje)
Nie podano opisu zmian
 
m Zastępowanie tekstu – „,↵</math>” na „</math>,”
 
(Nie pokazano 8 wersji utworzonych przez 3 użytkowników)
Linia 1: Linia 1:
==Grafy III==
==Grafy III==


{{cwiczenie|ex grafy Kuratowski kontr||
{{cwiczenie|1|cw 1|
 
Przedstaw graf nieplanarny, który nie jest homeomorficzny ani ściągalny  
Przedstaw graf nieplanarny, który nie jest homeomorficzny ani ściągalny  
do  <math>\displaystyle \mathcal{K}_{5} </math>  oraz  <math>\displaystyle \mathcal{K}_{3,3} </math> .  
do  <math>\mathcal{K}_{5}</math>  oraz  <math>\mathcal{K}_{3,3}</math> .  
Dlaczego nie jest to kontrprzykład dla twierdzeń '''[th][th Kuratowski]'''
Dlaczego nie jest to kontrprzykład dla twierdzeń [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.2|14.2]] oraz [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.3|14.3]]?
oraz '''[th][th sciagalny k5k33]'''?


}}
}}


<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">   
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">   
W Twierdzeniach '''[th][th Kuratowski]''' oraz '''[th][th sciagalny k5k33]'''
W Twierdzeniach [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.2|14.2]] oraz [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.3|14.3]] jest mowa, że aby graf był planarny, to dowolny podgraf musi spełniać pewne warunki.
jest mowa, że aby graf był planarny,  
Tak więc przed szukaniem zabronionych struktur możemy usunąć z grafu dowolną liczbę wierzchołków oraz krawędzi.
to dowolny podgraf musi spełniać pewne warunki.  
Tak więc przed szukaniem zabronionych struktur możemy usunąć  
z grafu dowolną liczbę wierzchołków oraz krawędzi.
</div></div>
</div></div>


<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none">   
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none">   
Graf  <math>\displaystyle \mathbf{G} </math>  przedstawiony na rysunku [[##cw grafy nieplanarny|Uzupelnic cw grafy nieplanarny|]] nie jest planarny
i ponadto nie jest homeomorficzny ani ściągalny do  <math>\displaystyle \mathcal{K}_{5} </math>  ani  <math>\displaystyle \mathcal{K}_{3,3} </math> .


[!ht]
[[File:Cw grafy nieplanarny.svg|300x150px|thumb|right" id="cw_grafy_nieplanarny|1. Graf  <math>\mathbf{G}</math>]]


{cw_grafy_nieplanarny}
Graf  <math>\mathbf{G}</math> przedstawiony na [[#cw grafy nieplanarny|rysunku 1]] nie jest planarny
{Graf  <math>\displaystyle \mathbf{G} </math> . '''[Rysunek z pliku:''' <tt>cwgrafynieplanarny.eps</tt>''']'''}
i ponadto nie jest homeomorficzny ani ściągalny do  <math>\mathcal{K}_{5}</math> ani  <math>\mathcal{K}_{3,3}</math> .


W Twierdzeniach '''[th][th Kuratowski]''' oraz '''[th][th sciagalny k5k33]'''
W Twierdzeniach [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.2|14.2]] oraz [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.3|14.3]] jest mowa, że aby graf był planarny, to dowolny podgraf musi spełniać określone warunki.  
jest mowa, że aby graf był planarny,  
Tak więc przed szukaniem zabronionych struktur możemy więc usunąć z grafu dowolną liczbę wierzchołków oraz krawędzi. Faktycznie, po usunięciu czerwonej krawędzi graf  <math>\mathbf{G}</math> staje się pełnym grafem dwudzielnym  <math>\mathcal{K}_{3,3}</math> .
to dowolny podgraf musi spełniać określone warunki.  
Tak więc przed szukaniem zabronionych struktur możemy więc usunąć z grafu dowolną  
liczbę wierzchołków oraz krawędzi.  
Faktycznie, po usunięciu czerwonej krawędzi graf  <math>\displaystyle \mathbf{G} </math>
staje się pełnym grafem dwudzielnym  <math>\displaystyle \mathcal{K}_{3,3} </math> .
</div></div>
</div></div>


{{cwiczenie|ex grafy pilka||
{{cwiczenie|2|cw 2|
 
W pewnym wielościanie wszystkie ściany są  pięciokątami i sześciokątami.  
W pewnym wielościanie wszystkie ściany są  pięciokątami i sześciokątami.  
Ile jest ścian pięciokątnych,  
Ile jest ścian pięciokątnych,  
Linia 45: Linia 32:


<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">   
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">   
Zauważ, że każdy wielościan można tak zrzutować na płąszczyznę  <math>\displaystyle \mathbb{R}^2 </math> ,
Zauważ, że każdy wielościan można tak zrzutować na płąszczyznę  <math>\mathbb{R}^2</math> ,
by rzut ten reprezentował graf planarny.  
by rzut ten reprezentował graf planarny.  
Skorzystaj z Twierdzenia '''[th][th ilosc krawedzi]'''.
Skorzystaj z Twierdzenia [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.4|14.4]].
</div></div>
</div></div>


<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none">   
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none">   
Przyjmijmy oznaczenia:
Przyjmijmy oznaczenia:
*  <math>\displaystyle x </math> -- liczba ścian pięciokątnych,
*  <math>x</math> - liczba ścian pięciokątnych,
*  <math>\displaystyle y </math> -- liczba ścian sześciokątnych.
*  <math>y</math> - liczba ścian sześciokątnych.


Suma  <math>\displaystyle x+y </math>  to liczba wszystkich ścian,  
Suma  <math>x+y</math>  to liczba wszystkich ścian,  
więc na mocy twierdzenia '''[th][th ilosc krawedzi]''' otrzymujemy
więc na mocy twierdzenia [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.4|14.4]] otrzymujemy
 
 
{{wzor|1|1|
<math>
\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert-\left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert+\left( x+y \right)=2</math>}}


<center><math>\displaystyle
\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert-\left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert+\left( x+y \right)=2.
</math></center>


Każdy wierzchołek jest incydentny z trzema krawędziami,  
Każdy wierzchołek jest incydentny z trzema krawędziami,  
zaś każda krawędź jest incydentna z dwoma wierzchołkami, skąd
zaś każda krawędź jest incydentna z dwoma wierzchołkami, skąd


<center><math>\displaystyle 2\left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert=3\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert.
</math></center>


Podstawiając tę zależność w równości ([[##eq grafy pilka Euler|Uzupelnic eq grafy pilka Euler|]])  
<center><math>2\left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert=3\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert</math></center>
przemnożonej przez  <math>\displaystyle 2 </math> , dostajemy:
 
 
Podstawiając tę zależność w równości ([[#1|1]]) przemnożonej przez  <math>2</math> , dostajemy:
 
 
{{wzor|2|2|
<math>
2\left( x+y \right)-\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert=4</math>}}


<center><math>\displaystyle
2\left( x+y \right)-\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert=4.
</math></center>


Każdy wierzchołek leży na trzech ścianach.  
Każdy wierzchołek leży na trzech ścianach.  
Z drugiej strony  <math>\displaystyle x </math>  ścian ma pięć wierzchołków, a  <math>\displaystyle y </math>  sześć.
Z drugiej strony  <math>x</math>  ścian ma pięć wierzchołków, a  <math>y</math>  sześć.
Licząc więc  pary  <math>\displaystyle \left( v,f \right) </math> , gdzie wierzchołek  <math>\displaystyle v </math>   
Licząc więc  pary  <math>\left( v,f \right)</math> , gdzie wierzchołek  <math>v</math>   
leży na ścianie  <math>\displaystyle f </math> , dostajemy:
leży na ścianie  <math>f</math> , dostajemy:
 
 
<center><math>3\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert=5x+6y</math></center>


<center><math>\displaystyle 3\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert=5x+6y.
</math></center>


Podstawiając tę zależność w równości ([[##eq grafy pilka Euler 2|Uzupelnic eq grafy pilka Euler 2|]])  
Podstawiając tę zależność w równości ([[#2|2]]) przemnożonej przez  <math>3</math> , dostajemy:
przemnożonej przez  <math>\displaystyle 3 </math> , dostajemy:


<center><math>\displaystyle 6\left( x+y \right)-5x-6y=12.
</math></center>


Liczba ścian pięciokątnych wynosi więc  <math>\displaystyle x=12 </math> .
<center><math>6\left( x+y \right)-5x-6y=12</math></center>
 
 
Liczba ścian pięciokątnych wynosi więc  <math>x=12</math> .
</div></div>
</div></div>


{{cwiczenie|ex m<<nowiki>=</nowiki>3n-6 dla plan||
{{cwiczenie|3|cw 3|
Pokaż, że dla spójnego, prostego grafu planarnego  <math>\mathbf{G}=\left( V,E \right)</math> o co najmniej trzech wierzchołkach zachodzi


Pokaż, że dla spójnego, prostego grafu planarnego  <math>\displaystyle \mathbf{G}=\left( V,E \right) </math>  o co najmniej trzech wierzchołkach zachodzi


<center><math>\displaystyle \left\vert E \right\vert\leq 3\left\vert V \right\vert-6.
<center><math>\left\vert E \right\vert\leq 3\left\vert V \right\vert-6</math></center>
</math></center>
 


}}
}}


<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">   
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">   
Wykorzystaj Twierdzenie '''[th][th ilosc krawedzi]'''.
Wykorzystaj Twierdzenie [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.4|14.4]].
</div></div>
</div></div>


<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none">   
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none">   
Rozważmy dowolną płaską reprezentacje grafu  <math>\displaystyle \mathbf{G} </math> .  
Rozważmy dowolną płaską reprezentacje grafu  <math>\mathbf{G}</math> .  
Ponieważ  <math>\displaystyle \mathbf{G} </math>  jest grafem prostym, to
Ponieważ  <math>\mathbf{G}</math>  jest grafem prostym, to
dowolna ściana w tej reprezentacji jest ograniczona przez co najmniej trzy krawędzie.  
dowolna ściana w tej reprezentacji jest ograniczona przez co najmniej trzy krawędzie.  
Z drugiej strony każda krawędź graniczy z co najwyżej dwiema ścianami.  
Z drugiej strony każda krawędź graniczy z co najwyżej dwiema ścianami.  
Po przeliczeniu par  <math>\displaystyle \left( e,w \right) </math>  takich, że krawędź  <math>\displaystyle e </math>  ogranicza ścianę  <math>\displaystyle w </math> ,  
Po przeliczeniu par  <math>\left( e,w \right)</math>  takich, że krawędź  <math>e</math>  ogranicza ścianę  <math>w</math> ,  
otrzymujemy nierówność
otrzymujemy nierówność


<center><math>\displaystyle 3f\leq 2\left\vert E \right\vert,
</math></center>


gdzie  <math>\displaystyle f </math>  to liczba ścian w rozważanej płaskiej prezentacji.
<center><math>3f\leq 2\left\vert E \right\vert</math>,</center>
Po podstawieniu tej nierówności do wzoru z Twierdzenia '''[th][th ilosc krawedzi]'''
 
otrzymujemy:
 
gdzie  <math>f</math>  to liczba ścian w rozważanej płaskiej prezentacji.
Po podstawieniu tej nierówności do wzoru z Twierdzenia [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.4|14.4]] otrzymujemy:
 
 
<center><math>2
=\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert-\left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert+f
\leq\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert-\frac{1}{3}\left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert</math>,</center>


<center><math>\displaystyle 2
=\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert-\left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert+f
\leq\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert-\frac{1}{3}\left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert,
</math></center>


co po prostym przekształceniu daje:
co po prostym przekształceniu daje:


<center><math>\displaystyle \left\vert E \right\vert\leq 3\left\vert V \right\vert-6.
 
</math></center>
<center><math>\left\vert E \right\vert\leq 3\left\vert V \right\vert-6</math></center>
 


</div></div>
</div></div>


{{cwiczenie|ex deg v<<nowiki>=</nowiki>5 dla plan||
{{cwiczenie|4|cw 4|
 
Pokaż, że spójny graf planarny  <math>\mathbf{G}</math>   
Pokaż, że spójny graf planarny  <math>\displaystyle \mathbf{G} </math>   
o co najmniej jednym wierzchołku posiada wierzchołek  
o co najmniej jednym wierzchołku posiada wierzchołek  
o stopniu nie większym niż  <math>\displaystyle 5 </math> .
o stopniu nie większym niż  <math>5</math> .


}}
}}


<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">   
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">   
Skorzystaj z Twierdzenia '''[th][th ilosc krawedzi]'''
Skorzystaj z Twierdzenia [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.4|14.4]] oraz z Ćwiczenia [[#cw_3|3]].
oraz z Ćwiczenia [[##ex m<<nowiki>=</nowiki>3n-6 dla plan|Uzupelnic ex m<<nowiki>=</nowiki>3n-6 dla plan|]].
</div></div>
</div></div>


Linia 148: Linia 140:
Oczywiście taki wierzchołek musi istnieć w grafie z jednym bądź dwoma wierzchołkami.
Oczywiście taki wierzchołek musi istnieć w grafie z jednym bądź dwoma wierzchołkami.
Bez straty ogólności możemy przyjąć,  
Bez straty ogólności możemy przyjąć,  
że  <math>\displaystyle \mathbf{G} </math>  jest spójnym, płaskim grafem o co najmniej trzech wierzchołkach.  
że  <math>\mathbf{G}</math>  jest spójnym, płaskim grafem o co najmniej trzech wierzchołkach.  
Załóżmy, że każdy wierzchołek  <math>\displaystyle \mathbf{G} </math>  ma stopień co najmniej sześć.  
Załóżmy, że każdy wierzchołek  <math>\mathbf{G}</math>  ma stopień co najmniej sześć.  
Wtedy zależność między stopniami wierzchołków, a liczbą krawędzi daje:
Wtedy zależność między stopniami wierzchołków, a liczbą krawędzi daje:


<center><math>\displaystyle 6\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert\leq 2\left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert.
</math></center>


Korzystając z Ćwiczenia [[##ex m<<nowiki>=</nowiki>3n-6 dla plan|Uzupelnic ex m<<nowiki>=</nowiki>3n-6 dla plan|]] otrzymujemy:
<center><math>6\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert\leq 2\left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert</math></center>
 
 
Korzystając z Ćwiczenia [[#cw_3|3]] otrzymujemy:
 
 
<center><math>3\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert\leq 3\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert-6</math>,</center>


<center><math>\displaystyle 3\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert\leq 3\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert-6,
</math></center>


co jest sprzecznością.
co jest sprzecznością.
</div></div>
</div></div>


{{cwiczenie|ex grafy||
{{cwiczenie|5|cw 5|
 
Znajdź liczbę chromatyczną  <math>{k}</math> -wymiarowej kostki  <math>\mathcal{Q}_{k}</math> , czyli  
Znajdź liczbę chromatyczną  <math>\displaystyle {k} </math> -wymiarowej kostki  <math>\displaystyle \mathcal{Q}_{k} </math> , czyli  
grafu, którego wierzchołki to ciągi  <math>\left( a_1,a_2,\ldots,a_k \right)</math> , gdzie  <math>a_i=0,1</math> ,  
grafu, którego wierzchołki to ciągi  <math>\displaystyle \left( a_1,a_2,\ldots,a_k \right) </math> , gdzie  <math>\displaystyle a_i=0,1 </math> ,  
a krawędzie łączą te ciągi, które różnią się tylko na jednej pozycji.  
a krawędzie łączą te ciągi, które różnią się tylko na jednej pozycji.  


Linia 177: Linia 170:


<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none">   
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none">   
Podzielmy wierzchołki kostki  <math>\displaystyle \mathcal{Q}_{k} </math>  na dwa zbiory:  
Podzielmy wierzchołki kostki  <math>\mathcal{Q}_{k}</math>  na dwa zbiory:  
*  <math>\displaystyle V_1\subseteq {\sf V}\!\left(\mathcal{Q}_{k}\right) </math>  to zbiór wierzchołków o nieparzystej liczbie jedynek,
*  <math>V_1\subseteq \mathsf{ V}\!\left(\mathcal{Q}_{k}\right)</math>  to zbiór wierzchołków o nieparzystej liczbie jedynek,
*  <math>\displaystyle V_2\subseteq {\sf V}\!\left(\mathcal{Q}_{k}\right) </math>  to zbiór wierzchołków o parzystej liczbie jedynek,
*  <math>V_2\subseteq \mathsf{ V}\!\left(\mathcal{Q}_{k}\right)</math>  to zbiór wierzchołków o parzystej liczbie jedynek,


W sąsiednich  wierzchołkach liczba jedynek różni się o  <math>\displaystyle 1 </math> ,  
W sąsiednich  wierzchołkach liczba jedynek różni się o  <math>1</math> ,  
w szczególności różni się parzystością.
w szczególności różni się parzystością.
A zatem miedzy wierzchołkami z  <math>\displaystyle V_i </math>  nie ma krawędzi,  
A zatem miedzy wierzchołkami z  <math>V_i</math>  nie ma krawędzi,  
czyli  <math>\displaystyle \mathcal{Q}_{k}=\left( V_1\cup V_2, {\sf E}\!\left(\mathcal{Q}_{k}\right) \right) </math>   
czyli  <math>\mathcal{Q}_{k}=\left( V_1\cup V_2, \mathsf{ E}\!\left(\mathcal{Q}_{k}\right) \right)</math>   
jest grafem dwudzielnym, czyli dwukolorowalnym.
jest grafem dwudzielnym, czyli dwukolorowalnym.
</div></div>
</div></div>


{{cwiczenie|ex grafy||
{{cwiczenie|6|cw 6|
 
Nie korzystając z Twierdzenia [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.13|14.13]] o czterech barwach pokaż, że graf planarny bez trójkątów jest czterokolorowalny.
Nie korzystając z Twierdzenia '''[th][th 4barw planar]''' o czterech barwach  
pokaż, że graf planarny bez trójkątów jest czterokolorowalny.


}}
}}
Linia 204: Linia 195:
istnieje wierzchołek stopnia co najwyżej trzy.
istnieje wierzchołek stopnia co najwyżej trzy.
Niech więc, dla dowodu niewprost,  
Niech więc, dla dowodu niewprost,  
<math>\displaystyle graf{G} </math>  będzie płaską prezentacją grafu bez trójkątów,  
<math>graf{G}</math>  będzie płaską prezentacją grafu bez trójkątów,  
w którym każdy wierzchołek ma stopień conajmniej cztery.  
w którym każdy wierzchołek ma stopień conajmniej cztery.  
Z faktu, że każda krawędź ogranicza co najmniej dwie ściany,  
Z faktu, że każda krawędź ogranicza co najmniej dwie ściany,  
a każda ściana jest ograniczona przez co najmniej cztery krawędzie mamy
a każda ściana jest ograniczona przez co najmniej cztery krawędzie mamy


<center><math>\displaystyle 4f\leq 2\left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert,
</math></center>


gdzie  <math>\displaystyle f </math>  oznacza liczbę ścian w grafie  <math>\displaystyle \mathbf{G} </math> .  
<center><math>4f\leq 2\left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert</math>,</center>
Korzystając z Twierdzenia '''[th][th ilosc krawedzi]''' otrzymujemy, że
 
 
gdzie  <math>f</math>  oznacza liczbę ścian w grafie  <math>\mathbf{G}</math> .  
Korzystając z Twierdzenia [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.4|14.4]] otrzymujemy, że
 
 
<center><math>4
=2\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert-2\left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert+2f
\leq 2\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert-\left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert</math>,</center>


<center><math>\displaystyle 4
=2\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert-2\left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert+2f
\leq 2\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert-\left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert,
</math></center>


skąd
skąd


<center><math>\displaystyle \left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert\leq 2\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert-4.
 
</math></center>
<center><math>\left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert\leq 2\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert-4</math></center>
 


Z drugiej strony dowolny wierzchołek jest incydentny z co najmniej czterema krawędziami,  
Z drugiej strony dowolny wierzchołek jest incydentny z co najmniej czterema krawędziami,  
zaś każda krawędź jest incydentna z dwoma wierzchołkami, więc
zaś każda krawędź jest incydentna z dwoma wierzchołkami, więc


<center><math>\displaystyle 4\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert\leq 2 \left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert.
 
</math></center>
<center><math>4\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert\leq 2 \left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert</math></center>
 


Prowadzi to natychmiast do sprzeczności postaci
Prowadzi to natychmiast do sprzeczności postaci


<center><math>\displaystyle 2\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert\leq  \left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert\leq 2\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert-4.
</math></center>


Dowód trójkolorowalności planarnego grafu  <math>\displaystyle \mathbf{G} </math>  bez trójkątów  
<center><math>2\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert\leq  \left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert\leq 2\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert-4</math></center>
poprowadzimy teraz indukcyjnie ze względu na  liczbę wierzchołków  <math>\displaystyle n </math>  tego grafu.  
 
Dla grafów o  <math>\displaystyle n=1 </math>  jest to oczywiste.
 
Załóżmy, że  <math>\displaystyle n\geq 2 </math> .  
Dowód trójkolorowalności planarnego grafu  <math>\mathbf{G}</math>  bez trójkątów  
poprowadzimy teraz indukcyjnie ze względu na  liczbę wierzchołków  <math>n</math>  tego grafu.  
Dla grafów o  <math>n=1</math>  jest to oczywiste.
Załóżmy, że  <math>n\geq 2</math> .  
Jak już wiemy, w planarnym grafie bez trójkątów  
Jak już wiemy, w planarnym grafie bez trójkątów  
istnieje wierzchołek, powiedzmy  <math>\displaystyle v </math> , o stopniu co najwyżej trzy.  
istnieje wierzchołek, powiedzmy  <math>v</math> , o stopniu co najwyżej trzy.  
Graf  <math>\displaystyle \mathbf{G}-\left\lbrace v \right\rbrace </math>  ma  <math>\displaystyle n-1 </math>  wierzchołków   
Graf  <math>\mathbf{G}-\left\lbrace v \right\rbrace</math>  ma  <math>n-1</math>  wierzchołków   
więc, na mocy założenia indukcyjnego, można go pokolorować czterema kolorami.  
więc, na mocy założenia indukcyjnego, można go pokolorować czterema kolorami.  
Wierzchołek  <math>\displaystyle v </math>  miał co najwyżej trzech sąsiadów,  
Wierzchołek  <math>v</math>  miał co najwyżej trzech sąsiadów,  
więc musi istnieć kolor  <math>\displaystyle c </math>  nie wykorzystany przez sąsiadów  <math>\displaystyle v </math> .  
więc musi istnieć kolor  <math>c</math>  nie wykorzystany przez sąsiadów  <math>v</math> .  
Wierzchołek  <math>\displaystyle v </math>  kolorujemy właśnie na kolor  <math>\displaystyle c </math> .  
Wierzchołek  <math>v</math>  kolorujemy właśnie na kolor  <math>c</math> .  
Uzyskaliśmy w konsekwencji kolorowanie grafu  <math>\displaystyle \mathbf{G} </math>  za pomocą czterech barw,  
Uzyskaliśmy w konsekwencji kolorowanie grafu  <math>\mathbf{G}</math>  za pomocą czterech barw,  
co kończy dowód.
co kończy dowód.
</div></div>
</div></div>

Aktualna wersja na dzień 21:44, 11 wrz 2023

Grafy III

Ćwiczenie 1

Przedstaw graf nieplanarny, który nie jest homeomorficzny ani ściągalny do 𝒦5 oraz 𝒦3,3 . Dlaczego nie jest to kontrprzykład dla twierdzeń 14.2 oraz 14.3?

Wskazówka
Rozwiązanie

Ćwiczenie 2

W pewnym wielościanie wszystkie ściany są pięciokątami i sześciokątami. Ile jest ścian pięciokątnych, jeżeli w każdym wierzchołku spotykają się dokładnie trzy ściany?

Wskazówka
Rozwiązanie

Ćwiczenie 3

Pokaż, że dla spójnego, prostego grafu planarnego 𝐆=(V,E) o co najmniej trzech wierzchołkach zachodzi


|E|3|V|6


Wskazówka
Rozwiązanie

Ćwiczenie 4

Pokaż, że spójny graf planarny 𝐆 o co najmniej jednym wierzchołku posiada wierzchołek o stopniu nie większym niż 5 .

Wskazówka
Rozwiązanie

Ćwiczenie 5

Znajdź liczbę chromatyczną k -wymiarowej kostki 𝒬k , czyli grafu, którego wierzchołki to ciągi (a1,a2,,ak) , gdzie ai=0,1 , a krawędzie łączą te ciągi, które różnią się tylko na jednej pozycji.

Wskazówka
Rozwiązanie

Ćwiczenie 6

Nie korzystając z Twierdzenia 14.13 o czterech barwach pokaż, że graf planarny bez trójkątów jest czterokolorowalny.

Wskazówka
Rozwiązanie