עקרון האדישות

עקרון האדישות הוא עקרון מתורת המשחקים המסייע בין השאר למציאת שיווי משקל נאש, במשחק בצורה אסטרטגית.

==רקע== 
עיקרון האדישות מתייחס לשיווי משקל באסטרטגיות מעורבות במשחק בצורה אסטרטגית.<br />

העיקרון אומר כי אם, בשיווי משקל, שחקן משתמש בשתי אסטרטגיות טהורות בהסתברות חיובית, אזי תוחלת התשלום שלו, אם הוא משחק את האחת, שווה לתוחלת התשלום אם הוא משחק את השנייה, בהינתן ששאר השחקנים משחקים את שיווי המשקל.<br />

במשחק באסטרטגיות מעורבות, שימוש בעיקרון זה מאפשר למצוא שיווי משקל נאש באמצעות מציאת וקטור אסטרטגיות עם פונקציית תשלומים, שהיא תוחלת התועלת של האסטרטגיות הטהורות.

==הגדרה פורמלית== 
יהי σ שיווי משקל בצורה אסטרטגית, ותהיינה <math>s_i</math> ו-<math>\hat{s_i}</math> שתי אסטרטגיות טהורות של שחקן i.
אם <math>\sigma_i(s_i)>0</math> ו- <math>\sigma_i(\hat{s_i})>0</math>,
אזי מתקיים: <math>U_i(\sigma_{-i},s_i) = U_i (\sigma_{-i}, \hat{s_i})</math>

הסיבה לכך שהמשפט מתקיים פשוטה:
אם תוחלת התשלום לשחקן i, כאשר הוא משחק את <math>s_i</math>, גבוהה מתוחלת התשלום כאשר הוא משחק את <math>\hat{s_i}</math>, עדיף לו להגדיל את ההסתברות לשחק את <math>s_i</math> על חשבון ההסתברות לשחק את <math>\hat{s_i}</math>.

==הוכחה==
נניח בשלילה כי המשפט אינו מתקיים, ובלי הגבלת הכלליות נניח כי <math> \left( * \right) \ U_i(\sigma_i,s_i) > U_i (\sigma_i, \hat{s_i})</math>.
תהי <math>\sigma'_i</math> האסטרטגיה של שחקן i המוגדרת באופן הבא:
<div class="mw-content-ltr"><math>\sigma'_i(t_i) := \begin{cases} \sigma_i(t_i) & \text{if }t_i\not\in \{ s_i , \hat{s_i}\} \\0&\text{if } t_i=\hat{s_i}\\\sigma_i(s_i)+\sigma_i(\hat{s_i})&\text{if } t_i=s_i \end{cases}</math></div>

