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

Podobne dokumenty
FUNKCJE LICZBOWE. x 1

KOMBINATORYKA 1 WYK LAD 10 Zbiory cze

13 Zastosowania Lematu Szemerédiego

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

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

2. PRZELICZANIE OBIEKTÓW KOMBINATORYCZNYCH

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

Wzory Viete a i ich zastosowanie do uk ladów równań wielomianów symetrycznych dwóch i trzech zmiennych

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

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

13. Cia la. Rozszerzenia cia l.

PODSTAWOWE W LASNOŚCI W ZBIORZE LICZB RZECZYWISTYCH

dkowanych par liczb rzeczywistych postaci z = (a, b). W zbiorze tym wprowadzamy dzia lania +, w naste dziemy z liczba

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.

Dziedziny Euklidesowe

Wyk lad 2 Podgrupa grupy

Wyk lad 7 Baza i wymiar przestrzeni liniowej

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

ROZDZIA l 13. Zbiór Cantora

Granice funkcji, definicja cia

Obóz Naukowy Olimpiady Matematycznej Gimnazjalistów

Indeks odwzorowania zmiennej zespolonej wzgl. krzywej zamknietej

Pojȩcie przestrzeni metrycznej

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.

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

Wyk lad 3 Wielomiany i u lamki proste

Algebra i jej zastosowania ćwiczenia

MiNI Akademia Matematyki na Politechnice Warszawskiej

Komponent wspólny. dla Kół Młodych Naukowców z przedmiotu matematyka dla klas licealnych 2 i 3 w roku szkolnym 2011 / 2012.

Analiza dla informatyków 1 DANI LI1 Pawe l Domański szkicowe notatki do wyk ladu

Matematyka A, egzamin, 17 czerwca 2005 rozwia zania

= (3x 2)(2x 3). Sta d wnioskujemy, że 6x 3 x 2 20x + 12 = =(x + 2)(3x 2)(2x 3), co kończy zadanie.

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

Wyk lad 4 Warstwy, dzielniki normalne

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

Analiza matematyczna 2, cze ść dziesia ta

Wyk lad 7 Metoda eliminacji Gaussa. Wzory Cramera

sa dzie metryka z euklidesowa, to znaczy wyznaczaja ca cki, Wojciech Suwiński)

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Niezmienniki i pó lniezmienniki w zadaniach

Funkcje wielu zmiennych cia

Procesy Stochastyczne - Zestaw 1

W mowie potocznej formu lujemy takie zdania, o których możemy powiedzieć, że sa. du na to, jaka jest aktualna sytuacja w otaczaja

dna szeregu. ; m., k N ; ó. ; u. x 2n 1 ; e. n n! jest, że

Wyk lad 11 1 Wektory i wartości w lasne

Algebra i jej zastosowania ćwiczenia

g liczb rzeczywistych (a n ) spe lnia warunek

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

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

5. Obliczanie pochodnych funkcji jednej zmiennej

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

EGZAMIN, ANALIZA 1A, zadań po 5 punktów, progi: 30=3.0, 36=3.5, 42=4.0, 48=4.5, 54=5.0

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

Macierze - obliczanie wyznacznika macierzy z użyciem permutacji

Algebra i jej zastosowania ćwiczenia

Szeregi liczbowe wste

Wyk lad 9 Baza i wymiar przestrzeni liniowej

Matematyka dyskretna. Andrzej Łachwa, UJ, A/14

Algebra konspekt wykladu 2009/10 1. du na dzialanie na zbioze G, jeśli dla dowolnych elementów x, y S, x y S. S jest zamkniety ze wzgle

Dzia lanie grupy na zbiorze. Twierdzenie Sylowa

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

Kombinatoryka. 7. Niechk 1.Ilerozwia zańwliczbachca lkowitychnieujemnychmarównanie. x 1 +x 2 + +x k =n?

c ze wzoru dwumianowego Newtona obliczyć sumy: a) 3 2 obliczyć wartości wyrazów będa cych liczbami ca lkowitymi,

Geometria odwzorowań inżynierskich rzut środkowy 06A

Statystyka w analizie i planowaniu eksperymentu

