13 Zastosowania Lematu Szemerédiego



Podobne dokumenty
KOMBINATORYKA 1 WYK LAD 9 Zasada szufladkowa i jej uogólnienia

KOMBINATORYKA 1 WYK LAD 10 Zbiory cze

FUNKCJE LICZBOWE. x 1

TEORIA GRAFÓW. MATERIA LY VI. semestr letni 2013/2014. Jerzy Jaworski. Typeset by AMS-TEX

Szymon G l ab. Struktury losowe II Graf losowy. Instytut Matematyki, Politechnika Lódzka

Algebra i jej zastosowania konspekt wyk ladu, czȩść druga

Matematyka A, klasówka, 24 maja zania zadań z kolokwium z matematyki A w nadziei, że pope lni lem wielu b le. rozwia

Wyk lad 2 Podgrupa grupy

Wyk lad 14 Cia la i ich w lasności

P (x, y) + Q(x, y)y = 0. g lym w obszrze G R n+1. Funkcje. zania uk ladu (1) o wykresie przebiegaja

Ilustracja S1 S2. S3 ściana zewnętrzna

Wersja testu D 14 września 2011 r. 1. Czy prawda jest, że a) x Z y Z y 2 = 2 ; b) x Z y Z x 2 = 1 ; c) x Z y Z x 2 = 2 ; d) x Z y Z y 2 = 1?

2 Rodziny zbiorów. 2.1 Algebry i σ - algebry zbiorów. M. Beśka, Wstęp do teorii miary, rozdz. 2 11

ROZDZIA l 13. Zbiór Cantora

1 Działania na zbiorach

Kody blokowe Wykład 5a;

Kolorowanie wierzchołków Kolorowanie krawędzi Kolorowanie regionów i map. Wykład 8. Kolorowanie

Zad. 1 Zad. 2 Zad. 3 Zad. 4 Zad. 5 SUMA

Kolorowanie płaszczyzny, prostych i okręgów

PODSTAWOWE W LASNOŚCI W ZBIORZE LICZB RZECZYWISTYCH

Zliczanie n = n(n+1) n 2 = n(n+1)(2n+1). 6 Wyprowadź w podobny sposób wzory na sume

c a = a x + gdzie = b 2 4ac. Ta postać wielomianu drugiego stopnia zwana jest kanoniczna, a wyrażenie = b 2 4ac wyróżnikiem tego wielomianu.

Pisemny egzamin dyplomowy. na Uniwersytecie Wroc lawskim. na kierunku matematyka. zadania testowe. 22czerwca2009r. 60 HS-8-8

Grzegorz Bobiński. Wykład monograficzny Programowanie Liniowe i Całkowitoliczbowe

Kongruencje pierwsze kroki

Wyk lad 9 Podpierścienie, elementy odwracalne, dzielniki zera

Matematyczne kolorowanki. Tomasz Szemberg. Wykład dla studentów IM UP Kraków, 18 maja 2016

13. Cia la. Rozszerzenia cia l.

Dziedziny Euklidesowe

Szeregi liczbowe wste

Wyk lad 12. (ii) najstarszy wspó lczynnik wielomianu f jest elementem odwracalnym w P. Dowód. Niech st(f) = n i niech a bedzie

Wyk lad 11 1 Wektory i wartości w lasne

Rozdzia l 11. Przestrzenie Euklidesowe Definicja, iloczyn skalarny i norma. iloczynem skalarnym.

Wyk lad 4 Macierz odwrotna i twierdzenie Cramera

Struktury danych i złożoność obliczeniowa Wykład 7. Prof. dr hab. inż. Jan Magott

Wyk lad 7 Baza i wymiar przestrzeni liniowej

Aproksymacja diofantyczna

Normy wektorów i macierzy

Algebra i jej zastosowania ćwiczenia

Wyk lad 7 Metoda eliminacji Gaussa. Wzory Cramera

Wyk lad 9 Baza i wymiar przestrzeni liniowej

Wyk lad 5 W lasności wyznaczników. Macierz odwrotna

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

P. Urzyczyn: Materia ly do wyk ladu z semantyki. Uproszczony 1 j. ezyk PCF

E ' E G nazywamy krawędziowym zbiorem

g liczb rzeczywistych (a n ) spe lnia warunek

Korzystając z własności metryki łatwo wykazać, że dla dowolnych x, y, z X zachodzi

KURS MATEMATYKA DYSKRETNA

