משחק קמור

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

הגדרה פורמלית: 
משחק
<math>\,(N;v)</math> 
נקרא קמור (convex) אם לכל זוג קואליציות 
<math>\,S,\,T</math> 
מתקיים: 
<math>v(S)+v(T)\le v(S\cup T)+v(S\cap T)</math>.

כל משחק קמור הוא משחק סופר אדיטיבי, כיוון שאם 
<math>\,S,\,T</math> 
זרות, חיתוכן ריק ו <math>v(\emptyset)=0</math> במשחק קואליציוני. 

ההגדרה המתאימה עבור משחקי הוצאות היא: משחק 
<math>\,(N;c)</math> 
נקרא קמור אם לכל זוג קואליציות 
<math>\,S,\,T</math> 
מתקיים:
<math>c(S)+c(T)\ge c(S\cup T)+c(S\cap T)</math>.

==שקילות משחק קמור==
משפט: הטענות הבאות שקולות:

1. המשחק <math>\,(N;v)</math> קמור.

2. לכל 
<math>S\subseteq T\subseteq N</math> 
ולכל 
<math>R\subseteq N \setminus T</math> 
מתקיים: 
<math>v(S\cup R)-v(S)\le v(T\cup R)-v(T)</math>.

3. לכל 
<math>S\subseteq T\subseteq N</math> 
ולכל
<math>i\in N \setminus T</math> 
מתקיים: 
<math>v(S\cup \{i\})-v(S)\le v(T\cup \{i\})-v(T)</math>. 

כלומר, משחק 
<math>\,(N;v)</math> 
הוא קמור אם ורק אם התרומה השולית של שחקן
<math>\,i</math> 
(<math>v(S\cup \{i\})-v(S)</math>) 
או של קבוצת שחקנים 
<math>\,R</math> 
(<math>v(S\cup R)-v(S)</math>) 
לקואליציה 
<math>\,S</math> 
גדולה יותר ככל שהקואליציה 
<math>\,S</math> 
גדולה יותר.

====הוכחת המשפט====
<math>.2 \Leftarrow .1</math>

נציב ב- 
<math>v(S)+v(T)\le v(S\cup T)+v(S\cap T)</math> 
את 
<math>R \cup S</math> 
במקום 
<math>\,S</math> 
ונקבל:

<math> \Leftarrow v(R \cup S)+v(T)\le v(\{R \cup S\}\cup T)+v(\{R \cup S\}\cap T)</math>
<math>v(R \cup S)+v(T)\le v(R \cup T)+v(S \cap T)</math> 
(לפי- 
<math>S\subseteq T</math> 
ו- 
<math>R \cap T = \emptyset</math> ). 

ולכן נובעת הטענה 
<math>v(S \cup R)+v(T)\le v(R \cup T)+v(S)</math>.

<math>.3 \Leftarrow .2</math>

נציב ב-2. את 
<math>\{i\} \subseteq N \setminus T</math> 
במקום 
<math>\,R</math> 
ונקבל: 
<math>v(S \cup \{i\})-v(S)\le v(T \cup \{i\})-v(T)</math> 
כנדרש.

<math>.1 \Leftarrow .3</math>

תהיינה זוג קואליציות 
<math>\,S,\,T</math>. 
אם 
<math>S\subseteq T</math> 
או 
<math>T\subseteq S</math> 
אזי התנאי למשחק קמור 
<math>v(S)+v(T)\le v(S\cup T)+v(S\cap T)</math> 
מתקיים עם שוויון, ולכן נניח כי לא קיים יחס הכלה בין הקבוצות.

נסמן - 
<math>B= S\setminus T = \{i_1,\ldots,i_r\} , A= S \cap T</math>. 

כעת נשים לב ש- 
<math>A \subseteq T</math> 
וגם <math>i_1 \notin T</math> 
ולכן בהינתן קיום של תנאי 3 נקבל: 
<math>v(A\cup \{i_1\})-v(A)\le v(T\cup \{i_1\})-v(T)</math> 
נסמן אי שוויון זה ב- 
<math> [1] </math>. 

נסתכל כעת על הקבוצות - 
<math>A \cup \{i_1\} \subseteq T \cup \{i_1\}</math> 
וגם <math>i_2 \notin T \cup \{i_1\}</math> 
וגם לגביהן נוכל להשתמש ב-3 ולקבל: 
<math>v(A\cup \{i_1,i_2\})-v(A \cup \{i_1\})\le v(T\cup \{i_1,i_2\})-v(T \cup \{i_1\})</math> 
נסמן זאת ב- 
<math> [2] </math>.

