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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
m Zastępowanie tekstu – „\displaystyle ” na „”
m Zastępowanie tekstu – „ </math>” na „</math>”
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>\mathcal{K}_{5} </math>  oraz  <math>\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">   


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


Graf  <math>\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>\mathcal{K}_{5} </math>  ani  <math>\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>\mathbf{G} </math> staje się pełnym grafem dwudzielnym  <math>\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 32: 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>\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 39: 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>x </math> - liczba ścian pięciokątnych,
*  <math>x</math> - liczba ścian pięciokątnych,
*  <math>y </math> - liczba ścian sześciokątnych.
*  <math>y</math> - liczba ścian sześciokątnych.


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


Linia 60: Linia 60:




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




Linia 70: Linia 70:


Każdy wierzchołek leży na trzech ścianach.  
Każdy wierzchołek leży na trzech ścianach.  
Z drugiej strony  <math>x </math>  ścian ma pięć wierzchołków, a  <math>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>\left( v,f \right) </math> , gdzie wierzchołek  <math>v </math>   
Licząc więc  pary  <math>\left( v,f \right)</math> , gdzie wierzchołek  <math>v</math>   
leży na ścianie  <math>f </math> , dostajemy:
leży na ścianie  <math>f</math> , dostajemy:




Linia 79: Linia 79:




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




Linia 86: Linia 86:




Liczba ścian pięciokątnych wynosi więc  <math>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>\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




Linia 104: Linia 104:


<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>\mathbf{G} </math> .  
Rozważmy dowolną płaską reprezentacje grafu  <math>\mathbf{G}</math> .  
Ponieważ  <math>\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>\left( e,w \right) </math>  takich, że krawędź  <math>e </math>  ogranicza ścianę  <math>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ść


Linia 116: Linia 116:




gdzie  <math>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:


Linia 136: Linia 136:


{{cwiczenie|4|cw 4|
{{cwiczenie|4|cw 4|
Pokaż, że spójny graf planarny  <math>\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>5 </math> .
o stopniu nie większym niż  <math>5</math> .


}}
}}
Linia 149: Linia 149:
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>\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>\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:


Linia 169: Linia 169:


{{cwiczenie|5|cw 5|
{{cwiczenie|5|cw 5|
Znajdź liczbę chromatyczną  <math>{k} </math> -wymiarowej kostki  <math>\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>\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>\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 181: Linia 181:


<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>\mathcal{Q}_{k} </math>  na dwa zbiory:  
Podzielmy wierzchołki kostki  <math>\mathcal{Q}_{k}</math>  na dwa zbiory:  
*  <math>V_1\subseteq \mathsf{ 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>V_2\subseteq \mathsf{ 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>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>V_i </math>  nie ma krawędzi,  
A zatem miedzy wierzchołkami z  <math>V_i</math>  nie ma krawędzi,  
czyli  <math>\mathcal{Q}_{k}=\left( V_1\cup V_2, \mathsf{ 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 206: Linia 206:
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>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 216: Linia 216:




gdzie  <math>f </math>  oznacza liczbę ścian w grafie  <math>\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


Linia 248: Linia 248:




Dowód trójkolorowalności planarnego grafu  <math>\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>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>n=1 </math>  jest to oczywiste.
Dla grafów o  <math>n=1</math>  jest to oczywiste.
Załóżmy, że  <math>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>v </math> , o stopniu co najwyżej trzy.  
istnieje wierzchołek, powiedzmy  <math>v</math> , o stopniu co najwyżej trzy.  
Graf  <math>\mathbf{G}-\left\lbrace v \right\rbrace </math>  ma  <math>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>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>c </math>  nie wykorzystany przez sąsiadów  <math>v </math> .  
więc musi istnieć kolor  <math>c</math>  nie wykorzystany przez sąsiadów  <math>v</math> .  
Wierzchołek  <math>v </math>  kolorujemy właśnie na kolor  <math>c </math> .  
Wierzchołek  <math>v</math>  kolorujemy właśnie na kolor  <math>c</math> .  
Uzyskaliśmy w konsekwencji kolorowanie grafu  <math>\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>

Wersja z 10:12, 5 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