Zaawansowane algorytmy i struktury danych/Wykład 14

Algorytmy równoległe II

W module tym zajmiemy się obliczaniem wyrażeń arytmetycznych i równoległymi obliczeniami na drzewach związanmi z tzw. kontrakcją drzew

Obliczanie wyrażeń arytmetycznych: algorytm jednoczesnych podstawień

Zakładamy, że wyrażenie zadane jest przez program sekwencyjny (w skrócie PS). Program taki jest sztywną sekwencją operacji, bez instrukcji warunkowych. PS jest bardzo prostym modelem obliczeńsekwencyjnych. Bardziej precyzyjnie, definiujemy program sekwencyjny jako ciąg instrukcji przypisań postaci $x_{i} : = W_{i}$ , gdzie $W_{i}$ jest wyrażeniem arytmetycznym zawierającym $O (1)$ operacji. W przypadku gdy operacjesą logiczne PS nazywamy obwodem logicznym (ang. boolean circuit). Ogólnie problem obliczenia wartości obwodulogiczngo jest P-zupełny, podobnie jest dla arytmetycznych programów sekwecyjnych. Problemy te są w klasie NC gdy graf związany z programem sekwencyjnym jest drzewem, a sam program odpowiada obliczaniu wyrażeniaarytmetycznego, co będziemy dalej zakładać.

Zmienne w programie sekwencyjnym są ponumerowane. Jeśli po lewej stronie instrukcji przypisaniajest zmienna $x_{i}$ a po prawej zmienna $x_{j}$ to wymagamy aby $j < i$ . Zakładamy, że struktura obliczeń jest drzewem oraz operacje są ze zbioru ${+, -, *, /}$ .

Sekwencyjna pojedyńcza operacja podstawiania polega na zastąpieniu zmiennej $x_{j}$ w danym wyrażeniu $W_{i}$ ,gdzie $i > j$ przez $W_{j}$ oraz redukcji wyrażenia po podstawieniu. \myskip Mówimy, że zmienna $x_{j}$ jest bezpieczna gdy jej prawa strona w programie sekwencyjnym (wyrażenie $W_{j}$ ) zawiera co najwyżej jednązmienną. W przykładzie poniżej pierwsze 5 zmiennych są bezpieczne.

Przykład

Rozważmy następujący program sekwencyjny $P$ :

$x 1 = 1$ , $x 2 = 2$ , $x 3 = 6$ , $x 4 = 4$ , $x 5 = x 3 + 2$ ,

$x 6 = x 2 + x 1$ , $x 7 = 3 * x 6 + 2 * x 5$ , $x 8 = 2 * x 7 + x 4$ .

Na przykład po wykonaniu wszystkich bezpiecznych podstawień (w tym wypadku tylko zastąpienie $x 5$ przez $x 3 + 2$ ) do prawej strony dla x7 otrzymujemy

x 7 = 3 * x 6 + 2 * x 3 + 4

.

Operacja Reduce polega na wykonaniu jednocześnie wszystkich bezpiecznych podstawień we wszystkich wyrażeniach $W_{i}$ . W programie rozważamy tylko te zmienne, które są istotne z punktu widzenia liczenia ostatecznego wyniku $x_{n}$ . Zmienne te nazywamy istotnymi, są one osiągalne ze zmiennej $x_{n}$ w grafie programu. Oznaczmy przez Reduce(P) nowy program sekwencyjny, bez zmiennych nieistotnych.

Algorytm JP

(Algorytm Jednoczesnych-Podstawien)

repeat {Operacja Reduce}

for each $x_{i}$ do in parallel

wykonaj jednoczesnie wszystkie bezpieczne podstawienia w $W_{i}$ .

until $x_{n}$ obliczone;

Historia algorytmu dla przykładowego programu P danego powyżej wygląda następująco, gdzie Parser nie mógł rozpoznać (nieznana funkcja „\textsl”): {\displaystyle P=P_0, P_{i+1}= \textsl{Reduce}(P_i)} .

$P_{1}$ :
    $x 3 = 6$ ; $x 6 = 3$ ;
    $x 7 = 3 * x 6 + 2 * x 3 + 4$ ;
    $x 8 = 2 * x 7 + 4$ .

$P_{2}$ :
    $x 7 = 25$ , $x 8 = 2 * x 7 + 4$ .

