משחק תומך

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

== סימונים והגדרות בסיסיות במשחקים שיתופיים==
נגדיר:

<big>1.</big> <math>\,N = \{1,2,\dots,n\} </math> - קבוצה לא ריקה וסופית של השחקנים.

<big>2.</big> <math>\,S \subseteq \,N = \{1,2,\dots,n\} </math> - תת-קבוצה של שחקנים תקרא קואליציה. 

<big>3.</big> <math>\,v : 2^N \rightarrow \mathbb {R} </math> - פונקציית תשלום. פונקציה המשייכת לכל קואליציה מספר ממשי כלשהו, כאשר <math>\,v(\emptyset)=0 </math>.

== ייצוג מרחב המשחקים כמרחב ליניארי ==
בהינתן הקבוצה <math>\,N = \{1,2,\dots,n\}</math>, כל משחק <math>\left(N,v\right)</math> נקבע ביחידות על ידי הערכים <math>v\left(S\right)</math> לכל קואליציה <math>\emptyset \neq \,S \subseteq \,N </math>. דהיינו, ניתן להתייחס למשחק כעל וקטור במרחב <math>\mathbb{R}^{2^n -1}</math>.

כעת, ניתן להגדיר "חיבור" בין משחקים (עם אותה קבוצת שחקנים <math>\,N = \{1,2,\dots,n\}</math> ) ו"כפל משחק בסקלר" על ידי חיבור הווקטורים הללו והכפלתם בסקלר כפי שעושים במרחב <math>\mathbb{R}^{2^n -1}</math> ומכאן המסקנה שאפשר להתאים את קבוצת כל המשחקים (עם אותם השחקנים) עם המרחב הליניארי <math>\mathbb{R}^{2^n -1}</math>.

נשאלת השאלה: "מה יכול להיות בסיס לכל אותם משחקים?". 

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