נמשיך בתהליך זה 
<math>\,r-1</math> 
פעמים עבור איברי הקבוצה 
<math>B \setminus \{i_r\} = \{i_1,\ldots,i_{r-1} \} </math> 
ונשאר עם 
<math> A \cup B \setminus \{i_r\} \subseteq T \cup B \setminus \{i_r\} </math>. 
נשתמש שוב בטענה 3 כדי לקבל את אי השוויון הבא:
<math>v(A \cup B)-v(A \cup B \setminus \{i_r\}) \le v(T \cup B)-v(T \cup B \setminus \{i_r\})</math> 
יסומן ב-
<math> [\,r] </math> .

קיבלנו 
<math> \,r </math> 
אי שוויונים חלשים שנוכל לסכום יחדיו (כל אגפי ימין וכל אגפי שמאל בנפרד):

<math> \begin{array}{cl}
+ \underline{ \left\{ \begin{array}{cl} 
v(A\cup \{i_1\})-v(A)\le v(T\cup \{i_1\})-v(T) \\ 
v(A\cup \{i_1,i_2\})-v(A \cup \{i_1\})\le v(T\cup \{i_1,i_2\})-v(T \cup \{i_1\}) \\
\vdots \\
v(A \cup B)-v(A \cup B \setminus \{i_r\}) \le v(T \cup B)-v(T \cup B \setminus \{i_r\}) \end{array} \right.} \\
v(A \cup B)-v(A \cup B \setminus \{i_r\})+\dots+v(A\cup \{i_1\})-v(A)) \le v(T \cup B)-v(T \cup B \setminus \{i_r\})+\dots+v(T\cup \{i_1\})-v(T) 
\end{array}
</math>

בכל אחד מהאגפים קיבלנו טור טלסקופי ולכן לאחר צמצום האיברים המתאימים: <math>v(A \cup B)-v(A) \le v(T \cup B)-v(T) </math>

משום ש-<math> T \cup B = S \cup T , A \cup B = S \Leftarrow A= S \cap T , B= S\setminus T </math> 

נציב זאת באי השוויון האחרון: <math>v(S)-v(S \cap T) \le v(S \cup T)-v(T) </math> כנדרש.
 
==הליבה של משחק קמור==
משפט: הליבה של משחק קמור אינה ריקה.

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

הנקודה החשובה היא לכל סידור של השחקנים יהיה קיים וקטור כזה בליבה.

====הוכחת המשפט====
הערה: לאורך כל ההוכחה נשתמש בסימון המקובל הבא:
<math>X(S):=\sum_{i\isin S} X_i</math> 

יהי 
<math>\,(N,v)</math> 
משחק קמור. ויהי וקטור
<math>\,x</math> 
וקטור התשלומים הבא:
<div style="text-align: center;">

<math> x =
\begin{pmatrix}
 x_1 \\
 x_2 \\
 \vdots \\
 x_n \\
\end{pmatrix}
=
\begin{pmatrix}
 v(\{1\}) \\
 v(\left\{1,2\right\})-v(\{1\}) \\
 \vdots \\
 v(N)-v(\left\{1,2,\dots,n-1\right\}) \\
\end{pmatrix}
</math>
</div>

את ההוכחה נבצע באינדוקציה על מספר השחקנים ב- 
<math> (\left| N \right| = n ) N </math>.

עבור 
<math> \left| N \right| = 1 </math>:

<math> x =
\begin{pmatrix}
 x_1 \\
\end{pmatrix}
=
\begin{pmatrix}
 v(\{1\}) \\
\end{pmatrix}
</math>
, נבדוק כי וקטור זה אכן שייך לליבה:

1. <math>\sum_{i=1}^{n=1} X_i=x_1=v(\{1\})=v(N)</math> 
(תנאי היעילות מתקיים).

2. <math>\,X(S)=x_1=v(\{1\})= v(S) </math> 
(תנאי הסבירות מתקיים לכל קואליציה משום שקיימת רק קואליציה אחת לא ריקה והיא השחקן <math>\,x_1</math> 
עצמו).

לכן 
<math>\,x</math> 
נמצא בליבה.

