Essa é uma pergunta muito interessante, com pouca documentação na literatura de Monte Carlo, exceto em relação à estratificação e à
Rao-Blackwellisation . Isso possivelmente se deve ao fato de que os cálculos da variação condicional esperada e da variação da expectativa condicional raramente são viáveis.
Primeiro, vamos supor que você execute simulações de , e para cada simulado , execute simulações de , . A sua estimativa de Monte Carlo é então
O variância desta estimativa é decomposta da seguinte forma
π X x 1 , … , x R x r S π Y | X = x r y 1 r , … , y s r δ ( R , S ) = 1RπXx1 1, … , XRxrSπY| X= xry1 r, … , Ys r var { δ ( R , S ) }
δ( R , S) = 1R S∑r = 1R∑s = 1Sf( xr, yr s)
R=KS=1K=RSxrvar { δ( R , S) }= 1R2S2R var { ∑s = 1Sf( xr, yr s) }= 1R S2varXEY| X{ ∑s = 1Sf( xr, yr s) ∣∣xr} + 1R S2EXvarY| X{ ∑s = 1Sf( xr, yr s) ∣∣xr}= 1R S2varX{ SEY| X[ f( xr, Y) | xr] } + 1R S2EX[ SvarY| X{ f( xr, Y) | xr} ]= 1RvarX{ EY| X[ f( xr, Y) | xr] } + 1R SEX[ varY| X{ f( xr, Y) | xr} ]=K= R S1 1RvarX{ EY| X[ f( xr, Y) | xr] } + 1KEX[ varY| X{ f( xr, Y) | xr} ]
Portanto, se alguém deseja minimizar essa variação, a melhor opção é
R = K. Implicando que . Exceto quando o primeiro termo de variação é nulo, caso em que não importa. No entanto, conforme discutido nos comentários, a suposição é irrealista, pois não leva em consideração a produção de um [ou assume que isso é gratuito].
S= 1K= R Sxr
Agora vamos assumir diferentes custos de simulação e a restrição orçamentária , o que significa que o 'custo s vezes mais para simular que o ' s. A decomposição acima da variação é então
que pode ser minimizada em como
[o número inteiro mais próximo sob as restrições e ], exceto quando a primeira variância é igual a zero, nesse casoy r s a x r 1R + a R S= byr sumaxrRR∗=b/1+{aEX[varY| X{f(xr,Y)| xr}/varX
1 1RvarX{ EY| X[ f( xr, Y) | xr] } + 1R ( b - R ) / a REX[ varY| X{ f( xr, Y) | xr} ]
R R ≥ 1 S ≥ 1 R = 1 E X [ var Y | X { f ( x r , Y ) | x r } ] = 0 R S = 1R∗= b / 1 + { a EX[ varY| X{ f( xr, Y) | xr} / varX{ EY| X[ f( xr, Y) | xr] } }1 / 2
R ≥ 1S≥ 1R = 1 . Quando , a variação mínima corresponde a um máximo , o que leva a no formalismo atual.
EX[ varY| X{ f( xr, Y) | xr} ] = 0RS= 1
Observe também que essa solução deve ser comparada com a solução simétrica quando a integral interna estiver em dada a e a integral externa estiver contra a marginal em (assumindo que as simulações também sejam viáveis nessa ordem).Y YXYY
Uma extensão interessante para a pergunta seria considerar um número diferente de simulações para cada simulado , dependendo do valor .S( xr)xrvarY| X{ f( xr, Y) | xr}