###### tags: `Matematyka Dyskretna M`
# Lista 14
## 2
Dowód przeprowadzę przez indukcję po k.
**1$^\circ$** dla k=1
Wtedy mamy 2 wierzchołki połączone krawędzią, co daje jedną ścieżkę.
**2$^\circ$** Załóżmy, że dla k zachodzi, sprawdźmy dla k+1:
Wtedy do każdego wierzchołka dopisujemy jakiś bit 0 lub 1. Inaczej mówiąc z każdego ciągu k-bitowego robimy 2 ciągi k+1-bitowe. Weźmy dwa dowolne wierzchołki i nazwijmy je $v$ i $u$. Rozpatrzmy teraz przypadki:
**1$^\circ$** rozpatrujemy drogi między wierzchołkami $v$ i $u$, które zostały stworzone z jednego ciągu:
wtedy mamy k dróg o długości 3. $v$ jest połączony z wierzchołkiem, który ma różny bit na pozycji innej niż ostatnia, ten jest połączony z kolejnym, który ma inny ostatni bit, a ten jest połączony z $w$.
$k+1$ drogą jest bezpośrednia krawędź między tymi wierzchołkami.
**2$^\circ$** rozpatrujemy drogi między wierzchołkami, które nie zostały stworzone z jednego ciągu:
W przypadku jak mają ostatnie bity różne.
Weźmy z założenia indukcyjnego k-1 dróg rozłącznych, które wyglądają w następujący sposób. Weźmy ostatni bit $v$ i nazwijmy go b. Bit przeciwny będę oznaczał jako ~b. $v$ jest połączone z pierwszym wierzchołkiem drogi z założenia indukcyjnego, następnie jest ona połączona z wierzchołkiem z końcowym bitem równym ~b, który idzie drogą z założenia indukcyjnego
aż do $w$. Mamy więc $k-1$ rozłączonych dróg ostatnie dwie powstają z $k$-tej drogi z założenia inducyjnego. $k$-ta droga to taka, która przechodzi ostatnią drogą z założenia indukcyjnego, która ma ostatni bit równy $b$, a $k+1$ po tej drodze z ostatnimi bitami ~b.
W przypadku gdy mają takie same bity.
$k$ dróg uzyskujemy z założenia indukcyjnego. $k+1$ drogę uzyskujemy przechodząc dowolną z tych ścieżek na przeciwnym końcowym bicie.
Na podstawie indukcji matematycznej pokazałem, że teza zachodzi.
## 3
### a)
Dowód przeprowadzę przez indukcję po k.
**1$^\circ$** dla k=2
Mamy jedną krawędź więc teza zachodzi.
**2$^\circ$** Załóżmy, że dla k zachodzi, sprawdźmy dla k+1:
Dodajemy wierzchołki i łączymy je z sąsiadami, co może dać minimalnie cykl długości 4, więc nie ma możliwości dostania trójkąta, a następnie łączymy nowo powstałe wierzchołki z kolejnym-nowym wierzchołkiem, a wiemy, że między nowo powstałymi wierzchołkami nie było połączeń, więc nie przyczyni się to do powstania trójkąta.
Na podstawie indukcji matematycznej pokazałem, że teza zachodzi.
### b)
Dowód przeprowadzę przez indukcję po k.
**1$^\circ$** dla k=2
Mamy 2 wierzchołki i 2 kolory, co daje możliwość ich pokolorowania.
**2$^\circ$** Załóżmy, że dla k zachodzi, sprawdźmy dla k+1:
Przy tworzeniu $M_{k+1}$ zauważmy, że $v'_i$ łączymy z sąsiadami $v_i$, czyli każdy taki $v'_i$ można pokolorować kolorem $v_i$ (korzystając z założenia indukcyjnego), następnie $w$ kolorujemy nowym kolorem, czyli pokolorwaliśmy $M_{k+1}$ $k + 1$ kolorami.
Na podstawie indukcji matematycznej pokazałem, że teza zachodzi.
## 6
Dodajmy $n-k$ chłopców znanych przez wszystkie dziewczyny. Wtedy z twierdzenia Halla wiemy, że warunkiem koniecznym i dostatecznym aby $n$ dziewczyn (każda dziewczyna) mogło sobie znaleźć męża jest, aby każda podgrupa dziewcząt licząca $r$ osób znała co najmniej $r$ chłopców. Po odjęciu tych $n-k$ chłopców znanych przez wszystkie dziewczyny dostajemy równoważność, że warunkiem koniecznym i dostatecznym, aby $n-(n-k)=k$ dziewczyn mogło sobie znaleźć męża jest, aby każda podgrupa dziewcząt licząca $r$ osób znała co najmniej $r-(n-k)=k+r-n$ chłopców, co należało pokazać.
## 7
Weźmy wszystke wierzchołki chłopców i "rozdzielmy" je na 4 zachowując zasadę, że jak jakaś dziewczyna znała tego chłopca to będzie znała wszystkie 4 wierzchołki tego chłopca. Z twierdzenia Halla wiemy, że warunkiem koniecznym i wystarczającym, aby każda dziewczyna mogła sobie znaleźć męża jest, aby każdy podzbiór tych dziewczyn był $\leq$ liczbie rozdzielonych chłopców, których znają. Po "scaleniu" wierzchołków chłopców równoważne jest zdanie, że warunkiem koniecznym i wystarczającym jest aby każda dziewczyna mogła sobie znaleźć męża, to każdy podzbiór tych dziewczyn musi być $\leq$ liczbie wierzchołków mężczyzn podzielonych przez 4
($\frac k4$), których znają, co należało pokazać.
## 8
Indukcja po liczbie wierzchołków
**1$^\circ$**
**dla n=1**
Mamy nieparzystą liczbę wierzchołków, więc pełne skojarzenie nie istnieje.
**dla n=2**
Mamy możliwość położenia tylko jednej krawędzi, co daje pełne skojarzenie.
**2$^\circ$**
Załóżmy, że dla $n$ teza zachodzi, sprawdźmy dla $n+2$
Weźmy drzewo mające $n+2$ wierzchołków. Weźmy dowolny liść. Jeżeli w takim drzewie istniałoby pełne skojarzenie to musiałby być połączony z rodzicem krawędzią w tym drzewie (w przeciwnym wypadku nie byłoby tam pełnego skojarzenia, więc wtedy teza zachodzi). Po usunięciu liścia i jego rodzica z tezy indukcyjnej wiemy, że jest tam maksymalnie jedno skojarzenie, więc po dodaniu tych dwóch wierzchołków, również będzie tam maksymalnie 1 pełne skojarzenie.
Na podstawie indukcji matematycznej pokazałem, że teza zachodzi.
## 10
Weźmy dowolny podzbiór wierzchołków z jednej grupy wierzchołków w dowolnym grafie dwudzielnym d-regularnym i nazwijmy go $K$. Skoro jest on d-regularny to z każdego wierzchołka tej grupy wychodzi d krawędzi do drugiej grupy oraz każdy wierzchołek z drugiej grupy może "przyjąć" maksymalnie d krawędzi. Zbiór wszystkich wierzchołków, które są połączone bezpośrednio krawędzią z dowolnym wierzchołkiem z $K$ nazwijmy $W$. Zauważmy, że zachodzi nierówność $|W| \geq|K|$. Załóżmy nie wprost, że $|K| > |W|$. Z $K$ wychodzi dokładnie $d\times|K|$ krawędzi do $W$, co daje sprzeczność. Ponieważ $|W|$ może maksymalnie "przyjąć" $d\times |W|$ krawędzi (z założenia $|K| > |W|$). Czyli $|W| \geq|K|$. Z twierdzenia Halla wiemy, że w takim grafie znajduje się pełne skojarzenie, co kończy dowód.
## 11
Weźmy dowolny graf 3-regularny, w którym znajduje się cykl Hamiltona. Z lematu o uściskach dłoni wiemy, że taki graf ma parzystą liczbę wierzchołków. Przejdźmy tym cyklem jednocześnie kolorując każdą krawędź na zmianę kolorami. W taki sposób zużyliśmy dwa kolory i każdy wierzchołek ma po jednej wychodzącej krawędzi. W takiej sytuacji wystarczy, że pokolorujemy te pozostałe na trzeci kolor. Takim sposobem udało się pokolorować krawędzie takiego grafu 3 kolorami.
Nie wystarczą nam 2 kolory, ponieważ w każdym takim grafie z wierzchołków wychodzą 3 krawędzie, więc z zasady szufladkowej Dirichleta musiałyby istnieć takie 2 krawędzie, które mają ten sam kolor, a taka sytuacja nie może się zdażyć.
## 13
Z każdego wierzchołka wychodzi $n-1$ krawędzi, więc indeks chromatyczny musi być $\geq n-1$
Dla $n$ nieparzystego:
Weźmy taki graf i zauważmy i pokolorujmy go minimalną liczbą kolorów. Weźmy podgraf, który zawiera wszystkie wierzchołki i krawędzie pokolorowane jednym kolorem. Zauważmy, że taki graf ma maksymalnie $\lfloor\frac n2\rfloor$ krawędzi. Graf pełny ma krawędzi $\frac{n(n-1)}{2}$. Patrząc, że każdy taki podgraf reprezentuje jeden kolor to taki graf pełny nie można pokolorować mniejszą ilośćią kolorów niż $\frac{n(n-1)}{2\times\lfloor\frac n2\rfloor}=\frac{n(n-1)}{n-1}=n$
Dla dowolnego n:
Pokolorujmy taki graf $n$ kolorami w taki sposób, że pomiędzy wierzchołkiem $v_i$ i $v_k$, jest krawędź
($v_i$,$v_k$) pokolorowana na kolor $i+k$ (jeżeli $i+k \geq n$ to wtedy ta krawędź jest pokolorowana kolorem $i+k-n$).
Wyjątkiem jest kolorowanie krawędzi pomiędzy wierzchołkiem $v_0$. Wtedy
krawędź $(v_0, v_i)$ jest pokolorowana na kolor $2\times i$ (chyba, że jak wyżej $2\times i \geq n$ wtedy na kolor $2\times i - n$)
Czyli dowolny graf $K_n$ można pokolorować $n$ kolorami.
Dla $n$ nieparzystego kończy to dowód.
Dla $n$ parzystego:
Spróbujmy dodać jeden wierzchołek do takiego grafu pokolorowanego wyżej. Zauważmy, że wierzchołek $v_i$ nie jest połączony z żadnym innym wierzchołkiem krawędzią pokolorowaną kolorem $i$. Więc połączmy go z nowo dodanym wierzchołkiem krawędzią pokolorowaną kolorem $i$. Wtedy nowy wierzchołek jest połączony z każdym innym, zachowując zasadę kolorowania krawędzi. Czyli dla $n$ parzystego pokolorowaliśmy taki graf używając $n-1$ kolorów, co kończy dowód.
<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br>