นี่เป็นคำถามที่น่าสนใจมากกับเอกสารเล็ก ๆ น้อย ๆ ในวรรณคดี Monte Carlo ยกเว้นในการเชื่อมต่อกับการแบ่งชั้นและ
ราว-Blackwellisation นี่อาจเป็นเพราะความจริงที่ว่าการคำนวณความแปรปรวนตามเงื่อนไขที่คาดหวังและความแปรปรวนของการคาดการณ์ตามเงื่อนไขนั้นทำได้ยาก
ก่อนอื่นให้เราสมมติว่าคุณทำงาน R แบบจำลองจาก πX, x1,…,xR และสำหรับแต่ละจำลอง xr, คุณวิ่ง S แบบจำลองจาก πY|X=xr, y1r,…,ysr. Monte Carlo ของคุณประมาณการไว้แล้ว
δ( R , S) =1R SΣr = 1RΣs = 1Sฉ(xR,Yr s)
ความแปรปรวนของการประมาณนี้ถูกแยกย่อยดังนี้
var { δ( R , S) }=1R2S2R var {Σs = 1Sฉ(xR,Yr s) }=1RS2varXEY| X{Σs = 1Sฉ(xR,Yr s)||xR} +1RS2EXvarY| X{Σs = 1Sฉ(xR,Yr s)||xR}=1RS2varX{ SEY| X[ f(xR, วาย) |xR] } +1RS2EX[ SvarY| X{ f(xR, วาย) |xR} ]=1RvarX{EY| X[ f(xR, วาย) |xR] } +1R SEX[varY| X{ f(xR, วาย) |xR} ]=K= R S1RvarX{EY| X[ f(xR, วาย) |xR] } +1KEX[varY| X{ f(xR, วาย) |xR} ]
ดังนั้นหากต้องการลดความแปรปรวนนี้ให้น้อยที่สุดทางเลือกที่ดีที่สุดคือ
R = K. นั่นหมายความว่า
S= 1. ยกเว้นเมื่อคำแปรปรวนแรกเป็นโมฆะในกรณีนี้มันไม่สำคัญ อย่างไรก็ตามตามที่กล่าวไว้ในความคิดเห็นสมมติฐาน
K= R S ไม่สมจริงเนื่องจากไม่ได้คำนึงถึงการผลิตรายการหนึ่ง
xR [หรือถือว่านี่มาได้ฟรี]
ตอนนี้ให้เราสมมติค่าใช้จ่ายในการจำลองที่แตกต่างกันและข้อ จำกัด ด้านงบประมาณ R + a R S= bความหมายว่า Yr sค่าใช้จ่าย a เพื่อจำลองมากกว่าครั้ง xR's การสลายตัวข้างต้นของความแปรปรวนนั้น
1RvarX{EY| X[f(xR,วาย) |xR] } +1R ( b - R ) / a REX[varY| X{f(xR,วาย) |xR} ]
ซึ่งสามารถย่อเล็กสุดได้
R เช่น
R* * * *= b / 1 + { aEX[varY| X{ f(xR, วาย) |xR} /varX{EY| X[ f(xR, วาย) |xR] }}1 / 2
[จำนวนเต็มที่ใกล้เคียงที่สุดภายใต้ข้อ จำกัด
R≥1 และ
S≥1] ยกเว้นเมื่อความแปรปรวนแรกเท่ากับศูนย์ซึ่งในกรณีนี้
R=1. เมื่อไหร่
EX[varY|X{f(xr,Y)|xR} ] = 0ความแปรปรวนขั้นต่ำสอดคล้องกับค่าสูงสุด
R, ซึ่งนำไปสู่
S= 1 ในพิธีการปัจจุบัน
โปรดทราบว่าควรเปรียบเทียบโซลูชันนี้กับโซลูชันสมมาตรเมื่ออินทิกรัลชั้นในอยู่ X รับ Y และอินทิกรัลด้านนอกขัดกับขอบใน Y (สมมติว่าการจำลองมีความเป็นไปได้เช่นกันในลำดับนี้)
ส่วนขยายที่น่าสนใจสำหรับคำถามนั้นคือพิจารณาแบบจำลองที่แตกต่างกันจำนวนหนึ่ง S(xR) สำหรับแต่ละจำลอง xRขึ้นอยู่กับมูลค่า varY| X{ f(xR, วาย) |xR}.