この記事は 物工/計数 Advent Calendar 2023 - Adventar の一部として書かれたものです。
数式部分に興味のある方は前半を飛ばしてください。
導入
ずんどうねこって知ってますか?
この可愛すぎるキャラクターはずんどうねこと言い、とっとさんのTwitterで毎日更新されています!
僕はずんどうねこを3年以上前からかなり推しているのですが、今年とても嬉しいことが起こりました。
なんと、かわいすぎるラバーストラップ(全6種)が一回300円のガチャガチャに登場したんです!!!!!!!!
これは集めるしかない!!!と僕と彼女は池袋へ繰り出しました。
ご飯屋さんの待ち時間に、全6種をコンプリートするのにかかるお金の期待値について考えていました。
これはクーポンコレクター問題です。
クーポンコレクター問題とは、N種類あるクーポンを全てコンプリートするために、何回購入しないといけないか?という問題です。
詳しい定式化は後程します。
かかるお金はコンプリートするのにかかる回数の期待値x300円で出せますね。
ご飯屋さんの待ち時間の間に頭の中で解けて、期待回数は14.7回、かかるお金の期待値は、4410円となります。
たった6個のガチャでも15回程度かかるんだ…ガチャコワイってなりつつ、次のアイデアが湧いてきました。
「彼女と来てるんだから、お互いの出なかった分を分け合えば二人の期待回数の和は減るのでは?」というものです。
これはクーポンコレクター問題の拡張版で、N種類のクーポンをmセット集めるときの回数についての問題となります。
これはマルコフ連鎖で解けそうだなというところまで考察しましたが、その時は具体的な解を得られませんでした。
ここまで気持ちを準備して、いざガチャガチャ屋にいくと…
売り切れてました~~~~~~~~~~~~~~~~~うわあああああああああああああああああああああ
後でクーポンコレクター問題について調べていくと、確率論の基礎的な内容が詰まったおもしろい話だったのでここにまとめる次第です。
大まかな定式化
ここから数学パートです。
クーポンコレクター問題とは、 種類のクーポンがそれぞれ、確率 で出現するときに、クーポンをコンプリートするまでに買う必要のある回数の確率や期待値について考える問題です。
クーポンは以下、 としてよく、 です。
クーポン列が与えられるときにいくつまで見れば全て出現するかと言い換えることもできますね。
このクーポンコレクター問題はいくつかの種類にわけられます。
- すべての確率が等確率の場合
- 確率がそれぞれ異なる場合 (レアなクーポンがある場合)
また、問題の拡張として
- クーポンがいくつかのまとまりで来る場合
- クーポンを1セットではなくmセット揃える場合
などが考えられます。
以下ではそれぞれの場合について、期待値の証明などを与えます。
1セット、等確率の場合
を確率変数で、1セット揃うまでの購入回数とします。
を確率変数で、 種類揃っている状態で、 種類揃うまでの購入回数とします。
明らかに ですね。
各 は独立なのは明らかです。
について、 種類目を得る確率は ですので、 はパラメータ の幾何分布に従います。
よって、
となります。
他、マルコフ連鎖を用いても証明できますが、その場合方程式を解くのが面倒なのでこちらが楽です。
その他の話題として、 は の時、
となるので、
1セット、等確率ではない場合
を確率変数で、種類 番目のクーポンを最初に得るまでに必要な購入回数とします。
を確率変数で、すべてのクーポンをそろえるのに必要な購入回数とします。
明らかに、ですね。
また、 はパラメータ の幾何分布に従います。
今問題なのは、各 は独立ではないということです。何故なら、例えば なら最初にクーポン が出たということなので、他の は1になりえないからです。
よってmaxを簡単にとれません。
ここで重要な考察として、 は パラメータ の幾何分布に従う確率変数になります。3つ以上のminも同様になります。
ここで、Maximum-minimums identityという恒等式を紹介します。確率変数 について、以下の恒等式が成り立ちます。
これ知りませんでした…。これを使って、maxをminに書き換えます。それぞれのminは幾何分布に従うことは説明しました。これでmaxの期待値をminを使って計算できますね!
まだ汚いですね。ここからさらに変形していきます。
と
を使って
となります。
これも、天下り的に指数分布とポアソン分布を使う天才的な証明もあるようなのですが、そちらは参考文献をご覧ください。
mセット、等確率の場合
m=2, N=6の場合が導入で述べた状況に相当しますね。
を 個購入したがmセット揃わない確率とします。
を確率変数で、mセット揃うのに必要な購入数とします。
すると、
を使って
という関係が成り立ちます。
では、 個購入したがmセット揃わない確率である はどう表せるでしょうか?
個買ったが、どれかがmセットに満たない場合の数 / Ni ですね。
個買ったが、どれかがmセットに満たない場合の数は、
の展開した後、どれかの指数の肩にm以上の数が乗っている項を消したあと、すべての に1をいれたもの。といえます。
後程の議論を楽にするために、以下に定義する記号を使います。
これは多項式Pから全ての について、 の指数部分がm乗を超えるものを除いた多項式のことを表すことにします。
さて、 を以下で定義します。
そして、以下の式を考えます。
Fを の多項式だと思うと、Fは 全ての指数の肩がm以上の項を含まないことがわかります。しかし、Fはいくつかの について のm乗を超える項を含んでいます。
つまり、
ですね。
最後のパーツとして、以下の式が成り立ちます。
これは部分積分して漸化式を解くと正しいことを示せます。
これらを用いて、
さて、すべての に1をいれることを思い出して、1をいれて評価します。
が得られました!
これが答えなのですが、これだとどれくらい大きいかわかりずらいので、 で評価をすると、 = N \left( \log(N) + (m-1)\log \log (N) + C_m + o(1) \right)] となるらしいです。
逆に、 で評価をすると になります。これは直感的ですね!
では最後に具体的に計算してみます。導入で述べたN=6, m=2の場合だと、24.1回。一人当たりだと12回なので、N=6, m=1の場合の14.7回よりかなり改善しています。一人800円ほど安く済む計算になりました。
その他、マルコフ連鎖でも解けますが、m, Nが小さいときじゃないと難しそう…。
ここまで読んでくれた人、ありがとう!
参考文献
https://mat.uab.cat/matmat_antiga/PDFv2014/v2014n02.pdf