Generowanie ciągów pseudolosowych o zadanych rozkładach przykładowy raport

Transkrypt

1 Generowanie ciągów pseudolosowych o zadanych rozkładach przykładowy raport Michał Krzemiński Streszczenie Projekt dotyczy metod generowania oraz badania własności statystycznych ciągów liczb pseudolosowych. Słowa kluczowe: generatory liczb losowych, liczby pseudolosowe, Marsenne-Twister, rozkład prawdopodobieństwa, statystyki opisowe, metoda odwrotnej dystrybuanty 1. Generatory liczby pseudolosowych Szczególnie potrzebne, w zagadnieniach związanych z modelowaniem stochastycznym złożonych zjawisk rzeczywistych (np. metody Monte Carlo), są narzędzia pozwalające symulować losowość. Stąd w wielu programach czy pakietach statystycznych dostępne są funkcje generujące liczby pseudolosowe takie liczby, które mają podobne własności jak liczby losowe (liczbą losową nazwalibyśmy pewną realizację zmiennej losowej, X : (Ω, F) (R, B R ), X(ω)). Wszystkie generatory programowe (będziemy mówić po prostu generatory) to deterministyczne funkcje. Do określenia kolejnych liczb wykorzystują tzw. ziarno (ang. seed), które jednoznacznie określa wartości kolejnych liczb pseudolosowych wyznaczonych jako kolejne iteracje ustalonego algorytmu. W R mamy do dyspozycji kilka zaimplementowanych już generatorów. Polecenie R> RNGkind() [1] "Mersenne-Twister" "Inversion" pozwala na sprawdzenie i zmianę aktualnie używanego generatora. Domyślnie stosowany jest algorytm Mersenne Twister (o okresie ). W wyniku otrzymujemy wartości z przedziału (0, 1) o własnościach liczb z rozkładu jednostajnego U(0, 1). Nie ma potrzeby stosowania różnych algorytmów do różnych rozkładów, bo te można otrzymać stosując np. metodę odwrotnej dystrybuanty (por. rozdział ). Wyjątkiem jest tu rozkład normalny, dla którego możemy określić, z jakiej metody chcemy korzystać (domyślnie stosowana jest metoda odwrotnej dystrybuanty "Inversion"). mickrzem@pg.edu.pl 1

2 1.1. runif() Polecenie runif() służy wywołaniu generatora rozkładu jednostajnego (random unif orm distribution) R> runif(5) [1] Dla ustalonego generatora i ziarna otrzymamy za każdym razem identyczne wartości liczb pseudolosowych (stosujemy przecież tę samą funkcję deterministyczną z tą samą wartością początkową). Dla generatora Mersenne-Twister ziarno jest wektorem 625 liczb całkowitych. W prosty sposób możemy reprodukować kolejne losowania liczb pseudolosowych wskazując na to samo ziarno: R> set.seed(564) R> runif(5) [1] R> set.seed(564) R> runif(5) [1] Warto w tym miejscu wskazać na cały zbiór funkcji R do obsługi większości popularnych rozkładów prawdopodobieństwa. R> runif(1) [1] R> punif(0.25) [1] 0.25 R> dunif(0.5) [1] 1 R> qunif(0.25) [1] 0.25 Kolejne polecenia składają się z dwóch części przedrostka r-, p-, d-, q- oraz nazwy rodziny rozkładów (w tym przypadku unif orm). r- (random) wskazuje na generator liczb pseudolosowych z zadanego rozkładu, generuje próbę prostą o liczebności n; p- (probability) wyznacza wartość dystrybuanty w punkcie ; d- (density) wyznacza wartość gęstości (dla rozkładów ciągłych) lub masy prawdopodobieństwa (dla rozkładów dyskretnych) w punkcie ; q- (quantile) wyznacza wartość kwantyli danego rozkładu w punkcie. 2. Próbka W projekcie będziemy porównywać własności statystyczne ciągów liczb pseudolosowych z rozkładami (teoretycznymi) prawdopodobieństw. Dla zadanych rozkładów generujemy wektor liczb pseudolosowych wielkości N. Wektor ten modeluje N-elementową próbkę losową prostą, tzn. modeluje realizację N niezależnych zmiennych losowych o zadanym rozkładzie. 2

