שיווי משקל מתואם

בתורת המשחקים, שיווי משקל מתואם, שהוצע על ידי פרופ' ישראל אומן בשנת 1974, הוא הכללה של שיווי משקל נאש. בדומה לשיווי משקל נאש, שיווי משקל מתואם הוא מצב שבו שום משתתף אינו יכול לשפר את מצבו בשינוי חד–צדדי של פעולתו בלבד. אולם להבדיל משיווי משקל נאש, כאן מניחים כי לפני שהמשתתפים מחליטים על פעולותיהם הם נחשפים למידע מסוים.
מידע זה יכול להיות משותף לכולם ("מידע פומבי"), שונה ממשתתף למשתתף ("מידע פרטי") או שילוב שלהם.
נוסף על כך, מידע זה אינו משפיע ישירות על תוצאות המשחק - ובכל זאת הוא עשוי להיות מובא בחשבון ולהשפיע על החלטות המשתתפים. ניתן גם לדמות מצב שרק חלק מהשחקנים מקבלים עצה או ששחקנים שונים נחשפים לאותות שונים, כלומר המידע הנוסף משותף רק לחלק מהשחקנים.

==הסבר לא פורמלי==

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

ניתן להתייחס להתפלגות כאל אות, או עצה חיצונית לשחקנים. שיווי משקל נוצר כאשר כל השחקנים מאמינים כי עדיף להם לקבל את העצה או לפעול בהתאם למה שמרמז עבורם האות משיקולי תועלת. כמו כן, העצה אינה חלק מן המשחק המקורי, ואינה מחייבת אף שחקן בפועל. במובן הזה, שיווי משקל מתואם הוא מצב בו שחקני המשחק יצייתו מרצונם לגורם בלתי תלוי ומוסכם מראש, בדמות עצות, תוך הבנה כי התנהגות כזאת עדיפה להם מבלי צורך ליצור חוזה מחייב. ניתן גם לדמות מצב שבו לא כל השחקנים נחשפו לאות, או שתתי-קבוצות שונות של שחקנים נחשפו לאותות שונים.

==הגדרה פורמלית==

יהי <math> G = (N,(S_i)_{i \in N}, (u_i)_{i\in N}) </math> משחק בצורה תכסיסית.

עבור כל ווקטור <math> S_i </math> בגודל <math> n </math> נגדיר ווקטור <math> S_{-i} </math> כווקטור בגודל <math> n-1 </math>, הזהה ל <math> S_i </math>, פרט לכך שאינו מכיל את התא <math> i </math> שלו.

תהי <math> p </math> התפלגות על קבוצת ווקטורי התכסיסים <math> S </math>, אזי <math> p </math> הוא שיווי משקל מתואם אם לכל שחקן <math> i \in N </math> מתקיים : 
<math> \forall s^\prime_i \in S_i \sum_{s_{-i} \in S_{-i}} p(s_i,s_{-i})u(s_i,s_{-i}) \geq \sum_{s_{-i} \in S_{-i}} p(s_i,s_{-i})u(s^\prime_i,s_{-i}) </math> 

במילים אחרות, <math>p</math> הוא שיווי משקל מתואם אם אף שחקן לא יכול לשפר את תוחלת התשלומים שלו על ידי החלפת תכסיסיו.

==דוגמה==

{| border="1" align="left"
|+ משחק מלחמת המינים
|-
! !! אופרה !! כדורגל
|-
! אופרה
|(2,1) || (0,0)
|-
! כדורגל
|(0,0) || (1,2)
|}
נתבונן במשחק הבא, בשם "מלחמת המינים". שחקן אחד במשחק מעדיף ללכת למשחק כדורגל, בעוד השחקן השני מעדיף ללכת לראות אופרה. כל אחד מהשחקנים מעדיף מצב בו יעסוק בפעילות שהוא לא אוהב ביחד עם השני, מאשר מצב של אי-הסכמה, בו כל שחקן יישאר לבד. נתאר את המשחק בעזרת הטבלה שלהלן.