Grupy i cia la, liczby zespolone

Indukcja matematyczna

12. Wykazać, że liczba podzbiorów zbioru {1, 2,..., n}, które nie zawieraja, dwu kolejnych liczb naturalnych

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?

- Wydział Fizyki Zestaw nr 2. Krzywe stożkowe

LX Olimpiada Matematyczna

W zbiorze liczb rzeczywistych wyróżnia sie pewne podzbiory. Zaczniemy od najważniejszego, tj. od zbioru liczb naturalnych.

PEWNIK DEDEKINDA i jego najprostsze konsekwencje

Wyk lad 1 Podstawowe struktury algebraiczne

Teoria miary WPPT IIr. semestr zimowy 2009 Wyk lady 6 i 7. Mierzalność w sensie Carathéodory ego Miara Lebesgue a na prostej

1 + c. : c(1+c) b. b c 1+c. ab, b) a, b > 0 ( 1 a + 1 b

Przestrzenie wektorowe, liniowa niezależność wektorów, bazy przestrzeni wektorowych

- Wydział Fizyki Zestaw nr 2. Krzywe stożkowe

Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm

Funkcje wielu zmiennych cia

1. Zadania z Algebry I

cie uk ladu równań liniowych i podaliśmy sposoby rozwia

Wyk lad 9 Baza i wymiar przestrzeni liniowej

Algebra liniowa z geometria. - zadania Rok akademicki 2010/2011

Wyk lad 4. Grafy skierowane

5. Podgrupy normalne i grupy ilorazowe

KOMBINATORYKA 1 Struktury kombinatoryczne

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:

Wyk lad 14 Formy kwadratowe I

Wyk lad 14 Cia la i ich w lasności

WYK LAD 2: PODSTAWOWE STRUKTURY ALGEBRAICZNE, PIERWIASTKI WIELOMIANÓW, ROZK LAD FUNKCJI WYMIERNEJ NA U LAMKI PROSTE

Normy wektorów i macierzy

Ciała i wielomiany 1. przez 1, i nazywamy jedynką, zaś element odwrotny do a 0 względem działania oznaczamy przez a 1, i nazywamy odwrotnością a);

Funkcje wielu zmiennych

Statystyka w analizie i planowaniu eksperymentu

Problemy Decyzyjne dla Systemów Nieskończonych

Tekst poprawiony 27 XII, godz. 17:56. Być może dojda

Uwagi ogólne: Zadania oznaczone ( ) w zasadzie powinny być oczywiste i jako takie winny być omówione

1 Znaleźć wszystkie możliwe tabelki dzia lań grupowych na zbiorze 4-elementowym.

Wykªad 4. Funkcje wielu zmiennych.

Transkrypt:

KOMBINATORYKA 1 WYK LAD 9 Zasada szufladkowa i jej uogólnienia 18 grudnia 2006 Zasada szufladkowa, zwana też zasada Dirichleta, a w jez. ang.,,pigeonhole Principle może być sformu lowana naste puja co. Jeśli n + 1 go le bi przyfrune lo do n go le bników, to w pewnym go le bniku be da przynajmniej dwa go le bie. Bardziej formalnie... Twierdzenie 1 (Zasada szufladkowa) Jeżeli X = X 1... X t oraz X t + 1, to dla pewnego i {1,..., t} zachodzi X i 2. Przyk lady: Maja c dowolne dwa pude lka (prostopad lościany) zawsze możma postawić jedno na drugim tak, by górne pude lko nie wystawa lo poza obre b dolnego. Na p laszczyźnie danych jest pie ć punktów o wspó lrze dnych ca lkowitych. Uzasadnić, że środek jednego z odcinków la cza cych te punkty jest również punktem o wspó lrze dnych ca lkowitych. W każdym grafie istnieja 2 wierzcho lki o tym samym stopniu Jest zadziwiaja ce, że dzie ki tak prostemu aparatowi matematycznemu można wykazać prawdziwość niebanalnych faktów. Jako pierwsze zastosowanie tej metody, przedstawimy dowód twierdzenia Erdősa-Szekeresa dotycza cego monotonicznych gów liczb rzeczywistych. Mówimy, że cia g liczb rzeczy- 1

