>>213
俺も間違いに気が付いた
兎にも角にも求める条件付き確率は
P(W(a)b)/P(W(ab))
これはいい
また
W(a)=W(e)aW(e)
W(ab)=W(e)aW(e)bW(e)
とか
W(e)=ΣV(e)^n
とか問題ない
さらに
P(W(a)b)=Σ{P(w):w∈W(e)aW(e)b}
までもいいのだが
P(W(a)bW(e))≠Σ{P(wW(e)):w∈W(e)aW(e)b}
だわな
複数の
w∈W(e)aW(e)b
について重なってるからな
よって
P(W(a)b)/P(W(ab))=1-Q(V(e))
としたのが間違いで分母がもう少し小さくなる（重なりがあるため）