$P_{3}$ :
    $x 8 = 54$ .

Pokażemy, że algorytm wykonuje $O (\log n)$ iteracji. Udwodnimy bardzo precyjne oszacowanie: rozmiar najmnieszego programu sekwencyjnego, który wmaga $k$ iteracji jest równy $k$ -tej liczbie Fibonacciego. Jest to zaskakująco podobne do analogicznego faktu dla drzew AVL, czas równoległy odpowiada wysokości drzewa.

Kontrakcja drzew

Grafem obliczeń $T = 𝒢 (𝒫)$ programu sekwencyjnego $P$ jest skierowany graf acykliczny którego węzły odpowiadają zmiennych biorącym aktualnie udział w obliczeniu $x_{n}$ . Synami węzła $x_{i}$ (zmiennej) są zmiennewystępujące w danym momencie w $W_{i}$ . Graf $T$ zawiera tylko węzły osiągalne z korzenia $x_{n}$ . Przezrozmiar rozumiemy liczbę węzłów grafu (liczbę zmiennych w przypadku PS).

Zauważmy, że w danej iteracji algorytmu JP rozmiar grafu $T$ może być znacznie mniejszy niż $n$ , ponieważ wiele zmiennych możebyć nieosiągalnych z korzenia.

Jedna iteracja Reduce ( $P_{i} \to P_{i + 1}$ ) odpowiada następującej operacji $C o n t r a c t (𝒢 (P_{i}))$ ,\ patrz rysunek.

\myskip\begin{minipage}{12cm}\begin{description}\itemFunkcja Contract:\item(1)usuwamy wszystkie węzły powadzące do liści (operacja zwana {\em Rake})\item(2) jednocześnie, w tym samym czasie co krok (1), dla każdej krawędzi $(v, w)$ takiej, że $w$ matylko jednego następnika $u$ krawędź $(v, w)$ zastępujemy przez $(v, u)$ (operacja zwana {\em Compress})\end{description}\end{minipage}\begin{figure}[bhtp]\begin{center}\mbox{\ }\includegraphics[width=10.5cm]{expr4.eps}\caption{ Składowe operacje jednej iteracji Contract(T): {\em Compress} oraz {\em Rake}. } \end{center}\end{figure}

W rzeczywistości możemy zapomnieć o algorytmie \textsl{JP} i maszynie PRAM. Obliczanie na drzewie jestsamo w sobie sensownym modelem obliczeń równoległych. Czas równoległy jest liczbą iteracji, któraprzekształca początkowe drzewo w drzewo jednoelementowe. Z każdą krawędzią

e = (x_{i}, x_{j})

grafu

𝒢 (𝒫)

jest związana pewna funkcja

f_{e} (x)

postaci:

f_{e} (x) = \frac{a x + b}{c x + d},

gdzie

a, b, c, d

są pewnymistałymi. Początkowo funkcja ta jest identycznościowa. Jeśli w danym momencie następnikami węzła

x_{i}

są</math>x_j,\ x_k

, o r a z

e1=(x_i,x_j),\ e2=(x_i,x_k)Parser nie mógł rozpoznać (błąd składni): {\displaystyle to wartością zmiennej } x_i

j e s t :

f_{e1}(x_j) \otimesf_{e2}(x_k)</math>, gdzie

\otimes

jest operacją arytmetyczną odpowiadającą w ezłowi

x_{i}

, w grafie obliczeńoperacja ta jest niezmienna, podstawianie wyrażeń za zmienne odbywa się na funkcjeach na krawędziach. Jeśliwartości </math>x_j,x_kParser nie mógł rozpoznać (błąd składni): {\displaystyle są obliczone (zmienne te odpowiadają aktualnie liściom) to wartość } f_{e1}(x_j) \otimesf_{e2}(x_k)</math> jest konkretną końcową wartością zmiennej

x_{i}

. \vskip 0.1cmRozważamy też {\emspłaszczoną} wersję

