17/11/02 06:44:15.73 gkHUdXs2.net
いかんいかん、落ちこぼれは恥知らずだから
文字の誤りにもいいがかりをつけるに違いない
自慢げに誤り指摘するまえに直して失望落胆させないとｗ
---
落ちこぼれのために2列で考えようｗ
列s^1の決定番号は自然数d^1
列s^2の決定番号は自然数d^2
d^1＝d^2の場合 （確率o）
s^1を選べばs^1_d^2はs'1^d^2と一致するから 成功 （確率o/2）
s^2を選べばs^2_d^1はs'2^d^1と一致するから 成功 （確率o/2)
d^1＞d^2の場合 （確率p）
s^1を選べばs^1_d^2はs'1^d^2と一致するとは限らないから 失敗 （確率p/2）
s^2を選べばs^2_d^1はs'2^d^1と一致するから 成功 （確率p/2)
d^1＜d^2の場合 （確率q）
s^1を選べばs^1_d^2はs'1^d^2と一致するから 成功 （確率q/2）
s^2を選べばs^2_d^1はs'2^d^1と一致するとは限らないから 失敗 （確率q/2)
成功の確率はo/2+o/2＋p/2＋q/2
o+p+q=1だから、上記はo/2+1/2と等しい
したがって、1/2以上になる
s^1,s^2のどっちを選んでも失敗するには、
d^1=d^2でもd^1>d^2でもd^2>d^1でもない
「あり得ない場合」が発生するしかない
どうだ、反論の余地があるまい 落ちこぼれ