Matematyka dyskretna 1/Ćwiczenia 14: Grafy III: Różnice pomiędzy wersjami
m Zastępowanie tekstu - "<div class="thumb t(.*)"><div style="width:(.*)px;"> <flash>file=(.*)\.swf\|width=(.*)\|height=(.*)<\/flash> <div\.thumbcaption>(.*)<\/div><\/div> <\/div>" na "$4x$5px|thumb|$1|$6" |
m Zastępowanie tekstu – „,↵</math>” na „</math>,” |
||
(Nie pokazano 3 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> | 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> | [[File:Cw grafy nieplanarny.svg|300x150px|thumb|right" id="cw_grafy_nieplanarny|1. Graf <math>\mathbf{G}</math>]] | ||
Graf <math> | 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> | 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> | 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> | 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> | * <math>x</math> - liczba ścian pięciokątnych, | ||
* <math> | * <math>y</math> - liczba ścian sześciokątnych. | ||
Suma <math> | 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> | <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 | \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 56: | Linia 55: | ||
<center><math> | <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> | 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> | <math> | ||
2\left( x+y \right)-\left\vert \mathsf{ 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> | Z drugiej strony <math>x</math> ścian ma pięć wierzchołków, a <math>y</math> sześć. | ||
Licząc więc pary <math> | Licząc więc pary <math>\left( v,f \right)</math> , gdzie wierzchołek <math>v</math> | ||
leży na ścianie <math> | leży na ścianie <math>f</math> , dostajemy: | ||
<center><math> | <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> | Podstawiając tę zależność w równości ([[#2|2]]) przemnożonej przez <math>3</math> , dostajemy: | ||
<center><math> | <center><math>6\left( x+y \right)-5x-6y=12</math></center> | ||
</math></center> | |||
Liczba ścian pięciokątnych wynosi więc <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> | 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> | <center><math>\left\vert E \right\vert\leq 3\left\vert V \right\vert-6</math></center> | ||
</math></center> | |||
Linia 104: | 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> | Rozważmy dowolną płaską reprezentacje grafu <math>\mathbf{G}</math> . | ||
Ponieważ <math> | 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> | 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> | <center><math>3f\leq 2\left\vert E \right\vert</math>,</center> | ||
</math></center> | |||
gdzie <math> | 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> | <center><math>2 | ||
=\left\vert \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert-\left\vert \mathsf{ 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 \mathsf{ V}\!\left(\mathbf{G}\right) \right\vert-\frac{1}{3}\left\vert \mathsf{ 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 129: | Linia 121: | ||
<center><math> | <center><math>\left\vert E \right\vert\leq 3\left\vert V \right\vert-6</math></center> | ||
</math></center> | |||
Linia 136: | Linia 127: | ||
{{cwiczenie|4|cw 4| | {{cwiczenie|4|cw 4| | ||
Pokaż, że spójny graf planarny <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> | o stopniu nie większym niż <math>5</math> . | ||
}} | }} | ||
Linia 149: | 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> | ż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> | 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> | <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 161: | Linia 151: | ||
<center><math> | <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 169: | Linia 158: | ||
{{cwiczenie|5|cw 5| | {{cwiczenie|5|cw 5| | ||
Znajdź liczbę chromatyczną <math> | Znajdź liczbę chromatyczną <math>{k}</math> -wymiarowej kostki <math>\mathcal{Q}_{k}</math> , czyli | ||
grafu, którego wierzchołki to ciągi <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 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> | Podzielmy wierzchołki kostki <math>\mathcal{Q}_{k}</math> na dwa zbiory: | ||
* <math> | * <math>V_1\subseteq \mathsf{ V}\!\left(\mathcal{Q}_{k}\right)</math> to zbiór wierzchołków o nieparzystej liczbie jedynek, | ||
* <math> | * <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> | 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> | A zatem miedzy wierzchołkami z <math>V_i</math> nie ma krawędzi, | ||
czyli <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 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> | <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 212: | Linia 201: | ||
<center><math> | <center><math>4f\leq 2\left\vert \mathsf{ E}\!\left(\mathbf{G}\right) \right\vert</math>,</center> | ||
</math></center> | |||
gdzie <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> | <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 | =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 | \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 229: | Linia 216: | ||
<center><math> | <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 237: | Linia 223: | ||
<center><math> | <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 244: | Linia 229: | ||
<center><math> | <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> | 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> | poprowadzimy teraz indukcyjnie ze względu na liczbę wierzchołków <math>n</math> tego grafu. | ||
Dla grafów o <math> | Dla grafów o <math>n=1</math> jest to oczywiste. | ||
Załóżmy, że <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> | istnieje wierzchołek, powiedzmy <math>v</math> , o stopniu co najwyżej trzy. | ||
Graf <math> | 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> | Wierzchołek <math>v</math> miał co najwyżej trzech sąsiadów, | ||
więc musi istnieć kolor <math> | więc musi istnieć kolor <math>c</math> nie wykorzystany przez sąsiadów <math>v</math> . | ||
Wierzchołek <math> | Wierzchołek <math>v</math> kolorujemy właśnie na kolor <math>c</math> . | ||
Uzyskaliśmy w konsekwencji kolorowanie grafu <math> | 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
Ć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?
Ćwiczenie 3
Pokaż, że dla spójnego, prostego grafu planarnego o co najmniej trzech wierzchołkach zachodzi
Ćwiczenie 4
Pokaż, że spójny graf planarny o co najmniej jednym wierzchołku posiada wierzchołek o stopniu nie większym niż .
Ćwiczenie 5
Znajdź liczbę chromatyczną -wymiarowej kostki , czyli grafu, którego wierzchołki to ciągi , gdzie , a krawędzie łączą te ciągi, które różnią się tylko na jednej pozycji.
Ćwiczenie 6
Nie korzystając z Twierdzenia 14.13 o czterech barwach pokaż, że graf planarny bez trójkątów jest czterokolorowalny.