== הגדרה ==
===משחק תומך===
תהי <math> \emptyset \neq T \subseteq N </math> קואליציה. המשחק התומך על <math> \,T</math> הוא המשחק הפשוט והמונוטוני <math> \left(N;u_T\right) </math> כאשר:
<div style="text-align: center;">
<math>u_T(S) = \left\{ \begin{array}{ll}
1 & \ \ \ \ \forall S : T \subseteq S \\
0 & \ \ \ \ else \end{array} \right.
</math>
</div>

יש בסה"כ <math>2^{\left|N \right|} -1</math> משחקים תומכים המהווים בסיס למרחב כל המשחקים.

===משחק <math>\alpha</math> תומך===
תהי <math> \emptyset \neq T \subseteq N </math> קואליציה ו- <math>\alpha \isin \mathbb {R} </math>. משחק יקרא <math>\alpha</math> - תומך ויסומן <math> \left(N;u_{T,\alpha}\right) </math> כאשר:

<div style="text-align: center;">
<math>u_{T,\alpha}(S) = \left\{ \begin{array}{ll}
\alpha & \ \ \ \ \forall S : T \subseteq S \\
0 & \ \ \ \ else \end{array} \right.
</math>
</div>

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

==פריסת מרחב המשחקים בעזרת משחקים תומכים==
משפט: כל משחק בצורה קואליציונית <math>\left(N,v\right)</math> ניתן להביע כצירוף ליניארי של משחקים <math> \left(N;u_T\right) </math> . 
כלומר, לכל משחק <math>\left(N,v\right)</math> קיימים קבועים <math>\left(\alpha_T\right)_{\emptyset \neq T \subseteq N}</math> כך ש-

<math display="block">v(S)= \sum_{ \left\{ \emptyset \neq T \subseteq N \right\} } u_T(S)\alpha_T = \sum_{ \left\{ \emptyset \neq T \subseteq N \right\} } u_{T,\alpha}(S) \ \ \ \ \ \forall S \subseteq N </math>

=====הוכחת המשפט===== 
כאמור ישנן <math>\,2^n -1</math> קואליציות <math>\emptyset \neq T \subseteq N </math> ולכן ישנם <math>\,2^n -1</math> משחקים תומכים <math> \left(N;u_{T}\right) </math> . כאמור כל משחק שכזה מייצג וקטור במרחב <math>\mathbb{R}^{2^n -1}</math> וכל שנותר להראות הוא כי וקטורים אלו הם בלתי תלויים ליניארית (בת"ל).

נניח בשלילה כי וקטורים אלו תלויים ליניארית ולכן קיימים קבועים <math>\left(\alpha_T\right)_{\emptyset \neq T \subseteq N}</math> כך שלא כולם שווים לאפס ו- 
<math> 0 = \sum_{ \left\{ \emptyset \neq T \subseteq N \right\} } u_T(S)\alpha_T \ \ \ \ \forall S \subseteq N </math> (נסמן זאת ב-[1]) ונוכל להסתכל בהתאמה על המשחקים <math> \left(N;u_{T,\alpha}\right) </math>, משמע - <math> 0 = \sum_{ \left\{ \emptyset \neq T \subseteq N \right\} } u_{T,\alpha}(S)\ \ \ \ \forall S \subseteq N </math> .

נסתכל על הקבוצה הבאה <math>\,A=\{\emptyset \neq T \subseteq N : \left(\alpha_T\right) \neq 0 \} </math> ונבחר קואליציה אחת כך ש- 
<math> |T|=min\{|T| : T \isin A\} </math> ונסמנה ב- <math>\, T_* </math>. כעת נוכל להסיק שתי מסקנות:
# <math> \alpha_{T_*} \neq 0 </math> .
# <math>\forall T \subsetneq T_* \ \ \ \ \alpha_T = 0 </math> .

נציב <math>\,S = T_* </math> ב-[1] ונקבל 

<math display="block"> 0 = \sum_{ \left\{ \emptyset \neq T \subseteq N \right\} } u_T(T_*)\alpha_T = \sum_{ \left\{ \emptyset \neq T \subsetneq T_* \right\} } u_T(T_*)\alpha_T + u_{T_*}(T_*)\alpha_{T_*} + \sum_{ \left\{ \emptyset \neq T \nsubseteq T_* \right\} } u_T(T_*)\alpha_T = 0 + u_{T_*}(T_*)\alpha_{T_*} + 0 = \alpha_{T_*} \neq 0</math>

ונשים לב שקיבלנו סתירה.

המעברים האחרונים בוצעו לפי:

1) הסכום הראשון <math> \sum_{ \left\{ \emptyset \neq T \subsetneq T_* \right\} } u_T(T_*)\alpha_T = 0 </math> משום ש- <math>\forall T \subsetneq T_* \ \ \ \ \alpha_T = 0 </math> .

2) האיבר השני <math>u_{T_*}(T_*) = 1</math> לפי הגדרת משחק תומך לעיל.

3) הסכום השלישי <math> \sum_{ \left\{ \emptyset \neq T \nsubseteq T_* \right\} } u_T(T_*)\alpha_T = 0 </math> לפי הגדרת משחק תומך לעיל.

משמע שהווקטורים בלתי תלויים ליניארית ולכן מהווים בסיס למרחב <math>\mathbb{R}^{2^n -1}</math> ולמרחב המשחקים בהתאם.

== אפיון ערך שפלי על ידי משחקים תומכים ==
בהינתן משחק <math>\left(N,v\right)</math>, נרשום אותו כסכום של <math>2^{\left|N \right|} -1</math> משחקים <math>\alpha</math>-תומכים: <math>v(S)= \sum_{ \left\{ \emptyset \neq T \subseteq N \right\} } u_{T,\alpha}(S) \ \ \ \ \ \forall S \subseteq N </math>. אזי ניתן להראות כי:

<div style="text-align: center;">

<math>
Sh_i \left(N,v\right) = \sum_{ \left\{ T \subseteq N: i \in T \right\} } \frac{\alpha_T}{ \left| T \right|}</math>
</div>