T^{'} = s q u a s h (T)

drzewa T, odpowiadającą algorytmowi kontrakcji. W drzewie T' wewnętrznewęzły odpowiadają zmiennych programu sekwencyjnego lub krawędziom między zmiennymi, wartością krawędzi

e

jest funkcja

f_{e}

reprezentowana przez cztery stałe

a, b, c, d

. Jeśli krawędź

e 1 = (x, z)

jest kompozycjądwóch krawędzi

e 1 = (x, y), e 2 = (y, z)

to wartością

f_{e}

jest kompozycja funkcji

f_{e 1}, f_{e 2}

. Kompozycjata polega na wykonaniu operacji na czterch stałych odpowiadających funkcjom. Jeśli zależność jest tylko odjednej krawędi to automatycznie rozumiemy że funkcja odpowiadająca pominiętej krawędzi jestidentycznościowa (a takie są początkowo wszystkie funkcje w początkowym grafie

𝒢 (𝒫)

). Nanastępującym przykładzie pokażemy jak działa operacja Contract i w jaki sposób związana jest ona zalgorytmem \textsl{JP}.

\begin{figure}[bhtp]\begin{center}\mbox{\ }\includegraphics[width=13cm]{tree_contr1.eps}\caption{ Przykładowe drzewo $T$ wyrażenia, początkowe wartości w liściach są podane w kwadracikach, numerywęzłów są w podane w nawiasach.} \end{center}\end{figure}

\begin{figure}[bhtp]\begin{center}\mbox{\ }\includegraphics[width=13cm]{tree_contr4.eps}\caption{Drzewo $T_{1} = C o n t r a c t (T)$ razem z dodatkowymi funkcjami na krawędziach. Brak funkcji oznaczafunkcję identycznościową. } \end{center}\end{figure}

\begin{figure}[bhtp]\begin{center}\mbox{\ }\includegraphics[width=14.5cm]{tree_contr2.eps}\caption{Kolejne drzewa $T_{3}, T_{4}, T_{5}$ . Algorytm wykonuje 4 kontrakcje. } \end{center}\end{figure}

\begin{figure}[bhtp]\begin{center}\mbox{\ }\includegraphics[width=16cm]{tree_contr3.eps}\caption{{\em Spłaszczone} drzewo $T^{'} = s q u a s h (T)$ liczące to samo co drzewo T, ale mające mniejszą wysokość(ogólnie logarytmiczną). Drzewo to można jeszcze bardzij spłaszczyć kompresując łańcuchy dwukrawędziowe(eliminując węzły wewnętrzne mające dokładnie jednego syna).} \end{center}\end{figure}

Załóżmy, że graf

𝒢 (𝒫)

programu sekwenycjnego P jest drzewem T.Wtedy liczba iteracji algorytmu JP jest równa liczbie kontrakcji drzewa T, po której korzeń T staje sięliściem. Przez

T I M E (n)

oznaczmy maksymalną liczbę kontrakcjipotrzebnych do zredukowania do jednego węzła drzewa o

n

węzłach. Niech

F i b_{n}

będziem

n

-tą liczbą Fibonacciego,gdzie

F i b_{0} = 1, F i b_{1} = 2

.Udowodnimy:\vskip 0.2cm \noindent Twierdzenie.}\mbox{ \\(a)\

T I M E (F i b_{n}) = n

.\\(b)}\ Parser nie mógł rozpoznać (błąd składni): {\displaystyle Fib_k \le n < Fib_{k+1'''\ \Rightarrow \ TIME(n)=k} . \myskip Jako bezpośredni wniosek otrzymujemy:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \log_{\phi}+c \le TIME(n) \le \log_{\phi}+c,\ \textrm{dla pewnej stałej c},}

gdzie

$Φ = \frac{1 + \sqrt{5}}{2}$

jest liczbą tzw. złotego podziału (w przybliżeniu

$Φ \approx 1.6$

).\myskip %----------------------------------------------------------------------------Udowodnimy najpierw, że

$T I M E (F i b_{k}) \geq k$

. Niech

$T_{k}$

będzie

$k$

-tym drzewem Fibonacciego, zdefiniowanym narysunku. Drzewo

$T_{k + 2}$

powstaje przez utożsamienie korzeni dwóch początkowo rozłącznych wierzchołkowodrzew

$T_{k}$

i

$T_{k + 1}$

, oraz dodanie nowego korzenia.

\begin{figure}[bhtp]\begin{center}\mbox{\ }\includegraphics[width=10.5cm]{fib_trees.eps}\caption{Drzewa Fibonacciego. } \end{center}\end{figure}

Pozostawiamy jako ćwiczenie uzasadnienie tego, że $| T_{k} | = F i b_{k}$ oraz $C o n t r a c t (T_{k}) = T_{k - 1}$ . \myskipWynika stąd, że $T I M E (F i b_{k}) \geq k$ . \myskip Przejdziemy teraz do dowodu następującego faktu.\myskip Lemat o kontrakcji.}\mbox{ \

$n \leq F i b_{k} \Rightarrow T I M E (n) \leq k$ .\myskip Wprowadzamy pojęcie {\em statycznego węzła}, jako liścia, który nigdy nie może być {\em odcięty},nie możemy usunąć krawędzi prowadzącej do niego. Poza tym operacja kontrakcji działa tak jak poprzednio. Narysunkach statyczny węzeł jst zaznaczony jalo kwadracik. Jeśli drzewo ma dokładnie jeden statyczny węzeł,to po pewnej liczbie kontrakcji otrzymujemy drzewo składające się tylko z korzenia i tego węzła. Oznaczmyprzez $T I M E^{'} (n)$ maksymalną liczbę kontrakcji dla drzewa mającego n węzłów, które doprowadzają do takiejsytuacji. W liczbę n nie wliczamy węzła statycznego. \myskip Pozostawiamy jako ćwiczenie dowód tego, że $T I M E^{'} (F i b_{k} + 1) > k$ .\myskip\noindent Następujący dosyć oczywisty fakt jest użyteczny w dalszym dowodzie Lematu o Kontrakcji.\myskip\noindent Fakt.\Niech $x \in T$ , oraz $T^{'}, T_{x}$ będą takie jak pokazane na Rysunku #fig12. Jeśli $t$ kontrakcji redukuje $T^{'}$ do drzewa rozmiaru jeden (nie licząc węzła statycznego), to po $t$ kontrakcjach drzewo $T$ redukuje siędo pojedyńczego węzła staje się drzewem złożonym tylko z korzenia któreggo jedynem następnikiem jest liść lub element drzewa $T_{x}$ . \myskip

\begin{figure}[hbt]\unitlength=1.00mm \special{em:linewidth 0.4pt} \linethickness{0.4pt}\begin{picture}(85.33,19.11)\put(36.00,12.00){\line(3,4){5.33}} \put(41.33,19.11){\line(3,-4){5.33}} \put(46.67,12.00){\line(-1,0){4.00}}\put(36.33,12.00){\line(1,0){4.00}} \put(41.33,12.00){\circle{0.89}} \put(41.00,10.67){\line(-3,-4){4.00}}\put(42.33,10.67){\line(3,-4){4.00}} \put(46.33,5.33){\line(-1,0){9.00}} \put(77.33,19.11){\line(-3,-4){5.33}}\put(77.33,19.11){\line(3,-4){5.33}} \put(82.67,12.00){\line(-1,0){3.67}} \put(72.00,12.00){\line(1,0){4.33}}\put(76.33,10.67){\rule{2.33\unitlength}{2.22\unitlength}} \put(80.00,6.67){\line(-3,-4){4.00}}\put(81.33,6.67){\line(3,-4){4.00}} \put(85.33,1.33){\line(-1,0){9.00}} \put(80.67,8.00){\circle{0.89}}\put(27.67,12.00){\makebox(0,0)[cc]{T}} \put(68.67,16.00){\makebox(0,0)[cc]{T'}}\put(71.00,3.56){\makebox(0,0)[cc]{T $_{x}$ }} \put(84.00,8.00){\makebox(0,0)[cc]{ $x$ }}\put(77.67,14.67){\makebox(0,0)[cc]{ $x$ }} \put(41.67,14.67){\makebox(0,0)[cc]{ $x$ }}\end{picture}\caption{Graficzna definicja drzew $T^{'}$ , $T_{x}$ .} \end{figure}\myskip Udowodnimy lemat, który będzie rozszerzeniem Lematu o kontrakcji. Celowo wzmacniamy tezę aby ułatwićdowód przez indukcję.\myskip Wzmocniony Lemat o kontrakcji.

\begin{tabbing}{lll}firstleve\=secon\= \kill\>(a) \> $n < F I B_{k} \Rightarrow T I M E (n) < k - 1$ ; \\\>(b) \> $n \leq F I B_{k} \Rightarrow T I M E^{'} (n) < k$ .\\\end{tabbing}\myskip Dowód przeprowadzamy przez indukcję ze względu na $k$ . Dla $k = 1$ , $k = 2$ łatwo sprawdzić, że tezazachodzi. \noindent Załóżmy teraz, że teza zachodzi dla wszystich $k^{'}$ mniejszych niż dane $k > 2$ .\myskip Dowód punktu (a)

Rozważmy drzewo

T

takie, że

| T | < F I B_{k}

. Niech

x

będzie najniższym (o najmnieszej wysokości) węzłem,takim że

| T_{x} | \geq F I B_{k - 1}

. Niech

p

,

q

będą następnikami

x

, patrz Rysunek #fig13. (Jeśli

x

ma tylko jednego następnika to nazwijmy go

p

). Zatem

| T_{p} |, | T_{q} | < F I B_{k - 1}

Udwodnimy, że po

k - 1

-szej kontrakcjikorzeń

T

staje się liściem. Możliwe są dwa przypadki: \myskip Przypadek I: Po kontrakcji

(k - 2)

-giej węzeł

x

jest liściem. \vskip 0.2cm Z założenia indukcyjnego wynika, że drzewo

T 1

jestzredukowane do korzenia z jednym następnikiem, który jest wewnątrz

T_{x}

. ponieważ wszystkie węzły w

T_{x}

stały się liśćmi (gdyż korzeń

T_{x}

stał się liściem) to w następnej kontrakcji wykonujemy operacjęRake i korzeń całego drzewa staje się liściem.

\begin{figure}\unitlength=1.00mm \special{em:linewidth 0.4pt} \linethickness{0.4pt}\begin{picture}(116.33,32.00)\put(21.33,24.00){\line(3,4){6.00}} \put(27.33,31.56){\line(3,-4){6.00}} \put(33.33,23.56){\line(-1,0){5.00}}\put(21.33,23.56){\line(1,0){5.33}} \put(27.67,23.56){\circle{0.89}} \put(27.00,22.22){\line(-3,-4){4.00}}\put(28.67,22.22){\line(3,-4){4.00}} \put(22.33,15.56){\circle{0.89}} \put(33.67,15.56){\circle{0.89}}\put(22.33,14.22){\line(-3,-4){4.33}} \put(22.67,13.78){\line(3,-4){4.00}} \put(26.67,8.44){\line(-1,0){8.67}}\put(33.33,13.78){\line(-3,-4){4.00}} \put(34.00,13.78){\line(3,-4){4.00}} \put(38.00,8.44){\line(-1,0){8.33}}\put(27.67,26.22){\makebox(0,0)[cc]{x}} \put(36.67,15.56){\makebox(0,0)[cc]{q}}\put(19.67,15.56){\makebox(0,0)[cc]{p}} \put(64.00,18.67){\line(-3,-4){4.00}}\put(65.67,18.67){\line(3,-4){4.00}} \put(59.33,12.00){\circle{0.89}} \put(70.67,12.00){\circle{0.89}}\put(59.33,10.67){\line(-3,-4){4.33}} \put(59.67,10.22){\line(3,-4){4.00}} \put(63.67,4.89){\line(-1,0){8.67}}\put(70.33,10.22){\line(-3,-4){4.00}} \put(71.00,10.22){\line(3,-4){4.00}} \put(75.00,4.89){\line(-1,0){8.33}}\put(73.67,12.00){\makebox(0,0)[cc]{q}} \put(56.67,12.00){\makebox(0,0)[cc]{p}}\put(56.00,24.00){\line(3,4){6.00}} \put(62.00,31.56){\line(3,-4){6.00}} \put(68.00,23.56){\line(-1,0){5.00}}\put(56.00,23.56){\line(1,0){5.33}} \put(62.33,23.56){\circle{0.89}} \put(62.33,26.22){\makebox(0,0)[cc]{x}}\put(64.67,19.11){\circle{0.89}} \put(68.33,18.67){\makebox(0,0)[cc]{x}} \put(54.34,27.56){\makebox(0,0)[cc]{T1}}\put(49.33,11.11){\makebox(0,0)[cc]{T $_{x}$ }} \put(13.33,21.78){\makebox(0,0)[cc]{T}}\put(64.56,1.33){\makebox(0,0)[cc]{case (I)}} \put(96.00,24.00){\line(3,4){6.00}}\put(102.00,31.56){\line(3,-4){6.00}} \put(108.00,23.56){\line(-1,0){5.00}} \put(96.00,23.56){\line(1,0){5.33}}\put(102.33,23.56){\circle{0.89}} \put(101.67,22.22){\line(-3,-4){4.00}} \put(103.33,22.22){\line(3,-4){4.00}}\put(108.33,15.56){\circle{0.89}} \put(108.00,13.78){\line(-3,-4){4.00}} \put(108.67,13.78){\line(3,-4){4.00}}\put(112.67,8.44){\line(-1,0){8.33}} \put(102.33,26.22){\makebox(0,0)[cc]{x}}\put(111.33,15.56){\makebox(0,0)[cc]{q}} \put(94.00,11.56){\circle{0.89}} \put(94.00,10.22){\line(-3,-4){4.33}}\put(94.33,9.78){\line(3,-4){4.00}} \put(98.33,4.44){\line(-1,0){8.67}} \put(91.33,11.56){\makebox(0,0)[cc]{p}}\put(96.00,14.22){\rule{1.67\unitlength}{2.22\unitlength}} \put(100.33,16.00){\makebox(0,0)[cc]{p}}\put(87.00,7.56){\makebox(0,0)[cc]{T $_{p}$ }} \put(116.33,24.00){\makebox(0,0)[cc]{T2}}\put(100.34,1.31){\makebox(0,0)[cc]{case(II)}}\end{picture}\caption{Drzewo $T$ i jego dekompozycja: $| T | < F I B_{k}$ , $| T 1 | \leq F I B_{k - 2}$ , $| T_{x} | \geq F I B_{k - 1}$ , $| T_{p} | < F I B_{k - 1}$ .} \end{figure}\myskip Przypadek II:\ Korzeń drzewa $T_{x}$ wymaga co najmniej $k - 1$ kontrakcji by stał się liściem.\vskip 0.2cm Dla drzewa $T$ niech $v \notin R$ będzie dodatkowym węzłem, a $R \otimes v$ będzie nowym drzewemo korzeniu </math>vParser nie mógł rozpoznać (błąd składni): {\displaystyle mającym jednego następnka - korzeń R. łatwo widać, że co najmniej jedno z drzew } T_p\otimesx</math> lub $T_{q} \otimes x$ wymaga co najmniej $k - 1$ kontrakcji aby korzeń stał się liściem. Przyjmijmy, bezstarty ogólności że jest to pierwsze z nich.

Z założenia indukcyjnego wynika, że $| T_{p} \otimes x | \geq F I B_{k - 1}$ (zatem $| T_{p} | = F I B_{k - 1} - 1)$ . Wynika stąd,że drzewo $T 2$ z węzłem statycznym, patrz Rysunek [[#fig13}, jest {\em małe}:\ Parser nie mógł rozpoznać (błąd składni): {\displaystyle |T2| \le FIB_{k-2]]} .

W tej sytuacji z założenia indukcyjnego (b) wynika, że drzewo $T 2$ jest zredukowane do korzenia z jednymliściem po $k - 2$ kontrakcjach. Wszystkie węzły $T_{p}$ stają się liścmi po $k - 2$ kontrakcjach na mocy założenia indukcyjnego (a).Zatem, podobnie jak w przypadku I korzeń całego drzewa staje się liściem po k-1 kontrakcjach.\myskip Dowód punktu (b).\myskip Przypadek ten rozpatruje się podobnie jak punkt (a), stosującodpowiednią dekompozycję drzewa $T$ .Dowód ten pozostawiamy jako ćwiczenie.\vskip 0.3cm\noindentObserwacja.\Możliwe są różne inne definicje kontrakcji drzew. Na przykład moglibyśmy rozważać że w jednej iteracji kontrakcji napierw wykonujemy Rake (usuń liście) a dopiero potem Compress. My wykonywaliśmy to w jednym kroku równocześnie, co wydaje się bardzoej naturalne.\end{document}

Zaawansowane algorytmy i struktury danych/Wykład 14

Spis treści

Obliczanie wyrażeń arytmetycznych: algorytm jednoczesnych podstawień

Kontrakcja drzew

Menu nawigacyjne

Działania na stronie

Opcje strony

Narzędzia osobiste

Nawigacja

Szukaj

Narzędzia