Domovská stránka Jiřího Kalvody

KG1 Jiří Kalvoda: Cvičení 9

Also available as: PDF Markdown

Informace k cvičení jsou na https://kam.mff.cuni.cz/~jirikalvoda/vyuka/24z/kg1.

Párování v grafu GG je podmnožina hran taková, že žádně dvě nesdílí společný vrchol.

Hallova věta

Připomeňme grafovou verzi Hallovy věty: V bipartitním grafu GG s partitami AA a BB existuje párování velikosti A|A|, právě když pro každou množinu XAX \subseteq A platí N(X)X|N (X)| \geq |X|.

Také můžete předpokládat, že platí aktuálně zadaný domácí úkol:

Do mateřské školky přišel Mikuláš s velkým pytlem hraček. Každé dítě ukázalo na deset hraček, které se mu líbí. Ukázalo se, že každá hračka se líbí nejvýše pěti dětem. Ukažte, že je možné každému dítěti dát jako dárek dvě hračky, které se mu líbí.

  1. Nechť G=(V,E)G = (V, E) je graf. Předpokládejme, že pro každý podgraf HH grafu GG platí E(H)V(H)|E(H)| \le |V(H)| Ukažte, že je možné hrany GG nahradit orientovanými hranami tak, že do každého vrcholu bude vstupovat nejvýš jedna hrana.
  2. Nechť G=(V,E)G = (V, E) je graf. Předpokládejme, že pro každý podgraf HH grafu GG platí E(H)10V(H)|E(H)| \le 10|V(H)|. Ukažte, že je možné hrany GG nahradit orientovanými hranami tak, že do každého vrcholu bude vstupovat nejvýš deset hran.
  3. Mějme dvě přirozená čísla knk \leq n. Pojmem latinský obdélník tvaru k×nk \times n označujeme matici s kk řádky a nn sloupci vyplněnou čísly 1,,n1,\dots, n tak, že v každém řádku se každé číslo vyskytuje právě jednou a v každém sloupci se každé číslo vyskytuje nejvýš jednou. Dokažte, že pokud k<nk < n, tak ke každému latinskému obdélníku tvaru k×nk \times n lze přidat nkn - k řádků tak, aby vznikl latinský obdélník tvaru n×nn \times n, neboli latinský čtverec.

Hranová souvislost grafů

Připomeňme, že hranová souvislost grafu GG, značená ke(G)k_e(G), je největší číslo kk takové, že GG je hranově kk-souvislý, nebo ekvivalentně, ke(G)k_e(G) je velikost nejmenšího hranového řezu v grafu GG.

Mengerova věta: graf je hranově kk-souvislý, právě když mezi každými dvěma různými vrcholy existuje kk hranově disjunktních cest.

  1. Čemu je rovno ke(Kn)k_e(K_n) – tj. úplný graf? Čemu je rovno ke(Km,n)k_e(K_{m,n}) – tj. úplný bipartitní graf?
  2. Nechť GG je graf, jehož každý vrchol má stupeň právě dd. Co lze říci o hodnotě ke(G)k_e(G)?
  3. Nechť G=(V,E)G = (V, E) je graf, jehož hranová souvislost je rovna kk. Předpokládejme, že vytvoříme nový graf G+G^+ tak, že ke grafu GG přidáme nový vrchol z a spojíme ho hranami s nějakými kk různými vrcholy y1,,yky_1 , \dots , y_k grafu GG. Co lze říci o hranové souvislosti grafu G+G^+?
  4. Nechť GG je hranově kk-souvislý graf. Zvolme v něm k+1k + 1 různých vrcholů u,v1,v2,,vku, v_1 , v_2 , \dots , v_k. Dokažte, že GG obsahuje kk hranově disjunktních cest P1,,PkP_1 , \dots , P_k , kde cesta PiP_i spojuje vrchol uu s vrcholem viv_i.

Vrcholová souvislost grafů

Vrcholová souvislost, značená kv(G)k_v (G), je největší kk takové, že graf GG je vrcholově kk-souvislý. Pro neúplný graf GG je kv(G)k_v(G) rovno velikosti nejmenšího vrcholového řezu a pro KnK_n máme kv(Kn)=n1k_v (K_n) = n - 1.

Mengerova věta: graf je vrcholově kk-souvislý, právě když mezi každými dvěma různými vrcholy existuje kk vnitřně vrcholově disjunktních cest.

  1. Existuje graf GG, pro nějž je kv(G)<ke(G)k_v(G) < k_e(G)?
  2. A co kv(G)>ke(G)k_v(G) > k_e(G)?
  3. Může být rozdíl kv(G)ke(G)|k_v (G) - k_e (G)| libovolně velký?
  4. Nechť GG je graf, jehož každý vrchol má stupeň nejvýš 3. Plyne z toho, že ke(G)=kv(G)k_e (G) = k_v(G)?
  5. Nechť GG je vrcholově kk-souvislý graf. Zvolme v něm k+1k + 1 různých vrcholů u,v1,v2,,vku, v_1 , v_2 , \dots , v_k. Rozhodněte, jestli GG musí obsahovat kk vrcholově disjunktních cest P1,,PkP_1, \dots , P_k , kde cesta PiP_i spojuje vrchol uu s vrcholem viv_i.