אזי
<div class="mw-content-ltr">
<math> 
\begin{align} U_i(\sigma_{-i},\sigma'_i) &\ = \sum_{t_i\in s_i}\sigma'_i(t_i)U_i(\sigma_{-i},t_i) \\
&\ = \sum_{t_i\not\in{\{s_i,\hat{s_i}\}}}\sigma_i(t_i)U_i(\sigma_{-i},t_i)+(\sigma_i(s_i)+\sigma_i(\hat{s_i}))U_i(\sigma_{-i},s_i) \\
&\ > \sum_{t_i\not\in\{s_i,\hat{s_i}\}}\sigma_i(t_i)U_i(\sigma_{-i},t_i)+\sigma_i(s_i)U_i(\sigma_{-i},s_i)+\sigma_i(\hat{s_i})U_i(\sigma_{-i},\hat{s_i}) \\
&\ =\sum_{t_i\in{s_i}}\sigma_i(t_i)U_i(\sigma_{-i},t_i) \\
&\ =U_i(\sigma_i).
\end{align}
</math>
</div>

השוויונים הראשון והשלישי נובעים מהגדרת <math>\sigma'</math>, והאי שוויון נובע מ -<math>\left(*\right)</math>, אך זוהי סתירה לכך ש<math>\sigma</math> היא שיווי משקל, שכן עבור שחקן <math>i</math> הסטייה לאסטרטגיה <math>\sigma'_i</math> מגדילה את התשלום שלו, כלומר היא סטייה כדאית.

==דוגמה==
נתבונן במשחק מלחמת המינים. שמו של המשחק בא מהתיאור הבא:
זוג מתכנן בילוי לשבת. האפשרויות העומדות בפניו הן: קונצרט <math>(C)</math> או צפייה במשחק כדורגל <math>(F)</math>. הגבר מעדיף צפייה במשחק כדורגל, בעוד האישה מעדיפה להאזין לקונצרט.
כאשר שניהם מעדיפים להיות יחד, גם אם הבילוי המשותף הוא הפחות עדיף ביניהם.

במשחק זה יש אסטרטגיות ש"מ טהורות: <math>(F,F)</math> עם תשלום <math>(2,1)</math>, ו-<math>(C,C)</math> עם תשלום <math>(1,2)</math>. האישה מעדיפה את <math>(C,C)</math>, ואילו הגבר מעדיף את <math>(F,F)</math>. כאמור שתי האפשרויות הן ש"מ באסטרטגיות טהורות.
<div class="mw-content-ltr">
{| align=left border="1" cellpadding="4" cellspacing="0" style="margin: 1em 1em 1em 1em; background: #f9f9f9; border: 1px #aaa solid; border-collapse: collapse; font-size: 95%;"
| 
| 
| colspan=2 align=center bgcolor=yellow | אישה
|- 
| 
| 
| align=center bgcolor=yellow | F
| align=center bgcolor=yellow | C
|- 
| rowspan=2 bgcolor=yellow | גבר
| bgcolor=yellow | F
| 2,1
| 0,0
|- 
| bgcolor=yellow | C
| 0,0
| 1,2
|}
</div>נחפש ש"מ באסטרטגיות מעורבות. נשים לב כי לא קיים שיווי משקל כאשר רק אחד מהשחקנים מערב אסטרטגיות.<br />
לכן נקבל כי שיווי המשקל יהיה באסטרטגיות מעורבות לחלוטין, אסטרטגיה שבה כל אחת משתי האסטרטגיות הטהורות נבחרות בהסתברות חיובית.<br />

נניח כי הגבר משחק <math>\left(x(F), (1-x)(C)\right)</math>. אם האישה תשחק <math>F</math>, התשלומים יהיו <math>U(x,F)=2x</math>, ואם תשחק <math>C</math> יתקיים <math>U(x,C)=1-x</math>. באותו האופן, אם האישה תשחק <math>\left(y(F), (1-y)(C)\right)</math>, התשלומים יהיו <math>U(F,y)=y</math> ו- <math>U(C,y)=2(1-y)</math>.<br />
לכן, מכיוון שתנאי עקרון האדישות מתקיימים (האסטרטגיות מעורבות לחלוטין), נקבל כי בשיווי משקל, בהכרח, הגבר אדיש בין <math>F</math> ל-<math>C</math>, וגם האישה אדישה בין <math>F</math> ל-<math>C</math>. לכן, אם שיווי המשקל הוא <math>\left(x^*,y^*\right)</math> נקבל:
* הגבר אדיש בין <math>F</math> ל-<math>C</math>:
<div class="mw-content-ltr"><math>U(F,y^*)=U(C,y^*) \Rrightarrow 2y^*=(1-y^*) \Rrightarrow y^*=\frac13</math></div>
* האישה אדישה בין <math>F</math> ל-<math>C</math>:
<div class="mw-content-ltr"><math>U(x^*,F)=U(x^*,C) \Rrightarrow x^*=2(1-x^*) \Rrightarrow x^*=\frac23</math></div>
כלומר, נקבל את הש"מ הבא: <math>y^*=\left[\frac13(F), \frac23(C)\right]</math>, <math>x^*=\left[\frac23(F), \frac13(C)\right]</math><br />.

==השוואה עם ערך המקסמין==

בשימוש בעקרון האדישות נשים לב כי בחישוב שיווי המשקל המעורב, השחקן משחק כך שהשחקן השני יהיה אדיש בין שתי האסטרטגיות הטהורות שלו (ולכן לשחקן השני לא תהיה הסטייה כדאית). האסטרטגיה של שחקן נקבעת על ידי התשלומים של השחקן האחר, בניגוד לאסטרטגיית המקסמין של השחקן, הנקבעת על ידי התשלומים שלו עצמו.

== לקריאה נוספת ==
*

קטגוריה:תורת המשחקים
קטגוריה:משפטים בתורת המשחקים
קטגוריה:הוכחות