אסטרטגיית התנהגות

בתורת המשחקים, אסטרטגיית התנהגות (או תכסיס התנהגות) היא אסטרטגיה המתארת קבלת החלטה עבור כל מצב במשחק באופן בלתי תלוי. בניגוד לאסטרטגיה טהורה (או עירוב של טהורות), בה שחקן בוחר (או מגריל) מראש רצף של מהלכים, שחקן הנוקט באסטרטגיית התנהגות קובע רק הסתברות על מהלכים אפשריים בתוך קבוצות הידיעה שלו, ומגריל (לפי ההסתברות שקבע מראש) את המהלך המדויק שאותו יבצע רק בהגיעו לקבוצת הידיעה. אסטרטגיות התנהגות מוגדרות למשחקים בצורה רחבה (השונה ממשחקים בצורה אסטרטגית) ולכן מגדירות צורת משחק שונה מזו של אסטרטגיות מעורבות\טהורות, ולא ניתן לתאר אחת באמצעות השנייה ולהפך. משפט קיון מתאר את המקרים בהם קיימת אסטרטגיית התנהגות שקולה לאסטרטגיה מעורבת נתונה, וכתוצאה מכך באילו מקרים קיים שיווי משקל באסטרטגיות התנהגות. יהי Γ {\displaystyle \Gamma } משחק בצורה רחבה. נסמן את קבוצות הידיעה של שחקן i {\displaystyle i} כך: { U i 1 , U i 2 , … , U i k i } {\displaystyle \left\{U_{i}^{1},U_{i}^{2},\ldots ,U_{i}^{k_{i}}\right\}} . בכל קבוצת ידיעה j {\displaystyle j} נסמן את המהלכים האפשריים לשחקן i {\displaystyle i} מתוך הקבוצה ב A ( U i j ) {\displaystyle A\left(U_{i}^{j}\right)} . אז אסטרטגיית ההתנהגות של שחקן i {\displaystyle i} היא וקטור של התפלגויות: b i ∈ ∏ i = 1 k i Δ ( A ( U i j ) ) {\displaystyle b_{i}\in \prod _{i=1}^{k_{i}}{\Delta \left(A\left(U_{i}^{j}\right)\right)}} . כל אסטרטגיית התנהגות b i {\displaystyle b_{i}} מגדירה הסתברות על המהלכים a ∈ A ( U i j ) {\displaystyle a\in A\left(U_{i}^{j}\right)} , המסומנת כך: b i ( U i j ; a ) {\displaystyle b_{i}\left(U_{i}^{j};a\right)} . דוגמה למשחק שבו אסטרטגיה מעורבת מביאה לטווח תוצאות שונה מאסטרטגיית התנהגות היא משחק "הנהג השכחן" (מאת פיצ'ון ורובינשטיין, 1997) משחק בו נהג נוסע על כביש ראשי ומבחין ביציאה, אך אינו זוכר אם כבר הבחין ביציאה בעבר (באופן פורמלי: שתי היציאות נמצאות באותה קבוצת הידיעה של השחקן). בכל מקרה, הוא יכול להמשיך ישר או לבחור לצאת. אם יבחר לצאת בראשונה, לא ירוויח כלום, אך בשנייה ירוויח 4 נקודות. אם לא ייצא לעולם ירוויח נקודה אחת. כיוון שמטרת הנהג היא רווח, הוא ירצה להגדיל את סיכוייו לצאת ביציאה השנייה. באסטרטגיות טהורות אין לשחקן בכלל אפשרות לעשות זאת: אם יבחר לשחק "המשך", יפספס את שתי היציאות ויגיע לקצה הכביש. אם יבחר לשחק "צא", ייצא מיד בראשונה. מכיוון שתוצאה של אסטרטגיה מעורבת היא הגרלה על תוצאות של אסטרטגיות טהורות, התוצאה המקסימלית במשחק "הנהג השכחן" המתואר כאן היא 1 באסטרטגיות מעורבות. לעומת זאת, באסטרטגיית התנהגות יוכל הנהג לקבוע הסתברות מראש, ולפיה להגריל את החלטותיו בכל נקודת החלטה מחדש, באופן בלתי תלוי בהגרלה הקודמת: אם יבחר, למשל, באסטרטגיה : b = [ 1 3 Exit , 2 3 Drive ] {\displaystyle b=\left[{\frac {1}{3}}{\mbox{Exit}},{\frac {2}{3}}{\mbox{Drive}}\right]} (כלומר, בכל פעם שייקרא לשחק בתוך קבוצת הידיעה היחידה שיש במשחק, יסע ישר בהסתברות 2 / 3 {\displaystyle 2/3} ויצא בהסתברות 1 / 3 {\displaystyle 1/3} ), יוכל להגיע ליעד (התוצאה 4) בהסתברות חיובית, ואז תהיה תוחלת התוצאות שלו: u ( [ 1 3 Exit , 2 3 Drive ] ) = 1 3 u ( Exit 1 ) + 2 3 u ( Drive 1 ) = {\displaystyle u\left(\left[{\frac {1}{3}}{\mbox{Exit}},{\frac {2}{3}}{\mbox{Drive}}\right]\right)={\frac {1}{3}}u\left({\mbox{Exit}}_{1}\right)+{\frac {2}{3}}u\left({\mbox{Drive}}_{1}\right)=} = 1 3 ⋅ 0 + 2 3 ( 1 3 u ( Exit 2 ) + 2 3 u ( Drive 2 ) ) = 0 + 2 9 ⋅ 4 + 4 9 ⋅ 1 = 1 1 3 {\displaystyle ={\frac {1}{3}}\cdot 0+{\frac {2}{3}}\left({\frac {1}{3}}u\left({\mbox{Exit}}_{2}\right)+{\frac {2}{3}}u\left({\mbox{Drive}}_{2}\right)\right)=0+{\frac {2}{9}}\cdot 4+{\frac {4}{9}}\cdot 1=1{\frac {1}{3}}} וזו תוצאה גבוהה מזו שניתן להשיג באסטרטגיות מעורבות עבור המשחק. משחק "הנהג השכחן" הציג מצב בו השחקן לא זוכר אם שיחק בעבר, אך יודע שאם כן - הוא בוודאות שיחק "המשך" (אחרת היה המשחק מסתיים). זוהי החלשה של קריטריון הזיכרון השלם, שכן השחקן אינו זוכר את כמות המהלכים שעשה. במשחק בצורה רחבה לשחקן אחד יש עוד החלשות של קריטריון הזיכרון השלם. בדוגמה שבתרשים התחתון, עץ המשחק מחולק לשורות המהוות קבוצות ידיעה (לא ניתן לדעת היכן בתוך השורה נמצא השחקן), כך שבכל שלב השחקן זוכר רק את מספר השלב, ובפרט - בהגיעו לשחק בשלב השני, הוא אינו זוכר אם פנה ימינה או שמאלה בשלב הראשון. במשחק זה, לשחקן יש ארבע אסטרטגיות טהורות: L 1 L 2 {\displaystyle L_{1}L_{2}} , L 1 R 2 {\displaystyle L_{1}R_{2}} , R 1 L 2 {\displaystyle R_{1}L_{2}} , R 1 R 2 {\displaystyle R_{1}R_{2}} , לכן לצירוף קמור שלהם (צירוף ליניארי שמקדמיו מסתכמים ב-1) ישנן 3 דרגות חופש: השחקן יכול לקבוע הסתברויות p 1 L 1 L 2 , p 2 L 1 R 2 , p 3 R 1 L 2 {\displaystyle p_{1}L_{1}L_{2},p_{2}L_{1}R_{2},p_{3}R_{1}L_{2}} וההסתברות הרביעית ( 1 − ( p 1 + p 2 + p 3 ) ) R 1 R 2 {\displaystyle (1-(p_{1}+p_{2}+p_{3}))R_{1}R_{2}} תנבע מהם (כלומר, האסטרטגיה המעורבת במקרה זה היא נקודה במרחב תלת־ממדי). לעומת זאת, באסטרטגיית התנהגות ישנן רק שתי דרגות חופש בקביעת התוצאות: השחקן בוחר את התנהגותו (בחירה בין שני מצבים) p 1 , 1 − p 1 {\displaystyle p_{1},1-p_{1}} בקבוצת הידיעה העליונה ובהתאם את התנהגותו בקבוצת הידיעה התחתונה (גם שם שני מהלכים אפשריים), p 2 , 1 − p 2 {\displaystyle p_{2},1-p_{2}} , ומכאן שזו נקודה במרחב דו-ממדי. מכאן שבמשחק זה קיימות תוצאות של אסטרטגיות מעורבות שלא ניתן לתאר באמצעות אסטרטגיות התנהגות. ערך מורחב – משפט קיון וזיכרון שלם זיכרון שלם הוא תכונה המיוחסת לשחקן i {\displaystyle i} , אם על עץ המשחק מתקיימים התנאים הבאים: כל קבוצת ידיעה של שחקן i {\displaystyle i} חותכת כל מסילה לכל היותר פעם אחת. כל שתי מסילות מהשורש של עץ המשחק המסתיימות בקבוצת ידיעה U i k {\displaystyle U_{i}^{k}} עוברות דרך אותן קבוצות הידיעה עד אליה, ובאותו הסדר. משפט קיון (שהוכח על ידי הרולד קיון ב-1957) קובע כי במשחק בצורה רחבה בעל זיכרון שלם לשחקן i {\displaystyle i} , לכל אסטרטגיה מעורבת יש אסטרטגיית התנהגות השקולה לה. ממשפט זה ניתן להסיק ישירות כי לכל משחק בו לכל השחקנים יש זיכרון שלם, קיים שיווי משקל נאש באסטרטגיות התנהגות, זאת בגלל השקילות. במקרים מסוימים, אורך התיאור של אסטרטגיות התנהגות קטן משמעותית מזה של אסטרטגיה מעורבת, זאת בגלל מימד האסטרטגיה: אסטרטגיה מעורבת מוצגת כנקודה במרחב בעל כמות ממדים ככמות האסטרטגיות הטהורות השונות: dim ⁡ ( Σ ) = | S | − 1 {\displaystyle \dim \left(\Sigma \right)=\left|S\right|-1} (ה-1 מוחסר ממימד האסטרטגיה מכיוון שמדובר בצירוף קמור, לכן מימד אחד תמיד שמור להשלמת סכום המקדמים ל-1) בעוד שמימד אסטרטגיות ההתנהגות תלוי במספר המהלכים השונים המתאפשרים בקבוצות ידיעה שונות: dim ⁡ ( B ) = ∑ j dim ⁡ ( U j ) = ∑ j ( | A ( U j ) | − 1 ) {\displaystyle \dim \left(B\right)=\sum _{j}\dim \left(U^{j}\right)=\sum _{j}\left(\left|A\left(U^{j}\right)\right|-1\right)} . במצבים מסוימים (למשל, משחק עם כמות מצומצמת של מצבים המופיעים בסדר מתחלף באסטרטגיות שונות) מספר זה יכול להיות קטן ממספר האסטרטגיות הטהורות. לשקילות הפורמלית בין אסטרטגיה מעורבת לאסטרטגיית התנהגות קיימת השלכה על תורת ההחלטות: משמעותה היא שבמקרים של משחק עם זיכרון שלם, אין הבדל בין החלטה מראש על אסטרטגיה ובין החלטה ברגע ששחקן נקרא לשחק - בשני המקרים התוצאות יהיו זהות, ומכאן שאין טעם לדחות החלטות. שמואל זמיר, מיכאל משלר, אילון סולן, תורת המשחקים, ירושלים: מאגנס, 2008, מסת"ב 9654932946 ישראל אומן, שמואל זמיר ויאיר טאומן, תורת המשחקים, תל אביב: האוניברסיטה הפתוחה, 1981 1997, אריאל רובינשטיין ומישל פיצ'ון, [1]