ソースを表示

提供: Internet Web School

以下に示された理由により、このページの編集を行うことができません:

このページのソースを閲覧し、コピーすることができます:

==鞍点のある問題== 　 教育熱心な父親と，遊び盛りの息子がいる. この父親，ご多分に洩れず仕事の疲れがたまり，日曜は昼寝することが多いのですが，子煩悩で息子の勉強も気になる. 息子にしてみれば，日曜日に頼みもしないのに，父親に小言を言われながら―父親にしてみれば指導なのですが―勉強させられるのは最悪である。 「鬱陶しい」が父親が起きていても，時間を稼ぎながら話題をはぐらかして，なんとか家でゲームでもした方がましと考えている. 父親が大人しく昼寝してくれて，こっそり抜け出すことができれば友人の家にでもゲームでもしに行くのだが， それができなくても，溜まった宿題を一人で片付けるほうがまだましと考えている. 父親は「昼寝をする。しない。」息子は「勉強する。遊ぶ。」でそれぞれ「戦略」に選択肢がある. そこで，二人に「戦略」の選択によってかわる利害得失を下のように単純化して表にしてみる. ＜利得表１＞ \begin{tabular}{|c|c|c|} \hline &勉強する&遊ぶ \hline 昼寝しない&-50&50 \hline 昼寝する&0&100 \hline \end{tabular} この表の値は，息子の側に立ったものである.父親が昼寝しないで「指導」を受けながら勉強する最悪な場合は得点-50点 何とか，はぐらかしながら，遊ぶ場合は あまり楽しめないが50点，父親が昼寝して，一人で勉強して，溜まっている宿題 を片付けるのは0点，こっそり抜け出して遊ぶ場合は100点である. 父親にしてみれば： \begin{eqnarray*} 　&&「昼寝する」を選択したら，自分の失点（息子の得点）は，最大100点 　&&「昼寝しない」を選択したら，自分の失点（息子の得点）は，最大50点 \end{eqnarray*} この二つの最大失点のうち，最小のものは50点である. 息子にしてみれば： \begin{eqnarray*} &&「勉強する」を選択したら，自分の得点は，最小-50点 &&「遊ぶ」を選択したら，　　自分の得点は，最小50点 \end{eqnarray*} この二つの最小得点のうち，最大ものは50点である. この例では 「最大失点のうち，最小のもの」＝「最小得点のうち，最大もの」 が成立っている. 結局，父親が昼寝をしなければ，父親にとっては，最悪でも息子は，50点 息子にしてみれば，「遊ぶ」を選択したら最悪でも自分の得点は50点 である.このような状況を「このゲームには鞍点がある」という. この話を一般化しておく. 二人の競技者<math>P,Q</math>が取り得「戦略」の集合を<math>P_0,Q_O</math>とする.そして, この二人がそれぞれ「戦略」の集合<math>P_0,Q_O</math>の中から戦略<math>P,Q</math>を選択したときの 得点を<math>G(P,Q)</math>で表しておく. 上の例では，<math>P=息子,Q=父親<math>で,<math>P_0=\{ 勉強する,遊ぶ \} <math> <math>Q_0=\{ 昼寝する,昼寝しない \} <math>です。<math>G(P,Q)</math>は上の利得表１で与えらる. <math>P</math>が<math>P_O</math>の中から選択されると<math>Q</math>はこれに対抗して <math>G(P,Q)</math>が最小になるように （自分の損失が最小になるように） <math>Q</math>を<math>Q_O</math>中で選択するはずである. すなわち <math>\min \{ G(P,Q) |Q \in Q_O\}<math> が実現されるとなるような<math>Q</math>を<math>Q_O</math>の中で探す. この最小値を <math>\min_Q G(P,Q)</math> で表しておきます。 <math>P</math>はこれを見越して,自分の利益が最大になるようにするため, <math>\max \{ \min_Q G(P,Q) |P \in P_O\}<math> が実現されるとなるような<math>P</math>を<math>P_0</math>の中から探すことになる. この最大値を <math>\max_P \min_Q G(P,Q) <math> で表しておく. まっく逆の<math>Q</math>の立場からは, <math>Q</math>が<math>Q_0</math>の中から選択されると<math>P</math>はこれに対抗して <math>G(P,Q)</math>が最大になるように <math>P</math>を<math>P_0</math>中で選択するはずである. すなわち <math>\max \{ G(P,Q) |P \in P_O\}<math> が実現されるとなるような<math>P</math>を<math>P_0</math>の中から探す.この最小値を <math>\min_P G(P,Q)</math> で表しておく. <math>Q</math>はこれを見越して,自分の損失を最小にするため, <math>\min \{ \max_P G(P,Q) |Q \in Q_O\}<math> が実現されるとなるような<math>Q</math>を<math>Q_0</math>の中で探すことになる.この最大値を <math>\min_Q \max_P E(P,Q)</math> で表しておく. 以上出てきた,２つの値には一般には <math>\max_P \min_Q G(P,Q) \le \min_Q \max_P G(P,Q)</math> という関係が成り立っている. {\bf [証明]} <math>Q</math>を<math>Q_O</math>の中で動かして, <math>\min_Q G(P,Q) \le G(P,Q)</math> が任意の<math>P</math>(両辺),<math>Q</math>(右辺)について成立 次に上の不等式の右辺について<math>P</math>を<math>P_0</math>中で動かして, <math>\min_Q G(P,Q) \le \max_P G(P,Q)</math> が任意の<math>P</math>(左辺),<math>Q</math> (右辺)について成立 さらに上の不等式の左辺について<math>P</math>を<math>P_0</math>の中で動かして, <math>\max_P \min_Q G(P,Q) \le \max_P G(P,Q)</math> が任意の<math>Q</math>(右辺)について成立 最後に右辺の<math>Q</math>を<math>Q_0</math>の中で動かして <math> \max_P \min_Q G(P,Q) \le \min_Q \max_P G(P,Q)</math> [証明終] 特に「鞍点」が存在する場合,戦略<math>P^* \in P_0,Q^* \in Q_O</math>が存在して <math> \max_P \min_Q G(P,Q) =G(P^*,Q^*)= \min_Q \max_P G(P,Q)</math> となる. この場合,競技者<math>P,Q</math>はそれぞれ戦略<math>P^* \in P_0,Q^* \in Q_O</math> 以外の戦略を選択すると損をすることになり,この意味で平衡状態になる. \vspace{5cm} \par (図2.1 鞍点) ==鞍点のない問題== <math>P,Q</math>の２人がじゃんけんをする. 負けたら10円を相手に払い,勝ったら相手から10円貰うというルールで, じゃんけんを繰り返す. 無論,「アイコ」の場合は,支払うお金,貰うお金とも0円である. <math>P</math>と<math>Q</math>の出す手によって,貰えるお金,支払うお金がどうなるか, <math>P</math>の立場で以下のような表になる. 利得表1 [[ファイル:Game01.jpg]] 「-10」は<math>Q</math>に10円払う事を表す. <math>P</math>の立場に立ってみる.先ず,このゲームの利得表には鞍点がない. 双方が選択の余地のない「平衡状態」にする戦略はないわけである.出す手をランダムしてゲームを繰り返す方法以外ない. このような問題を混合戦略問題とう. じゃんけんを繰り返すわけであるが,どのような「戦略」があるか？ グーを出し続けとすると,<math>Q</math>はそれを直ぐ見破って, パーを出し続けてくるであろう.続ければ続けるほど<math>P</math>は大損である. 同様にパーを出し続けても,チョキを出し続けるのも駄目である. 結局,例えばサイコロを用意して,出た目によって出す手を決めるランダムな手の繰り返す方法であろう. (1か6ならグー,2か5ならパー,3か4ならチョキなど) 問題は,どんな割合で（確率で）グー,チョキ,パーを出すべきかである. 相手の<math>Q</math>は<math>P</math>の出す手を監視しながら<math>P</math>と対戦するので,<math>P</math>が選択したグー,チョキ,パーの確率を直ぐに見破り, それでも,自分にとって有利な手を選択してくると考えるべきである.<math>P</math>と<math>Q</math>の立場を替えても全く同じである. ゲームの理論を創始し,この種の問題に解を与えたのが,ノイマン（<math>von Nuemann</math> 現在の計算機の原理開発者としても有名）である. 鞍点のある問題と異なり,一工夫が必要である.それは,ゲームの利得 <math>G(P,Q)</math>の替わりに期待値<math>E(P,Q)</math>を使う.以下,その説明をする. <math>P</math>が選択する戦略（グー,チョキ,パーを出す確率）を<math>p_1,p_2,p_3</math>とし, <math>P=(p_1,p_2,p_3)</math>で表しておく. このゲームの場合,「戦略」は幾つかある「手」をランダムに選んで繰り返す 確率の組み合わせになるわけである. 同様に<math>Q</math>が選択する戦略を<math>Q=(q_1,q_2,q_3)</math>で表しておく. <math>P</math>がグーを出し,<math>Q</math>もグーを出す確率は<math>p_1･q_1</math>でこのとき <math>P</math>は損得なし(0円の儲け), <math>P</math>がグーを出し,<math>Q</math>がチョキを出す確率は<math>p_1･q_2</math> でこのとき,<math>P</math>は10円の儲け, <math>P</math>がグーを出し,<math>Q</math>がパーを出す確率は<math>p_1･q_3</math>でこのとき, <math>P</math>は10円の損失(-10の儲け), という計算を全て行うと <math>P=(p_1,p_2,p_3),Q=(q_1,q_2,q_3)</math> での<math>P</math>の儲けの期待値<math>E(P,Q)</math>は <math> E(P,Q)=0･p_1･q_1+10･p_1･q_2+(-10)･p_1･q_3 +(‐10)･p_2･q_1+0･p_2･q_2+10･p_2･q_3 +10･p_3･q_1+(‐10)･p_3･q_2+0･p_3･q_3 </math> である. <math>P=(p_1,p_2,p_3),Q=(q_1,q_2,q_3)</math>は それぞれ,グー,チョキ,パーを出す確率を表しているから, これらについての制約は <math> 1 \ge p_1 \ge 0,1 \ge p_2 \ge 0,1 \ge p_3 \ge 0, p_1+p_2+p_3=1 \\ 1 \ge q_1 \ge 0,1 \ge q_2 \ge 0,1 \ge q_3 \ge 0, q_1+q_2+q_3=1 </math> である. 簡単のため<math>P,Q</math>の採り得る集合を <math> P_O= \{ (p_1,p_2,p_3)|1 \ge p_1 \ge 0,1 \ge p_2 \ge 0,1 \ge p_3 \ge 0, p_1+p_2+p_3=1\} \\ Q_O= \{ (q_1,q_2,q_3)|1 \ge q_1 \ge 0,1 \ge q_2 \ge 0,1 \ge q_3 \ge 0, q_1+q_2+q_3=1\} </math> で表しておく.前節の<math>P_0,Q_0</math>と異なり,それぞれ,確率を要素にもつベクトルの 集合になっている. <math>P=(p_1,p_2,p_3)</math>が<math>P_O</math>の中から選択されると<math>Q</math>はこれに対抗して <math>E(P,Q)</math>が最小になるように （自分の損失が最小になるように） <math>Q=(q_1,q_2,q_3)</math>を<math>Q_O</math>中で選択するはずである. すなわち <math>min \{ E(P,Q) |Q \in Q_O\} </math> が実現されるとなるような<math>Q</math>を<math>Q_O</math>の中で探す. この最小値を <math>min_Q E(P,Q)</math> で表しておく. <math>P</math>はこれを見越して,自分の利益が最大になるようにするため, <math>max \{ min_Q E(P,Q) |P \in P_O\} </math> が実現されるとなるような<math>P</math>を<math>P_O</math>の中から探すことになる. この最大値を <math>max_P min_Q E(P,Q) </math> で表しておく. まっく逆のQの立場からは, <math>Q=(q_1,q_2,q_3)</math>が<math>Q_0 </math>の中から選択されると<math>P</math>はこれに対抗して <math>E(P,Q)</math>が最大になるように <math>P=(p_1,p_2,p_3)</math>を<math>P_0 </math>中で選択するはずである. すなわち <math>max \{ E(P,Q) |P \in P_O\} </math> が実現されるとなるような<math>P</math>を<math>P_0</math>の中から探す.この最小値を <math>min_P E(P,Q)</math> で表しておく. <math>Q</math>はこれを見越して,自分の損失を最小にするため, <math>min \{ max_P E(P,Q) |Q \in Q_O \} </math> が実現されるとなるような<math>Q</math>を<math>Q_0</math>の中で探すことになる.この最大値を <math>min_Q max_P E(P,Q)</math> で表しておく. 以上出てきた,2つの値には一般には <math>max_P min_Q E(P,Q) \le min_Q max_P E(P,Q)</math> という関係が成り立っている. ノイマンは上のような問題では,<math>P_O,Q_0</math>の中に <math>P^*=(p_1^*,p_2^*,p_3^*), Q^*=(q_1^*,q_2^*,q_3^*)</math> があって <math> max_P min_Q E(P,Q) = min_Q max_P E(P,Q)=E(P^*,Q^*) \\ max_P E(P,Q^*)=E(P^*,Q^*)= min_Q E(P^*,Q) </math> となることを証明した. この<math>P^*</math>と<math>Q^*</math>を具体的求めることにする. 問題を解きやすくするため,最初に出てきた＜利得表＞ (損失と利益の表)の要素に全て10を加えておく. 利得表2　[[ファイル:Game02.jpg]] これでは,一方的な<math>P</math>のゲームになるかもしれないが, <math>P^*=(p_1^*,p_2^*,p_3^*),Q^*=(q_1^*,q_2^*,q_3^*)</math> を計算するためだけであり,このような,利得表の平行移動やっても解は同じである. <math>P^*</math>も,<math>Q^*</math>も,<math>E(P^*,Q^*)</math>も未知な量であるが <math>E(P^*,Q^*)</math>は判っているもの として <math>max_P E(P,Q^*)=E(P^*,Q^*)=min_Q E(P^*,Q)</math> に注目する. <math> E(P,Q)=q_1 \{ 10p_1+0p_2+20p_3\} +q_2 \{ 20p_1+10p_2+0p_3\} +q_3 \{ 0p_1+20p_2+10p_3\} </math> で, <math>1 \ge q_1 \ge 0,1 \ge q_2 \ge 0,1 \ge q_3 \ge 0, q_1+q_2+q_3=1</math> であるので <math> E(P^*,Q^*) \le 10p_1+0p_2+20p_3~ (1) \\ E(P^*,Q^*) \le 20p_1+10p_2+0p_3~ (2) \\ E(P^*,Q^*) \le 0p_1+20p_2+10p_3~ (3) </math> という条件を満たせば,任意の<math>Q \in Q_0</math>について <math>E(P^*,Q^*) \le E(P,Q)</math> が成り立つ.従って <math>E(P^*,Q^*) \le min_Q E(P,Q)</math> が成り立つ. <math>(1)</math>～<math>(3)</math>と<math>P \in P_0</math> 即ち <math>1 \ge p_1,p_2,p_3 \ge 0, p_1+p_2+p_3=1</math> の制約条件下で <math>E(P,Q^*)=max_P E(P,Q^*)</math>となる<math>P</math> を求めれば, <math>E(P,Q^*)=E(P^*,Q^*)</math> となるわけである. しかし,これではまだ<math>E(P^*,Q^*)</math>が未知量であるので, <math>(1)</math>～<math>(3)</math>の両辺を<math>E(P,Q^*)</math> で割り, <math> r_1=p_1/E(P,Q^*) \\ r_2=p_2/E(P,Q^*) \\ r_3=p_3/E(P,Q^*) </math> として, <math>E(P^*,Q^*)/E(P,Q^*) \ge 1</math> に注意すると <math> 1 \le 10r_1＋0r_2＋20r_3~(1') \\ 1 \le 20r_1＋10r_2＋0r_3~(2') \\ 1 \le 0r_1＋20r_2＋10r_3~(3') </math> <math> r_1＋r_2＋r_3 =(p_1＋p_2＋p_3)/E(P,Q^*) =1/E(P,Q^*) </math> から <math>E(P,Q^*)のPについての最大化 　\Leftrightarrow 「r_1+r_2+r_3の最小化」</math> 結局,線形計画法の問題 <math> 1 \le 10r_1+0r_2+20r_3(1') \\ 1 \le 20r_1+10r_2+0r_3(2') \\ 1 \le 0r_1+20r_2+10r_3(3') </math> かつ <math>r_1,r_2,r_3 \ge 0</math> の制約条件で <math>r_1+r_2+r_3</math> を最小化する という問題が出てくる. Microsoft Excel のsolver などツールが利用できる. その解から <math> p_1^*=r_1/(r_1+r_2+r_3) \\ p_2^*=r_2/(r_1+r_2+r_3) \\ p_3^*=r_3/(r_1+r_2+r_3) </math> とすれば,<math>P^*</math>の最適戦略が求まる. <math>P</math>と<math>Q</math>の役目を交換しても全く同じなので,<math>P^*=Q^*</math>である. 最初の＜利得表2＞を用いれば,<math>E(P^*,Q^*)</math>も求まる. [http://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%A0%E7%90%86%E8%AB%96 ゲーム理論]

最適化理論/ゲーム理論 に戻る。