Analiza matematyczna. 1. Ciągi

Wyk lad 4 Dzia lania na macierzach. Określenie wyznacznika

Niech X bȩdzie dowolnym zbiorem. Dobry porz adek to relacja P X X (bȩdziemy pisać x y zamiast x, y P ) o w lasnościach:

A. Kasperski, M. Kulej, BO -Wyk lad 5, Optymalizacja sieciowa 1

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Wyk lad 3 Wielomiany i u lamki proste

Analiza matematyczna 2, cze ść dziesia ta

SKOJARZENIA i ZBIORY WEWN. STABILNE WIERZCH. Skojarzeniem w grafie G nazywamy dowolny podzbiór krawędzi parami niezależnych.

Indukcja matematyczna, zasada minimum i maksimum. 17 lutego 2017

Wyk lad 6 Podprzestrzenie przestrzeni liniowych

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

Elementy teorii grafów Elementy teorii grafów

MATEMATYKA DYSKRETNA (MAT 182) semestr letni 2002/2003. Typeset by AMS-TEX

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

W poszukiwaniu kszta ltów kulistych

Pojȩcie przestrzeni metrycznej

Wyk lad 9 Baza i wymiar przestrzeni liniowej

L.O. św. Marii Magdaleny w Poznaniu, O POŻYTKACH PŁYN ACYCH Z RZUCANIA MONETA. Tomasz Łuczak

Układy równań i nierówności liniowych

Matematyka A, kolokwium, 15 maja 2013 rozwia. ciem rozwia

Wersja testu A 15 lutego 2011 r. jest, że a) x R y R y 2 > Czy prawda. b) y R x R y 2 > 1 c) x R y R y 2 > 1 d) x R y R y 2 > 1.

Kolorowanie wierzchołków

Wykłady z Matematyki Dyskretnej

Rozdzia l 10. Najważniejsze normalne logiki modalne

Rachunek zdań - semantyka. Wartościowanie. ezyków formalnych. Semantyka j. Logika obliczeniowa. Joanna Józefowska. Poznań, rok akademicki 2009/2010

Znajdowanie skojarzeń na maszynie równoległej

2a )2 a b2. = 2 4a ====== x + b. nawias

Charakterystyka rozbicia zbioru co najwyżej przeliczalnego. Rafał Żelazko

Informacja o przestrzeniach Hilberta

Funkcje wielu zmiennych

SPÓJNOŚĆ. ,...v k. }, E={v 1. v k. i v k. ,...,v k-1. }. Wierzchołki v 1. v 2. to końce ścieżki.

Wyk lad 4 Warstwy, dzielniki normalne

Rodzinę F złożoną z podzbiorów zbioru X będziemy nazywali ciałem zbiorów, gdy spełnione są dwa następujące warunki.

Funkcja może mieć lokalne ekstrema jedynie w punktach, w których jej gradient, czyli wektor f = grad f = [ f

Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm

26 marzec, Łańcuchy Markowa z czasem ciągłym. Procesy Stochastyczne, wykład 7, T. Byczkowski, Procesy Stochastyczne, PPT, Matematyka MAP1136

Czy istnieje zamknięta droga spaceru przechodząca przez wszystkie mosty w Królewcu dokładnie jeden raz?

Indeks odwzorowania zmiennej zespolonej wzgl. krzywej zamknietej

4. Dzia lanie grupy na zbiorze

Pierścienie grupowe wyk lad 3. lewych podmodu lów prostych. Ogólniej, aby roz lożyć dany pierścień na sume. prosta

granicą ciągu funkcyjnego (f n ) n N W symbolicznym zapicie fakt, że f jest granicą ciągu funkcyjnego (f n ) n N możemy wyrazić następująco: ε>0 N N

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d)

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Dzia lanie grupy na zbiorze. Twierdzenie Sylowa

1 Funkcje uniwersalne

Coloring the Cartesian sum of graphs

Wykład 21 Funkcje mierzalne. Kostrukcja i własności całki wzglȩdem miary przeliczalnie addytywnej

Ultrafiltry. Dominik KWIETNIAK, Kraków. 1. Ultrafiltry

GRAFY i SIECI. Graf: G = ( V, E ) - para uporządkowana

Granica funkcji. 16 grudnia Wykład 5

KOMBINATORYKA 1 WYK LAD 11 Kombinatoryczna teoria zbiorów

DZYSZKOLNE ZAWODY MATEMATYCZNE. Eliminacje rejonowe. Czas trwania zawodów: 150 minut

