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 - "{\sf" na "\mathsf{"
Linia 51: Linia 51:
{{wzor|1|1|
{{wzor|1|1|
<math>\displaystyle  
<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.
\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 59:




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


Linia 68: Linia 68:
{{wzor|2|2|
{{wzor|2|2|
<math>\displaystyle  
<math>\displaystyle  
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>}}


Linia 78: Linia 78:




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


Linia 124: Linia 124:


<center><math>\displaystyle 2
<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
=\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 157: Linia 157:




<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>\displaystyle 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 164:




<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>\displaystyle 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 185: Linia 185:
<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>\displaystyle \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>\displaystyle 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>\displaystyle 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>\displaystyle 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>\displaystyle 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>\displaystyle \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 215: Linia 215:




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


Linia 224: Linia 224:


<center><math>\displaystyle 4
<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
=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 232:




<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>\displaystyle \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 240:




<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>\displaystyle 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 247:




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



Wersja z 12:59, 9 cze 2020

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

Graf 𝐆 przedstawiony na rysunku 1 nie jest planarny i ponadto nie jest homeomorficzny ani ściągalny do 𝒦5 ani 𝒦3,3 .

W Twierdzeniach 14.2 oraz 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 𝐆 staje się pełnym grafem dwudzielnym 𝒦3,3 .

Ć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