定数の条件を出そうと思って、いろいろ制限を付けて計算していたら、条件なしに成り立…

定数の条件を出そうと思って、いろいろ制限を付けて計算していたら、条件なしに成り立つことが証明できてしまった。これはおかしいと見直したところ、Sum E_T(s - E_k(s))^2 を Sum (E_T(s) - E_k(s))^2 とみなす初歩的なミス。
JRF 2010年7月10日

(s は k,T を添字とする「スコア」で、E() は期待値。)

balance_mail_redirect (↓)の解析をやっている。もっとも簡単な1通だけ送るケース。「ちゃんと」計算したほうは、もの凄く緩い条件しか出せていなくて、これも合ってるのか自信ない。power が exp(1) より大きく、かつ、スコアの最大値が (n+3)/2 より大きければ、スコアの「分散」 Sum E_T(s - E_k(s))^2 は必ず減少する…といったところまで出た。

…でも、間違えてやった証明は美しかったんだよな。別のどこかで使えないかなぁ…。

JRF 2010年7月10日

《balance_mail_redirect：ランダムだが確実にメールが誰かに届くよう振り分けたい》
http://jrf.cocolog-nifty.com/software/2010/05/post-2.html

JRF 2010年7月10日