ところで ID:yQInY7pB さんは
s^1,…,s^nが定まっていてd1,…,dnが決まっている状態から
この試行が始まっていて
D=max(d1,…,dn)
としたとき
どの数列を選んでもD+1から先を全部空ければ
必ずその数列の第D項が分かる
ということは同意してるんですよね？>>492
ならば
1,…,nの中からランダム（同様に確からしく）kという番号を選んだ時
D=max(d1,…,(dk),…,dn)
である確率が1-1/nもしくは1のどちらかであることも同意しますよね？
s^k以外の数列を全部空けたらd1,…,(dk),…,dnはすべて知ることができるわけですので
その試行によってDk=max(d1,…,(dk),…,dn)が算出され
s^kのDk+1移行の番号を全部空けるわけですが
D=Dkであればそれによって代表元が定まりs^kの第Dk項が求められ
D>DkであればD=dk>Dkなので第Dk+1項から先を全部空けても
決まるのは第dk項以降ですから第Dk項は分からない
ということです