3 2.1. Statystyki opisowe Niech 1, 2,..., N będzie N-elementową próbką. Rozstępem w próbce nazywamy różnicę R = ma min, gdzie ma, min oznaczają maksimum i minimum wartości w próbce. Dla większych N wartości próbki grupujemy w klasy, najczęściej równej długości, by ułatwić jej analizę. Liczbę wartości próbki zawartych w i-tej klasie nazywamy liczebnością i-tej klasy i oznaczamy n i. W wyniku takiego grupowania otrzymujemy szereg rozdzielczy ( i, n i ) i=1,2,...,k, gdzie dla każdej klasy i = 1, 2,..., k wyznaczamy środek klasy i i liczebność klasy n i. Sposób w jaki liczebności są rozłożone w poszczególnych klasach nazywamy rozkładem liczebności próbki przy danej liczbie klas. Graficzne przedstawienie szeregu rozdzielczego nazywamy histogramem (por. rys. 1). Zamiast liczebności kolejnych klas można odkładać na osi pionowej częstości ( frekwencje ) n i /N lub też unormowane częstości (n i /N) / (R/k), w taki sposób, by pole histogramu miało wartość 1. W tym ostatnim przypadku histogram będzie wyrażał próbkowe przybliżenie gęstości rozkładu teoretycznego. Przykład 2.1. Dla próbki N = 20-elementowej tworzymy k = 6 klas (3, 3.5], (3.5, 4],..., (5.5, 6], o końcach w punktach 3, 3.5,..., 6: R> =c(3.6, 5.0, 4.0, 4.7, 5.2, 5.2, 5.9, 4.5, 5.3, 5.5, + 3.9, 5.6, 3.5, 5.4, 5.2, 4.1, 5.0, 3.1, 5.8, 4.8) R> breaks=c(3,3.5,4,4.5,5,5.5,6) R> cut(,breaks) [1] (3.5,4] (4.5,5] (3.5,4] (4.5,5] (5,5.5] (5,5.5] (5.5,6] [8] (4,4.5] (5,5.5] (5,5.5] (3.5,4] (5.5,6] (3,3.5] (5,5.5] [15] (5,5.5] (4,4.5] (4.5,5] (3,3.5] (5.5,6] (4.5,5] 6 Levels: (3,3.5] (3.5,4] (4,4.5] (4.5,5]... (5.5,6] R> table(cut(,breaks)) (3,3.5] (3.5,4] (4,4.5] (4.5,5] (5,5.5] (5.5,6] R> table(cut(,breaks))/length() (3,3.5] (3.5,4] (4,4.5] (4.5,5] (5,5.5] (5.5,6] Następnie zliczamy liczebności i częstości wartości próbki w poszczególnych klasach otrzymując szereg rozdzielczy: n klasa przedział i n i n i /N i /N (6 3)/6 1 (3,3.5] (3.5,4] (4,4.5] (4.5,5] (5,5.5] (5.5,6] suma 20 1 pole 1 3

4 par(mar=c(4.1,4.3,2.1,1.1)) par(mfrow=c(1,2)) hist(,breaks,col= gray ) hist(,breaks,prob=true,col= gray ) Histogram of Histogram of Frequency Density Rys. 1. Histogramy próbki : lewy panel (domyślnie oznaczony Frequency) przedstawia liczebności próbki w poszczególnych klasach; prawy panel (oznaczony Density) wyraża gęstość, tj. wartości są unormowane i pole pod wykresem wynosi 1. Innymi charakterystykami próbki 1, 2,..., N są m.in. następujące statystyki opisowe: średnia arytmetyczna = 1 N N i ; i=1 mediana medianą nazywamy środkową liczbę w uporządkowanej niemalejąco próbce, tzn. (1) (2)... (N), ((N+1)/2), gdy N nieparzyste, m e = ( ) (N/2) + (N/2+1) /2, gdy N parzyste; kwartyle w uporządkowanej niemalejąco próbce dzielimy wartości na dwie grupy: wartości mniejsze od mediany i medianę, oraz medianę i wartości większe od mediany. Kwartylem dolnym Q 1 próbki nazywamy medianę pierwszej grupy wartości, a kwartylem górnym Q 3 medianę drugiej grupy wartości. wariancja z próby var = 1 N 1 N ( i ) 2. i=1 4