Transkrypt:

13 Zastosowania Lematu Szemerédiego 13.1 Twierdzenie Erdősa-Stone a (Rozdzia ly 7.1 i 7.5 podre cznika) Jednym z g lównych zagadnień ekstremalnej teorii grafów jest wyznaczenie parametru ex(n, H) = max{ G : G = n i G H}, be da cego maksymalna liczba krawe dzi w n-wierzcho lkowym grafie G nie zawieraja cym żadnej kopii danego grafu H. Graf Turána T r 1 (n) to graf (r 1)-dzielny o n r 1 wierzcho lkach i maksymalnej liczbie krawe dzie (oznaczanej t r 1 (n)). Moce jego klas podzia lu różnia sie o co najwyżej 1. Twierdzenie 6 (D 7.1.1, Turán, 1941) Dla wszystkich liczb naturalnych r i n, r > 1, każdy graf bez K r o n wierzcho lkach i ex(n, K r ) krawe dziach jest (izomorficzny z) grafem Turána. Twierdzenie 7 (D 7.1., Erdős, Stone, 1946) Dla wszystkich liczb naturalnych r i s 1, i dla każdego ǫ > 0, istnieje n 0 takie, że każdy graf o n n 0 wierzcho lkach i G t r 1 (n) + ǫn krawe dziach zawiera Ks r := K(s, s,...,s) r-dzielny graf pe lny. } {{ } r Z tego wynika ważny wniosek. Wniosek 9 ( D 7.1.3 Erdős, Simonovits, 1966) lim n ex(n, H) ( n ) = χ(h) χ(h) 1 Dowód: Niech χ(h) = r. Wtedy dla każdego n, H T r 1 (n),a zatem ex(n, H) t r 1 (n). Z drugiej strony, dla dostatecznie duzych s, H Ks, r wie c ex(n, H) ex(n, Ks r ). Na podstawie Tw. 7, dla każdego ǫ > 0 i dostatecznie dużych n, ex(n, K r s ) t r 1(n) + ǫn. 40

Ostatecznie t r 1 (n) ex(n, K r s ) t r 1(n) + ǫn i dziela c przez ( n ) oraz przechodza c z n, otrzymujemy, że ex(n, H) t lim ( r 1 (n) n n = lim ) = ) r n r 1. ( n (Niestety Wniosek 9 nie mówi wiele o grafach dwudzielnych.) Def. grafu regularności: Dane sa ǫ-regularny podzia l Π := (V 0,..., V k ) grafu G i liczba d [0, 1] (tzw. próg ge stości). Niech R = R(Π, d) be dzie grafem o zbiorze wierzcho lków {v 1,...,v k }, w którym v i v j jest krawe dzia wgdy para (V i, V j ) jest ǫ-regularna o ge stości d G (V i, V j ) d. Graf R s powstaje przez powie kszenia (blow-up) grafu R w skali s, tzn. każdy wierzcho lek v i grafu R zaste pujemy zbiorem niezależnym U i mocy s, a każda krawe dź grafem pe lnym -dzielnym K s,s. Lemat 13 (D 7.5. Lemat o zanurzaniu,,weak Blow-up Lemma ) Dla każdego d > 0 i 1 istnieje ǫ 0 > 0 takie, że dla każdego grafu H, (H), dla każdego s i dla każdego grafu G wraz z ǫ-regularnym podzia lem Π, ǫ ǫ 0, w którym każdy zbiór poza śmietnikiem ma moc l s/ǫ 0, zachodzi implikacja: H R s (Π, d) = H G Dowód: (Idea: sekwencyjne zanurzanie wierzcho lków z o przysz lość.) troska Niech H R s := R s (Π, d). Uporza dkujmy wierzcho lki H dowolnie: u 1,...,u h, h = H. Dla każdego i, niech j = σ(i) be dzie takie, że u i U j. Chcemy zanurzyć H w G, tzn. przypisać każdemu u i V (H) pewien v i V σ(i). Niech Yi 0 = V σ(i) be dzie pocza tkowym zbiorem kandydatów na v i. Zbiory kandydatów modyfikowane w trakcie sekwencyjnego zanurzania: gdy be da jako obraz pewnego u j wybierzemy v j, to dla każdego i > j takiego, że u j u i H, obetniemy Y j 1 i do Y j i := Y j 1 i N G (v j ). Ponieważ takich u i jest co najwyżej, v j można wybrać tak, by wszystkie zbiory Y j i mia ly rozmiar co najmniej (d ǫ) i. Rzeczywiście, z Zadania 41

107 wynika, że wierzcho lków nie spe lniaja cych tego wymogu jest nie wie cej niż ǫl, o ile i ǫl. Trzeba też pokazać, że wybór v j jest możliwy, tzn., że j ǫl s (bo, być może, obrazy s 1 innych wierzcho lków z U σ(j) zosta ly już wybrane i to w laśnie z Y j 1 j ). Obie powyższe nierówności z nierówności wynikaja Y j i (d ǫ 0) d ij l, która udowodnimy indukcja po j. Tutaj, Dla ǫ 0 < 1 +1 d mamy d ij = N H (u i ) {u 1,...,u j 1 }. i (d ǫ 0 ) l ( + 1)ǫ 0 l i Zadanie 107 można stosować, co w zasadzie kończy dowód. Idea dowódu Twierdzenia 7: Stosujemy Lemat 9 z tak dobranymi parametrami, by graf regularności R(Π, d) mia l wie cej niż 1 kr r 1 t r 1(n) krawe dzi, i na podstawie Tw. Turána zawiera l graf pe lny K r. Wtedy też R s zawiera K r s, i na podstawie Lematu 13, rownież G zawiera Kr s. 13. Krawe dziowe liczby Ramseya (Twierdzenie 9.. w podre czniku) Twierdzenie 8 (D 9.1.1 Ramsey, 1930) 4

Liczba Ramseya R(H) nazywamy najmniejsza liczbe naturalna N taka, że każde -kolorowanie krawe dzi grafu pe lnego K N prowadzi do monochromatycznej kopii grafu H. Gdy H = K n, to piszemy R(n) zamiast R(K n ). Na przyk lad R(3) = 6. Wiadomo, że dla n > 3, R(n) > n. Jednak dla rzadkich grafów H (a takimi sa grafy o ograniczonym maksymalnym stopniu) liczby Ramseya R(H) rosna liniowo z n = H. Twierdzenie 9 (D 9.., Chvatál, Rödl, Trotter, Szemerédi, 1983) Dla każdego 1 istnieje c > 0 takie, że dla każdego grafu H o maksymaknym stopniu (H) mamy R(H) c H. Dowód: Przyjmijmy d = 1/. Niech ǫ 0 = ǫ 0 (d, ) be dzie jak w Lemacie 13. Ustalmy też m = R( + 1) i wybierzmy ǫ ǫ 0 tak, by ǫ < 1 m 1 1 m. Niech M = M(ǫ, m) be dzie jak w Lemacie Szemerédiego 9. Pokażemy prawdziwość twierdzenia dla c =. Niech n = H, N = M ǫ 0 (1 ǫ) cn i niech K N = G Ḡ be dzie -kolorowaniem grafu pe lnego KN, gdzie przez G oznaczamy graf z lożony z czerwonych krawe dzi (a przez Ḡ z niebieskich). Stosuja c Lemat 9 do G otrzymujemy ǫ-regularny podzia l Π = {V 0, V 1,..., V k }, gdzie V 0 < ǫn, V 1 =... = V k = l i m k M. Zauważmy, że l = N V 0 k n ǫ 0. Oszacujmy od do lu krawe dzi grafu regularności R = R(Π, 0) reprezentuja cego pary ǫ-regularne podzia lu Π bez żadnych warunków na ich ge stość liczbe (sta d drugi parametr jest równy 0). Mamy R ( ) k ǫk > m (m 1) k t m 1 (k). Zatem na podstawie tw. Turána R K m. Oznaczmy te klike przez K i pomalujmy jej krawe dzie {i, j} na dwa kolory: różowy, jeśli d G (V i, V j ) 1/ i b le kitny w przeciwnym razie. Z definicji liczby Ramseya, tak pomalowany graf K zawiera klike K +1, której wszystkie krawe dzie sa w tym samym kolorze. 43

Ponieważ χ(h) + 1, to H Kn +1, gdzie Kn +1 powstaje z K +1 przez n-krotne rozdmuchanie. Zatem, jeśli tym kolorem jest różowy, to H R n (Π, 1/) i na podstawie Lematu 13 H G. Jeśli natomiast tym kolorem jest b le kitny, to to samo jest w stosunku do grafu Ḡ. Korzystamy tu prawda z Zadania 106. 44