Univerzita Karlova v Praze Matematicko-fyzik´aln´ı fakulta
´ RSK ˇ ´ PRACE ´ BAKALA A
Hana Kol´aˇckov´a Generov´ an´ı sc´ en´ aˇ r˚ u pˇ ri poˇ zadavku na shodu moment˚ u Katedra pravdˇepodobnosti a matematick´e statistiky
Vedouc´ı bakal´aˇrsk´e pr´ace:
prof. RNDr. Jitka Dupaˇcov´a, DrSc.
Studijn´ı program: Matematika Studijn´ı obor: Finanˇcn´ı matematika
Praha 2015
R´ada bych podˇekovala sv´e vedouc´ı prof. RNDr. Jitce Dupaˇcov´e, DrSc. a konzultantovi RNDr. V´aclavu Kozm´ıkovi, Ph.D. za odbornou konzultaci a poskytnut´ı cenn´ych rad v pr˚ ubˇehu psan´ı pr´ace.
Prohlaˇsuji, ˇze jsem tuto bakal´aˇrskou pr´aci vypracoval(a) samostatnˇe a v´yhradnˇe s pouˇzit´ım citovan´ych pramen˚ u, literatury a dalˇs´ıch odborn´ych zdroj˚ u. Beru na vˇedom´ı, ˇze se na moji pr´aci vztahuj´ı pr´ava a povinnosti vypl´yvaj´ıc´ı ze z´akona ˇc. 121/2000 Sb., autorsk´eho z´akona v platn´em znˇen´ı, zejm´ena skuteˇcnost, ˇze Univerzita Karlova v Praze m´a pr´avo na uzavˇren´ı licenˇcn´ı smlouvy o uˇzit´ı t´eto pr´ace jako ˇskoln´ıho d´ıla podle §60 odst. 1 autorsk´eho z´akona.
V
Praze
dne
19. 5. 2015
N´azev pr´ace: Generov´an´ı sc´en´aˇr˚ u pˇri poˇzadavku na shodu moment˚ u Autor: Hana Kol´aˇckov´a Katedra: Katedra pravdˇepodobnosti a matematick´e statistiky Vedouc´ı bakal´aˇrsk´e pr´ace: prof. RNDr. Jitka Dupaˇcov´a, DrSc. Abstrakt: V pr´aci jsou uvedeny ˇctyˇri zp˚ usoby generov´an´ı sc´en´aˇr˚ u tak, aby v´ysledn´e diskr´etn´ı rozdˇelen´ı pravdˇepodobnosti replikovalo pˇredepsan´e hodnoty moment˚ u. Prvn´ım z nich je heuristick´y algoritmus, druh´ym ze zp˚ usob˚ u je symetrick´e rozloˇzen´ı okolo stˇredn´ı hodnoty, dalˇs´ı je syst´em neline´arn´ıch rovnic a posledn´ı zp˚ usob je ˇreˇsen´ı pomoc´ı c´ılov´eho programov´an´ı. V dalˇs´ı ˇc´asti je pˇribl´ıˇzen charakter t´eto u ´ lohy c´ılov´eho programov´an´ı a jsou uvedeny konkr´etn´ı moˇznosti specifikac´ı parametr˚ u u ´ lohy s n´asledn´ym ovlivnˇen´ım n´aroˇcnosti ˇreˇsen´ı. V posledn´ı ˇc´asti pr´ace jsou porovn´any v´ysledky nˇekolika moˇzn´ych zp˚ usob˚ u ˇreˇsen´ı vybran´ych typ˚ uu ´ lohy. Kl´ıˇcov´a slova: C´ılov´e programov´an´ı, sc´en´aˇre, shoda moment˚ u, heuristick´y algoritmus, rovnomˇern´e rozloˇzen´ı okolo stˇredn´ı hodnoty
Title: Scenario generation by the moment fitting method Author: Hana Kol´aˇckov´a Department: Department of Probability and Mathematical Statistics Supervisor: prof. RNDr. Jitka Dupaˇcov´a, DrSc. Abstract: The thesis presents four methods for scenario generating leading to the resulting discrete probability distribution that replicates given values of the moments. The first method uses heuristic algorithm, the second method generates by symmetrically distributing values around the mean value, the third one is based on solving the system of nonlinear equations and finally the last method is based on goal programming. Next section describes the nature of problems solved by the goal programming. It also details possible ways of parameter specification to allow control of the computational complexity. In the last part of the thesis the results of several suitable methods for chosen types of problem are compared. Keywords: Goal programming, heuristic algorithm, scenarios, fitting moments
Obsah 1 Nastolen´ı probl´ emu ´ 1.1 Uvod . . . . . . . . . . . . . . . . . 1.2 Z´akladn´ı definice, vˇety a vlastnosti 1.2.1 N´ahodn´e veliˇciny a vektory 1.2.2 Matice . . . . . . . . . . . . 1.2.3 Konvexn´ı funkce . . . . . . 1.3 Probl´em . . . . . . . . . . . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
2 Metody ˇ reˇ sen´ı 2.1 Heuristick´y algoritmus . . . . . . . . . . . 2.2 Pravideln´e rozloˇzen´ı sc´en´aˇr˚ u . . . . . . . . 2.2.1 Shoda prvn´ıch moment˚ u . . . . . . 2.2.2 Shoda prvn´ıch moment˚ u a rozptyl˚ u 2.3 Soustava neline´arn´ıch rovnic . . . . . . . . ˇ sen´ı pomoc´ı c´ılov´eho programov´an´ı . . . 2.4 Reˇ 3 Charakter u ´ lohy (2.9) 3.1 Speci´aln´ı volba rozmˇer˚ uu ´ lohy 3.2 Volba metriky . . . . . . . . . 3.2.1 L1 norma . . . . . . . 3.2.2 L2 norma . . . . . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
4 Praktick´ aˇ c´ ast 4.1 Data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2 Shoda prvn´ıch moment˚ u . . . . . . . . . . . . . . . . . . . . . . 4.2.1 Line´arn´ı programov´an´ı . . . . . . . . . . . . . . . . . . . 4.2.2 V´ybˇer z re´aln´ych dat . . . . . . . . . . . . . . . . . . . . 4.2.3 Sc´en´aˇre nalezen´e pro shodu prvn´ıch moment˚ u . . . . . . 4.3 Shoda druh´ych moment˚ u . . . . . . . . . . . . . . . . . . . . . . 4.3.1 Neline´arn´ı programov´an´ı . . . . . . . . . . . . . . . . . . 4.3.2 V´ybˇer z re´aln´ych dat . . . . . . . . . . . . . . . . . . . . 4.3.3 Sc´en´aˇre nalezen´e pro shodu druh´ych moment˚ u . . . . . . 4.4 Shoda stˇredn´ıch hodnot a rozptyl˚ u . . . . . . . . . . . . . . . . 4.4.1 Pravideln´e rozloˇzen´ı sc´en´aˇr˚ u . . . . . . . . . . . . . . . . 4.4.2 Neline´arn´ı programov´an´ı . . . . . . . . . . . . . . . . . . 4.4.3 V´ybˇer z re´aln´ych dat . . . . . . . . . . . . . . . . . . . . 4.4.4 Sc´en´aˇre nalezen´e pro shodu prvn´ıch moment˚ u a rozptyl˚ u 4.5 Shoda stˇredn´ıch hodnot, rozptyl˚ u a korelac´ı . . . . . . . . . . . ˇ 4.6 Casov´ a n´aroˇcnost v´ypoˇct˚ u . . . . . . . . . . . . . . . . . . . . . 1
. . . . . .
3 3 4 4 5 6 8
. . . . . .
10 10 11 11 12 13 13
. . . .
15 16 17 17 20
. . . . . . . . . . . . . . . .
23 23 24 24 26 27 29 29 30 31 33 33 34 35 36 37 39
4.7 Z´avˇer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
Literatura
41
Seznam obr´ azk˚ u
42
Seznam tabulek
43
2
Kapitola 1 Nastolen´ı probl´ emu 1.1
´ Uvod
V dneˇsn´ı dobˇe je investov´an´ı velmi rozˇs´ıˇrenou aktivitou jak mezi bˇeˇzn´ymi lidmi tak mezi odborn´ıky, kteˇr´ı se j´ım pˇr´ımo ˇziv´ı. Hlavn´ım probl´emem t´eto oblasti je ale rozhodnout se, kam investovat a kam naopak neinvestovat. Toto rozhodnut´ı je n´aroˇcn´e pˇredevˇs´ım kv˚ uli nejistotˇe ohlednˇe budouc´ıho v´yvoje komodity, do kter´e chceme investovat. Nav´ıc b´yv´a nutn´e se rozhodnout nejen na jedno ale i na v´ıce ˇcasov´ych obdob´ı, ˇc´ımˇz se rozhodnut´ı st´av´a jeˇstˇe komplikovanˇejˇs´ım. Typick´ymi pˇr´ıklady d˚ uvod˚ u znemoˇzn ˇ uj´ıc´ıch jednoduch´e rozhodov´an´ı jsou promˇenliv´e u ´ rokov´e m´ıry, inflace nebo kurzy mˇen. Proto byly vytvoˇreny stochastick´e modely, kter´e maj´ı za c´ıl vysvˇetlit nebo popsat n´ahodn´e parametry pouˇz´ıvan´e pˇri vstupu do model˚ u, kter´e tato rozhodnut´ı ovlivˇ nuj´ı. Velmi d˚ uleˇzitou sloˇzkou pr´ace s takov´ymi modely je reprezentovat parametry ve formˇe vhodn´e pro v´ypoˇcty. Pˇredstavme si napˇr´ıklad, ˇze m´ame velk´y soubor dat ze stejn´eho rozdˇelen´ı, at’ uˇz je spojit´e nebo diskr´etn´ı. Pro v´ypoˇcet stˇredn´ı hodnoty nebo i jak´ehokoliv dalˇs´ıho statistick´eho parametru potˇrebujeme vypoˇc´ıtat mnohorozmˇern´y integr´al v pˇr´ıpadˇe spojit´eho rozdˇelen´ı a nˇekolikan´asobnou sumu v pˇr´ıpadˇe diskr´etn´ıho rozdˇelen´ı a ty ani nemusej´ı b´yt explicitnˇe definov´any. Takov´eto v´ypoˇcty jsou n´aroˇcn´e a z numerick´eho hlediska nesch˚ udn´e. Z tohoto d˚ uvodu bychom r´adi nahradili takto v´ypoˇcetnˇe n´aroˇcn´e rozdˇelen´ı nˇejak´ym jin´ym, pro v´ypoˇcty vhodnˇejˇs´ım rozdˇelen´ım. To znamen´a rozdˇelen´ım, kter´e bude reprezentov´ano m´enˇe hodnotami, aby byly v´ypoˇcty jednoduˇsˇs´ı, ale z´aroveˇ n takov´ym, kter´e bude m´ıt stejn´e alespoˇ n nˇekter´e statistick´e vlastnosti jako napˇr´ıklad margin´aln´ı momenty nebo kovariance. Jednotliv´e body tohoto nov´eho rozdˇelen´ı nazveme sc´en´aˇre, pˇriˇcemˇz kaˇzd´emu pˇr´ısluˇs´ı jeho pravdˇepodobnost. Na jednotliv´e sc´en´aˇre m˚ uˇzeme pohl´ıˇzet jako na jednotliv´e atomy diskr´etn´ıho rozdˇelen´ı. Jeden sc´en´aˇr je jedn´ım atomem, bodem dan´eho diskr´etn´ıho rozdˇelen´ı. Jejich poˇcet sice nen´ı v podstatˇe niˇc´ım omezen, ale my se snaˇz´ıme o co nejmenˇs´ı poˇcet, aby byly v´ypoˇcty co nejjednoduˇsˇs´ı a nejrychlejˇs´ı, ale z´aroveˇ n jich potˇrebujeme dostateˇcn´e mnoˇzstv´ı, aby dobˇre reprezentovaly dan´e rozdˇelen´ı. Pojmem dobˇre“ ” zde rozum´ıme tak, aby z˚ ustaly zachov´any n´ami zvolen´e statistick´e vlastnosti jako napˇr´ıklad stˇredn´ı hodnota, rozptyl nebo i vyˇsˇs´ı momenty.
3
1.2 1.2.1
Z´ akladn´ı definice, vˇ ety a vlastnosti N´ ahodn´ e veliˇ ciny a vektory
Definice 1. [2, Kapitola 2.2] Necht’ Ω je nˇejak´a mnoˇzina a A je σ-algebra jej´ıch podmnoˇzin. Funkci P : A → h0, 1i nazveme pravdˇepodobnost´ı, pr´avˇe kdyˇz splˇ nuje n´asleduj´ıc´ı podm´ınky: (a) P (A) ≥ 0, P (Ω) = 1, ∀ AT∈ A; P∞ S (b) A1 ,A2 ,A3 , · · · ∈ A a Ai Aj = ∅∀i 6= j ⇒ P ( ∞ i=1 P (Ai ). i=1 Ai ) =
Definice 2. [1, Kapitola 1.1] Rozdˇelen´ım n´ahodn´e veliˇciny X : (Ω,A) → (X ,B), kde X je nˇejak´a mnoˇzina a B je nˇejak´a σ-algebra na X , rozum´ıme indukovanou pravdˇepodobnostn´ı m´ıru PX na (X , B) definovanou vztahem PX (B) = P ({ω ∈ Ω : X(ω) ∈ B}), B ∈ B. Definice 3. [1, Kapitola 1.1] Stˇredn´ı hodnotou (re´aln´e) n´ahodn´e veliˇciny X rozum´ıme ˇc´ıslo E X dan´e v´yrazem Z EX= X(ω)dP (ω), Ω
pokud integr´al na prav´e stranˇe existuje. Hodnota µk = E X k se naz´yv´a k-t´y moment n´ahodn´e veliˇciny X. Hodnota µ∗k = E (X − E X)k se naz´yv´a k-t´y centr´aln´ı moment n´ahodn´e veliˇciny X. Druh´y centr´aln´ı moment n´ahodn´e veliˇciny X se naz´yv´a rozptyl a znaˇc´ı se var X. Definice 4. [1, Kapitola 2.1] Necht’ X, Y jsou n´ahodn´e veliˇciny s koneˇcn´ymi druh´ymi momenty. Kovarianci veliˇcin X a Y definujeme jako cov(X, Y ) = E (X − E X)(Y − E Y ). Definice 5. [1, Kapitola 2.6] Necht’ X, Y jsou n´ahodn´e veliˇciny s koneˇcn´ymi druh´ymi momenty a s kladn´ymi rozptyly. Korelaˇcn´ı koeficient veliˇcin X a Y je cov(X, Y ) ̺(X, Y ) = √ . varXvarY Definice 6. [1, Kapitola 2.1] Necht’ n´ahodn´e veliˇciny X1 , . . . ,Xn jsou definov´any na t´emˇz pravdˇepodobnostn´ım prostoru (Ω, A, P). Pak vektor X = (X1 , . . . ,Xn )⊤ nazveme n´ahodn´ym vektorem. Definice 7. [1, Kapitola 2.1] Mˇejme pravdˇepodobnostn´ı prostor (Ω, A, P ) a n´ahodn´y vektor X : Ω → Rn v (Ω, A, P ). Pak se pravdˇepodobnostn´ı m´ıra PX : Bn → R na σ-algebˇre n-rozmˇern´ych Borelovsk´ych mnoˇzin Bn definovan´a PX (B) = P ({X ∈ B}), pro kaˇzdou B ∈ Bn , naz´yv´a rozdˇelen´ı pravdˇepodobnosti n´ahodn´eho vektoru X. • Rozdˇelen´ı cel´eho n´ahodn´eho vektoru X = (X1 , . . . , Xn )⊤ se naz´yv´a sdruˇzen´e rozdˇelen´ı. 4
• Necht’ ki , . . . , kr jsou r˚ uzn´a cel´a ˇc´ısla, 1 ≤ ki ≤ n pro i = 1, 2, . . . , r, pˇriˇcemˇz a 1 ≤ r < n. Rozdˇelen´ı n´ahodn´ych veliˇcin (Xk1 , . . . , Xkr )⊤ se pak naz´yv´ margin´aln´ı. Definice 8. [1, Kapitola 2.1] Mˇejme n´ahodn´y vektor X = (X1 , . . . ,Xn )⊤ a necht’ existuj´ı stˇredn´ı hodnoty E X1 , E X2 , . . . , E Xn . Pak E X = (E X1 , . . . , E Xn )⊤ nazveme stˇredn´ı hodnota n´ahodn´eho vektoru X = (X1 , . . . ,Xn )⊤ . Hodnota µk = ⊤ E X k = E (X1 )k , . . . , E (Xn )k se naz´yv´a k-t´y moment n´ahodn´eho vektoru X.
Definice 9. [1, Kapitola 2.1] Necht’ n´ahodn´e vektory X = (X1 , . . . ,Xn )⊤ a Y = (Y1 , . . . ,Yn )⊤ maj´ı koneˇcn´e druh´e momenty. Kovarianci n´ahodn´eho vektoru X n´ahodn´ych veliˇcin Xi a Xj (1 ≤ i,j ≤ n) definujeme vztahem cov(Xi ,Xj ) = E (Xi − E Xi )(Xj − E Xj ). Kovarianˇcn´ı matice cov(X, Y ) vektor˚ u X a Y je definovan´a vzorcem cov(X, Y ) = E (X − E X)(Y − E Y )⊤ Definice 10. [1, Kapitola 2.6] Necht’ X = (X1 , . . . , Xn )⊤ a Y = (Y1 , . . . , Ym )⊤ jsou dva n´ahodn´e vektory se sloˇzkami, jeˇz maj´ı koneˇcn´e a kladn´e rozptyly. Korelaˇcn´ı matic´ı ̺(X, Y ) vektor˚ u X a Y rozum´ıme matici typu n × m se sloˇzkami ̺(Xi , Yj ) na m´ıstˇe (i, j).
1.2.2
Matice
ˇ Definice 11. [4, Kapitola 1.1] Ctvercov´ a matice A stupnˇe n se naz´yv´a symetrick´ a, ⊤ jestliˇze A = A , tj. aij = aji , i, j = 1, 2, . . . , n. ˇ Definice 12. [4, Kapitola 1.1] Ctvercovou matici A nazveme regul´arn´ı, pokud existuje matice B takov´a, ˇze AB = BA = I, kde I je jednotkov´a matice. Matici ˇ B nazveme inverzn´ı matic´ı k matici A. Ctvercovou matici, kter´a nen´ı regul´arn´ı, nazveme singul´ arn´ı matic´ı. Definice 13. [10, Definice 9.10] Je-li A symetrick´a matice typu n × n, pak funkci φ : Rn → R, definovanou pˇredpisem φ(h) = (Ah, h) =
n X
aij hi hj
i,j=1
naz´yv´ame kvadratickou formou danou matic´ı A. Tato kvadratick´a forma se naz´yv´ a • pozitivnˇe definitn´ı, je-li φ(h) > 0 ∀ h ∈ Rn , h 6= 0, • pozitivnˇe semidefinitn´ı, je-li φ(h) ≥ 0 ∀ h ∈ Rn , • indefinitn´ı, nab´yv´a-li jak kladn´ych tak z´aporn´ych hodnot. Vˇ eta 1. [4, Vˇeta 4.8] Necht’ je A pozitivnˇe definitn´ı symetrick´a re´aln´a ˇctvercov´ a matice. Pak existuje jednoznaˇcn´y rozklad A = LL⊤ , kde L je doln´ı troj´ uheln´ıkov´ a matice s kladn´ymi prvky na diagon´ale. Tento jednoznaˇcnˇe urˇcen´y rozklad nazveme Cholesk´eho rozklad. 5
1.2.3
Konvexn´ı funkce
Definice 14. [10, Definice 8.22] Necht’ X je libovoln´a nepr´azdn´a mnoˇzina a d je funkce pˇriˇrazuj´ıc´ı kaˇzd´e dvojici (x,y) z X nez´aporn´e re´aln´e ˇc´ıslo d(x,y)s vlastnostmi: a) pro x,y ∈ X je d(x,y) = 0 pr´avˇe kdyˇz x = y; b) d(x,y) = d(y,x) pro kaˇzd´e x,y ∈ X; c) d(x,y) ≤ d(x,z) + d(z,y) pro kaˇzd´e x,y,z ∈ X. Funkce d se pak naz´yv´a metrika na X a dvojice (X,d) se naz´yv´a metrick´y prostor. Definice 15. [12, Kapitola 1.3] Necht’ x = (x1 , . . . , xn )⊤ a p > 1 je re´aln´e ˇc´ıslo, pak p-normu vektoru x definujeme vztahem kxkp := (
n X i=1
1
|xi |p ) p
Definice 16. [13, 10.1] Necht’ p < ∞. Mnoˇzinu vˇsech µ-mˇeˇriteln´ych funkc´ı na X takov´ych, ˇze Z |f |p dµ < ∞, X
oznaˇcme Lp = Lp (X, ϕ, µ), kde ϕ je σ-algebra. Pak hodnota Z 1 kf kp := ( |f |p dµ) p X
se naz´yv´a Lp -norma funkce f ∈ Lp . Definice 17. [6, Definice 2.2] Mnoˇzina D ⊂ Rn se naz´yv´a konvexn´ı, jestliˇze s kaˇzd´ymi dvˇema body obsahuje tak´e vˇsechny jejich konvexn´ı line´arn´ı kombinace, tj. ∀ x,y ∈ D a λ ∈ (0,1) je tak´e λx + (1 − λ)y ∈ D. Definice 18. [6, Definice 2.11] Necht’ D ⊂ Rn je konvexn´ı mnoˇzina, funkce f : D → R se naz´yv´a konvexn´ı na D, jestliˇze ∀x, y ∈ D a ∀λ ∈ [0,1] plat´ı: f (λx + (1 − λ)y) ≤ λf (x) + (1 − λ)f (y). Vˇ eta 2. Necht’ D ⊂ Rn je konvexn´ı mnoˇzina a f1 : D → R, f2 : D → R, . . . , fk : D → R jsou konvexn´ı funkce. Pak pro kaˇzd´e v´ahy a1 ≥ 0, a2 ≥ 0, . . . , ak ≥ 0 je P k et konvexn´ı funkc´ı. i=1 ai fi opˇ P D˚ ukaz. D˚ ukaz provedeme sporem. Necht’ tedy ki=1 ai fi nen´ı konvexn´ı, pak ∃ x, y ∈ D a α ∈ (0,1) tak, ˇze α
k X i=1
ai fi (x) + (1 − α)
k X
ai fi (y) <
i=1
k X i=1
ai fi (αx + (1 − α)y.
To u ´ pravou pˇrevedeme na tvar k X i=1
ai αfi (x) + (1 − α)fi (y) < 6
k X i=1
ai fi αx + (1 − α)y .
Pak alespoˇ n pro jedno i ∈ {1, . . . , k} plat´ı ai αfi (x) + (1 − α)fi (y) < ai fi αx + (1 − α)y . Vydˇelen´ım ai > 0 z´ısk´ame
αfi (x) + (1 − α)fi (y) < fi αx + (1 − α)y . P To je spor s pˇredpokladem konvexity vˇsech funkc´ı fi , tedy ki=1 ai fi je konvexn´ı funkce na D. Vˇ eta 3. [6, Lemma 2.38] Necht’ je D ⊂ Rn konvexn´ı mnoˇzina, h : D → R je afinnˇe line´arn´ı funkce a g : R → R je konvexn´ı funkce. Pak f : D → R : x → g h(x) je konvexn´ı funkce.
Vˇ eta 4. [6, Lemma 2.39] Necht’ je D ⊂ Rn konvexn´ı mnoˇzina, h : D → R je konvexn´ı funkcefunkce a g : R → R je neklesaj´ıc´ı konvexn´ı funkce. Pak f : D → R : x → g h(x) je konvexn´ı funkce.
Definice 19. [10, Definice 9.7] Necht’ funkce f : Rn → R je definovan´a na ˇ nˇejak´em okol´ı bodu a ∈ Rn na mnoˇzinˇe M ∈ Rn , a ∈ M. Rekneme, ˇze funkce f m´a v a: • lok´aln´ı minimum vzhledem k M, jestliˇze existuje takov´e okol´ı U(a), ˇze f (a) ≤ f (x) pro x ∈ U(a) ∩ M,
• ostr´e lok´aln´ı minimum vzhledem k M, jestliˇze existuje takov´e okol´ı U(a), ˇze f (a) < f (x) pro x ∈ U(a) ∩ M, • glob´aln´ı minimum vzhledem k M, jestliˇze f (a) ≤ f (x) ∀ x ∈ M, x 6= a, • ostr´e glob´aln´ı minimum vzhledem k M, jestliˇze f (a) < f (x) ∀ x ∈ M, x 6= a. Definice 20. [10, Definice 9.1] Necht’ funkce f : Rn → R je definovan´a na nˇejak´em okol´ı bodu a ∈ Rn , a = (a1 , a2 , . . . , an ) ∈ Rn . Potom parci´aln´ı derivac´ı funkce f podle i-t´e promˇenn´e v bodˇe a naz´yv´ame vlastn´ı limitu (pokud existuje) f (a1 ,a2 , . . . , ai−1 ,ai + h, ai+1 , . . . , an ) − f (a) . h→0 h Oznaˇcujeme ji fxi (a). lim =
Vˇ eta 5. [10, Vˇeta 9.22] Necht’ funkce f : Rn → R je definovan´a na U( a), kde a je nˇejak´y bod z Rn a U( a) je okol´ı bodu a. M´a-li f v bodˇe a lok´aln´ı extr´em a m´a v nˇem derivaci fxi (a) podle i-t´e promˇenn´e, pak je tato derivace rovna nule. Vˇ eta 6. Necht’ f je nekonstantn´ı funkce a m´a ve vnitˇrn´ım bodˇe c sv´eho definiˇcn´ıho oboru lok´aln´ı extr´em. Je-li f v okol´ı bodu c konvexn´ı, m´a v c minimum. D˚ ukaz. D˚ ukaz provedeme sporem. Necht’ ∀ y ∈ Ux ∃ z ∈ Ux : x = αy + (1 − α)z, kde Ux je okol´ı bodu x a α ∈ (0, 1). Necht’ jeˇstˇe nen´ı v x lok´aln´ı minimum (tj. je v nˇem lok´aln´ı maximum), pak plat´ı ∀ y ∈ Ux , f (y) ≤ f (x). f je konvexn´ı na Ux , to znamen´a, ˇze αf (y) + (1 − α)f (z) ≥ f (αy + (1 − α)z) = f (x) tj. alespoˇ n jedna z f (y), f (z) > f (αy + (1 − α)z) = f (x) a to je spor s pˇredpokladem, ˇze v x je lok´aln´ı maximum. Tedy je v nˇem lok´aln´ı minimum. 7
Vˇ eta 7. [6, Lemma 2.33] Necht’ X ⊂ Rn je otevˇren´a konvexn´ı mnoˇzina a funkce f : X → R m´a druh´e parci´aln´ı derivace v kaˇzd´em bodˇe X . Pak f je konvexn´ı funkce tehdy a jen tehdy, kdyˇz jej´ı matice druh´ych parci´ aln´ıch derivac´ı je pozitivnˇe semidefinitn´ı v kaˇzd´em bodˇe x ∈ X . Vˇ eta 8. [6, Vˇeta 2.37] Necht’ X ⊂ Rn konvexn´ı a necht’ f : X → R je konvexn´ı funkce. Pak kaˇzd´e jej´ı lok´aln´ı minimum je minimem glob´aln´ım.
1.3
Probl´ em
Pˇredpokl´adejme, ˇze o p˚ uvodn´ım rozdˇelen´ı m´ame u ´ plnou znalost, aˇc to nen´ı u ´ plnˇe realistick´y pˇredpoklad. Pokud je toto rozdˇelen´ı diskr´etn´ı, m˚ uˇzeme rovnou pˇrej´ıt k v´ybˇeru vhodn´ych sc´en´aˇr˚ u. V pˇr´ıpadˇe, ˇze je toto zn´am´e rozdˇelen´ı spojit´e, nahrad´ıme jej rozdˇelen´ım diskr´etn´ım. To je moˇzn´e prov´est napˇr´ıklad simulac´ı z p˚ uvodn´ıho rozdˇelen´ı. Tak budeme opˇet v situaci, kdy pracujeme s diskr´etn´ım rozdˇelen´ım, kter´e je ale st´ale nepˇr´ıjemn´e pro v´ypoˇcty, a proto jej chceme nahradit rozdˇelen´ım s menˇs´ım poˇctem sc´en´aˇr˚ u ω 1 , . . . , ω S , S < ∞ s pˇr´ısluˇsn´ymi pravdˇepodobnostmi p1 , . . . , pS . Dalˇs´ı moˇznost´ı je, ˇze nem´ame u ´ plnou znalost dan´eho pravdˇepodobnostn´ıho rozdˇelen´ı. Napˇr´ıklad zn´ame jen nˇekter´e momenty. V takov´emto pˇr´ıpadˇe je nutn´e vhodnˇe a dobˇre zvolit pˇribliˇzn´e rozdˇelen´ı pˇri dan´e informaci. Ot´azka moˇzn´e reprezentace pravdˇepodobnostn´ıho rozdˇelen´ı pomoc´ı nekoneˇcn´e sekvence moment˚ u a jej´ı aproximace uˇzit´ım pouze nˇekolika z tˇechto moment˚ u je spojena s momentov´ym probl´emem. Nav´ıc je moˇzn´e dok´azat, ˇze vzhledem k m pˇr´ıpustn´ym hodnot´am moment˚ u existuje diskr´etn´ı pravdˇepodobnostn´ı rozdˇelen´ı s tˇemito momenty a nosiˇcem maj´ıc´ım nanejv´yˇs m + 2 bod˚ u. Vˇ eta 9. [14, Theor´em 5.1.4] Necht’ σ-algebra na Ω existuje, pravdˇepodobnostn´ı m´ıra P je na n´ı definovan´a a u0 (z), . . . , um (z), z ∈ Ω jsou mˇeˇriteln´e a integrovateln´e funkce vzhledem k σ-algebˇre a m´ıˇre P , pak existuje pravdˇepodobnostn´ı m´ıra P ′ na koneˇcn´em nosiˇci Ω′ takov´a, ˇze Z ′ uk (z)dP ′ = µk , k = 0, . . . , m, µk = Ω
R kde µk = Ω uk (z)dP, k = 0, . . . , m a nosiˇc pravdˇepodobnostn´ı m´ıry P ′ m´a nejv´ıce m + 2 bod˚ u. To tedy znamen´a, ˇze pro dan´e hodnoty konkr´ etn´ıch moment˚ u, napˇr´ıklad R stˇredn´ıch hodnot, funkce oznaˇcen´e jako µk = Ω uk (z)dP (z), k = 1, . . . , m existuje nevelk´ y poˇcet sc´en´aˇr˚ u ω s , s = 1, . . . , S a jejich pravdˇepodobnost´ı ps , s = P S s 1, . . . , S : s=1 p = 1 tak, ˇze hodnoty tˇechto moment˚ u jsou zachov´any, to jest PS s s p u (ω ) = µ , k = 1, . . . , m. k k s=1 Abychom z´ıskali tyto sc´en´aˇre a jejich pravdˇepodobnosti, potˇrebujeme naj´ıt ˇreˇsen´ı ω s a ps , s = 1, . . . , S syst´emu S X
ps uk (ω s ) = µk , k = 1, . . . , m
s=1
8
(1.1)
P rozˇs´ıˇren´eho o podm´ınky ps ≥ 0 ∀ s = 1, . . . , S a Ss=1 ps = 1, kde lze syst´em rovnic d´ale rozˇs´ıˇrit o dalˇs´ı omezen´ı. Obecnˇe je tento probl´em neline´arn´ı. Pˇredpokl´adejme, ˇze ω = (ω1 , . . . , ωn ) je n-rozmˇern´y n´ahodn´y vektor s margin´aln´ımi rozdˇelen´ımi s prvn´ımi m momenty µk (1), µk (2), . . . , µk (n), k = 1, . . . , m a kovariancemi ρij , i 6= j, i = 1, . . . , n − 1, j = i + 1, . . . , n sdruˇzen´eho rozdˇelen´ı. Abychom pokryli extrem´aln´ı pˇr´ıpady, pˇrid´ame podm´ınku ω1s ≥ c1 , ω2s ≥ c2 , . . . , ωns ≥ cn , pˇriˇcemˇz nemus´ı nutnˇe platit vˇsechny podm´ınky. Necht’ m´ame jeˇstˇe n-rozmˇern´e pravdˇepodobnostn´ı rozdˇelen´ı, kter´e se shoduje s p˚ uvodn´ım v S atomech ω s = (ω1s , P . . . , ωns ), s = 1, . . . , S s pravdˇepodobnostmi ps splˇ nuj´ıc´ımi ps ≥ 0 ∀ s = 1, . . . , S, Ss=1 ps = 1 a m´a pˇredepsan´e hodnoty moP ment˚ u tj. Ss=1 ps uk (ω s ) = µk , k = 1, . . . , m. Hled´an´ı ˇreˇsen´ı tohoto syst´emu tedy znamen´a hled´an´ı hodnot vektorov´ych n-tic (ω1s , . . . ,ωns ), s = 1, . . . ,S a skal´ar˚ u ps , s = 1, . . . ,S tak, aby S X
ps uk (ωis ) = µk (i), k = 1, . . . ,m, i = 1, . . . ,n
s=1
a pˇr´ıpadnˇe tak´e S X s=1
ps ωis − µ1 (i) ωjs − µ1 (j) = covij , i = 1, . . . ,n − 1, j = i + 1, . . . ,n,
pokud chceme zachovat hodnoty ı, pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 , . . . , Pkovarianc´ S s s s ωn ≥ cn , p ≥ 0, s = 1, . . . , S, s=1 p = 1. Oznaˇcme (ω1s )k := uk (ω s ). Pˇredchoz´ı rovnosti pak m˚ uˇzeme rozepsat jako S X
s=1 S X
ps (ω1s )k = µk (1), k = 1, . . . ,m ps (ω2s )k = µk (2), k = 1, . . . ,m
s=1
.. . S X
ps (ωns )k = µk (n), k = 1, . . . ,m
s=1 S X
ps ω1s − µ1 (1) ωjs − µ1 (j) = cov1,j , j = 2, . . . ,n
s=1
ps ω2s − µ1 (2) ωjs − µ1 (j) = cov2,j , j = 3, . . . ,n
s=1 S X
.. . S X s=1
s − µ1 (n − 1) ωns − µ1 (n) = covn−1,n ps ωn−1
pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 , . . . , ωns ≥ cn , ps ≥ 0, s = 1, . . . , S, 9
(1.2) PS
s=1 p
s
= 1.
Kapitola 2 Metody ˇ reˇ sen´ı 2.1
Heuristick´ y algoritmus
Jako moˇzn´e ˇreˇsen´ı probl´emu (1.2) navrhli K. Hoyland, M. Kaut a S. W. Wallace efektivn´ı, rychl´y a lehce uˇzivateln´y heuristick´y algoritmus zaloˇzen´y na transformac´ıch [8, 9], jehoˇz c´ılem je vygenerovat sc´en´aˇre a jejich pravdˇepodobnosti tak, aby mˇely poˇzadovan´e prvn´ı ˇctyˇri margin´aln´ı momenty a korelace. Algoritmus m´a dvˇe z´akladn´ı ˇc´asti, inicializaˇcn´ı a transformaˇcn´ı. V prvn´ı ˇc´asti je potˇreba specifikovat poˇzadovan´e momenty a korelaˇcn´ı matici. Ta mus´ı b´yt symetrick´a pozitivnˇe semi-definitn´ı s jedniˇckami na hlavn´ı diagon´ale a tak´e chceme, aby nebyla singul´arn´ı. K nesplnˇen´ı tˇechto podm´ınek doch´az´ı nejˇcastˇeji v pˇr´ıpadˇe vnitˇrn´ı inkonzistence v datech nebo v pˇr´ıpadˇe kolinearity n´ahodn´ych promˇenn´ych. D´ale je potˇreba vygenerovat n realizac´ı jednorozmˇern´ych n´ahodn´ych veliˇcin, kter´e obvykle maj´ı standardizovan´e norm´aln´ı rozdˇelen´ı, a z nich vytvoˇrit v´ıcerozmˇernou diskr´etn´ı n´ahodnou veliˇcinu kombinov´an´ım tˇechto jednorozmˇern´ych realizac´ı n´asleduj´ıc´ım zp˚ usobem: • vˇsechna margin´aln´ı rozdˇelen´ı jsou generov´ana se stejn´ym poˇctem realizac´ı • pravdˇepodobnost i-t´e realizace je stejn´a pro vˇsechna margin´aln´ı rozdˇelen´ı • i-t´y sc´en´aˇr, tedy i-tou realizaci sdruˇzen´eho rozdˇelen´ı, z´ısk´ame pouˇzit´ım i-t´e realizace kaˇzd´eho margin´aln´ıho rozdˇelen´ı a pˇriˇrazen´ım pˇr´ısluˇsn´e pravdˇepodobnosti. Protoˇze jsou vˇsechny tyto veliˇciny generov´any n´ahodnˇe, ale jejich poˇcet je koneˇcn´y, maj´ı t´emˇeˇr nulov´e korelace, nulov´e stˇredn´ı hodnoty a jednotkov´e rozptyly. D´ale je zapotˇreb´ı pro korelaˇcn´ı matici R urˇcit jej´ı Cholesk´eho rozklad R = LL⊤ . Posledn´ım krokem prvn´ı f´aze je v´ypoˇcet parametr˚ u pozdˇeji vstupuj´ıc´ıch do kubick´e transformace. To provedeme pomoc´ı konkr´etn´ıho syst´emu rovnic pro pˇr´ıpad prvn´ıch ˇctyˇr moment˚ u. Ve druh´e, transformaˇcn´ı, f´azi aplikujeme na veliˇciny x vygenerovan´e v pˇredchoz´ı f´azi transformaci y = Lx, ˇc´ımˇz z´ısk´ame poˇzadovan´e korelace. A jako posledn´ı transformaci provedeme dosazen´ı z´ıskan´ych veliˇcin do konkr´etn´ıho syst´emu rovnic jehoˇz parametry jsme spoˇc´ıtali v pˇredchoz´ı f´azi. Touto u ´ pravou z´ısk´ame poˇzadovan´e margin´aln´ı momenty, ale m´ırnˇe se pozmˇen´ı korelace. T´ım z´ısk´ame nˇejakou aproximaˇcn´ı chybu, kterou je moˇzn´e zmenˇsovat iterov´an´ım lehce pozmˇenˇen´e druh´e f´aze. 10
Nejvˇetˇs´ı v´yhodou tohoto algoritmu je jeho rychlost. Na rozd´ıl od ostatn´ıch algoritm˚ u se generuje pouze jedno margin´aln´ı rozdˇelen´ı v dan´em okamˇziku a sdruˇzen´e rozdˇelen´ı je n´aslednˇe vytvoˇreno z tˇechto margin´aln´ıch. Druh´ym rozd´ılem je zp˚ usob, kter´ym se tento algoritmus vyrovn´av´a se zmˇenami v zadan´ych statistick´ych vlastnostech v pr˚ ubˇehu transformac´ı, kter´e je mohou mˇenit. Jin´y podobn´y algoritmus pˇrepoˇc´ıt´av´a korelaˇcn´ı matici, aby byl dosaˇzen´y v´ysledek co nejlepˇs´ı, kdeˇzto tento algoritmus pˇrepoˇc´ıt´av´a poˇc´ateˇcn´ı momenty. Tv˚ urci vˇeˇr´ı, ˇze je tento pˇr´ıstup flexibilnˇejˇs´ı neˇz v pˇr´ıpadˇe, kdy se upravuj´ı korelace. Tento algoritmus je pro u ´ˇcely pr´ace, kde se zab´yv´ame jen pˇredepsan´ymi prvn´ımi a druh´ymi momenty, pˇr´ıliˇs sloˇzit´y.
2.2
Pravideln´ e rozloˇ zen´ı sc´ en´ aˇ r˚ u
2.2.1
Shoda prvn´ıch moment˚ u
Nejprve se omezme na nejjednoduˇsˇs´ı pˇr´ıpad u ´ lohy (1.2), kdy ps = S1 ∀s = 1, . . . ,S a kdy n´as zaj´ımaj´ı pouze prvn´ı momenty. To znamen´a ˇreˇsit u ´ lohu S X 1 s ωi = µ1 (i), i = 1, . . . , n. S s=1
(2.1)
V takov´emto pˇr´ıpadˇe jsou ωis vz´ajemnˇe nez´avisl´e pro ∀i = 1, . . . , n a je moˇzn´e ˇreˇsit u ´ lohu pro kaˇzd´e i = 1, . . . , n zvl´aˇst’. Jednou z moˇznost´ı, jak u ´ lohu (2.1) ˇreˇsit, je rozloˇzit ωi1 , . . . , ωiS pravidelnˇe a symetricky okolo µ1 (i). Nav´ıc bez u ´ jmy na obecnosti pˇredpokl´adejme, ˇze 1 2 S ωi < ωi < · · · < ωi , S > 1. (Pokud S = 1, pak ωi1 = µ1 (i).) To znamen´a, ˇze chceme, aby platilo n´asleduj´ıc´ı: ωiS − ωi1 , j = 1, . . . , S − 1 S−1 ωik − µ1 (i) = −(ωiS−k+1 − µ1 (i)), k = 1, . . . , S ωij+1 − ωij =
Oznaˇcme si
ωij 6= ωik , ∀ j,k = 1, . . . , S, j 6= k.
(2.2)
asi := ωis − µ1 (i),
(2.3)
asi = −aS−s+1 i S + 1 − 2s asi = a1i S−1
(2.4)
pak, aby byly splnˇeny podm´ınky (2.2) plat´ı, ˇze
Pak plat´ı, ˇze
(2.5)
S S S S X 1 X 1 S + 1 − 2s 1X s 1X 1 s (a + µ1 (i)) = (a µ1 (i) = µ1 (i) = ω = )+ S i S s=1 i S s=1 i S − 1 S s=1 s=1 S
X Sµ1(i) 2a1i a1 S(S + 1) s+ − = = i S(S − 1) S(S − 1) s=1 S =
a1i S(S + 1) 2a1i S(S + 1) − + µ1 (i) = µ1 (i) S(S − 1) 2S(S − 1) 11
To znamen´a, ˇze pro vˇsechna i = 1, . . . ,n a n´ami zvolen´a ωi1 < µ1 (i) nalezneme vhodn´e ωis , s = 2, . . . , S tak, aby splˇ novaly (2.1). Metodu je moˇzn´e uplatnit i v pˇr´ıpadˇe, pokud jako inicializaˇcn´ı sc´en´aˇr pouˇzijeme jin´y, neˇz ten nejmenˇs´ı a budeme vˇedˇet kolik´at´y z nich to je. V´yjimku tvoˇr´ı pouze pˇr´ıpad, kdy S je lich´e ˇc´ıslo ⌈S⌉ a zvolen´y by byl sc´en´aˇr ωi 2 jehoˇz hodnota je rovna hodnotˇe µ1 (i). V´ysledn´e sc´en´aˇre pak tvoˇr´ı matice velikosti S ∗ i, kter´ych je (S!)i . Jednou takovou matic´ı je napˇr´ıklad matice M s prvky ωis , s = 1, . . . , S, i = 1, . . . ,n, kde s odpov´ıd´a ˇr´adku a i odpov´ıd´a sloupci. Ostatn´ı matice z´ısk´ame permutov´an´ım prvk˚ u uvnitˇr sloupc˚ u matice M. Pokud bychom povaˇzovali matici M za jedin´e ˇreˇsen´ı ˇreˇsen´ı, pˇridali bychom z´avislost mezi jednotliv´e s-t´e sloˇzky.
2.2.2
Shoda prvn´ıch moment˚ u a rozptyl˚ u
Nyn´ı se zab´yvejme u ´ lohou (1.2) tak, ˇze n´as budou zaj´ımat prvn´ı momenty, rozptyly a ps = S1 ∀s = 1, . . . ,S. T´ım z´ısk´ame u ´ lohu S X 1 s ω = µ1 (i), i = 1, . . . , n S i s=1 S X 1 s (ωi − µ1 (i))2 = var(i), i = 1, . . . , n. S s=1
(2.6)
Tuto u ´ lohu m˚ uˇzeme opˇet ˇreˇsit pomoc´ı pravideln´eho a symetrick´eho rozloˇzen´ı sc´en´aˇr˚ u okolo µ1 (i), to znamen´a poˇzadovat stejn´e podm´ınky jako (2.2) a definovat (2.3). Shody prvn´ıch moment˚ u dos´ahneme pro kaˇzd´e ωi1 < µ1 (i) jako v pˇredchoz´ım odstavci. Pro shodu rozptyl˚ u plat´ı, ˇze var(i) =
S S X 1X s 1 s (ai + µ1 (i) − µ1 (i))2 = (ωi − µ1 (i))2 = S S s=1 s=1
S S S 1X s 2 1 X 1 S + 1 − 2s 2 (a1i )2 X = (ai ) = (ai ) = (S + 1 − 2s)2 = 2 S s=1 S s=1 S−1 S(S − 1) s=1 S (a1i )2 X 2 2 (S + 2S + 1) + (4s − 4sS − 4s) = = S(S − 1)2 s=1 S
S
S
X X (a1i )2 X 2 2 = (S + 2S + 1) + (4s ) + −4s(S + 1) = S(S − 1)2 s=1 s=1 s=1
S(S + 1)(2S + 1) S(S + 1) (a1i )2 2 S(S + 2S + 1) + 4 − 4 (S + 1) S(S − 1)2 6 2 1S +1 1 2 = (a ) . 3S −1 i =
To znamen´a, ˇze
a1i
=
r
3(S − 1) var(i) , S+1 12
(2.7)
a dosazen´ım do (2.5) a (2.3) urˇc´ıme vˇsechny sc´en´aˇre ωi1, . . . , ωiS tak, aby splˇ novaly (2.6).
2.3
Soustava neline´ arn´ıch rovnic
Dalˇs´ı ze zp˚ usob˚ u ˇreˇsen´ı u ´ lohy (1.2) zmiˇ nuje R. Kouwenber v pr´aci [11], kde se ps = S1 ∀s = 1, . . . , S a se zab´yv´a shodou pouze stˇredn´ıch hodnot a kovarianc´ı. To znamen´a, ˇze ˇreˇs´ı soustavu neline´arn´ıch rovnic o n ∗ S nezn´am´ych n´asleduj´ıc´ıho tvaru S 1X s ω = µ1 (i), ∀i = 1, . . . ,n S s=1 i S 1X s ωi − µ1 (i) ωjs − µ1 (j) = covi,j , ∀i = 1, . . . , n − 1, j = i + 1, . . . ,n, S s=1
kterou lze za pouˇzit´ı oznaˇcen´ı (2.3) pˇrev´est na tvar S 1X s a = 0, ∀i = 1, . . . ,n S s=1 i S 1X s s a a = covi,j , ∀i = 1, . . . , n − 1, j = i + 1, . . . ,n. S s=1 i j
Nyn´ı si rozmysleme kolik sc´en´aˇr˚ u S m˚ uˇzeme hledat pro n-sloˇzkov´y vektor, ’ ω s = (ω1s , . . . , ωns ), kde abychom z´ıskali jednoznaˇcn´e neparametrick´ PS es ˇreˇsen´ı. Necht P 1 n! 1 n je zn´am´e, pak z´ısk´ame n rovnic S s=1 ai = 0 a 2 (n−2)! rovnic S1 Ss=1 asi asj = covi,j . Tento poˇcet rovnic je zapotˇreb´ı jeˇstˇe vydˇelit hodnotou n, protoˇze kaˇzd´y ω s m´a n sloˇzek. T´ım zjist´ıme, ˇze S = ⌊1 +
n−1 ⌋, 2
coˇz z´aroveˇ n znamen´a, ˇze n=
2.4
2S 2S − 1
pro n sud´e pro n lich´e.
ˇ sen´ı pomoc´ı c´ılov´ Reˇ eho programov´ an´ı
ˇ sen´ı x Definice 21. (V´ıcekriteri´aln´ı programov´an´ı) [5, 3.1.1] Reˇ ˆ ∈ X je eficientn´ı ˇreˇsen´ı u ´lohy minimalizujte“ funkci f = (f1 , . . . , fK ), K ≥ 2, fk : Rn → R1 na ” uzavˇren´e mnoˇzinˇe X (zkr´acenˇe ” min ”f (x) na X ), pokud neexistuje ˇz´adn´e x ∈ X , pro kter´e f (x) ≤ f (ˆ x) a f (x) 6= f (ˆ x). Jednou z metod nalezen´ı eficientn´ıho ˇreˇsen´ı je c´ılov´e programov´an´ı. Jeho hlavn´ı ideou je z´ıskat ˇreˇsen´ı z X , pro kter´e v´ystup zmˇeˇren´y jako f (x) = f1 (x), . . . ,fK (x) 13
⊤
je co nejbl´ıˇze k vektoru d´elky K sloˇzen´emu z nejlepˇs´ıch dosaˇziteln´ych ˇreˇsen´ı pro jednotliv´e funkce fk∗ = min fk (x), k = 1, . . . ,K. x∈X
Vzd´alenosti jsou definov´any v prostoru hodnot funkce f a podmnoˇziny RK , kde m˚ uˇzeme pouˇz´ıt kteroukoli z Lp vzd´alenost´ı, 1 ≤ p < ∞. Jedn´a se tedy o minimalizaˇcn´ı probl´em min k T (f ∗ − f (x)) kp
(2.8)
x∈X
s diagon´aln´ı matic´ı T = diag{t1 , . . . ,tK }, tk > 0 ∀k. Sjednocen´ım obecn´e u ´ lohy c´ılov´eho programov´an´ı (2.8) s u ´ lohou (1.2) zjist´ıme, ˇze ⊤ f ∗ = µk (1), . . . ,µk (n), cov1,j1 , . . . , covn−1,jn−1 , S S S X X X ps ω1s − µ1 (1) ωjs1 − µ1 (j1 ) , . . . , ps (ωns )k , f (ω) = ps (ω1s )k , . . . , s=1 S X
p
s=1
s=1
s
s ωn−1
s=1
− µ1 (n − 1)
ωjsn−1
− µ1 (jn−1 )
⊤
,
T = diag{α1,k , . . . ,αn,k ,β1,j1 , . . . ,βn−1,jn−1 } pro k = 1, . . . ,m, ji = i + 1, . . . ,n. To tedy znamen´a, ˇze ˇreˇsen´ı bude nalezeno jako ˇreˇsen´ı u ´ lohy ⊤ min kdiag{αlk , βij } µk (l), covi,j − ω
−
S X s=1
p
s
(ωls )k ,
S X
p
s=1
s
ωis
− µ1 (i)
ωjs
− µ1 (j)
⊤
kp ,
k = 1, . . . , m, l = 1, . . . ,n, i = 1, . . . , n − 1, j = i + 1, . . . ,n (2.9) P pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 , . . . , ωns ≥ cn , ps ≥ 0, s = 1, . . . , S, Ss=1 ps = 1, kde v´ahy α∗ , β∗ odpov´ıdaj´ı kvalitˇe a d˚ uleˇzitosti dat a volba S z´avis´ı na uˇzivateli.
14
Kapitola 3 Charakter u ´lohy (2.9) Hlavn´ı v´yhodou t´eto formulace u ´ lohy je, ˇze optim´aln´ı hodnota je 0, pokud jsou data konzistentn´ı a S je dostateˇcnˇe velk´e, avˇsak ˇreˇsen´ı je rovnˇeˇz dobrou reprezentac´ı dat, pokud jsou nekonzistentn´ı. Nekonzistentnost se m˚ uˇze objevit napˇr´ıklad, pokud informace o hodnot´ach moment˚ u z´ısk´ame z r˚ uzn´ych zdroj˚ u nebo pokud jsou implicitn´ı specifika nekonˇ zistentn´ı s explicitn´ımi. Casto je racion´aln´ı urˇcit hodnotu nˇekter´ych statistick´ych vlastnost´ı na z´akladˇe u ´ sudku experta a jin´e na z´akladˇe empirick´e anal´yzy. Jako pˇr´ıklad si pˇredstavme, ˇze si zadavatel pˇreje odhad kovariance a stˇredn´ıch kvadratick´ych odchylek urˇcit z empirick´ych dat, ale pro stˇredn´ı hodnotu se rozhodne vyuˇz´ıt sv´eho u ´ sudku o jej´ı hodnotˇe. Stˇredn´ı kvadratick´a odchylka a kovariance jsou tedy zaloˇzeny na empirick´e stˇredn´ı hodnotˇe, kter´a je nejsp´ıˇse jin´a neˇz jakou odhaduje zadavatel. Z tohoto d˚ uvodu specifikovan´e statistick´e vlastnosti dan´eho rozdˇelen´ı nemus´ı b´yt vnitˇrnˇe konzistentn´ı. Dokonce se m˚ uˇze st´at, ˇze takov´eto rozdˇelen´ı ani nemus´ı existovat. Jako druh´y pˇr´ıklad uvaˇzme probl´em, kter´y pokr´yv´a dvˇe ˇcasov´a obdob´ı. Specifikujme stˇredn´ı kvadratickou odchylku ω1 a stˇredn´ı kvadratickou odchylku souˇctu ω1 + ω2 . Specifikov´an´ım tˇechto dvou kvadratick´ych odchylek jsme ale z´aroveˇ n ˇrekli nˇeco o korelaci v pr˚ ubˇehu ˇcasu. Pokud bychom ted’ explicitnˇe specifikovali korelaci v pr˚ ubˇehu ˇcasu, nejsp´ıˇse bychom tak z´ıskali dvˇe odliˇsn´e informace. A jako posledn´ı pˇr´ıpad si uved’me situaci, kdy je kovariance specifikov´ana podle u ´ sudku manaˇzera a druh´y obecn´y moment je vypoˇc´ıt´an z dat. V takov´em pˇr´ıpadˇe opˇet z´ısk´av´ame nekonzistentnost, jelikoˇz kovariance je druh´ym centr´aln´ım momentem. V tomto pˇr´ıpadˇe je vˇsak moˇzn´e relativnˇe jednoduˇse zjistit, jestli se nekonzistentnost objevila nebo ne, i kdyˇz je jen m´alo pravdˇepodobn´e, ˇze tyto dva u ´ daje jsou konzistentn´ı. Z definic druh´eho obecn´eho a centr´aln´ıho momentu a za pˇredpokladu var X < ∞ lze jednoduˇse odvodit vztah var X = E X 2 − (E X)2 neboli rozptyl je druh´y obecn´y moment sn´ıˇzen´y o druhou mocninu stˇredn´ı hodnoty. Algoritmick´a metoda ˇreˇsen´ı naˇs´ı optimalizaˇcn´ı u ´ lohy zvl´adne nekonzistentnost statistick´ych vlastnost´ı, ale nedos´ahne nulov´e v´ysledn´e hodnoty. V takov´em pˇr´ıpadˇe se mus´ı manaˇzer rozhodnout, zda se spokoj´ı s ˇreˇsen´ım, kter´e se ohlednˇe statistick´ych vlastnost´ı shoduje s p˚ uvodn´ım pouze pˇribliˇznˇe, nebo pˇrehodnot´ı zadan´e specifikace a zmˇen´ı je. Manaˇzer m˚ uˇze d´at kaˇzd´e specifikaci takovou v´ahu α∗ ,β∗ , aby dos´ahl korektn´ıho kompromisu mezi dˇr´ıve diskutovan´ymi moˇznostmi. N´aroˇcnost numerick´eho ˇreˇsen´ı tohoto probl´emu roste jak se zvˇetˇsuj´ıc´ım se
15
poˇctem dat, tak se zvˇetˇsuj´ıc´ı se dimenz´ı vektoru. N´aroˇcnost rovnˇeˇz roste s mnoˇzstv´ım moment˚ u, na kter´e m´ame poˇzadavek shody.
3.1
Speci´ aln´ı volba rozmˇ er˚ uu ´ lohy
1 Nyn´ı se budeme vˇenovat probl´emu, kdy n = 2, ps = ∀s, p = 1, 2 a k = S 1, 2. To tedy znamen´a, ˇze budeme m´ıt dvourozmˇern´a data, vˇsechny sc´en´aˇre budou stejnˇe pravdˇepodobn´e, normu zvol´ıme L1 a L2 a budeme poˇzadovat pouze shodu stˇredn´ıch hodnot, druh´ych moment˚ u a pˇr´ıpadnˇe kovariance. V dalˇs´ı ˇc´asti si uk´aˇzeme i u ´ lohu, ve kter´e budeme poˇzadovat shodu rozptyl˚ u. Omezen´ım pravdˇepodobnost´ı na stejn´e hodnoty, tedy konstanty, se probl´em velmi zjednoduˇs´ı. Pokud bychom to neudˇelali, mˇeli bychom dvakr´at v´ıce promˇenn´ych a tedy podstatnˇe sloˇzitˇejˇs´ı a v´ypoˇcetnˇe daleko n´aroˇcnˇejˇs´ı probl´em. Nav´ıc by ani nebylo moˇzn´e udˇelat nˇekter´e dalˇs´ı v´yhodn´e u ´ pravy a pˇreformulov´an´ı, kter´a umoˇzn ˇ uj´ı jednoduˇsˇs´ı v´ypoˇcty. Volbou tˇechto v´ychoz´ıch podm´ınek lze n´aˇs probl´em pˇreformulovat na hled´an´ı hodnot vektorov´ych dvojic (ω1s ,ω2s ), s = 1, . . . ,S tak, ˇze S X 1 s k (ω ) = µk (1) pro k = 1, 2 S 1 s=1 S X 1 s k (ω2 ) = µk (2) pro k = 1,2 S s=1 S X 1 s (ω1 − µ1 (1))(ω2s − µ1 (2)) = cov1,2 S s=1
pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 . ´ Uloha (2.9) se tak redukuje na takto: α1,1 0 0 0
0
0 α2,1 0
0 0 α 0 min 1,2
0 0 0 α2,2 0 0 0 0
u ´ lohu, kterou lze v maticov´e formˇe napsat P µ1 (1) − Ss=1 S1 (ω1s ) 0 PS 1 s 0 µ (2) − (ω ) 1 PSs=1 1S s2 2 0 µ2 (1) − s=1 S (ω1 ) P 0 µ2 (2) − Ss=1 1 (ω2s )2 p S β1,2 COV
pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 , kde S S S X 1 s X1 s s X1 s COV = cov1,2 − ω1 − (ω1 ) ω2 − (ω2 ) . S S S s=1 s=1 s=1
16
(3.1)
3.2 3.2.1
Volba metriky L1 norma
Shoda stˇ redn´ıch hodnot V nejjednoduˇsˇs´ım pˇr´ıpadˇe budeme poˇzadovat pouze shodu stˇredn´ıch hodnot (tedy k = 1). T´ım se u ´ loha (3.1) mˇen´ı na u ´ lohu n´asleduj´ıc´ıho tvaru: PS 1 s
α1,1 0 (ω1 ) µ (1) − 1 S
Ps=1 min (3.2) S 1 0 α2,1 µ1 (2) − s=1 S (ω2s ) p pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 . Metriku zvol´ıme L1 , t´ım se u ´ loha (3.2) mˇen´ı na
S S X X 1 s 1 s ω1 + α2,1 µ1 (2) − ω = min α1,1 µ1 (1) − S S 2 s=1 s=1
S S 1 X 1 X s = min α1,1 ω1 − µ1 (1) + α2,1 ω2s − µ1 (2) S s=1 S s=1
pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 . Absolutn´ı hodnota je na R konvexn´ı funkce,
PS 1 S s=1 ωi1
(3.3)
ωis − µ1 (i) pro i = 1,2
je afinn´ı zobrazen´ı dan´e pˇredpisem ( S1 , . . . , S1 ) ... − µ1 (i) a podle Vˇety 4 je ωiS tato funkce konvexn´ı. Tak´e v´aˇzen´y souˇcet konvexn´ıch funkc´ı je konvexn´ı pˇri libovoln´ych nez´aporn´ych vah´ach, jak ˇr´ık´a Vˇeta 2, proto je minimalizaˇcn´ı u ´ loha (3.3) u ´ lohou konvexn´ı. ´ Ulohu (3.3) lze pˇretransformovat na u ´ lohu line´arn´ıho programov´an´ı.
´ Definice 22. [7, Kapitola 1.1] Uloha line´arn´ıho programov´an´ı je u ´loha minimalizovat f (x) na mnoˇzinˇe ˇreˇsen´ı soustavy rovnic a nerovnic gk (x) ≤ 0, k = 1, 2, . . . , m hj (x) = 0, j = 1, 2, . . . , p x ∈ Rn pˇriˇcemˇz vˇsechny funkce f, gk , hj jsou line´arn´ı. Oznaˇcme si S 1X s ω − µ1 (1)| γ1 := | S s=1 1 S 1X s γ2 := | ω − µ1 (2)|. S s=1 2
17
C´ılem je minimalizovat α1,1 γ1 + α2,1 γ2 S 1X s ω − µ1 (1) ≤ γ1 za podm´ınek −γ1 ≤ S s=1 1 S 1X s −γ2 ≤ ω − µ1 (2) ≤ γ2 S s=1 2
ω1s ≥ c1 , ω2s ≥ c2 . To znamen´a ˇreˇsit u ´ lohu line´arn´ıho programov´an´ı ve tvaru: min α1,1 γ1 + α2,1 γ2 S 1X s za podm´ınek γ1 + ω ≥ µ1 (1) S s=1 1 S 1X s ω ≥ −µ1 (1) γ1 − S s=1 1
γ2 +
S 1X s ω ≥ µ1 (2) S s=1 2
γ2 −
S 1X s ω ≥ −µ1 (2) S s=1 2
ω1s ≥ c1 ω2s ≥ c2 .
(3.4)
Jak bylo zm´ınˇeno na zaˇc´atku kapitoly (3.1), u ´ lohu (3.3) by nebylo moˇzn´e pˇreformulovat na u ´ lohu line´arn´ıho programov´an´ı (3.4), pokud by pravdˇepodobnosti byly optimalizovan´e promˇenn´e. Shoda vyˇ sˇ s´ıch moment˚ u Ve druh´em pˇr´ıpadˇe ponech´ame metriku L1 , ale tentokr´at budeme poˇzadovat shodu rozptyl˚ u. T´ım z´ısk´ame optimalizaˇcn´ı u ´ lohu n´asleduj´ıc´ıho tvaru: S S X X 1 s 2 1 s 2 min α1,2 var(1) − (ω ) − ω + S 1 S 1 s=1 s=1 S S X X 1 s 2 1 s 2 + α2,2 var(2) − (ω2 ) − ω2 S S s=1 s=1
(3.5)
pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 . Tato u ´ loha nen´ı konvexn´ı. Uvaˇzujme, ˇze hled´ame pouze dva sc´en´aˇre (S = 2). Po jednoduch´ych u ´ prav´ach z´ısk´ame u ´ lohu min α1,2 | var(1) − 14 (ω11 − ω12 )2 | + α2,2 | var(2) − 41 (ω21 − ω22)2 | pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 , kde var(i) > 0 je konstanta. Pˇri zafixovan´em ωi1 funkce | var(i) − 14 (ωi1 − ωi2 )2 | nen´ı konvexn´ı, proto ani u ´ loha (3.5) nen´ı konvexn´ı.
18
Rovnˇeˇz m˚ uˇzeme formulovat u ´ lohu na shodu druh´ych moment˚ u. Ta bude m´ıt n´asleduj´ıc´ı tvar: min α1,2 |µ2(1) −
S S X X 1 s 2 1 s 2 (ω1 ) | + α2,2 |µ2 − (ω2 ) )| S S s=1 s=1
(3.6)
pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 . Pokud bychom z pozorovan´ych dat znali pouze stˇredn´ı hodnotu a rozptyl byla by u ´ loha na shodu druh´ych moment˚ u pˇreformulov´ana za pomoc´ı vzorce var X = E X 2 − (E X)2 do tvaru S 2 X 1 s 2 − min α1,2 var(1) + µ1 (1) (ω ) + S 1 s=1 S 2 X 1 s 2 (ω ) ) − +α2,2 var(2) + µ1 (2) S 2 s=1
(3.7)
pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 . Tyto u ´ lohy rovnˇeˇz nejsou konvexn´ı. Jako jednoduch´y pˇr´ıklad si pˇredstavme situaci, kdy S = 1. V takov´em pˇr´ıpadˇe z´ısk´ame u ´ lohu min α1,2 |a1 − (ω11 )2 | + 2 α2,2 |a2 − (ω21)2 |, kde ai = µ2 (i) pro (3.6) a ai = var(i) + µ1 (i) . Nav´ıc v obou u ´ loh´ach plat´ı, ˇze ai > 0 je konstanta. Funkce |ai − (ωi1 )2 | nen´ı konvexn´ı, proto ani u ´ lohy (3.6) a (3.7) nejsou konvexn´ı. ˇ sen´ım u Reˇ ´ lohy (3.5) a (3.6) potaˇzmo (3.7) z´ısk´ame data, kter´a budou m´ıt poˇzadovan´y druh´y centr´aln´ı nebo obecn´y moment. M˚ uˇze se vˇsak st´at, ˇze vygenerovan´e sc´en´aˇre nebudou p˚ uvodn´ı data dobˇre reprezentovat, protoˇze nepoˇzadujeme shodu stˇredn´ıch hodnot, d´ıky kter´e by byly ukotveny v prostoru na spr´avn´em m´ıstˇe. Proto, pokud chceme z´ıskat sc´en´aˇre reprezentuj´ıc´ı data, je zapotˇreb´ı ˇreˇsit n´asleduj´ıc´ı funkci: S S 1 X 1 X s min α1,1 ω1 − µ1 (1) + α2,1 ω2s − µ1 (2) + S s=1 S s=1 S S X X 1 s 2 1 s 2 +α1,2 var(1) − (ω1 ) − ( ω ) + S S 1 s=1 s=1 S S X X 1 s 2 1 s 2 (ω2 ) − ( ω2 ) +α2,2 var(2) − S S s=1 s=1
(3.8)
pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 . Takto formulovan´a funkce zohledˇ nuje prvn´ı moment a rozptyl. ´ Uloha (3.8) nen´ı konvexn´ı ze stejn´eho d˚ uvodu jako (3.5), kterou obsahuje. Nav´ıc je moˇzn´e (3.8) pˇreformulovat obdobnˇe jako u ´ lohu (3.4). T´ım z´ısk´ame
19
n´asleduj´ıc´ı tvar: min α1,1 γ1,1 + α2,1 γ2,1 + α1,2 γ1,2 + α2,2 γ2,2 S 1X s za podm´ınekγ1,1 + ω ≥ µ1 (1) S s=1 1 S 1X s ω ≥ −µ1 (1) γ1,1 − S s=1 1 S 1X s γ2,1 + ω ≥ µ1 (2) S s=1 2 S 1X s ω ≥ −µ1 (2) γ2,1 − S s=1 2 S S X X 1 s 2 1 s 2 γ1,2 + (ω1 ) − ( ω1 ) ≥ var(1) S S s=1 s=1 S S X X 1 s 2 1 s 2 (ω1 ) − ( ω1 ) ≥ − var(1) γ1,2 − S S s=1 s=1
γ2,2 +
S S X X 1 s 2 1 s 2 (ω2 ) − ( ω2 ) ≥ var(2) S S s=1 s=1
γ2,2 −
S S X X 1 s 2 1 s 2 (ω2 ) − ( ω2 ) ≥ − var(2) S S s=1 s=1
ω1s ≥ c1 ω2s ≥ c2 .
(3.9)
´ Uloha (4.1) uˇz ale nen´ı u ´ lohou line´arn´ıho programov´an´ı, protoˇze nˇekter´e z funkc´ı v podm´ınk´ach nejsou line´arn´ı, a je v´ypoˇcetnˇe i ˇcasovˇe n´aroˇcnˇejˇs´ı.
3.2.2
L2 norma
Nyn´ı zvolme p = 2. V tomto pˇr´ıpadˇe si uk´aˇzeme, jakou u ´ lohu z´ısk´ame, pokud budeme poˇzadovat shodu stˇredn´ıch hodnot, rozptyl˚ u i kovarianc´ı, coˇz znamen´a
20
´ aplikovat normu p = 2 na u ´ lohu (3.1). Uloha (3.1) m´a tedy n´asleduj´ıc´ı tvar: S 1 X s 2 min α1,1 µ1 (1) − ω + S s=1 1 S 1 X s 2 ω + + α2,1 µ1 (2) − S s=1 2
S S X X 1 s 2 1 s 2 2 + α1,2 var(1) − (ω1 ) − ( ω1 ) + S S s=1 s=1 S S X X 1 s 2 2 1 s 2 (ω2 ) − ( ω2 ) + + α2,2 var(2) − S S s=1 s=1
1 S S S X 1 s 1 X s s 1 X s 2 2 + β1,2 cov1,2 − ω1 )(ω2 − ω2 ) (ω1 − S S S s=1 s=1 s=1
(3.10)
pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 . N´as ale nezaj´ım´a pˇresn´a v´ysledn´a hodnota minimalizaˇcn´ı u ´ lohy, ale pouze body minima, proto nen´ı nutn´e a z d˚ uvodu vˇetˇs´ı v´ypoˇcetn´ı n´aroˇcnosti probl´emu ani vhodn´e v u ´ loze ponech´avat druh´e odmocniny, kter´e tam maj´ı podle definice Lp -normy b´yt. Rovnˇeˇz nen´ı nutn´e vzhledem ke druh´e mocninˇe ponech´avat ve formulaci absolutn´ı hodnoty. Tedy m˚ uˇzeme ˇreˇsen´ı u ´ lohy (3.9) hledat ekvivalentnˇe pomoc´ı metody nejmenˇs´ıch ˇctverc˚ u jako ˇreˇsen´ı u ´ lohy: 2 min α1,1 µ1 (1) −
S 1 X s 2 ω + S s=1 1
2 µ1 (2) − +α2,1
S 1 X s 2 ω + S s=1 2
2 +α1,2
S S X X 1 s 2 1 s 2 2 var(1) − (ω ) − ( ω ) + S 1 S 1 s=1 s=1
2 +α2,2
S S X X 1 s 2 2 1 s 2 (ω ) − ( ω ) + var(2) − S 2 S 2 s=1 s=1
2 +β1,2
S S S X 1 s 1 X s s 1 X s 2 cov1,2 − ω )(ω − ω ) (ω − S 1 S s=1 1 2 S s=1 2 s=1
(3.11)
pˇri podm´ınk´ach ω1s ≥ c1 , ω2s ≥ c2 . Tato u ´ loha opˇet nen´ı konvexn´ı. Znovu si jako pˇr´ıklad uved’me situaci, kdy S = 2. T´ımto omezen´ım z´ısk´ame u ´ lohu, kter´a bude obsahovat funkci var(i) − 1 1 2 2 2 (ωi + ωi ) , kde var(i) je nez´aporn´a konstanta. Tato funkce nen´ı konvexn´ı, 4 proto ani u ´ loha (3.9) nen´ı konvexn´ı. Pouˇzit´ım t´eto transformace n´aˇs probl´em pˇrech´az´ı na u ´ lohu kvadratick´eho programov´an´ı. ´ Definice 23. [7, Kapitola 4.1] Uloha kvadratick´eho programov´an´ı je u ´loha mini-
21
malizovat f (x) na mnoˇzinˇe ˇreˇsen´ı soustavy nerovnic a rovnic gk (x) ≤ 0, k = 1, 2, . . . , m, hj (x) = 0, j = 1, 2, . . . , p x ∈ Rn , pokud f je kvadratick´a a gk , hj jsou line´arn´ı.
22
Kapitola 4 Praktick´ aˇ c´ ast 4.1
Data
Pro potˇreby praktick´e ˇc´asti je vyuˇzito mˇes´ıˇcn´ıch dat Conseq Invest akciov´y dluhopis A a Conseq Invest akciov´y fond A z obdob´ı od 29. z´aˇr´ı 2000 do 1. dubna 2014, kdy byla data staˇzena, poch´azej´ıc´ıch z webov´e str´anky [3]. Jednotliv´e poˇzadovan´e statistick´e vlastnosti dat vstupuj´ıc´ı do v´ypoˇct˚ u jako konstanty jsou urˇcen´e pomoc´ı statistick´eho softwaru R.
Obr´azek 4.1: Pouˇzit´a data
Minimum Stˇredn´ı hodnota Rozptyl Maximum
Fond Dluhopis 71,74 100,06 152,53 152,30 2573,0369 781,0882 276,64 203,28
Tabulka 4.1: Popisn´e statistiky sledovan´ych veliˇcin Jeˇstˇe poznamenejme, ˇze vˇsechny pˇr´ıklady jsou poˇc´ıt´any pro αn,k = 1, βn,k = 1 a ve vˇsech grafech (s v´yjimkou kapitol 4.2.2, 4.3.2 a 4.4.3, kde jsou data um´ıstˇena na sv´ych pozic´ıch v re´aln´ych datech) jsou sc´en´aˇre ωis pˇresunuty z p˚ uvodn´ı pozice 162 ∗ s na pozici s = S+1 s, kde 162 je poˇcet p˚ uvodn´ıch pozorov´an´ı pro jednu sloˇzku. 23
4.2
Shoda prvn´ıch moment˚ u
V t´eto ˇc´asti si uvedeme dva moˇzn´e pˇr´ıstupy k ˇreˇsen´ı u ´ lohy (3.3). Prvn´ım z nich je jiˇz dˇr´ıve zm´ınˇen´e pˇreveden´ı u ´ lohy na u ´ lohu line´arn´ıho programov´an´ı (3.4) a generov´an´ı nov´ych sc´en´aˇr˚ u tak, jako se ˇreˇs´ı v cel´e pr´aci, a druh´ym z nich je v´ybˇer z re´aln´ych dat.
4.2.1
Line´ arn´ı programov´ an´ı
K ˇreˇsen´ı jsou pouˇzity dva v´ypoˇcetn´ı softwary. Prvn´ım z nich je Wolfram Mathematica (d´ale jen Mathematica), kde je k v´ypoˇctu pouˇzita zabudovan´a funkce line´arn´ıho programov´an´ı. Druh´ym z nich je GAMS, ve kter´e je potˇreba u ´ lohu line´arn´ıho programov´an´ı programovat a je pouˇzit solver CPLEX. Okrajov´ e podm´ınky pro prvn´ı sc´ en´ aˇ r Nejprve okrajov´ymi podm´ınkami omez´ıme pouze prvn´ı sc´en´aˇr, tzn. c1 ≤ ω11, c2 ≤ ω21 , ωis ≥ 0, s = 2, . . . , S.
Obr´azek 4.2: Nevhodnˇe spoˇc´ıtan´e 3 sc´en´aˇre fond˚ u
Obr´azek 4.3: Nevhodnˇe spoˇc´ıtan´ych 6 sc´en´aˇr˚ u dluhopis˚ u Jak m˚ uˇzeme vidˇet na obr´azc´ıch (4.2) a (4.3), pokud poˇc´ıt´ame u ´ lohu (3.4) s omezuj´ıc´ımi podm´ınkami pouze pro prvn´ı sc´en´aˇr a podm´ınkou nez´apornosti pro zb´yvaj´ıc´ı sc´en´aˇre, tak dostaneme spr´avn´e, ale nevhodn´e sc´en´aˇre.
24
Software Mathematica hodnotu sc´en´aˇr˚ u urˇc´ı tak, ˇze vˇsechny sc´en´aˇre kromˇe jednoho urˇc´ı nulov´e a posledn´ımu sc´en´aˇri urˇc´ı vhodnou hodnotu. To je v poˇr´adku pro S = 1, 2, ale pro S > 2 tak z´ısk´ame nˇekolik shodn´ych nulov´ych sc´en´aˇr˚ u, coˇz nechceme. Software GAMS prvn´ımu sc´en´aˇri urˇc´ı minim´aln´ı moˇznou hodnotu a ostatn´ı kromˇe jednoho vypoˇc´ıt´a jako nulov´e a hodnotu posledn´ıho sc´en´aˇre urˇc´ı vhodnˇe. Slovem vhodnˇe rozumˇejme tak, aby sc´en´aˇre dos´ahly poˇzadovan´e stˇredn´ı hodnoty. Takov´eto ˇreˇsen´ı je vhodn´e pouze pro S = 1, 2, 3, ale pro S > 3 opˇet z´ısk´ame nˇekolik nechtˇen´ych shodn´ych nulov´ych sc´en´aˇr˚ u. Proto je nutn´e u ´ lohu doplnit o extrem´aln´ı podm´ınky pro vˇsechny sc´en´aˇre, ˇc´ımˇz zabr´an´ıme nulov´ym sc´en´aˇr˚ um. Okrajov´ e podm´ınky pro vˇ sechny sc´ en´ aˇ re Pˇrid´an´ım okrajov´ych podm´ınek pro vˇsechny sc´en´aˇre, tzn. c1 ≤ ω1s , c2 ≤ ω2s , k pˇredchoz´ı u ´ loze z´ısk´ame n´asleduj´ıc´ı sc´en´aˇre:
Obr´azek 4.4: Proloˇzen´ı fond˚ u 3 sc´en´aˇri
Obr´azek 4.5: Proloˇzen´ı dluhopis˚ u 6 sc´en´aˇri V obr´azc´ıch (4.4) a (4.5) m˚ uˇzeme nahl´ednout, ˇze v tomto pˇr´ıpadˇe, jiˇz m´ame S sc´en´aˇr˚ u, kter´e jsou nenulov´e, ale i pˇresto jsme z´ıskali v pˇr´ıpadech, kdy S > 3, opˇet shodn´e sc´en´aˇre. Proto je zapotˇreb´ı pˇridat dalˇs´ı podm´ınky zajiˇst’uj´ıc´ı, aby ˇz´adn´e dva sc´en´aˇre nemohly b´yt stejn´e.
25
Okrajov´ e a nerovnostn´ı podm´ınky pro vˇ sechny sc´ en´ aˇ re Pˇrid´an´ım dalˇs´ıch podm´ınek ω1s 6= ω1k , ω2s 6= ω2k , ∀s, k = 1, . . . , S, s 6= k k jiˇz platn´ym podm´ınk´am c1 ≤ ω1s , c2 ≤ ω2s z´ısk´ame n´asleduj´ıc´ı sc´en´aˇre:
Obr´azek 4.6: Proloˇzen´ı fond˚ u sc´en´aˇri
Obr´azek 4.7: Proloˇzen´ı dluhopis˚ u sc´en´aˇri Na obr´azc´ıch (4.6) a (4.7) lze vidˇet, jiˇz vhodnˇe spoˇc´ıtan´e sc´en´aˇre z hlediska jejich r˚ uznosti. Rovnˇeˇz m˚ uˇzeme vidˇet, ˇze software Mathematica jednotliv´e sc´en´aˇre rozloˇzil ve vˇsech pˇr´ıpadech bl´ızko stˇredn´ı hodnoty tak, aby nebyly shodn´e, ale jejich rozd´ıl je t´emˇeˇr nepatrn´y. Podle obr´azku (4.6) i software GAMS urˇcil jednotliv´e sc´en´aˇre obdobn´ym zp˚ usobem, pˇriˇcemˇz velikost odchylky jednotliv´ych sc´en´aˇr˚ u je nutno nastavovat v k´odu. V obr´azku (4.7) ale m˚ uˇzeme pozorovat jeho nekontrolovatelnost a nepˇredv´ıdatelnost. 3 sc´en´aˇre pro dluhopisy jeˇstˇe urˇcil obdobn´ym zp˚ usobem. Avˇsak pˇri dalˇs´ıch v´ypoˇctech se zachoval jinak. Pˇri v´ypoˇctu 6-ti sc´en´aˇr˚ u 5 z nich um´ıstil k minim´aln´ı moˇzn´e hodnotˇe a 6-t´y vhodnˇe dopoˇc´ıtal, kdeˇzto pˇri v´ypoˇctu 10-ti sc´en´aˇr˚ u urˇcil pouze 1 sc´en´aˇr k minim´aln´ı povolen´e hodnotˇe a zbyl´ych 9 vypoˇc´ıtal vhodnˇe pobl´ıˇz stˇredn´ı hodnoty.
4.2.2
V´ ybˇ er z re´ aln´ ych dat
K ˇreˇsen´ı pomoc´ı vyhled´av´an´ı v datech je zapotˇreb´ı m´ıt data, pro kter´a dan´e sc´en´aˇre hled´ame. Jakmile data m´ame je zapotˇreb´ı pro vˇsechny moˇzn´e S-tice 26
vyˇc´ıslit funkci S S 1X s 1X s ω − µ1 (1)| + α2,1 | ω − µ1 (2)| α1,1 | S s=1 1 S s=1 2
a nal´ezt minimum. Z´ısk´ame tak tyto sc´en´aˇre (jejich pozice odpov´ıd´a pozici v p˚ uvodn´ıch datech):
Obr´azek 4.8: Nalezen´e sc´en´aˇre fondu
Obr´azek 4.9: Nalezen´e sc´en´aˇre dluhopisu
4.2.3
Sc´ en´ aˇ re nalezen´ e pro shodu prvn´ıch moment˚ u
V n´asleduj´ıc´ı tabulce (4.2) m˚ uˇzeme vidˇet, jak spolehliv´e jednotliv´e metody jsou. Generov´an´ım nov´ychP sc´en´aˇr˚ u jsme dos´ahli absolutn´ı shody s poˇzadavky, coˇz S 1 znamen´a, ˇze hodnota | S s=1 ωis − µ1 (i)| = 0 pro vˇsechna i = 1,2, proto hodnoty jednotliv´ych vah α∗ nemaj´ı na ˇreˇsen´ı vliv. Jedin´y zp˚ usob ˇreˇsen´ı, kde v´ahy mohou ˇreˇsen´ı ovlivnit, je v´ybˇer z re´aln´ych dat. Avˇsak kvalita takov´eho ˇreˇsen´ı je vˇzdy pˇr´ımo z´avisl´a na tvaru dat. Rovnˇeˇz lze nahl´ednout, jak se projev´ı r˚ uzn´e pˇr´ıstupy k rozmist’ov´an´ı sc´en´aˇr˚ u na hodnotˇe rozptylu. Pomoc´ı softwaru Mathematica jsme z´ıskali sc´en´aˇre, kter´e jsou vˇzdy bl´ızko stˇredn´ı hodnoty a rozptyly jsou mal´e. 27
Tohoto jsme dos´ahli i pomoc´ı softwaru GAMS v pˇr´ıpadech, kdy generoval obdobnˇe. Avˇsak v pˇr´ıpadech generov´an´ı 6-ti a 10-ti sc´en´aˇr˚ u pro dluhopisov´e sloˇzky uˇz jsou rozptyly podstatnˇe vˇetˇs´ı, pˇriˇcemˇz pro 10 sc´en´aˇr˚ u je hodnota rozptylu relativnˇe n´ızk´a, protoˇze pouze jedna hodnota nen´ı vhodnˇe okolo stˇredn´ı hodnoty. Naopak pˇri generov´an´ı 6-ti sc´en´aˇr˚ u je dosaˇzeno relativnˇe velk´eho rozptylu, protoˇze ˇz´adn´a z vygenerovan´ych hodnot nen´ı v bl´ızkosti stˇredn´ı hodnoty. I. 3
II. M
III. F D F+D G F D F+D RD F D F+D 6 M F D F+D G F D F+D RD F D F+D 10 M F D F+D G F D F+D
IV. 152,53 152,3 152,53 152,3 152,52 152,34 152,53 152,3 152,53 152,3 152,53 152,31 152,53 152,3 152,53 152,3
V. VI. VII. 0 1 -2572,04 0 1 -780,088 0 -3352,128 0 0,1 -2573,03 0 0,1 -781,078 0 -3354,108 -0,02 4328 1754,97 0,04 1936,93 1155,84 0,02 2910,81 0 3,5 -2569,54 0 3,5 -777,588 0 -3347,128 0 0,035 -2573 0 16249 -15467,9 0 -18040,9 -0,01 3887,1 1314,06 -0,99 1669,7 888,611 -1 2202,671 0 9,167 -2563,87 0 9,167 -771,922 0 -3335,792 0 0,092 -2572,95 0 336,977 -444,111 0 -6352,853
Tabulka 4.2: Popisn´e statistiky nalezen´ych sc´en´aˇr˚ u pro shodu prvn´ıch moment˚ u
28
Znak I. II. III. IV. V. VI. VII. M G RD F D
1 S
Vysvˇetlivka S Zp˚ usob ˇreˇsen´ı u ´ lohy Sloˇzka PS 1 s s=1 ω S P S 1 s µ1 s=1 ω −P S P S 1 1 s 2 ( S Ss=1 ω s )2 s=1 (ω ) − P S P S S 1 s 2 s 2 s=1 (ω ) − ( S s=1 ω ) − var Mathematica GAMS V´ybˇer z re´aln´ych dat Fond Dluhopis
Tabulka 4.3: Vysvˇetlivky
4.3
Shoda druh´ ych moment˚ u
V t´eto ˇc´asti si uk´aˇzeme moˇznosti ˇreˇsen´ı u ´ lohy (3.6). Tentokr´at m´ame opˇet dvˇe moˇznosti. Prvn´ı je neline´arn´ı programov´an´ı v softwarech Mathematica a GAMS a druhou je v´ybˇer z re´aln´ych dat.
4.3.1
Neline´ arn´ı programov´ an´ı
V pˇr´ıpadˇe neline´arn´ıho programov´an´ı v softwaru Mathematica je ˇreˇsena u ´ loha (3.7) pomoc´ı zabudovan´e funkce Minimize. Z´aroveˇ n je u ´ loha ˇreˇsena pro kaˇzd´e i = 1, 2 zvl´aˇst’, coˇz je moˇzn´e d´ıky nez´avislosti ˇreˇsen´ı. Tento pˇr´ıstup se uk´azal jako ˇcasovˇe v´yraznˇe v´yhodnˇejˇs´ı. V softwaru GAMS je pouˇzito solveru CONOPT a je ˇreˇsena n´asleduj´ıc´ı u ´ loha: min α1,2 γ1,2 + α2,2 γ2,2 S 2 1X s 2 za podm´ınekγ1,2 + (ω1 ) ≥ var(1) + µ1 (1) S s=1 S 2 1X s 2 γ1,2 − (ω1 ) ≥ − var(1) + µ1 (1) S s=1
γ2,2 +
S 2 1X s 2 (ω2 ) ≥ var(2) + µ1 (2) S s=1
γ2,2 −
S 2 1X s 2 (ω2 ) ≥ − var(2) + µ1 (1) S s=1
ω1s ≥ c1 ω2s ≥ c2
ω1s 6= ω1k , ∀s, k = 1, . . . , S, s 6= k
ω2s 6= ω2k , ∀s, k = 1, . . . , S, s 6= k. Opˇet je potˇreba si d´at pozor na dostateˇcn´e znˇen´ı vˇsech okrajov´ych podm´ınek, 29
tak jako bylo demonstrov´ano v kapitole (4.2.1), abychom nez´ıskali nˇekolik nevhodn´ych shodn´ych sc´en´aˇr˚ u. Z´ısk´ame tak n´asleduj´ıc´ı sc´en´aˇre:
Obr´azek 4.10: Nalezen´e sc´en´aˇre fondu
Obr´azek 4.11: Nalezen´e sc´en´aˇre dluhopisu
4.3.2
V´ ybˇ er z re´ aln´ ych dat
Opˇet je zapotˇreb´ı m´ıt re´aln´a dat, pro vˇsechny S-tice vyˇc´ıslit funkci S 1 X 2 α1,2 (ω1s )2 − (µ1 (1) + var(1) + S s=1
S 1 X 2 s 2 +α2,2 (ω2 ) − (µ1 (2) + var(2) S s=1
a nal´ezt minimum. T´ımto postupem pro shodu druh´ych moment˚ u nalezneme n´asleduj´ıc´ı sc´en´aˇre:
30
Obr´azek 4.12: Nalezen´e sc´en´aˇre fondu
Obr´azek 4.13: Nalezen´e sc´en´aˇre dluhopisu
4.3.3
Sc´ en´ aˇ re nalezen´ e pro shodu druh´ ych moment˚ u
Jak m˚ uˇzeme v tabulce (4.4) vidˇet, nalezen´e sc´en´aˇre jiˇz nemaj´ı spr´avn´e stˇredn´ı hodnoty, coˇz jsme ani nepoˇzadovali. Poˇzadovan´ych druh´ych moment˚ u a tedy pˇresn´e shody bylo dosaˇzeno pˇri generov´an´ı nov´ych sc´en´aˇr˚ u, coˇz opˇet znamen´a, ˇze hodnoty vah α∗ nemaj´ı na ˇreˇsen´ı vliv. Opˇet pouze u v´ybˇeru z re´aln´ych dat mohou v´ahy ovlivnit kvalitu ˇreˇsen´ı, ale v pˇr´ım´e z´avislosti na tvaru dat.
31
I. 3
6
II. M
III. IV. V. VI. VII. F 160,2 7,67 25838,4 0 D 154,6 2,3 23976,4 0 F+D 9,97 0 G F 160,7 8,17 25838,3 0 D 154,8 2,5 23976,4 0 F+D 10,67 0 RD F 156,8 4,27 25836,9 -1,5 D 154,6 2,3 23976,7 0,3 F+D 6,57 -1,2 M F 157,166 -41,03 25838,4 0 D 152,124 -43,1 23976,4 0 F+D -84,13 0 G F 160,7 8,17 25838,3 0 D 134,5 -17,8 23976,4 0 F+D -9,63 0 RD F 153,8 1,27 25838,5 0,1 D 153,8 1,5 23976,4 0 F+D 2,77 0,1
VIII. 259,484 101,172 0,01 0,01 1866,6 109,714 1364,58 1001,67 0,035 7050,59 2609,13 386,331
Tabulka 4.4: Popisn´e statistiky nalezen´ych sc´en´aˇr˚ u pro shodu druh´ych moment˚ u
Znak I. II. III. IV. V. VI. VII. VIII. M G RD F D
Vysvˇetlivka S Zp˚ usob ˇreˇsen´ı u ´ lohy Sloˇzka PS 1 s s=1 ω S P S 1 s s=1 ω − µ1 S P S 1 s 2 s=1 (ω ) S P S 1 (ω s )2 − ((µ1 )2 + var) S P s=1 PS S 1 1 s 2 s 2 s=1 (ω ) − ( S s=1 ω ) S Mathematica GAMS V´ybˇer z re´aln´ych dat Fond Dluhopis Tabulka 4.5: Vysvˇetlivky
32
4.4
Shoda stˇ redn´ıch hodnot a rozptyl˚ u
Pˇri ˇreˇsen´ı u ´ lohy s podm´ınkou shody stˇredn´ıch hodnot a rozptyl˚ u m´ame opˇet nˇekolik moˇznost´ı. M˚ uˇzeme generovat sc´en´aˇre v softwarech GAMS a Mathematica, hledat nov´e sc´en´aˇre metodou pravideln´eho a symetrick´eho rozloˇzen´ı okolo stˇredn´ı hodnoty nebo opˇet vyb´ırat z re´aln´ych dat.
4.4.1
Pravideln´ e rozloˇ zen´ı sc´ en´ aˇ r˚ u
Nyn´ı si numericky demonstrujme zp˚ usob ˇreˇsen´ı u ´ lohy (1.2) pro shodu prvn´ıch moment˚ u a rozptyl˚ u pomoc´ı metody pravideln´eho rozloˇzen´ı sc´en´aˇr˚ u okolo stˇredn´ı hodnoty pro hled´an´ı 3, 6 a 10 sc´en´aˇr˚ u. Postup v´ypoˇctu je n´asleduj´ıc´ı: • zvolit poˇcet hledan´ych sc´en´aˇr˚ u, tzn. S • urˇcit hodnoty a1i z rovnice (2.7) • vypoˇc´ıtat hodnoty asi pomoc´ı vzorce (2.5).
Obr´azek 4.14: Proloˇzen´ı fond˚ u sc´en´aˇri
Obr´azek 4.15: Proloˇzen´ı dluhopis˚ u sc´en´aˇri Na obr´azc´ıch (4.2) a (4.3) m˚ uˇzeme vidˇet, ˇze tento pˇr´ıstup zajiˇst’uje pravideln´e rozloˇzen´ı sc´en´aˇr˚ u, kter´e jsou symetricky rozloˇzen´e okolo stˇredn´ı hodnoty, a i minim´aln´ı a maxim´aln´ı hodnoty dat nejsou pˇrekroˇceny. 33
4.4.2
Neline´ arn´ı programov´ an´ı
V softwaru Mathematica budeme sc´en´aˇre generovat pomoc´ı funkce Minimize jako ˇreˇsen´ı u ´ lohy (3.8) a opˇet pro kaˇzd´e i = 1,2 zvl´aˇst’ a pomoc´ı softwaru GAMS budeme ˇreˇsit u ´ lohu neline´arn´ıho programov´an´ı (3.9) za pouˇzit´ı solveru CONOPT. I v tˇechto pˇr´ıkladech generov´an´ı sc´en´aˇr˚ u mus´ıme oˇsetˇrit vˇsechny minim´aln´ı a nerovnostn´ı podm´ınky a v´ysledky tohoto pˇr´ıstupu jsou n´asleduj´ıc´ı:
Obr´azek 4.16: Proloˇzen´ı fond˚ u sc´en´aˇri
Obr´azek 4.17: Proloˇzen´ı dluhopis˚ u sc´en´aˇri
34
4.4.3
V´ ybˇ er z re´ aln´ ych dat
Iu ´ lohu na shodu prvn´ıch moment˚ u a rozptyl˚ u je moˇzn´e ˇreˇsit pomoc´ı v´ybˇeru z re´aln´ych dat. Znamen´a to vyˇc´ıslit funkci S 1 X α1,1 ω1s − µ1 (1) + S s=1
S 1 X ω2s − µ1 (2) + +α2,1 S s=1
S S 1X 1 X s 2 s 2 α1,2 (ω1 ) − ( ω1 ) − var(1) + S s=1 S s=1
S S 1X 1 X s 2 +α2,2 (ω2s )2 − ( ω2 ) − var(2) S s=1 S s=1
pro vˇsechny S-tice a nal´ezt minimum a jemu odpov´ıdaj´ıc´ı sc´en´aˇre. Z´ısk´ame tak n´asleduj´ıc´ı sc´en´aˇre:
Obr´azek 4.18: Proloˇzen´ı fond˚ u sc´en´aˇri
Obr´azek 4.19: Proloˇzen´ı dluhopis˚ u sc´en´aˇri
35
4.4.4
Sc´ en´ aˇ re nalezen´ e pro shodu prvn´ıch moment˚ u a rozptyl˚ u
V n´asleduj´ıc´ı tabulce (4.6) m˚ uˇzeme vidˇet, ˇze vˇsechny metody kromˇe v´ybˇeru z re´aln´ych dat, pˇresnˇe splnily poˇzadavky. To znamen´a, ˇze pˇri generov´an´ı nov´ych sc´en´aˇr˚ u pomoc´ı minimalizace dan´e u ´ lohy v´ahy α∗ opˇet nemaj´ı vliv na ˇreˇsen´ı. Opˇet mohou ˇreˇsen´ı ovlivnit pouze v pˇr´ıpadˇe v´ybˇeru z re´aln´ych dat. I. 3
II. PR
III. F D F+D M F D F+D G F D F+D RD F D F+D 6 PR F D F+D G F D F+D RD F D F+D 10 PR F D F+D G F D F+D
IV. 152,53 152,3 152,53 152,3 152,53 152,3 164,6 142,58 152,53 152,3 152,53 152,3 141,34 152,5 152,53 152,3 152,53 152,3
V. 0 0 0 0 0 0 0 0 0 12,07 -9,72 2,35 0 0 0 0 0 0 -11,19 0,3 -10,89 0 0 0 0 0 0
VI. 2573,03 781,09 2573,03 781,09 2573,03 781,09 3586,66 1170,76 2573,03 781,09 2573,03 781,09 3671,05 937,337 2573,03 781,09 2573,03 781,09
VII. 0 0 0 0 0 0 0 0 0 1286,62 389,67 1676,29 0 0 0 0 0 0 1098,01 156,25 1254,26 0 0 0 0 0 0
Tabulka 4.6: Popisn´e statistiky nalezen´ych sc´en´aˇr˚ u pro shodu rozptyl˚ u
36
Znak Vysvˇetlivka I. S II. Zp˚ usob ˇreˇsen´ı u ´ lohy III. Sloˇzka PS 1 s IV. s=1 ω S P S 1 s V. µ1 s=1 ω −P S P S 1 1 s 2 ( S Ss=1 ω s )2 VI. s=1 (ω ) − P S P S S 1 1 s 2 s 2 VII. s=1 (ω ) − ( S s=1 ω ) − var S PR Pravideln´e a symetrick´e rozloˇzen´ı okolo stˇredn´ı hodnoty M Mathematica G GAMS RD V´ybˇer z re´aln´ych dat F Fond D Dluhopis Tabulka 4.7: Vysvˇetlivky
4.5
Shoda stˇ redn´ıch hodnot, rozptyl˚ u a korelac´ı
Jeˇstˇe si ilustrujme pˇr´ıklad, kdy bychom poˇzadovali shodu nejen prvn´ıch moment˚ u a rozptyl˚ u ale i korelac´ı. V takov´em pˇr´ıpadˇe je moˇzn´e u ´ lohu ˇreˇsit pomoc´ı neline´arn´ıho programov´an´ı nebo metodou v´ybˇeru z re´aln´ych dat.
37
Jako u ´ loha neline´arn´ıho programov´an´ı bude m´ıt probl´em n´asleduj´ıc´ı formulaci: min α1,1 γ1,1 + α2,1 γ2,1 + α1,2 γ1,2 + α2,2 γ2,2 + β1,2 γ S 1X s za podm´ınekγ1,1 + ω ≥ µ1 (1) S s=1 1 S 1X s ω ≥ −µ1 (1) γ1,1 − S s=1 1 S 1X s γ2,1 + ω ≥ µ1 (2) S s=1 2 S 1X s ω ≥ −µ1 (2) γ2,1 − S s=1 2 S S X X 1 s 2 1 s 2 γ1,2 + (ω1 ) − ( ω1 ) ≥ var(1) S S s=1 s=1 S S X X 1 s 2 1 s 2 (ω1 ) − ( ω1 ) ≥ − var(1) γ1,2 − S S s=1 s=1
γ2,2 +
S S X X 1 s 2 1 s 2 (ω2 ) − ( ω2 ) ≥ var(2) S S s=1 s=1
S S X X 1 s 2 1 s 2 (ω2 ) − ( ω2 ) ≥ − var(2) S S s=1 s=1 PS PS PS 1 1 s s s (ω − S s=1 ω1 )(ω2 − S s=1 ω2s ) ≥ ρ1,2 γ + qP s=1 1 P PS PS S S 1 1 s 2 s s 2 s s=1 ω1 ) s=1 (ω2 − S s=1 ω2 ) s=1 (ω1 − S PS P P (ω s − S1 Ss=1 ω1s )(ω2s − S1 Ss=1 ω2s ) γ − qP s=1 1 P ≥ −ρ1,2 PS PS S S 1 1 s 2 s s 2 s s=1 ω1 ) s=1 (ω2 − S s=1 ω2 ) s=1 (ω1 − S
γ2,2 −
ω1s ≥ c1 ω2s ≥ c2 .
Tuto u ´ lohu bude z hlediska ˇcasov´e n´aroˇcnosti (viz tabulka 4.8) vhodnˇejˇs´ı ˇreˇsit pomoc´ı softwaru GAMS neˇz pomoc´ı softwaru Mathematica. Pokud bychom u ´ lohu chtˇeli ˇreˇsit pomoc´ı metody v´ybˇeru z re´aln´ych dat, zna-
38
menalo by to pro vˇsechny S-tice vyˇc´ıslit funkci S 1 X α1,1 ω1s − µ1 (1) + S s=1
S 1 X ω2s − µ1 (2) + +α2,1 S s=1
S S 1X 1 X s 2 s 2 +α1,2 (ω1 ) − ( ω1 ) − var(1) + S s=1 S s=1
S S 1X 1 X s 2 s 2 +α2,2 (ω2 ) − ( ω2 ) − var(2) + S s=1 S s=1 PS PS P S 1 1 s s s s ω )(ω − (ω − 1 2 1 s=1 s=1 ω2 ) s=1 S S +β1,2 ρ1,2 − qP PS PS PS S 1 1 s s 2 s 2 s s=1 (ω2 − S s=1 ω1 ) s=1 ω2 ) s=1 (ω1 − S
a nal´ezt minimum.
4.6
ˇ Casov´ a n´ aroˇ cnost v´ ypoˇ ct˚ u
D˚ uleˇzitou souˇc´ast´ı v´ypoˇct˚ u je bezesporu jejich ˇcasov´a n´aroˇcnost. Nˇekter´e v´ypoˇcty, kter´e daj´ı pˇresnˇejˇs´ı v´ysledek, mohou trvat nˇekolikan´asobnˇe d´ele neˇz jin´e, m´enˇe pˇresn´e. V takov´em pˇr´ıpadˇe je na zadavateli u ´ lohy, aby se rozmyslel ˇcemu d´at pˇrednost. Jeˇstˇe poznamenejme, ˇze ˇcasy uveden´e u ˇreˇsen´ı u ´ loh ˇreˇsen´ych funkc´ı Minimize v softwaru Mathematica odpov´ıdaj´ı souˇctu ˇcas˚ u v´ypoˇct˚ u pro i = 1, 2. ´ Uloha 4.2.1
Podm´ınky I. II. III.
4.2.2 4.3.1
III.
4.3.2 4.4.1 4.4.2
III.
4.4.3
Software M G M G M G C++ M G C++ M M G C++
3 sc´en´aˇre 0. 0. 0. 0. 0. 0. < min < min 0. < min 0. < min < min < min
6 sc´en´aˇr˚ u 10 sc´en´aˇr˚ u 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. < 21 hod < min < 5 min 0. 0. < 21 hod 0. 0. < 12 hod < min < min < hod
ˇ Tabulka 4.8: Casov´ a n´aroˇcnost v´ypoˇct˚ u
39
Znak Vysvˇetlivka I. Okrajov´e podm´ınky pro prvn´ı sc´en´aˇr II. Okrajov´e podm´ınky pro vˇsechny sc´en´aˇre III. Okrajov´e a nerovnostn´ı podm´ınky pro vˇsechny sc´en´aˇre M Mathematica G GAMS Tabulka 4.9: Vysvˇetlivky
4.7
Z´ avˇ er
Z numerick´ych v´ysledk˚ u m˚ uˇzeme vyvodit nˇekolik z´avˇer˚ u. Prvn´ım je, ˇze generov´an´ım nov´ych sc´en´aˇr˚ u pomoc´ı softwaru GAMS a Mathematica z´ısk´av´ame pˇri ˇreˇsen´ı stejn´ych u ´ loh jin´e sc´en´aˇre. Vˇsechny tyto v´ysledky jsou ale spr´avn´e (lze nahl´ednout v tabulk´ach 4.2, 4.4 a 4.6), protoˇze dan´e u ´ lohy obecnˇe nemaj´ı jednoznaˇcn´e ˇreˇsen´ı a z´aleˇz´ı na jednotliv´ych algoritmech, kter´e z v´ıce moˇzn´ych ˇreˇsen´ı vyberou. Druh´ym z nich je, ˇze, aˇc jsou u ´ lohy na generov´an´ı sc´en´aˇr˚ u pˇri podm´ınce shody stˇredn´ıch hodnot ˇcasovˇe v´ypoˇcetnˇe nen´aroˇcn´e, nemaj´ı pˇr´ıliˇs velk´y smysl, protoˇze v´ysledky data nijak nereprezentuj´ı, jde pouze o nˇekolik bod˚ u rozm´ıstˇen´ych v bl´ızkosti stˇredn´ı hodnoty. Naproti tomu sc´en´aˇre z´ıskan´e v´ybˇerem z dat podstatnˇe l´epe data reprezentuj´ı, i kdyˇz nemus´ı vˇzdy dos´ahnout pˇresn´e ani pˇribliˇzn´e shody se stˇredn´ı hodnotou, avˇsak je to za cenu podstatnˇe vyˇsˇs´ı ˇcasov´e n´aroˇcnosti. Dalˇs´ım z´avˇerem je, ˇze u ´ lohy na shodu druh´ych moment˚ u data reprezentuj´ı l´epe neˇz pˇri shodˇe prvn´ıch moment˚ u a i ˇcasov´a n´aroˇcnost v´ypoˇctu je velmi dobr´a. Jiˇz pˇri ˇreˇsen´ı t´eto u ´ lohy je patrn´y rozd´ıl mezi rychlost´ı softwaru Mathematica a GAMS. Prvn´ı software je pro uˇzivatele pˇr´ıznivˇejˇs´ı a m´enˇe n´aroˇcn´y na porozumˇen´ı. Druh´y software poˇc´ıt´a mnohokr´at rychleji a veˇsker´y ˇcas vloˇzen´y do n´aroˇcnˇejˇs´ıho implementov´an´ı u ´ lohy se vyplat´ı. Pro takovouto u ´ lohu jiˇz v´ybˇer z re´aln´ych dat velmi ztr´ac´ı svou ˇcasovou n´aroˇcnost´ı. Aˇc data reprezentuje vcelku dobˇre, protoˇze se samovolnˇe pohybuj´ı bl´ıˇze stˇredn´ı hodnotˇe neˇz v pˇr´ıpadˇe generov´an´ı nov´ych sc´en´aˇr˚ u, nen´ı vhodn´e jej pouˇz´ıvat, protoˇze poˇcet n-tic, pro kter´e mus´ı vyˇc´ıslit funkci, roste pˇr´ıliˇs rychle se zvyˇsuj´ıc´ım se n a poˇctu dat. Nejlepˇs´ı na reprezentaci dat je generov´an´ı nov´ych sc´en´aˇr˚ u pˇri podm´ınce prvn´ıch moment˚ u i rozptyl˚ u. Na obr´azc´ıch (4.14)-(4.17) m˚ uˇzeme vidˇet, ˇze pokud bychom sc´en´aˇre pˇreskl´adali do vhodnˇejˇs´ıho poˇrad´ı, velmi dobˇre by reprezentovaly re´aln´a data. Z hlediska ˇcasov´e n´aroˇcnosti je nejvhodnˇejˇs´ı pouˇz´ıt pˇr´ıstup generov´an´ım sc´en´aˇr˚ u pomoc´ı metody pravideln´eho a symetrick´eho rozloˇzen´ı okolo stˇredn´ı hodnoty. Ovˇsem i metoda neline´arn´ıho programov´an´ı v softwaru GAMS dob´ıh´a za dobu kratˇs´ı neˇz jedna minuta, coˇz je sice trochu d´ele neˇz pomoc´ı prvn´ı metody, ale st´ale je to velmi dobr´y ˇcas. Naproti tomu v´ypoˇcet pomoc´ı softwaru Mathematica je z hlediska ˇcasov´e n´aroˇcnosti velmi nevhodn´y, i kdyˇz sc´en´aˇre z´ıskan´e touto metodou jsou rovnˇeˇz v poˇr´adku. Z´aroveˇ n jsme mohli vypozorovat, ˇze pˇri generov´an´ı nov´ych sc´en´aˇr˚ u pomoc´ı softwar˚ u GAMS a Mathematica nemaj´ı v´ahy vliv na jednotliv´a ˇreˇsen´ı uveden´ych pˇr´ıklad˚ u, kdeˇzto v pˇr´ıpadˇe v´ybˇeru z re´aln´ych dat v´ahy vliv mohou m´ıt, ale je to pˇr´ımo z´avisl´e na tvaru dat.
40
Literatura ˇl, J. (2007). Z´aklady matematick´e statistiky. Druh´e vyd´an´ı. Matfy[1] Ande zpress, Praha. ISBN 80-7378-001-1. ˇ a Osecky ´ , M., Mikola ´ˇ ´ , P. (1996). [2] Bud´ıkova s, S. Teorie pravdˇepodobnosti a matematick´a statistika: sb´ırka pˇr´ıklad˚ u. Masarykova univerzita, Praha. ISBN 80-210-1329-X. [3] Conseq (2014). Data. [4] Duintjer Tebbens, E. J. (2012). Anal´yza metod pro maticov´e v´ypoˇcty: z´akladn´ı metody. Matfyzpress, Praha. ISBN 978-80-7378-201-6. ˇ e ˇova ´ , J., Hurt, J. a St ˇ pa ´ n, J. (2002). Stochastic Modelling in [5] Dupac Economics and Finance. Applied optimization; 75. Kluwer Academic Publishers, Dodrecht. ISBN 1-4020-0840-6. ´ ˇova ´ , J. a Lachout, P. (2011). Uvod [6] Dupac do optimalizace. Prvn´ı vyd´an´ı. Matfyzpress, Praha. ISBN 978-80-7378-176-7. [7] Hamala, M. (1972). Neline´arn´e programovanie. Prvn´ı vyd´an´ı. Alfa, Bratislava. [8] Hoyland, K., Kaut, M. a Wallace, S. W. (2003). A heuristic for moment-matching scenarion generation. Computional Optimization and Applications, 24, 169–185. [9] Hoyland, K. a Wallace, S. W. (2001). Generatiing scenario trees for multistage decision problems. Management Science, 47(2), 295–307. ´c ˇek, J. (2003). Matematick´a anal´yza pro fyziky II. Matfyzpress, [10] Kopa Praha. ISBN 80-86732-10-X. [11] Kouwenberg, R. (2001). Scenario generation and stochastic programming models for asset liability management. European Journal of Operational Research, 134, 279–292. [12] Lukˇ san, L. (1990). Metody s promˇennou metrikou. Prvn´ı vyd´an´ı. Academia Praha, Praha. ISBN 80-200-0211-1. ´ , J. (2005). Measure and Integral. Druh´e vyd´an´ı. Mat[13] Lukeˇ s, J. a Maly fyzpress, Praha. ISBN 80-86732-68-1. [14] Pr´ ekopa, A. (1995). Stochastic programming. Aked´emiai Kiad´o, Budapest. ISBN 963-05-6872-1. 41
Seznam obr´ azk˚ u 4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 4.9 4.10 4.11 4.12 4.13 4.14 4.15 4.16 4.17 4.18 4.19
Pouˇzit´a data . . . . . . . . . . . . . . . . . Nevhodnˇe spoˇc´ıtan´e 3 sc´en´aˇre fond˚ u . . . Nevhodnˇe spoˇc´ıtan´ych 6 sc´en´aˇr˚ u dluhopis˚ u Proloˇzen´ı fond˚ u 3 sc´en´aˇri . . . . . . . . . . Proloˇzen´ı dluhopis˚ u 6 sc´en´aˇri . . . . . . . Proloˇzen´ı fond˚ u sc´en´aˇri . . . . . . . . . . . Proloˇzen´ı dluhopis˚ u sc´en´aˇri . . . . . . . . Nalezen´e sc´en´aˇre fondu . . . . . . . . . . . Nalezen´e sc´en´aˇre dluhopisu . . . . . . . . . Nalezen´e sc´en´aˇre fondu . . . . . . . . . . . Nalezen´e sc´en´aˇre dluhopisu . . . . . . . . . Nalezen´e sc´en´aˇre fondu . . . . . . . . . . . Nalezen´e sc´en´aˇre dluhopisu . . . . . . . . . Proloˇzen´ı fond˚ u sc´en´aˇri . . . . . . . . . . . Proloˇzen´ı dluhopis˚ u sc´en´aˇri . . . . . . . . Proloˇzen´ı fond˚ u sc´en´aˇri . . . . . . . . . . . Proloˇzen´ı dluhopis˚ u sc´en´aˇri . . . . . . . . Proloˇzen´ı fond˚ u sc´en´aˇri . . . . . . . . . . . Proloˇzen´ı dluhopis˚ u sc´en´aˇri . . . . . . . .
42
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
23 24 24 25 25 26 26 27 27 30 30 31 31 33 33 34 34 35 35
Seznam tabulek 4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 4.9
Popisn´e statistiky sledovan´ych veliˇcin . . Popisn´e statistiky nalezen´ych sc´en´aˇr˚ u pro Vysvˇetlivky . . . . . . . . . . . . . . . . Popisn´e statistiky nalezen´ych sc´en´aˇr˚ u pro Vysvˇetlivky . . . . . . . . . . . . . . . . Popisn´e statistiky nalezen´ych sc´en´aˇr˚ u pro Vysvˇetlivky . . . . . . . . . . . . . . . . ˇ Casov´ a n´aroˇcnost v´ypoˇct˚ u . . . . . . . . Vysvˇetlivky . . . . . . . . . . . . . . . .
43
. . . . shodu . . . . shodu . . . . shodu . . . . . . . . . . . .
. . . . . . . . . . prvn´ıch moment˚ u . . . . . . . . . . druh´ych moment˚ u . . . . . . . . . . rozptyl˚ u . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23 28 29 32 32 36 37 39 40