O pewnym zadaniu olimpijskim

Podobne dokumenty
Metodydowodzenia twierdzeń

A = n. 2. Ka»dy podzbiór zbioru sko«czonego jest zbiorem sko«czonym. Dowody tych twierdze«(elementarne, lecz nieco nu» ce) pominiemy.

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

WST P DO TEORII INFORMACJI I KODOWANIA. Grzegorz Szkibiel. Wiosna 2013/14

XVII Warmi«sko-Mazurskie Zawody Matematyczne

1 Metody iteracyjne rozwi zywania równania f(x)=0

Zad. 1 Zad. 2 Zad. 3 Zad. 4 Zad. 5 SUMA. W obu podpunktach zakªadamy,»e kolejno± ta«ców jest wa»na.

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Przekroje Dedekinda 1

Metody dowodzenia twierdze«

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Ciaªa i wielomiany. 1 Denicja ciaªa. Ciaªa i wielomiany 1

X WARMI SKO-MAZURSKIE ZAWODY MATEMATYCZNE 18 maja 2012 (szkoªy ponadgimnazjalne)

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Matematyka dyskretna dla informatyków

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Funkcje, wielomiany. Informacje pomocnicze

Wybrane poj cia i twierdzenia z wykªadu z teorii liczb

Listy Inne przykªady Rozwi zywanie problemów. Listy w Mathematice. Marcin Karcz. Wydziaª Matematyki, Fizyki i Informatyki.

Relacj binarn okre±lon w zbiorze X nazywamy podzbiór ϱ X X.

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

JAO - J zyki, Automaty i Obliczenia - Wykªad 1. JAO - J zyki, Automaty i Obliczenia - Wykªad 1

WST P DO TEORII INFORMACJI I KODOWANIA. Grzegorz Szkibiel. Wiosna 2013/14

Podzbiory Symbol Newtona Zasada szuadkowa Dirichleta Zasada wª czania i wyª czania. Ilo± najkrótszych dróg. Kombinatoryka. Magdalena Lema«ska

Wykªad 7. Ekstrema lokalne funkcji dwóch zmiennych.

1 Kodowanie i dekodowanie

Hotel Hilberta. Zdumiewaj cy ±wiat niesko«czono±ci. Marcin Kysiak. Festiwal Nauki, Instytut Matematyki Uniwersytetu Warszawskiego

2 Podstawowe obiekty kombinatoryczne

Lab. 02: Algorytm Schrage

Wst p teoretyczny do wiczenia nr 3 - Elementy kombinatoryki

ELEMENTARNA TEORIA LICZB. 1. Podzielno±

Liczenie podziaªów liczby: algorytm Eulera

ANALIZA NUMERYCZNA. Grzegorz Szkibiel. Wiosna 2014/15

c Marcin Sydow Przepªywy Grafy i Zastosowania Podsumowanie 12: Przepªywy w sieciach

c Marcin Sydow Spójno± Grafy i Zastosowania Grafy Eulerowskie 2: Drogi i Cykle Grafy Hamiltonowskie Podsumowanie

Zdzisªaw Dzedzej, Katedra Analizy Nieliniowej pok. 611 Kontakt:

Czy funkcja zadana wzorem f(x) = ex e x. 1 + e. = lim. e x + e x lim. lim. 2 dla x = 1 f(x) dla x (0, 1) e e 1 dla x = 1

Zestaw 1 ZESTAWY A. a 1 a 2 + a 3 ± a n, gdzie skªadnik a n jest odejmowany, gdy n jest liczb parzyst oraz dodawany w przeciwnym.

Ukªady równa«liniowych

Zbiory i odwzorowania

1 a + b 1 = 1 a + 1 b 1. (a + b 1)(a + b ab) = ab, (a + b)(a + b ab 1) = 0, (a + b)[a(1 b) + (b 1)] = 0,

Podstawy matematyki dla informatyków

Algorytmiczna teoria grafów

KLASYCZNE ZDANIA KATEGORYCZNE. ogólne - orzekaj co± o wszystkich desygnatach podmiotu szczegóªowe - orzekaj co± o niektórych desygnatach podmiotu

Matematyka dyskretna dla informatyków

Teoria grafów i jej zastosowania. 1 / 126

ZADANIA. Maciej Zakarczemny

x y x y x y x + y x y

Liczby zmiennoprzecinkowe

1 Bª dy i arytmetyka zmiennopozycyjna

1 Przypomnienie wiadomo±ci ze szkoªy ±redniej. Rozwi zywanie prostych równa«i nierówno±ci

