>>274

2^k 回目に
 p・・・・p q・・・・q
 q・・・・q p・・・・p
の出る確率が等しいことを利用すれば、
2^k -1 回目には 全p、全q 以外はすべて決着する。
2^k 回目も同じ。