5 Przykład 2.2 (cd.). Dla próbki, N = 20-elementowej R> =c(3.6, 5.0, 4.0, 4.7, 5.2, 5.2, 5.9, 4.5, 5.3, 5.5, + 3.9, 5.6, 3.5, 5.4, 5.2, 4.1, 5.0, 3.1, 5.8, 4.8) R> mean() # średnia [1] R> sort() [1] [15] R> sum(sort()[c(10,11)])/2 [1] 5 R> median() # mediana [1] 5 R> var() # wariancja [1] R> sum((-mean())^2)/19 [1] R> sd() # odchylenie standardowe [1] Analizując rozkład wartości próbki możemy posłużyć się również dystrybuantą empiryczną (doświadczalną). Dystrybuantę empiryczną N-elementowej próbki, F N, wyznacza się na podstawie uporządkowanej próbki (por. rys. 2): (1) (2)... (N), 0 dla < (1), k F N () = dla n (k) < (k+1), 1 k N 1, 1 dla (N). Przykład 2.3 (cd.). Dla próbki, N = 20-elementowej R> plot(ecdf(), main=,ylab=epression(paste(f[n], () )), + at= n,yat= n,lwd=2, + lab=paste(sort(),,,sep=,collapse= )) R> abline(v = knots(ecdf()), lty = 2, col = "gray70") R> ais(1,knots(ecdf()),ce.ais=0.8) R> abline(h=(0:20)/20,lty=2,col= gray ) R> ais(2,(0:20)/20,ce.ais=0.8,las=2) W przypadku dyskretnych zmiennych losowych (które przyjmują wartości w zbiorze {0, 1, 2,...}, niekoniecznie skończonym) nie należy budować szeregów rozdzielczych czy histogramów w dotychczas opisany sposób. W takiej sytuacji badamy rozkład próbki poprzez określenie liczebności poszczególnych wartości w próbie. Każdej wartości przyporządkowujemy liczność bądź częstość jej występowania w próbie konstruując szereg liczności / szereg częstości (i, n i ) i=0,1,..., ( i, n ) i. N i=0,1,... 5

6 F N () , 3.5, 3.6, 3.9, 4, 4.1, 4.5, 4.7, 4.8, 5, 5, 5.2, 5.2, 5.2, 5.3, 5.4, 5.5, 5.6, 5.8, 5.9, Rys. 2. Wykres dystrybuanty empirycznej próbki, N = 20-elementowej Graficznym przedstawieniem powyższych szeregów jest wykres liczności / częstości (por. rys. 3). Przykład 2.4. Dla próbki, N = 20-elementowej R> =c(2,2,1,2,2,3,0,1,0,2, + 2,0,0,2,2,1,1,1,1,2) R> table() R> table()/length() par(mfrow=c(1,2)) R> plot(table(),ylab= liczność ) R> plot(table()/length(),ylab= częstość ) 6

7 licznosc czestosc Rys. 3. Wykres liczności (lewy panel) i częstości (prawy panel) wartości próbki, N = 20-elementowej 7

8 3. Metoda odwrotnej dystrybuanty Oznaczmy przez F : (, ) [0, 1] ciągłą i ściśle rosnącą dystrybuantę pewnego rozkładu. Dla tak określonej funkcji istnieje funkcja odwrotna F 1 : [0, 1] [, ]. Metoda generowania rozkładów korzystając z rozkładu jednostajnego opiera się na poniższym twierdzeniu: Twierdzenie 3.1. Niech U będzie zmienną losową o rozkładzie jednostajnym na (0,1) (U U(0, 1)), a F będzie ściśle rosnącą ciągłą dystrybuantą pewnego rozkładu prawdopodobieństwa. Zmienna losowa X := F 1 (U) ma rozkład prawdopodobieństwa o dystrybuancie F. Dowód. Jeżeli U U(0, 1), to dystrybuanta zmiennej losowej U dana jest wzorem F U () = P (U ) =, dla [0, 1]. Zatem F X () = P (X ) = P (F 1 (U) ) = P (U F ()) = F U (F ()) = F (). Powyższe twierdzenie możemy rozszerzyć na dowolne dystrybuanty rozkładów prawdopodobieństwa. W tym celu definiujemy dystrybuantę odwrotną jako F 1 : [0, 1] [, ] F 1 (u) = inf{ R; F () u}, u [0, 1]. Zauważmy, że w powyższej definicji dystrybuanta odwrotna nie musi być w ogóle funkcją odwrotną, ani nawet funkcją Algorytm metody odwrotnej dystrybuanty Aby wygenerować wartość z rozkładu o dystrybuancie F mając do dyspozycji generator rozkładu jednostajnego: (1) wygeneruj u U(0, 1), (2) = F 1 (u). 8

9 F() f() F() f() Rys. 4. Biorąc jednostajnie rozłożone wartości wzdłuż osi y na odcinku (0, 1) widzimy, że tam, gdzie funkcja dystrybuanty F () jest względnie stroma, otrzymamy większe zagęszczenie punktów wzdłuż osi otrzymując większą wartość funkcji gęstości f(). Z drugiej strony, tam gdzie F () ma małą pochodną otrzymamy mniejsze zagęszczenie punktów (i mniejszą wartość funkcji gęstości f()). 9