Ini adalah pertanyaan yang sangat menarik dengan sedikit dokumentasi dalam literatur Monte Carlo, kecuali sehubungan dengan stratifikasi dan
Rao-Blackwellisation . Hal ini mungkin disebabkan oleh fakta bahwa perhitungan varian bersyarat yang diharapkan dan varian harapan bersyarat jarang layak.
Pertama, mari kita asumsikan Anda menjalankan simulasi dari π X , x 1 , ... , x R dan untuk setiap simulasi x r , Anda menjalankan simulasi S dari π Y | X = x r , y 1 r , ... , y s r . Estimasi Monte Carlo Anda adalah
δ ( R , S ) = 1RπXx1, ... , xRxrSπY| X= xry1 r, ... , ys r
Varian estimasi ini didekomposisi sebagai berikut
var { δ ( R , S ) }
δ( R , S) = 1R S∑r = 1R∑s = 1Sf( xr, yr s)
Oleh karena itu jika seseorang ingin meminimalkan varians ini pilihan yang optimal adalah
R=K. Menyiratkan bahwa
S=1. Kecuali ketika istilah varians pertama adalah nol, dalam hal ini tidak masalah. Namun, seperti yang dibahas dalam komentar, asumsi
K=RStidak realistis karena tidak memperhitungkan produksi satu
xr[atau menganggap ini gratis].
var { δ( R , S) }= 1R2S2R var { ¢s = 1Sf( xr, yr s) }= 1R S2varXEY| X{ ¢s = 1Sf( xr, yr s) ∣∣xr} + 1R S2EXvarY| X{ ¢s = 1Sf(xr,yrs)∣∣xr}=1RS2varX{ SEY| X[f(xr,Y) |xr] } + 1RS2EX[ SvarY| X{ f(xr,Y) |xr} ]=1RvarX{ EY| X[f(xr,Y) |xr] } + 1R SEX[ varY| X{ f(xr,Y) |xr} ]=K= R S1RvarX{ EY| X[f( xr,Y) | xr] } + 1KEX[ varY| X{ f( xr, Y) | xr} ]
R = KS= 1K= R Sxr
Sekarang mari kita asumsikan biaya simulasi yang berbeda dan kendala anggaran , yang berarti bahwa y r s 's biaya yang lebih kali untuk mensimulasikan daripada x r ' s. Dekomposisi varians di atas adalah
1R + a R S= byr sSebuahxr
yang dapat diminimalkan dalamRsebagai
R∗=b/1+{aEX[varY| X{f(xr,Y)| xr
1RvarX{ EY| X[ f( xr, Y) | xr] } + 1R ( b - R ) / a REX[ varY| X{ f( xr, Y) | xr} ]
R
[bilangan bulat terdekat di bawah kendala
R ≥ 1 dan
S ≥ 1 ], kecuali jika varians pertama adalah sama dengan nol, dalam hal
R = 1 . Saat
E X [ var Y | X { f ( x r ,R∗= b / 1 + { a EX[ varY| X{ f( xr, Y) | xr} / varX{ EY| X[ f( xr, Y) | xr] } }1 / 2
R ≥ 1S≥ 1R = 1 , varians minimum sesuai dengan
R maksimum, yang mengarah ke
S = 1 dalam formalisme saat ini.
EX[ varY| X{ f( xr, Y) | xr} ] = 0RS= 1
Perhatikan juga bahwa solusi ini harus dibandingkan dengan solusi simetris ketika integral dalam diberikan Y dan integral luar terhadap marginal di Y (dengan asumsi simulasi juga layak dalam urutan ini).XYY
S( xr)xrvarY| X{ f( xr, Y) | xr}