290 likes | 415 Views
WYKŁAD 3. Kliki i zbiory niezależne. Ile co najmniej krawędzi gwarantuje istnienie kliki wielkości k ? Ile co najwyżej krawędzi gwarantuje istnienie zbioru niezależnego wielkości k ? Ile co najmniej wierzchołków gwarantuje klikę wielkości k lub zbiór niezależny wielkości l ?.
E N D
WYKŁAD 3. Kliki i zbiory niezależne • Ile co najmniej krawędzi gwarantuje istnienie kliki wielkości k? • Ile co najwyżej krawędzi gwarantuje istnienie zbioru niezależnego wielkości k? • Ile co najmniejwierzchołków gwarantuje klikę wielkości k lub zbiór niezależny wielkości l ?
Ile krawędzi gwarantuje K_3 ? • n^2/4 nie gwarantuje, bo K(n/2,n/2) • Tw. (Mantel, 1907) Jeśli graf o n wierzchołkach ma więcej niż n^2/4 krawędzi, to zawiera trójkąt. • Dowód: G – graf bez trójkąta, v --wierzchołek o stopniu Δ, N(v) – zbiór sąsiadów v w G. Zbiór N(v) jest niezależny, stąd
Ilustracja dowodu Tw. Mantla Δ v N(v) n-Δ-1 V-{v}-N(v)
Wniosek z dowodu Tw. Mantla • Jeśli n jest parzyste, G ma n^2/4 krawędzi i nie zawiera K_3, to G=K(n/2,n/2). • Jeśli n jest nieparzyste, G ma (n^2-1)/4 krawędzi i nie zawiera K_3, to G=K((n-1)/2,(n+1)/2). • Dowód dla n parzystego: w dowodzie Tw. Mantla równość e(G)=n^2/4 zachodzi tylko, gdy Δ=n/2 i nie ma krawędzi o obu końcach w V-N(v).
Uogólnienie problemu • Dane: graf H i liczba naturalna n; • Graf G nie zawierający H, o n wierzchołkach i największej możliwej liczbie krawędzi nazywamy ekstremalnym dla H i n, a jego liczbę krawędzi oznaczamy przez ex(n,H). • Na przykład, dla n parzystego i H=K_3, K(n/2,n/2) jest ekstremalny, a ex(n,K_3)=n^2/4.
Tw. Turána -- intuicja Żeby upchnąć jak najwięcej krawędzi unikając K_{k+1}, trzeba budować k-dzielny graf pełny. n/k n/k n/k
Tw. Turána Graf TuránaT_k(n) to k-dzielny graf pełny, którego podział wierzchołków składa się z k-r zbiorów mocy q i r zbiorów mocy q+1. Dla n=1,...,k-1 przyjmujemy T_k(n) = K_n. Oznaczmy t_k(n)=e(T_k(n)). Jasne, że Tw.Turána 1941 Jedynym grafem ekstremalnym dla K_{k+1} i n jest graf Turána T_k(n). W szczególności
Dowód Tw. Turána • Indukcja względem n: prawda dla n=1,...,k. • Załóżmy, że n>k a G jest grafem ekstremalnym dla n i K_{k+1}. • G musi zawierać klikę K={x_1,...,x_k} mocy k. • Z zał.ind. e(G-K) nie przekracza t_k(n-k). • Każdy wierzchołek grafu G-K ma w K co najwyżej k-1 sąsiadów.
Ilustracja: k=4 K G-K
Ilustracja: grafy Turána n=13, k=4, t_k(13)-t_k(9)=6+9•3
Dowód Tw. Turána – c.d. • G jest ekstremalny, więc e(G)=t_k(n). • Zatem każdy wierzchołek w G-K ma dokładniek-1 sąsiadów w K. • Niech V_i={v: vx_i nie jest krawędzią}. • Zbiory V_i są niezależne i pokrywają V, więc G jest k-dzielny. • Ale jedynym ekstremalnym grafem k-dzielnym jest graf Turána T_k(n).
Oszacowania liczb Turána • Łatwo pokazać, że (ćwiczenia)
Ile krawędzi gwarantuje α>2 ? nie gwarantuje, bo 2K_{n/2}(tutaj n parzyste) czyli dopełnienie grafu Turána. Ale mniej już tak – na podstawie Tw. Turána.
Oszacowanie α z dołu • Tw. Caro’79 i Wei’81 Dowód: Dla każdej permutacji wierzchołków π, niech l(π) będzie liczbą wierzchołków mających wszystkich sąsiadów „na prawo”. Tworzą one zbiór niezależny, więc
Dowód – c.d. • Niech ł(v) będzie liczbą permutacji, w których v ma wszystkich sąsiadów na prawo. Wtedy • oraz • Zatem istnieje πtakie, że
Ilustracja v N(v)
B C D A E F Przyjęcie na 6 osób • Wśród dowolnych trzech osób zawsze są co najmniej dwie tej samej płci. • Wśród dowolnych sześciu osób zawsze są co najmniej trzy, które się znają LUB co najmniej trzy, które się nie znają.
Liczba K_3 łącznie w grafie i jego dopełnieniu Goodman 1959 Łącznie trójkątów w grafie na n wierzchołkach i jego dopełnieniu jest co najmniej n(n-1)(n-5)/24. Dowód: Niech t_i będzie liczbą indukowanych podgrafów grafu G o 3 wierzchołkach i i krawędziach, i=0,1,2,3.
Ilustracja d_v v n-1- d_v
Tw. Ramseya Notacja „strzałkowa” Erdősa-Rado: Piszemy n (k,l), gdy każdy graf na n wierzchołkach zawiera klikę mocy kLUB zbiór niezależny mocy l (równoważnie, jego dopełnienie zawiera klikę mocy l). Przykład: 6 (3,3) Tw. (Ramsey 1930) Dla wszystkich naturalnych k i l, istnieje n takie, że n (k,l).
Dowód tw. Ramseya • Indukcja względem k+l • Jeśli k=2 to l (k,l). • Zawsze: n (k,l) wgdy n (l,k) • Weźmy k>2 i l>2; niech n_1 (k-1,l), n_2 (k,l-1) (tutaj stosujemy zał. ind.) • Pokażemy, że n_1+n_2 (k,l). • W dowolnym grafie G na n_1+n_2 wierzchołkach, każdy wierzchołek v ma albo co najmniej n_1 sąsiadów albo co najmniej n_2 nie-sąsiadów.
Dowód tw. Ramseya – c.d. • Bez straty ogólności (symetria!) przyjmijmy przypadek pierwszy i do podgrafu indukowanego G[N(v)], gdzie|N(v)|=n_1, zastosujmy własność n_1 (k-1,l). • Jeśli G[N(v)] zawiera zbiór niezależny mocy l, to koniec dowodu. • Jeśli G[N(v)] zawiera klikę mocy k-1, to ta klika wraz z wierzchołkiem v tworzy klikę mocy k.
Ilustracja n_1=R(k-1,l) v n_2=R(k,l-1)
Liczby Ramseya • R(k,l) to najmniejsza liczba n taka, że n (k,l). • R(3,3)=6 bo 6 (3,3) oraz istnieje graf na 5 wierzchołkach (jaki?) taki, że ω=α=2. • Z dowodu Tw. Ramseya wynika rekurencja
Oszacowania liczb Ramseya (1) (2)
Gra ramseyowska -- online Opis gry: Zaczynając od pustego grafu, w każdej rundzie Konstruktor rysuje krawędź a Malarz maluje ją jednym z dwóch kolorów. Malarz przegrywa, gdy pojawi się monochromatyczny trójkąt. Ile rund może przetrwaćMalarz, zakładając, że obaj gracze grają bezbłędnie? Na pewno nie więcej niż 15 (dlaczego?), ale czy Konstruktor może osiągnąć wygraną wcześniej?