Kolorowanie punktów na pªaszczy¹nie, czyli kilka sªów o geometrii kombinatorycznej.

Interpolacja funkcjami sklejanymi

Twierdzenie Wainera. Marek Czarnecki. Warszawa, 3 lipca Wydziaª Filozoi i Socjologii Uniwersytet Warszawski

Metoda tablic semantycznych. 1 Metoda tablic semantycznych

Wielomiany o wspóªczynnikach rzeczywistych

Równania ró»niczkowe I rz du (RRIR) Twierdzenie Picarda. Anna D browska. WFTiMS. 23 marca 2010

Semestr letni 2014/15

Lekcja 12 - POMOCNICY

Wykªad 3. Funkcje skrótu

Ekstremalnie fajne równania

Wykªad 05 (granice c.d., przykªady) Rozpoczniemy od podania kilku przykªadów obliczania granic ci gów. n an = + dla a > 1. (5.1) lim.

Elementy geometrii w przestrzeni R 3

Rozwi zania klasycznych problemów w Rendezvous

1 Granice funkcji wielu zmiennych.

Materiaªy do Repetytorium z matematyki

Matematyka dyskretna dla informatyków

5. (8 punktów) EGZAMIN MAGISTERSKI, r Matematyka w ekonomii i ubezpieczeniach

Funkcja kwadratowa, wielomiany oraz funkcje wymierne

CAŠKOWANIE METODAMI MONTE CARLO Janusz Adamowski

Lekcja 8 - ANIMACJA. 1 Polecenia. 2 Typy animacji. 3 Pierwsza animacja - Mrugaj ca twarz

Strategia czy intuicja?

i, lub, nie Cegieªki buduj ce wspóªczesne procesory. Piotr Fulma«ski 5 kwietnia 2017

Listy i operacje pytania

PRZYPOMNIENIE Ka»d przestrze«wektorow V, o wymiarze dim V = n < nad ciaªem F mo»na jednoznacznie odwzorowa na przestrze«f n n-ek uporz dkowanych:

Proste modele o zªo»onej dynamice

Statystyka matematyczna - ZSTA LMO

Indeksowane rodziny zbiorów

Lekcja 9 - LICZBY LOSOWE, ZMIENNE

Bash i algorytmy. Elwira Wachowicz. 20 lutego

Zadania z PM II A. Strojnowski str. 1. Zadania przygotowawcze z Podstaw Matematyki seria 2

W poprzednim odcinku... Podstawy matematyki dla informatyków. Relacje równowa»no±ci. Zbiór (typ) ilorazowy. Klasy abstrakcji

Algorytmy tekstowe. Andrzej Jastrz bski. Akademia ETI

P tle. Rozdziaª Wst p. 4.2 P tle P tla for(...);

Vincent Van GOGH: M»czyzna pij cy li»ank kawy. Radosªaw Klimek. J zyk programowania Java

Rozdział 6. Pakowanie plecaka. 6.1 Postawienie problemu

Ekstremalnie maªe zbiory

Model obiektu w JavaScript

Wst p do sieci neuronowych, wykªad 15 Algorytmy genetyczne

Tw. 1. Je»eli ci g {a n } ma granic a i ci g {b n } ma granic b, to ci g {a n b n } ma granic a b. Tw. 2. b n. Tw. 3. Tw. 4.

WST P DO KRYPTOGRAFII. Grzegorz Szkibiel. Jesie«2012/13

Maszyny Turinga i problemy nierozstrzygalne. Maszyny Turinga i problemy nierozstrzygalne

Oba zbiory s uporz dkowane liniowo. Badamy funkcj w pobli»u kresów dziedziny. Pewne punkty szczególne (np. zmiana denicji funkcji).

Zadania z kolokwiów ze Wst pu do Informatyki. Semestr II.

Mosty królewieckie, chi«ski listonosz i... kojarzenie maª»e«stw

W zadaniach na procenty wyró»niamy trzy typy czynno±ci: obliczanie, jakim procentem jednej liczby jest druga liczba,

Programowanie wspóªbie»ne

Podstawy matematyki dla informatyków. Funkcje. Funkcje caªkowite i cz ±ciowe. Deniowanie funkcji. Wykªad pa¹dziernika 2012

Ÿ1 Oznaczenia, poj cia wst pne

Transkrypt:

O pewnym zadaniu olimpijskim Michaª Seweryn, V LO w Krakowie opiekun pracy: dr Jacek Dymel Problem pocz tkowy Na drugim etapie LXII Olimpiady Matematycznej pojawiª si nast puj cy problem: Dla ka»dej liczby caªkowitej n 3 wyznaczy najwi ksz mo»liw dªugo± takiego ci gu o wyrazach w zbiorze n-elementowym,»e»adne jego dwa s siednie wyrazy nie s równe a ponadto nie mo»na w wyniku wykre±lenia wszystkich jego wyrazów z wyj tkiem czterech otrzyma ci gu postaci x, y, x, y, gdzie x y. Swoj prac zaczn od przedstawienia rmowego rozwi zania zadania. Niech c n oznacza poszukiwan najwi ksz dªugo±. Rozwa»my ci g (a 1, a,..., a k ) o wyrazach w zbiorze n-elementowym, maj cy opisan wªasno±. W±ród wszystkich warto±ci wyst puj cych w tym ci gu niech u b dzie t, której pierwsze wyst pienie w ci gu jest najdalsze; oznaczmy je przez a l = u. Zatem ka»dy element ró»ny od u, który wyst puje chocia» raz w tym ci gu, jest obecny w±ród wyrazów a 1, a,..., a l 1. Wyka»emy,»e element u pojawia si w ci gu tylko raz. Przypu± my,»e wyraz a m = u jest drugim wyst pieniem elementu u w rozwa»anym ci gu. Oczywi±cie a l+1 = w u, gdy» na mocy warunków zadania s siednie wyrazy a l i a l+1 s ró»ne. W takim razie m l +. Ponadto - na mocy okre±lenia u - w±ród wyrazów a 1, a,..., a l 1 wyst puje w, czyli a i = w dla pewnego i l 1. Jednak wówczas skre±laj c wszystkie wyrazy ci gu z wyj tkiem a i, a l, a l+1, a m otrzymujemy ci g postaci w, u, w, u, w sprzeczno±ci z zaªo»eniami zadania. Istotnie wi c wyst pienie elementu u w ci gu a 1, a,..., a k jest pojedyncze. Wykre±lmy z ci gu wyraz a l = u. Ponadto je±li wyrazy a l 1 i a l+1 byªy równe, to wykre±lmy tak»e jeden z nich. Otrzymamy w ten sposób ci g o dªugo±ci co najmniej k, w którym wyst puje co najwy»ej n 1 ró»nych wyrazów, i nie zawieraj cy dwóch jednakowych s siednich wyrazów. St d wniosek,»e ci g ten speªnia warunki zadania, je»eli tylko n 1 3. Zatem dla n 4 mamy k c n 1. Przyjmuj c c = 3 widzimy,»e nierówno± ta jest prawdziwa tak»e dla n = 3. Ka»dy bowiem ci g o dªugo±ci co najmniej 4 o wyrazach ze zbioru dwuelementowego, nie zawieraj cy dwóch jednakowych s siednich wyrazów, zaczyna si od podci gu postaci x, y, x, y. Jednak k jest dªugo±ci dowolnie wybranego dozwolonego ci gu o wyrazach w zbiorze n-elementowym. Zatem z zale»no±ci k c n 1 otrzymujemy c n c n 1 + dla n =, 3, 4,... Skoro c = 3, wi c przez prost indukcj uzyskujemy c n n 1 dla ka»dego n. Na koniec zauwa»my, ze (n 1)-wyrazowy ci g: 1,, 3,..., n 1, n, n 1,..., 3,, 1 1