למשחק הנ"ל ישנם שלושה שיוויי משקל נאש, (כדורגל, כדורגל), (אופרה, אופרה) ושיווי משקל מעורב בו כל שחקן הולך לאן שהוא מעדיף בסיכוי 2/3 לאן שהשני מעדיף 1/3, בהם לאף אחד מהשחקנים לא משתלם להיות היחיד המשנה את בחירתו. 

ניתן ליצור שיווי משקל מתואם במשחק הנ"ל על ידי הגרלה – שני השחקנים יטילו מטבע הוגן. ייקבע מראש כי אם תוצאת ההטלה היא פלי, שני השחקנים ילכו לאופרה, ואם התוצאה עץ, ילכו למשחק הכדורגל. תוחלת התשלומים של כל שחקן, במקרה זה, היא: 1.5=0.5(1+2). ניתן לשים לב כי תוחלת התשלומים בשיווי משקל זה זהה לשני השחקנים, בניגוד לשיווי המשקל במשחק המקורי.<br />

נראה באופן פורמלי עבור השחקן הראשון (חובב הכדורגל) כי התנאי לשיווי משקל מתואם מתקיים.<br />

נגדיר התפלגות <math>p</math>,

<math> p(o,o)=p(f,f)=1/2 </math> <math> p(o,f)=p(f,o)=0 </math> <br />

תחילה נחשב עבור התכסיס "הליכה לכדורגל":<br />

<math> p(f,f)u_1(f,f)+p(f,o)u_1(f,o) = 1/2*2+0*0 = 1 \geq 0 = 1/2*0+0*1 = p(f,f)u_1(o,f)+p(f,o)u_1(o,o) </math><br />

כעת עבור "הליכה לאופרה":<br />

<math> p(o,f)u_1(o,f)+p(o,o)u_1(o,o) = 0*0+1/2*1 = 1/2 \geq 0 = 0*2+1/2*0 = p(o,f)u_1(f,f)+p(o,o)u_1(f,o) </math><br />

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

{| border="1" align="left"
|+ משחק צ'יקן לדוגמה
|-
! !! לסטות !! לנסוע ישר
|-
! לסטות
|(8,8) || (9,1)
|-
! לנסוע ישר
|(1,9) || (0,0)
|}

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

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

אם הגוף החדש אומר לשחקן לנסוע ישר אזי כמובן שאין לו סיבה לסטות כי הוא יודע שלשחקן השני נאמר לסטות והתועלת תהיה 9. אם הגוף אמר לשחקן לסטות אזי השחקן השני יסטה או ייסע בהסתברות 0.5 ואז תוחלת התועלת עבור אי קבלת העצה ונסיעה ישר תהיה:

<math> 0.5\cdot0 + 0.5\cdot9 = 4.5 </math> ועבור סטייה כפי שנאמר תהיה <math> 0.5\cdot8 + 0.5\cdot1 = 4.5 </math> לכן אין סיבה שלא להקשיב לצד השלישי.

==שיווי משקל מתואם ומשחקים עם אינפורמציה לא מלאה==

ניתן להרחיב משחק נתון שבו ישנו שיווי משקל מתואם למשחק באינפורמציה לא מלאה כך שבמשחק החדש יהיה שיווי משקל הזהה לשיווי משקל נאש במשחק המקורי.
בדוגמה שלעיל נבנה מרחב הסתברות מעל התאים במטריצה וניתן ערך 0 לפונקציית ההסתברות על (0,0) וערך 1/3 לפונ' על שאר התאים. לשחקן א' ידע את השורה של התא שנבחר בהתאם להתפלגות זו ושחקן ב' ידע את העמודה. שיווי המשקל המתואם במשחק המקורי הוא שיווי משקל במשחק זה.

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

* ישראל אומן, תורת המשחקים, 1981.
*
קטגוריה:תורת המשחקים