נניח כי המשפט מתקיים עבור 
<math> \left| N \right| = n-1 </math>
ונוכיח אותו עבור 
<math> \left| N \right| = n </math> :

1. <math>\sum_{i=1}^n X_i= \sum_{i=1}^{n-1} X_i + x_n= x(N \setminus \{n\})+ x_n= v(\left\{1,2,\dots,n-1\right\})+ v(N)-v(\left\{1,2,\dots,n-1\right\}) =v(N)</math> 
(תנאי היעילות מתקיים, כאשר בוצע שימוש ביעילות הווקטור באורך 
<math>\,n-1 </math>
מהנחת האינדוקציה).

2. תהי קואליציה כלשהי 
<math>\,S \subseteq N </math>
, נבדיל בין שני מצבים אפשריים:
<math>\,n \in S </math> ו- <math>\,n \notin S </math> . 

<math>S \subseteq N \setminus \{n\} \Leftarrow \,n \notin S </math>
ולכן נקבל:
<math>\,X(S) \ge v(S)</math>
ישירות מהנחת האינדוקציה עבור כל קואליציה, בשל קיום תנאי הסבירות במשחק בגודל
<math> \left| N \right| = n-1 </math> 
. 
<math>S \setminus \{n\} \subseteq N \setminus \{n\} \Leftarrow S \subseteq N , n \in S </math>
כעת נוכל להשתמש בשקילות של משחק קמור לפי הטענה שהוכחה לעיל (תנאי 3) עבור השחקן ה-
<math>\,n </math>
ולקבל:
<math>v(S)-v(S\setminus\{n\})\le v(N)-v(N \setminus \{n\}) \Leftarrow v(S \setminus \{n\}\cup \{n\})-v(S \setminus \{n\})\le v(N \setminus \{n\}\cup \{n\})-v(N \setminus \{n\})</math> .

מכאן נובע ש-
<math>v(S)-v(S\setminus\{n\})\le x_n </math>

מהנחת האינדוקציה ידוע שתנאי הסבירות מתקיים עבור המשחק עם 
<math>\,n-1 </math> 
שחקנים, ולכן
<math> -x(S \setminus \{n\})\le -v(S\setminus\{n\}) \Leftarrow v(S\setminus\{n\})\le x(S \setminus \{n\}) </math> .

נציב זאת באי השיווין שהתקבל קודם לכן
<math> v(S) \le x_n+x(S \setminus \{n\}) \Leftarrow v(S)-x(S \setminus \{n\}) \le v(S)-v(S\setminus\{n\}) \le x_n </math>.

<math> v(S) \le x(S) \Leftarrow </math>
ולכן גם תנאי הסבירות מתקיים.
אז 
<math>\,x</math> 
נמצא בליבה והמשפט מוכח לכל <math>\,n </math> טבעי.

==ערך שפלי של משחק קמור==
ערך שפלי של משחק קמור אף הוא נמצא בליבה.

בהוכחה שהליבה של משחק קמור אינה ריקה, הגדרנו את וקטור התשלומים <math>\ x</math> לפי סדר שרירותי של השחקנים במשחק. למעשה, לכל תמורה על אוסף השחקנים <math>\pi: N \to N</math> ניתן להגדיר באופן דומה וקטור תשלומים <math>\ x_\pi</math>:
<div style="text-align: center;">

<math> x_\pi =
\begin{pmatrix}
 v(\{\pi(i)\}) \\
 v(\left\{\pi(1),\pi(2)\right\})-v(\{\pi(1)\}) \\
 \vdots \\
 v(N)-v(\left\{\pi(1),\pi(2),\dots,\pi(n-1)\right\}) \\
\end{pmatrix}
</math>
</div>

משום שבהוכחה על הליבה של משחק קמור סידרנו את השחקנים באופן שרירותי, ההוכחה תקפה לכל וקטור תשלומים <math>\ x_\pi</math> כזה, ולכן גם הוא בליבה.

הנוסחה לחישוב ערך שפלי היא הממוצע המשוקלל של הווקטורים הללו: <math>\ Sh(N,v)=\frac{1}{|N|!}\sum_\pi x_\pi</math>. הליבה היא קבוצה קמורה, ומזה נובע שגם ערך שפלי נמצא בה.

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

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

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

en:Cooperative_game#Convex_cooperative_games