משחק אינסופי

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

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

==היסטוריות==
מכיוון שבמשחק חוזר השחקנים נפגשים פעם אחר פעם, הם צוברים אינפורמציה אחד על השני ככל שהמשחק מתקדם. המידע העומד לרשותו של כל שחקן בשלב
<math> t+1 </math>
הוא הפעולות ששיחקו כל השחקנים ב-
<math> t </math>
השלבים הראשונים של המשחק. לכן נגדיר לכל
<math> t\ge0 </math>
את אוסף ההיסטוריות ה-
<math> t </math>
שלביות כ:
<math> H(t) = S^t = S \times S \times ... \times S </math>.

עבור
<math> t=0 </math>
אנו מזהים
<math> H(0)=\{\empty\} </math>
, כאשר
<math> \empty\ </math>
היא ההיסטוריה בתחילת המשחק, שאינה מכילה אף פעולה. היסטוריה ב-
<math> H(t) </math>
תסומן לעיתים ב-
<math> h </math>
ולעיתים ב- 
<math> (s^1,s^2,...,s^t) </math>
, כאשר
<math> s^j=(s_i^j)_{i\in N} </math>
הוא וקטור הפעולות ששוחק בשלב
<math> i </math>
.

==אסטרטגיות במשחק אינסופי==
אסטרטגיית התנהגות במשחק חוזר אינסופי עבור שחקן
<math> i </math>
היא פונקציה המתאימה פעולה מעורבת לכל היסטוריה סופית:
<math> \tau_i : \bigcup_{t=1}^\infty H(t)\rightarrow\Sigma_i </math>

אסטרטגיה טהורה מתאימה לכל היסטוריה פעולה של שחקן <math> i </math>.
אוסף כל האסטרטגיות של שחקן i במשחק אינסופי יסומן ב-
<math> \Sigma_i^\infty </math>.

==המודל==
משחק חוזר מבוסס על משחק חד שלבי שאותו השחקנים משחקים שוב ושוב. נניח שמשחק זה נתון בצורה אסטרטגית על די
<math> \Gamma = (N, (S_i)_{i\in N}, (u_i)_{i\in N}) </math>
כאשר
<math> N={1,2,...n} </math>
היא קבוצת השחקנים,
<math> S_i </math>
היא קבוצת הפעולות של שחקן
<math> i</math>
, ו-
<math> R \rightarrow u_i:S </math>
היא פונקציית התשלומים החד-שלבית של שחקן
<math> i</math>
, כאשר
<math> S = s_1 \times s_2 \times ... \times s_n </math>
היא קבוצת וקטורי הפעולות, אזי המשחק החוזר האינסופי
<math> \Gamma_\infty </math>
המתאים ל
<math> \Gamma </math>
הוא משחק מעל קבוצת השחקנים
<math> N </math>
, שבו קבוצת האסט' לשחקן 
<math> i </math>
היא
<math> \Sigma_i^\infty </math>
.
נסמן ב
<math> H(\infty) </math>
את אוסף כל מהלכי המשחק האפשריים במשחק האינסופי:
<math> H(\infty)= S^N </math>

איבר כללי בקבוצה זו הוא סדרה אינסופית
<math> (s^1,s^2,...) </math>
של וקטורי פעולות, כאשר
<math> s^t </math>
הוא וקטור הפעולות של השחקנים בשלב
<math> t</math>
. וקטור האסטרטגיות
<math> \tau </math>
של השחקנים משרה התפלגות
<math> P_\tau </math>
על אוסף מהלכי המשחק האפשריים.
ה-
<math>\sigma</math>
-אלגברה על המרחב
<math> H(\infty) </math>
היא ה-
<math>\sigma</math>
-אלגברה הנפרשת על ידי הקבוצות הגליליות, שהן הקבוצות מהצורה הבאה:
<math> C(s^1,s^2,...,s^t ):={(s^1,s^2,...): s^1=s^1,s^2=s^2,...,s^t=s^t}</math>
 
כלומר, קבוצת כל הסדרות האינסופיות בעלות אותן
<math> t </math>
קואורדינטות ראשונות.
נסמן ב
<math> E_{\tau} </math>
את אופרטור התוחלת המתאים להסתברות
<math> P_\tau </math>
.
לכל שלב
<math> t\in N </math> 
ולכל שחקן
<math> i\in N </math>
נסמן ב
<math> u_i^t </math> 
את התשלום של שחקן
<math> i </math>
בשלב 
<math>t </math>
.

==שיווי משקל==
וקטור אסטרטגיות
<math> \tau^* </math>
נקרא שיווי משקל (במשחק האינסופי
<math> \Gamma_\infty </math>
) והווקטור
<math> x\in R^N </math>
נקרא תשלום שיווי משקל אם בהסתברות 1 לפי 
<math> P_{\tau^* } </math>
לכל שחקן
<math> i </math>
הגבול:
<math> \lim_{T\rightarrow\infty} \frac 1T \sum_{t=1}^{T} u_i^t </math>

קיים ושווה ל
<math>x_i </math>
, ולכל אסטרטגיה של שחקן
<math> i </math>
מתקיים
<math> E_{\tau^*} (\lim_{T\rightarrow\infty} {\frac 1T} \sum_{t=1}^T u_i^t) = x_i \ge E_{\tau^*,\tau_{-i}^* } (\limsup_{T\rightarrow\infty} {\frac 1T} \sum_{t=1}^T u_i^t) </math>

במילים, וקטור אסטרטגיות
<math> \tau^* </math>
הוא שיווי משקל עם תשלום
<math> x </math>
אם ממוצע התשלומים תחת
<math> \tau^* </math>
שואף ל-
<math> x </math>
בהסתברות 1, ואף שחקן אינו יכול להרוויח על ידי סטייה.

==המשפט העממי==
המשפט העממי עבור משחק אינסופי
<math> \Gamma_\infty </math>
קובע:
אוסף תשלומי שיווי המשקל ב-
<math>\Gamma_\infty </math>
הוא הקבוצה
<math> F \cap V</math>
, כאשר
<math> F </math>
הוא הקמור של כל התשלומים החד-שלביים האפשריים, ו-
<math>V </math>
קבוצת התשלומים הסבירים פרטית.

== ראו גם ==
* משחק T שלבי
* משחק חוזר
* המשפט העממי

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

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