wistych x 1, x 2,..., x n jest monotonicznie rosna cy, jeżeli x 1 x 2... x n, monotonicznie maleja cy, jeżeli x 1 x 2... x n i monotoniczny, jeżeli jest monotonicznie rosna cy lub maleja cy. Twierdzenie 2 (Erdős, Szekeres, 1935) Niech a, b be da liczbami naturalnymi, n = ab + 1 i niech x 1, x 2,..., x n be dzie dowolnym cia giem n liczb rzeczywistych. Wówczas cia g ten zawiera monotonicznie rosna cy (maleja cy) g z lożony z a + 1 elementów albo monotonicznie maleja cy (rosna cy) g z lożony z b + 1 elementów. Dowód: Każedmu elementowi x i zadanego cia gu n liczb rzeczywistych przyporza dkujmy uporza dkowana pare (l i, l+ i ), gdzie l i jest d lugościa najd luższego monotonicznie maleja cego gu o pocza tku w x i, a l + i jest d lugościa najd luższego monotonicznie rosna cego gu o pocza tku w x i. Za lóżmy nie wprost, że każdy g monotonicznie maleja cy ma d lugość a i każdy g monotonicznie rosna cy ma d lugość b. Zdefiniujmy funkcje f : {1, 2,..., ab + 1} {1, 2,..., a} {1, 2,..., b} w taki sposób, że f(i) = (l i, l+ i ), i = 1, 2,..., ab + 1 Funkcja f dzia la ze zbioru mocy n w zbiór mocy co najwyżej ab = n 1. Zatem na podstaeie zasady szufladkowej istnieja i < j takie, że f(i) = f(j). Jest to jednak niemożliwe. Jeżeli x i x j, to mamy l + i > l + j, a w przypadku, gdy x i x j, to l i > l j. Twierdzenie Erdősa-Szekeresa jest,,najlepsze z możliwych w tym sensie, że przestaje być prawdziwe, gdy wartość n zmniejszymy z ab + 1 do ab. Zauważmy bowiem, że naste puja cy cia g z lożony z ab liczb ca lkowitych nie zawiera ani monotonicznego rosna cego gu z lożonego z a + 1 wyrazów ani monotonicznego maleja cego gu z lożonego z b + 1 wyrazów: ba + 1, ba + 2,..., ba + a (b 1)a + 1, (b 1)a + 2,..., (b 1)a + a,...... 2a + 1, 2a + 2,..., 2a + a a + 1, a + 2,..., a + a 2

Uwaga 1 Czasem zasada szufladkowa jest formu lowana w formie swojej transpozycji jako zasada iniekcji. Twierdzenie 3 (Zasada iniekcji) Jeśli f : D R jest różnowartościowa, to D R. Zauważmy, że transpozycja powyższej zasady brzmi: jeśli D > R, to dla każdej funkcji f : D R istnieja x, y D takie, że f(x) = f(y). Interpretuja c R jako zbiór t szufladek, D zbiór rozmieszczanych elementów, a f jako rozmieszczenie (przeciwobrazy f wyznaczaja podzia l D), otrzymujemy zasade szufladkowa. W powyższym dowodzie zasada iniekcji wydaje sie nawet bardziej na miejscu, ale, oczywiście oba podejścia sa równoważne. Naturalnym uogólnieniem zasady szufladkowej jest tak zwana zasada podzia lowa, która stwierdza, że jeżeli zbiór o dostatecznie dużej liczbie elementów podzielimy na pewna liczbe cze ści, to któraś z nich be dzie zawiera la odpowiednio dużo elementów. Twierdzenie 4 (Zasada podzia lowa) Niech m 1,..., m t be dzie cia giem liczb naturalnych. Jeżeli X = X 1... X t oraz ( t ) X m i t + 1 i=1 to dla pewnego i {1,..., t} zachodzi X i m i. Podamy teraz dwa przyk lady zastosowań zasady podzia lowej. Twierdzenie 5 (Przyje cie na sześć osób, czyli tw. Ramseya dla par i trójka ta) Wśród dowolnych sześciu osób zawsze sa trzy, które znaja sie nawzajem LUB trzy, które nie znaja sie nawzajem. Dowód: Ustalmy jedna osobe, powiedzmy A. Na podstawie zasady podzia lowej z t = 2, m 1 = m 2 = 3, A zna co najmniej 3 lub nie zna co najmniej 3 osób wśród pozosta lych... W oparciu o zasade podzia lowa można podać (troche ) inny dowód Tw. Erdősa i Szekeresa. Drugi dowód tw. Erdősa i Szekeresa: Przy za lożeniu, 3