o wyrazach ze zbioru n-elementowego ma postulowan wªasno±. Odpowied¹: Szukana najwi ksza dªugo± ci gu wynosi n 1. Uogólnienie problemu W dalszej cz ±ci swojej pracy próbuj rozwi za problem w wersji uogólnionej, to znaczy dla sytuacji, gdy inny jest rodzaj sekwencji, które nie mog by podci gami ci gu. W swojej pracy ci giem poprawnym b d nazywaª ci g, który speªnia warunki problemu w aktualnie rozpatrywanej wersji, za± ci giem maksymalnym b d nazywaª najdªu»szy ci g poprawny. Rozwa»my nast puj cy problem: 1.Dla liczb caªkowitych dodatnich n,p znale¹ maksymaln dªugo± ci gu o wyrazach w zbiorze n-elementowym, który nie zawiera podci gu postaci x, y, x, y,... oraz»adne dwa }{{} p s siednie wyrazy nie s sobie równe. Dla p = problem jest trywialny i ci g mo»e mie maksymalnie 1 wyraz. Dla p = 3 problem nadal jest trywialny i ci g mo»e mie maksymalnie n wyrazów. Dla p = 4 mamy dokªadnie to zadanie, które pojawiªo si na Olimpiadzie Matematycznej. Dla p > 4 zaczyna si robi du»o ciekawiej. Przyjrzyjmy si bli»ej sytuacji, gdy p = 6. Oznaczmy przez d n poszukiwan najdªu»sz dªugo± ci gu o wyrazach w zbiorze n-elementowym. Oto warto±ci d i dla i 6 oraz przykªadowy maksymalny ci g. d 1 = 1 (1) d = 5 (1,, 1,, 1) d 3 = 10 (1,, 3,, 3, 1, 3, 1,, 1) d 4 = 16 (1,, 3,, 3, 1, 3, 4, 3, 4, 1, 4,, 4,, 1) d 5 = (1,, 3, 4, 3, 4,, 4, 5 4, 5,, 5, 3, 5, 1, 5, 1 3, 1,, 1) d 6 = 9 (1,, 3, 4, 5, 4, 5, 3, 5,, 5, 6, 5, 6,, 6, 3, 6, 4, 6, 1, 6, 1, 4, 1, 3, 1,, 1) Powy»sze wyniki zostaªy obliczone przez napisany przeze mnie program, który opiera si na algorytmie typu brute-force wygl daj cy w nast puj cy sposób: funkcja szukajciagu() je±li obecny ci g jest dªu»szy od najdªu»szego ci gu znalezionego do tej pory zapami taj nowy najdªu»szy ci g dla ka»dego i nale» cego do {1,,..., n} dodaj na koniec ci gu i je±li ci g jest poprawny szukajciagu() w przeciwnym przypadku usu«ostatni element ci gu.

Przedstawiona powy»ej procedura znajduje najdªu»szy poprawny ci g, jaki mo»e powsta w wyniku dodawania elementów do zadanego ci gu. Dla ka»dego i {1,,..., n}, je±li tylko ci g z dodanym na ko«cu i jest poprawny, to procedura próbuje dodawa nast pne elementy. Je±li w mi dzyczasie podci g uzyska dªugo±, jakiej nigdy wcze±niej nie osi gn ª, to ów ci g zostaje zapami tany. W efekcie ka»dy ci g albo zostanie sprawdzony przez procedur, albo zostanie wykluczony, gdy» ile± pocz tkowych elementów tego ci gu tworzyªo ci g, który nie byª poprawny. Zatem faktycznie powy»sza procedura pozwala poprawnie znajdowa maksymalne ci gi. Na pierwszy rzut oka wida,»e dla p = 6 najwi kszej dªugo±ci nie da si wyrazi tak ªatwo jak w przypadku p = 4. Je±li wzór jawny d n w ogóle istnieje, to najprawdopodobniej jest on dosy skomplikowany. Jednak okazuje si,»e d n mo»na oszacowa z góry i z doªu. Twierdzenie 1.1. Dla okre±lonego p zachodzi nierówno± d n (p )(n 1) Dowód. We¹my najdªu»szy poprawny ci g o wyrazach w zbiorze (n 1)-elementowym {1,,..., n 1}. Powiedzmy,»e ostatni wyraz to i. Jednak»e gdy do tego ci gu dodamy wyrazy n, i, n, i,..., to otrzymamy ci g o wyrazach w zbiorze n elementowym, który speªnia }{{} p warunki rozpatrywanego problemu. St d ªatwo wyci gn wniosek,»e d n d n 1 + p, a skoro d 1 = 1, to dla dowolnego n 1 mamy oszacowanie d n (p )(n 1) Warto w tym momencie doda,»e gdy znamy jaki± odpowiednio dªugi poprawny ci g, to mo»emy od pewnego momentu oszacowa jeszcze lepiej (na przykªad dla p = 6, n 6 mamy d n 4n + 5). Twierdzenie 1.. Dla okre±lonego p zachodzi nierówno± d n (p )n(n 1) Dowód. Zaªó»my,»e istnieje poprawny ci g o wyrazach w zbiorze n-elementowym o dªugo±ci (p )n(n 1) +. Zauwa»my,»e w ci gu tej dªugo±ci wyst puje (p )n(n 1) + 1 par s siednich wyrazów. Skoro ró»nych nieuporz dkowanych par wyrazów jest n(n 1), to z zasady szuadkowej Dirichleta wiemy,»e istnieje p 1 par wyrazów s siednich takich,»e wszystkie s sobie równe z dokªadno±ci do kolejno±ci. Wybierzmy spo±ród tych p 1 par t, która znajduje si w ci gu najwcze±niej. Powiedzmy,»e w tej parze pierwszy wyraz to x, a drugi y. Mo»emy wi c wybra te dwa wyrazy, oraz spo±ród nast pnych p par wybiera na zmian x i y, wskazuj c tym samym podci g x, y, x, y,... Zakªadali±my }{{} p jednak,»e ten ci g jest poprawny, dochodzimy wi c do sprzeczno±ci. Zatem faktycznie zachodz nierówno±ci (p )(n 1) + 1 d n (p )n(n 1) Rozpatrzmy teraz inn wersj problemu:. Znale¹ najwi ksz mo»liw dªugo± takiego ci gu o wyrazach w zbiorze n-elementowym,»e ka»de dwa s siednie wyrazy s ró»ne i ci g ten nie zawiera podci gu postaci x, y, y, x. Twierdzenie.1. Maksymalny ci g ma dªugo± co najmniej 3n. 3

Dowód. Zauwa»my,»e istnieje poprawny ci g tej dªugo±ci. Oto i on: 1,, 1,, 3,, 3, 4, 3, 4,..., n 1, n, n 1, n Twierdzenie.. Istnieje ci g maksymalny taki,»e»aden element nie wyst puje w ci gu wi cej ni» 3 razy. Dowód. We¹my dowolny maksymalny ci g. Zaªó»my,»e jaki± element wyst puje co najmniej 4 razy. Nazwijmy ten element X. Nazwijmy element wyst puj cy bezpo±rednio po drugim X-ie Z. Nasz ci g wygl da mniej wi cej tak:..., X,..., X, Z,..., X,..., X,... Zauwa»my,»e przed pierwszym X-em nie wyst puje»aden wyraz równy Z, gdy» wówczas istniaªby podci g Z, X, X, Z. Analogicznie po czwartym X-ie nie ma»adnego wyrazu równego Z. Ponadto gdyby mi dzy pierwszym a czwartym X-em wyst powaªy dwa wyrazy równe Z, to istniaªby podci g X, Z, Z, X. St d wniosek,»e Z wyst puje tylko raz w naszym ci gu. Je±li zast pimy pierwszy X elementem Z, ci g b dzie wygl daª w nast puj cy sposób:..., Z,..., X, Z,..., X,..., X,... W otrzymanym ci gu nadal ka»de dwa s siednie wyrazy s ró»ne. Wskutek zamiany jednego wyrazu nie powstaª te» podci g postaci Z, y, y, Z - gdyby taki podci g powstaª, znaczyªoby to,»e przed zamian y dwukrotnie wyst powaª mi dzy pierwszym a drugim X- em co znaczyªoby,»e ju» wcze±niej istniaª podci g X, y, y, X, jednak zaªo»yli±my,»e nasz ci g byª poprawny. Nie powstaª te»»aden podci g postaci y, Z, Z, y - gdyby faktycznie tak byªo, oznaczaªoby to,»e przed zamian istniaª y przed pierwszym X-em oraz wyst powaª y po drugim X-ie, z czego wynika,»e istniaª podci g postaci y, X, X, y. Zatem wskutek takiej zamiany spowodowali±my,»e element, który wcze±niej wyst powaª co najmniej 4 razy teraz wyst puje jeden raz mniej, oraz element, który wyst powaª raz, teraz wyst puje dwa razy i ci g nadal jest maksymalny. Mo»emy wi c czynno± t powtarza do momentu, a» ka»dy element b dzie wyst powa co najwy»ej 3 razy.faktycznie wi c istnieje ci g maksymalny taki,»e»aden element nie wyst puje w ci gu wi cej ni» 3 razy. Twierdzenie.3. W ci gu w którym»aden element nie wyst puje w ci gu wi cej ni» 3 razy pierwszy i ostatni wyraz s ró»ne. Dowód.We¹my ci g maksymalny, w którym»aden element nie wyst puje wi cej ni» 3 razy. Zaªó»my przeciwnie,»e pierwszy wyraz ci gu (nazwijmy go X) jest równy ostatniemu. Wówczas mi dzy pierwszym a ostatnim elementem jest wi cej ni» n wyrazów (wynika to z twierdzenia.1). Zatem z zasady szuadkowej Dirichleta mi dzy pierwszym a ostatnim wyrazem jaki± element (nazwijmy go Y ) wyst puje wi cej ni» raz. Wiemy,»e X Y, gdy» X mo»e wyst powa co najwy»ej 3 razy.ci g ten zawiera zatem podci g X,Y,Y,X. Jest to jednak sprzeczne z zaªo»eniem,»e ci g jest poprawny, zatem twierdzenie jest faktycznie poprawne. 4

Twierdzenie.4. Element,który jest pierwszym wyrazem ci gu b dzie wyst puje w nim co najwy»ej razy. Dowód. Zaªó»my przeciwnie,»e element, który jest pierwszym wyrazem (nazwijmy go X) wyst puje co najmniej 3 razy. Nazwijmy element, który jest drugim wyrazem Z. Ci g wygl da tak: X, Z,..., X,..., X,... Podobnie jak za poprzednim razem Z wyst puje w ci gu tylko raz, bo gdyby byªo inaczej to istniaªby podci g postaci x, y, y, x. Zauwa»my,»e gdyby±my umie±cili Z na pocz tku ci gu, przed pierwszym X-em, to nadal s siednie wyrazy byªyby ró»ne i nie powstaªby»aden podci g postaci Z, y, y, Z. Otrzymany podci g byªby wi c poprawny i dªu»szy od maksymalnego - dochodzimy wi c do sprzeczno±ci, Zatem twierdzenie jest faktycznie prawdziwe Z twierdzenia.4 wynika symetryczne twierdzenie,»e element, który jest ostatnim wyrazem ci gu wyst puje co najwy»ej razy. Twierdzenie.5. Ci g o dªugo±ci 3n jest najdªu»szym poprawnym ci giem. Dowód. Z twierdze«. i.4 wynika,»e istnieje ci g maksymalny, w którym (n ) elementów wyst puje co najwy»ej trzykrotnie, za± elementy (z twierdzenia.3 wyraz pierwszy i wyraz ostatni to ró»ne elementy) wyst puj co najwy»ej razy. Dªugo± ci gu maksymalnego nie przekracza wi c 3(n ) + = 3n. Zatem ci g podany w dowodzie twierdzenia.1 jest ci giem maksymalnym. Powy»szy problem mo»na uogólni do nast puj cej wersji: 3.Dla dodatnich liczb caªkowitych n, p szukamy najwi ksz mo»liw dªugo± ci gu o wyrazach w zbiorze n-elementowym, w którym ka»de dwa s siednie wyrazy s ró»ne i nie wyst puje podci g postaci: x, y, y,..., y, x. } {{ } p Dla p = przedstawiªem dowód, w którym wskazuj dokªadn warto± maksymalnej dªugo±ci. Nie istnieje niestety analogiczny dowód dla sytuacji ogólnej, dlatego b d szacowa dªugo± maksymalnego ci gu d n. Twierdzenie 3.1. Dla okre±lonego p 3 zachodzi nierówno± d n 3(n 1) + (p 1)(n+)(n 1) Dowód. Zauwa»my,»e w ka»dym poprawnym ci gu pierwsze wyrazy s ró»ne (nazwijmy jest X i Y ). W±ród nast pnych (p 1)n+1 wyrazów jest jaki± element, który powtarza si co najmniej p razy (wynika to z zasady szuadkowej Dirichleta). Element ten jest ró»ny od X lub ró»ny od Y. To znaczy,»e w nast pnych elementach ci gu nie b dzie ju» X lub 5

nie b dzie Y. Wynika st d,»e d n + (p 1)n + 1 + d n 1 = 3 + (p 1)n + d n 1, a wi c skoro d 1 = 1, to: d n 3 + (p 1)n + d n 1 3 + (p 1)n + 3 + (p 1)(n 1) + d n... 3 + (p 1)n + 3 + (p 1)(n 1) +... + 3 + (p 1) + 1 = 3(n 1) + (p 1) (n+)(n 1) Okazuje si wi c,»e dªugo± ci gu maksymalnego wynosi 3n. Twierdzenie 3.. Dla okre±lonego p 3 zachodzi nierówno± d n (p 1)(n 1): Dowód. Zauwa»my,»e istnieje poprawny ci g dªugo±ci (p 1)(n 1): 1,, 1,,...,, 1,, 3,, 3,..., 3,,..., n 1, n, n 1, n,..., n, n 1, n }{{}}{{}}{{} p 1 p 1 p 1 Mamy zatem szacowanie (p 1)(n 1) d n 3(n 1) + (p 1)(n+)(n 1) 6