O ciÄżkiej pracy geodety i leÅnika, czyli różne oblicza liczb Catalana
O ciÄżkiej pracy geodety i leÅnika, czyli różne oblicza liczb Catalana
O ciÄżkiej pracy geodety i leÅnika, czyli różne oblicza liczb Catalana
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
O CIEŻKIEJ ˛ PRACY GEODETY I LEŚNIKA,<br />
CZYLI RÓŻNE OBLICZA LICZB CATALANA<br />
Adam Doliwa<br />
doliwa@matman.uwm.edu.pl<br />
Uniwersytet Warmińsko-Mazurski w Olsztynie<br />
Wydział Matematyki i Informatyki<br />
SPOTKANIA Z MATEMATYK A˛<br />
Olsztyn, 27 marca 2012 r.<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 1 / 20
Plan<br />
1 Podział na trójkaty ˛ i liczenie drzew<br />
2 Wyznaczenie <strong>liczb</strong> <strong>Catalana</strong> - rekurencja<br />
3 Wyznaczenie <strong>liczb</strong> <strong>Catalana</strong> - funkcja tworzaca<br />
˛<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 2 / 20
O zliczaniu triangulacji wielokata<br />
˛<br />
Jaka jest <strong>liczb</strong>a podziałów na trójkaty ˛ wielokata ˛ wypukłego o n + 2<br />
bokach?<br />
n=1 C =1<br />
1<br />
n=2 C =2 2<br />
n=3 C =5 3<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 3 / 20
Liczba podziałów na trójkaty ˛ wielokata ˛ wypukłego o<br />
n + 2 = 6 bokach<br />
n=4 C 4 =14<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 4 / 20
Liczby <strong>Catalana</strong><br />
Eugène Charles Catalan (30.V.1814 - 14.II.1894)<br />
C 0 = 1, C 1 = 1, C 2 = 2, C 3 = 5, C 4 = 14, C 5 = 42, C 6 = 132,<br />
C 7 = 429, C 8 = 1 430, C 9 = 4 862, C 10 = 16 796, ...<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 5 / 20
Czym jest płaskie ukorzenione drzewo binarne<br />
lewe pod−drzewo<br />
lisc ’ ’<br />
galaz ’<br />
,<br />
wierzcholek wewnetrzny<br />
pien’<br />
,<br />
korzen’<br />
Ukorzenione płaskie drzewo binarne składa się z wyróżnionego<br />
wierzchołka (korzenia) oraz pary ukorzenionych płaskich drzew<br />
binarnych (lewego i prawego pod-drzewa). Z każdego wierzchołka, za<br />
wyjatkiem ˛ korzenia z którego wychodzi tylko pień, wychodza˛<br />
albo dwie<br />
gałęzie (lewa i prawa gałaź) ˛ albo nie wychodza˛<br />
gałęzie. W pierwszym<br />
przypadku wierzchołek jest nazywany wewnętrznym, w drugim<br />
przypadku jest nazywany zewnętrznym lub liściem.<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 6 / 20
Ile jest różnych drzew majacych ˛ n wierzchołków<br />
wewnętrznych?<br />
n=0<br />
n=1<br />
n=2<br />
n=3<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 7 / 20
Triangulacje wielokatów ˛ i drzewa binarne<br />
n=1<br />
n=0<br />
n=2<br />
n=3<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 8 / 20
Pierwsza rekurencja (wzór Segnera)<br />
Rozdzielmy (planarne ukorzenione) drzewo binarne majace ˛ n + 1<br />
wierzchołków wewnętrznych na lewe i prawe pod-drzewo<br />
Lewe pod−drzewo<br />
Prawe pod−drzewo<br />
k wierzcholkow ’ n−k wierzcholkow ’<br />
pierwszy wewnetrzny wierzcholek<br />
staje sie korzeniem obu pod−drzew<br />
,<br />
,<br />
Musimy wysumować po wszystkich możliwościach: lewe pod-drzewo<br />
ma k wierzchołków wewnętrznych i prawe pod-drzewo ma n − k<br />
wierzchołków wewnętrznych<br />
C n+1 = C 0 C n + C 1 C n−1 + C 2 C n−2 + · · · + C n−1 C 1 + C n C 0<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 9 / 20
Przed Catalanem<br />
Leonhard Euler<br />
15.IV.1707 – 18.IX.1783<br />
János Segner<br />
9.X.1704 – 5.X.1777<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 10 / 20
Druga rekurencja<br />
A<br />
k+1<br />
A<br />
k+2<br />
k+2<br />
n−k+2<br />
A<br />
2<br />
A<br />
A<br />
1 n+2<br />
A<br />
n+1<br />
dzielimy wielokat ˛ o n + 2 wierzchołkach przekatn ˛ a˛<br />
A 1 A k+2 na dwa<br />
wielokaty ˛ majace ˛ k + 2 wierzchołków i n − k + 2 wierzchołków;<br />
k = 1, 2, . . . , n − 1<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 11 / 20
Druga rekurencja<br />
dzielimy następnie oba nowe wielokaty ˛ na trójkaty ˛ otrzymujac<br />
˛<br />
C 1 C n−1 + C 2 C n−2 + . . . C n−2 C 2 + C n−1 C 1<br />
triangulacji używajacych przekatne ˛ wychodzace ˛ z A 1<br />
ponieważ A 1 może być dowolnym z n + 2 wierzchołków wielokata<br />
˛<br />
więc do wszystkich triangulacji używamy<br />
(n + 2) (C 1 C n−1 + C 2 C n−2 + . . . C n−2 C 2 + C n−1 C 1 )<br />
wierzchołków diagonal<br />
z drugiej strony, każda triangulacja używa n − 1 diagonal, a każdy<br />
wierzchołek jest liczony dwukrotnie (jako poczatek ˛ i koniec<br />
diagonali)<br />
2(n − 1)C n = (n + 2) (C 1 C n−1 + C 2 C n−2 + . . . C n−2 C 2 + C n−1 C 1 )<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 12 / 20
Trzecia rekurencja (wzór Eulera)<br />
ze wzoru Segnera, pamiętajac ˛ że C 0 = 1, mamy<br />
C n+1 − 2C n = C 1 C n−1 + C 2 C n−2 + . . . C n−2 C 2 + C n−1 C 1<br />
w połaczeniu ˛ z druga˛<br />
rekurencja˛<br />
daje to równanie<br />
rozwiazuj ˛ ac ˛ je otrzymujemy<br />
C n+1 − 2C n = 2n − 2<br />
n + 2 C n<br />
C n+1 = 4n + 2<br />
n + 2 C n<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 13 / 20
Liczby <strong>Catalana</strong> i współczynniki dwumianowe<br />
2(2n − 1)<br />
C n =<br />
n + 1 C n−1 = 22 (2n − 1)(2n − 3)<br />
C n−2 = . . .<br />
(n + 1)n<br />
= 2n (2n − 1)(2n − 3) . . . 3 · 1<br />
C 0 , C 0 = 1<br />
(n + 1)n . . . 3 · 2<br />
C n = 1<br />
n + 1<br />
( 2n<br />
n<br />
)<br />
( n<br />
k<br />
)<br />
=<br />
n(n − 1)(n − 2) . . . (n − k + 1)<br />
1 · 2 . . . (k − 1)k<br />
=<br />
(1 + x) n = 1 + nx +<br />
n(n − 1)<br />
x 2 + · · · + x n =<br />
2<br />
n∑<br />
( n<br />
k<br />
k=0<br />
)<br />
x k<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 14 / 20
Liczba możliwych rozmieszczeń nawiasów w iloczynie<br />
n + 1 czynników<br />
b<br />
c<br />
b<br />
c<br />
b<br />
c<br />
a<br />
d<br />
a<br />
d<br />
a<br />
d<br />
((ab)(cd))<br />
((a(bc))d)<br />
(a(b(cd)))<br />
b<br />
c<br />
b<br />
c<br />
a<br />
d<br />
a<br />
d<br />
(((ab)c)d)<br />
(a((bc)d))<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 15 / 20
Liczba dróg<br />
rozpatrzymy drogi w kwadracie n × n z dolnego lewego wierzchołka do<br />
górnego prawego, które nie przekraczaja˛<br />
przekatnej ˛ łacz ˛ acej ˛ te<br />
wierzchołki i sa˛<br />
monotoniczne<br />
Uwaga<br />
Liczac ˛ od lewej strony <strong>liczb</strong>a strzałek w prawa˛<br />
stronę nigdy nie jest<br />
mniejsza od <strong>liczb</strong>y strzałek do góry<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 16 / 20
Funkcja tworzaca ˛ <strong>liczb</strong> <strong>Catalana</strong><br />
Zdefiniujmy funkcję<br />
C(x) = C 0 + C 1 x + C 2 x 2 + C 3 x 3 + · · · =<br />
∞∑<br />
C k x k<br />
k=0<br />
Znamy już funkcję tworzac ˛ a˛<br />
współczynników dwumianowych<br />
(1 + x) n =<br />
n∑<br />
( n<br />
k<br />
k=0<br />
)<br />
x k<br />
Twierdzenie<br />
Funkcja tworzaca ˛ <strong>liczb</strong> <strong>Catalana</strong> spełnia równanie<br />
x[C(x)] 2 − C(x) + 1 = 0<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 17 / 20
Dowód Twierdzenia<br />
[C(x)] 2 =<br />
= (C 0 + C 1 x + C 2 x 2 + C 3 x 3 + . . . )(C 0 + C 1 x + C 2 x 2 + C 3 x 3 + . . . ) =<br />
= C 2 0 + (C 0C 1 + C 1 C 0 )x + (C 0 C 2 + C 1 C 1 + C 2 C 0 )x 2 + . . .<br />
· · · + (C 0 C n + C 1 C n−1 + · · · + C n C 0 )x n + . . .<br />
Korzystajac ˛ ze wzoru Segnera otrzymujemy równanie<br />
[C(x)] 2 =C 1 + C 2 x + C 3 x 2 + · · · + C n+1 x n + . . .<br />
= C(x) − C 0<br />
x<br />
musimy jeszcze pamiętać, że C 0 = 1<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 18 / 20
Z równania kwadratowego możemy wyznaczyć funkcję tworzac ˛ a˛<br />
C(x) = 1 (1 ± (1 − 4x) 1/2)<br />
2x<br />
Okazuje się (pierwszy rok studiów), że standardowy wzór<br />
(1 + y) a = 1 + a a(a − 1)<br />
y +<br />
1 1 · 2 y 2 +<br />
a(a − 1)(a − 2)<br />
y 3 + . . .<br />
1 · 2 · 3<br />
ma sens także dla wszystkich <strong>liczb</strong> rzeczywistych a, jeśli ograniczymy<br />
się do zakresu zmiennej |y| < 1. W naszym przypadku mamy<br />
(1 + y) 1/2 = 1 +<br />
+<br />
( 1<br />
2<br />
( 1<br />
( 1<br />
) ( )<br />
2)<br />
1 y + 2 −<br />
1<br />
2<br />
1 · 2<br />
)<br />
) (<br />
−<br />
1<br />
2<br />
) (<br />
−<br />
3<br />
2<br />
1 · 2 · 3 · 4<br />
) (<br />
−<br />
5<br />
2<br />
y 2 +<br />
y 4 +<br />
( 1<br />
2<br />
( 1<br />
2<br />
) ( ) ( )<br />
−<br />
1<br />
2 −<br />
3<br />
2<br />
1 · 2 · 3<br />
) (<br />
−<br />
1<br />
2<br />
y 3 +<br />
) ( ) (<br />
−<br />
3<br />
2 −<br />
5<br />
2<br />
1 · 2 · 3 · 4 · 5<br />
) (<br />
−<br />
7<br />
2<br />
)<br />
y 5 + . . .<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 19 / 20
Ponowne wyznaczenie <strong>liczb</strong> <strong>Catalana</strong><br />
Podstawiajac ˛ y = −4x i wybierajac ˛ dolny znak w rozwiazaniu<br />
˛<br />
równania kwadratowego (żeby otrzymać C 0 = 1) otrzymujemy wzór<br />
C(x) = 1 + 1<br />
1 · 2 (2x) + 3 · 1<br />
1 · 2 · 3 (2x)2 + 5 · 3 · 1<br />
1 · 2 · 3 · 4 (2x)3 + . . .<br />
(2n − 1)(2n − 3) . . . 3 · 1<br />
· · · + (2x) n + . . .<br />
1 · 2 . . . n(n + 1)<br />
w którym przy x n mamy dobrze nam znane wyrażenie na n-ta˛<br />
<strong>liczb</strong>ę<br />
<strong>Catalana</strong> C n<br />
Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 20 / 20