że nie ma gu rosna cego mocy wie kszej niż a, rozważmy funkcje g : [n] [a] określona wzorem g(i) = l + i. Stosujac zasade podzia lowa z t = a i m i = b+1, i = 1,..., a, wnioskujemy, że pewne b+1 liczb x i1,..., x ib+1, i 1 <... i b+1, ma te sama wartość parametru l + i. Gdyby dla pewnych j < l, by lo x ij x il, to l + i j > a sprzeczność. Zatem x i1 > > x ib+1 i otrzymujemy g maleja cy mocy b + 1. Zasada szufladkowa i jej uogólnienie, zasada podzia lowa, sa szczególnymi przypadkami dość oczywistej zasady średniej. Twierdzenie 6 (Zasada średniej) Dla dowolnych liczb rzeczywistych a 1,..., a t istnieja takie i, j, że a i 1 t (a 1 +... + a t ) a j. Na przyk lad, jest niemożliwe, by wszyscy zarabiali powyżej średniej lub by wszyscy spożywali mniej alkoholu niż,,średnia krajowa na g lowe mieszkańca. W szczególności, jeżeli to X = X 1... X t, 1. dla pewnego i {1,..., t} zachodzi X i X t ; 2. jeśli natomiast dodatkowo za lożyć, że wszystkie zbiory X i sa parami roz la czne, to dla pewnego i {1,..., t} zachodzi X i X t. Można pokazać, że implikacja (1) jest równoważna zasadzie podzia lowej (Ćwiczenie!). Ta forma zasady podzia lowej jest cze sto stosowana lacznie z metoda dwukrotnego przeliczania, która teraz zilustrujemy bardzo ważnym (historycznie). Ścieżki hamiltonowskie w turniejach. Turniej to zorientowany graf pe lny. Przez ścieżke w turnieju rozumiemy ścieżke skierowana. Ścieżka hamiltonowska, to ścieżka przechodza ca przez wszystkie wierzcho lki turnieju. Każdy turniej posiada co najmniej jedna ścieżke hamiltonowska. Teraz pokażemy, że sa turnieje, które maja ich wiele. Twierdzenie 7 (Tw. Szele, 1943) Dla każdego naturalnego n, istnieje turniej na n wierzcho lkach posiadaja cy co najmniej n!2 n+1 ścieżek Hamiltona. 4

Dowód: Niech T n be dzie zbiorem wszystkich turniejów na zbiorze wierzcho lków [n]. Zauważmy, że T n = 2 (n 2). Dla każdego T Tn, niech x T oznacza liczbe ścieżek Hamiltona zawartych w T. Naszym celem jest pokazanie, że średnia 2 ( n 2) T x T jest równa n!2 n+1. Jest to fakt znacznie mocniejszy od tezy twierdzenia, która wynika z niego natychmiast na podstawie zasady średniej. Suma T x T przelicza uporza dkowane pary (T, π), gdzie T T n a π jest ścieżka Hamiltona w T. Teraz wprawimy w ruch technike dwukrotnego przeliczania. Ścieżka Hamiltona jest jednoznacznie określona przez podanie permutacji wierzcho lków. Te same pary (T, π) można wie c przeliczyć sumuja c po wszystkich n! permutacjach π liczby y π zliczaja ce wszystkie turnieje T zawieraja ce dana ścieżke π. Nietrudno zauważyć, że y π = 2 (n 2) n+1 dla każdej permutacji π. Ostatecznie, x T = y π = n!2 (n2) n+1, π co należa lo dowieść. T 5