秘書問題
秘書問題(secretary problem)は、最適停止問題の一種で、応用確率論、統計学、決定理論の分野で特に研究されている。結婚問題 (marriage problem)、スルターンの持参金問題 (sultan's dowry problem)、最良選択問題 (best choice problem) などともいう。具体的には、次のような問題である。
秘書を1人雇いたいとする。
n 人が応募してきている。n という人数は既知である。
応募者には順位が付けられ、複数の応募者が同じ順位になることはない(1位からn位まで重複無く順位付けできる)。
無作為な順序で1人ずつ面接を行う。次に誰を面接するかは常に同じ確率である。
毎回の面接後、その応募者を採用するか否かを即座に決定する。
その応募者を採用するか否かは、それまで面接した応募者の相対的順位にのみ基づいて決定する。
不採用にした応募者を後から採用することはできない。
このような状況で、最良の応募者を選択することが問題の目的である。
応募者がそれまで面接したどの応募者よりもよい場合は「候補者」となる。問題の目的は1人の最良の応募者を選ぶことであるから、採用を考慮するのは候補者だけでよい。秘書問題が注目された理由の1つとして、この問題の最適ポリシーが驚くべき特徴を持っている点が挙げられる。特に n が大きい場合、最適ポリシーでは最初の n/e 人の応募者をスキップし(e はネイピア数)、それ以降に面接した応募者がそれまでよりよいと判断したら採用する。n が大きくなると最善の応募者を選択する確率は 1/e すなわち約 37% になる。応募者が100人でも100,000,000人であっても、最適ポリシーに従えば約 37% の確率で最善の応募者を選択できる。
この問題の最適ポリシーを停止規則 (stopping rule) と呼ぶ。それに従うと、面接者は最初の r-1 人の応募者をスキップし、その次の応募者が候補者(すなわち、それまで面接した中で最もよい応募者)なら採用する。任意の r について最善の応募者を選択する確率は次の通りである。
P(r)=\sum_{j=r}^{n}\left(\frac{1}{n}\right)\left(\frac{r-1}{j-1}\right)=\left(\frac{r-1}{n}\right)\sum_{j=r}^{n}\left(\frac{1}{j-1}\right)
n が無限大に近づくとして、r/n の極限を x、j/n を t、1/n を dt とすると、上記の総和は次の積分で近似できる。
P(r)=x \int_{x}^{1}\frac{1}{t}\,dt = -x \log(x)
P(r) の x についての導関数をとり、それを0として x について解くと、最適な x が 1/e であることがわかる。したがって最適な切捨て(スキップ)は n が増大するにつれて n/e に近づいていき、最善の応募者を選択する確率は 1/e に近づいていく。
n が小さい場合、最適な r は標準的な動的計画法の手法で得られる。最適なしきい値 r と最善例を選択する確率 P を小さい n について以下の表で示す。
最善を選択する確率は非常に急速に 1/e\approx 0.368 に収束する。
秘書問題や類似する問題の直接的解法として Odds algorithm がある。
Stein, Seale, and Rapoport (2003)では、秘書問題を解く際に使われる心理学的にもっともらしいヒューリスティクスの成功確率を検討している。彼らが検討したヒューリスティクスは以下のようなものである。
カットオフ規則(CR)
最初のy人の応募者を採用しない。その後、最初の候補者(そこまでで1位の応募者)を採用する。これは、y=r の CSP の最適ポリシーの特殊ケースである。
候補者カウント規則(CCR)
y 番目の候補者を選択する。最初の応募者をスキップするわけではない。単に候補者(それまでの1位)を数えるだけで、応募者の順序を深く考慮しているわけではない。
非候補者の次規則(SNCR)
非候補者(そこまでで1位でない応募者)が y 人出現した後の最初の候補者を選択する。
これらにはいずれも y というパラメータがある。英語版には n=80 のとき y を変化させてそれぞれの最善選択確率を計算した図がある。それによると、CRが最も確率が高く、次が SNCR で、CCR が一番確率が低い。
最善の応募者を選択するというのは厳密すぎると思われる場合もある。むしろ、ベストでなくとも、なるべくよい人を雇えればよいという考え方もある。したがって、ベストでなくてもなるべくよい人を選択するほうがよい場合も考えられる。基本報酬問題 (cardinal payoff problem) は、面接者が誰かを採用しないと報酬が得られないとする派生問題である。
この問題をモデル化するため、n人の応募者それぞれに [0,1] で一様分布する独立かつ同一の分布の確率変数 X で表される値が対応しているとする。上述の問題と同様、面接者は応募者がそれまでで最善かどうかをその場で判断し、採用するか否かを決める。最後の応募者まで到達したら、その人を必ず採用することになる。話を単純化するため、面接者は応募者の相対順位を知らず、単に候補者かどうか(それまでの最善かどうか)だけを知るものとする。面接者はこのバージョンでは、採用した人の「価値」に応じて報酬を得る。例えば、採用された人の値が 0.8 なら、0.8 の報酬を受ける。面接者の目的は、採用者の期待値を最大化することである。
応募者の価値は [0,1] に一様分布する互いに独立な同一分布であるため、t番目の応募者が x_{t}=\max\left\{x_{1},x_{2},\ldots,x_{t}\right\} となる場合の期待値は次のようになる。
E_{t}=E\left(X_{t}|I_{t}=1\right)=\frac{t}{t+1}
本来の秘書問題と同様、最適ポリシーにはしきい値があり、ここではそれを c とする。面接者は c 人目以降の候補者を採用すべきである。Bearden (2006)によれば、c は \lfloor \sqrt n \rfloor または \lceil \sqrt n \rceil である。実際、n 人の候補者で 1\leq c \leq n の任意のしきい値について期待される報酬は次のようになる。
V_{n}(c)=\sum_{t=c}^{n-1}\left[\prod_{s=c}^{t-1}\left(\frac{s-1}{s}\right)\right]\left(\frac{1}{t+1}\right)
+\left[\prod_{s=c}^{n-1}\left(\frac{s-1}{s}\right)\right]\frac{1}{2}={\frac {2cn-{c}^{2}+c-n}{2cn}
V_{n}(c) を c について微分すると \partial V / \partial c=\left(-{c}^{\,2}+n\right)/ \left(2{c}^{\,2}n\right) となる。c の許容される値については常に \partial^{\,2}V / \partial c^{\,2}<0 なので、V は c=\sqrt n のときに最大となることがわかる。V は c の凸関数なので、最適な整数のしきい値は \lfloor \sqrt n \rfloor か \lceil \sqrt n \rceil のどちらかとなる。したがって、本来の秘書問題に比べて基本報酬問題ではスキップする人数が少ないことが多い。なお、これは近似解ではなく、全ての n について成り立つ。
秘書問題には他にも様々なバリエーションがある。
心理学や実験経済学では、秘書問題を実際の人間を使って実験し研究してきた。多くの場合、人はあまりにも早く決定を下すという結果が示されている。これは対象を評価するコストがその理由の一部と考えられる。これを実世界に適用して考えてみると、人間は逐次的に判断を下す必要のある場面で十分に検討しない可能性があることを示唆している。例えば、車を運転していて給油しなければならない状況で、よく検討せずにガソリンスタンドを決める場合などが考えられる。すると、人はもっと慎重なら安いガソリンを給油できたかもしれない状況で、余分に出費している傾向があることになる。同じことは、例えばオンラインで安い航空チケットを探している場合などが考えられる。秘書問題などの問題についての実験的研究は behavioral operations research の領域とされる。