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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian
m Zastępowanie tekstu – „,↵</math>” na „</math>,”
 
(Nie pokazano 5 pośrednich wersji utworzonych przez tego samego użytkownika)
Linia 3: Linia 3:
{{cwiczenie|1|cw 1|
{{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ń [[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]]?
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]]?


Linia 15: Linia 15:
<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">   


<div class="thumb tright" id="cw_grafy_nieplanarny"><div style="width:300px;">
[[File:Cw grafy nieplanarny.svg|300x150px|thumb|right" id="cw_grafy_nieplanarny|1. Graf  <math>\mathbf{G}</math>]]
<flash>file=Cw grafy nieplanarny.swf|width=300|height=150</flash>
<div.thumbcaption>1. Graf  <math>\displaystyle \mathbf{G} </math></div></div>
</div>


Graf  <math>\displaystyle \mathbf{G} </math>  przedstawiony na [[#cw grafy nieplanarny|rysunku 1]] nie jest planarny  
Graf  <math>\mathbf{G}</math>  przedstawiony na [[#cw grafy nieplanarny|rysunku 1]] 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> .
i ponadto nie jest homeomorficzny ani ściągalny do  <math>\mathcal{K}_{5}</math>  ani  <math>\mathcal{K}_{3,3}</math> .


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.  
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.  
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> .
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> .
</div></div>
</div></div>


Linia 35: 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 [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.4|14.4]].
Skorzystaj z Twierdzenia [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.4|14.4]].
Linia 42: Linia 39:
<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 [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.4|14.4]] otrzymujemy
więc na mocy twierdzenia [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.4|14.4]] otrzymujemy




{{wzor|1|1|
{{wzor|1|1|
<math>\displaystyle
<math>
\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.
\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>}}
</math>}}




Linia 59: Linia 55:




<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.
<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>
</math></center>




Podstawiając tę zależność w równości ([[#1|1]]) 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|
{{wzor|2|2|
<math>\displaystyle
<math>
2\left( x+y \right)-\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert=4.
2\left( x+y \right)-\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert=4</math>}}
</math>}}




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>\displaystyle 3\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert=5x+6y.
<center><math>3\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert=5x+6y</math></center>
</math></center>




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




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




Liczba ścian pięciokątnych wynosi więc  <math>\displaystyle x=12 </math> .
Liczba ścian pięciokątnych wynosi więc  <math>x=12</math> .
</div></div>
</div></div>


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




Linia 107: Linia 98:


<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,
<center><math>3f\leq 2\left\vert E \right\vert</math>,</center>
</math></center>




gdzie  <math>\displaystyle f </math>  to liczba ścian w rozważanej płaskiej prezentacji.
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:
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>\displaystyle 2
<center><math>2
=\left\vert {\sf V}\!\left(\mathbf{G}\right) \right\vert-\left\vert {\sf E}\!\left(\mathbf{G}\right) \right\vert+f
=\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert-\left\vert \mathsf{ 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,
\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>
</math></center>




Linia 132: Linia 121:




<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>




Linia 139: Linia 127:


{{cwiczenie|4|cw 4|
{{cwiczenie|4|cw 4|
Pokaż, że spójny graf planarny  <math>\displaystyle \mathbf{G} </math>   
Pokaż, że spójny graf planarny  <math>\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> .


}}
}}
Linia 152: 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.
<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>
</math></center>




Linia 164: Linia 151:




<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,
<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>
</math></center>




Linia 172: Linia 158:


{{cwiczenie|5|cw 5|
{{cwiczenie|5|cw 5|
Znajdź liczbę chromatyczną  <math>\displaystyle {k} </math> -wymiarowej kostki  <math>\displaystyle \mathcal{Q}_{k} </math> , czyli  
Znajdź liczbę chromatyczną  <math>{k}</math> -wymiarowej kostki  <math>\mathcal{Q}_{k}</math> , czyli  
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> ,  
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> ,  
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 184: 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>
Linia 209: 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,  
Linia 215: Linia 201:




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




gdzie  <math>\displaystyle f </math>  oznacza liczbę ścian w grafie  <math>\displaystyle \mathbf{G} </math> .  
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
Korzystając z Twierdzenia [[Matematyka dyskretna 1/Wykład 14: Grafy III#tw_14.4|14.4]] otrzymujemy, że




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




Linia 232: Linia 216:




<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.
<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>
</math></center>




Linia 240: Linia 223:




<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.
<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>
</math></center>




Linia 247: Linia 229:




<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.
<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>
</math></center>




Dowód trójkolorowalności planarnego grafu  <math>\displaystyle \mathbf{G} </math>  bez trójkątów  
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>\displaystyle n </math>  tego grafu.  
poprowadzimy teraz indukcyjnie ze względu na  liczbę wierzchołków  <math>n</math>  tego grafu.  
Dla grafów o  <math>\displaystyle n=1 </math>  jest to oczywiste.
Dla grafów o  <math>n=1</math>  jest to oczywiste.
Załóżmy, że  <math>\displaystyle n\geq 2 </math> .  
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