=====טענה: שחקנים סימטריים ושחקני אפס במשחק תומך===== 
במשחק <math> \left(N;u_T\right) </math> כל השחקנים ב- <math>\,T</math> הם שחקנים סימטריים וכל השחקנים שאינם ב- <math>\,T</math> הם שחקני אפס.

=====הוכחת הטענה===== 
יהי שחקן <math> \,i \notin T </math> ותהי קואליציה <math> \,S \subseteq N </math>. נחלק זאת לשני מצבים:
# <math> \,T \subseteq S </math> .
# <math> \,T \nsubseteq S </math> .

אם <math> T \subseteq S \cup \{i\} \Leftarrow T \subseteq S </math> אז <math>u_T(S) = \,u_T(S \cup \{i\}) = 1 </math> .

אם <math> T \nsubseteq S \cup \{i\} \Leftarrow T \nsubseteq S </math> כי <math> \,i \notin T </math> ולכן <math>u_T(S) = \,u_T(S \cup \{i\}) = 0 </math> .

קיבלנו כי השחקן <math> \,i \notin T </math> הוא שחקן אפס.

יהיו צמד שחקנים <math> \,i,\,j \in T </math> וקואליציה <math> \,S \subseteq N </math> כך ש- <math> \,i,\,j \notin \,S </math>. נשים לב ש <math> T \nsubseteq S \cup \{i\} </math> כי <math> j \in T, j \notin S \cup\{i\} </math> ובהתאם <math> T \nsubseteq S \cup \{j\} </math> כי <math> i \in T, i \notin S \cup\{j\} </math> ולכן מתקיים:

<math> \forall \,S \subseteq N : \,i,\,j \notin \,S \ \ \ \ v(S \cup \{i\}) = v(S \cup \{j\}) = 0 </math> והשחקנים <math> \,i,\,j \in T </math> סימטריים.

=====טענה: מושג פתרון של משחק תומך===== 
אם <math> \phi </math> מושג פתרון המקיים את תכונות: יעילות, שחקן אפס ו-סימטריה אזי:
<div style="text-align: center;">
<math>\phi_i(N;u_{T,\alpha}) = \left\{ \begin{array}{ll}
\frac{\alpha}{|T|} & \ \ \ \ \forall i \in T \\
0 & \ \ \ \ \forall i \notin T \end{array} \right.
</math>
</div>

=====הוכחת הטענה===== 
לפי הטענה לעיל ידוע כי במשחק <math> \left(N;u_{T,\alpha}\right) </math> כל השחקנים ב- <math>\,T</math> הם שחקנים סימטריים וכל השחקנים שאינם ב- <math>\,T</math> הם שחקני אפס ולכן מקיום תכונת שחקן האפס נובע ש- <math> \phi_i(N;u_{T,\alpha}) = 0 \ \ \forall i \notin T </math> . בנוסף ידוע כי כל השחקנים שכן ב-<math>\,T</math> הם סימטריים ולכן - <math> \phi_i(N;u_{T,\alpha}) = \phi_j(N;u_{T,\alpha}) \ \ \forall i,j \in T </math> ובנוסף מהיעילות נובע ש- 

<div style="text-align: center;">
<math> \alpha = u_{T,\alpha}(N) = \sum_{ \left\{ i \in N \right\} } \phi_i(N;u_{T,\alpha}) = \sum_{ \left\{ i \in T \right\} } \phi_i(N;u_{T,\alpha}) + \sum_{ \left\{ i \notin T \right\} } \phi_i(N;u_{T,\alpha}) = \sum_{ \left\{ i \in T \right\} } \phi_i(N;u_{T,\alpha}) + 0= |T| \times \phi_i(N;u_{T,\alpha}) </math>

<math> \Rightarrow \phi_i(N;u_{T,\alpha}) = \frac{\alpha}{|T|} </math>
</div>

וההוכחה הושלמה.

== ראו גם ==
* תורת המשחקים - מונחים

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

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