קואליציה מהותית

קואליציה מהותית (Essential Coalition) הוא מושג בתורת המשחקים בתחום המשחקים השיתופיים המגדיר תכונה של קואליציה במשחק בצורה קואליציונית. חשיבות הקואליציות המהותיות בא לידי ביטוי בחישוב הליבה של המשחק.

סימונים:
*<math>N =\{1,2,\cdots,n\}</math> קבוצה סופית של שחקנים.
*<math>v:2^N \rarr \mathbb{R}</math> היא פונקציה המתאימה לכל תת-קבוצה <math>\! S</math> של שחקנים מספר ממשי <math>\! v(S)</math> ומקיימת <math>v(\emptyset)=0</math>.
*<math>\! v</math> נקראת הפונקציה הקואליציונית.
*נסמן ב- <math>\! G</math> את המשחק: <math> G=\left( N,v \right) </math>.

== הגדרה ==
נתחיל מהגדרת המושג קואליציה לא מהותית.

יהי <math>\! G </math> משחק בצורה קואליציונית. קואליציה <math>\! S</math> נקראת לא מהותית (inessential) במשחק <math>G</math> אם קיימת חלוקה <math>\!S_1,S_2,...,S_r</math> של <math>S</math> שבה <math>r\geq2</math>

כך שמתקיים <math>v(S)\leq \sum_{j=1}^r v(S_j)</math>.

קואליציה מהותית היא קואליציה שאינה לא מהותית.

== תכונות ==
# כל קואליציה הכוללת שחקן בודד היא מהותית, מאחר שכל חלוקה כוללת את הקואליציה עצמה ותו לא. כלומר <math>\! r=1</math>.
# כל קואליציה לא מהותית <math>\! S</math> ניתנת לחלוקה לקואליציות מהותיות <math>\! S_1,S_2,...,S_r</math> כך שמתקיים <math>v(S)\leq \sum_{j=1}^r v(S_j)</math>. אכן, תהי <math>\! S</math> קואליציה שאינה מהותית. נבצע חלוקה כלשהי של <math>\! S</math>, אם קיבלנו בחלוקה קואליציה שאינה מהותית נמשיך ונחלק גם אותה. תהליך זה הוא בהכרח סופי לפי תכונה 1.
# הקואליציה <math>\! N </math> לאו דווקא מהותית. ממשפט שפלי-בונדרבה מסיקים כי כדי שהליבה לא תהיה ריקה, יש לדרוש כי לכל חלוקה של <math>\! N</math> יתקיים <math>v(N)\geq \sum_{j=1}^r v(S_j)</math>.

לכן, במשחקים בהם הליבה איננה ריקה ו-<math>\! N</math> איננה מהותית, בהכרח מתקיים שוויון בנוסחא לעיל לכל חלוקה של <math>\! N</math>.

== חשיבות בחישוב הליבה ==
1. לצורך חישוב הליבה של משחק <math>\! G</math>, יש למצוא את כל וקטורי התשלומים <math>x\in\mathbb{R}^{|N|}</math> כך ש:

<math> x(N)=v\left(N\right) </math> וגם <math>\forall S \subseteq N: x(S)\geq v\left(S\right)</math>. 

מדובר ב- 
<math> 2^{\left|N\right|} </math> 
אי שוויונים ושוויון אחד שיש לפתור כדי למצוא את הליבה. 

ניתן לראות כי אפשר להסתפק אך ורק באי השוויונים עבור הקואליציות המהותיות.
כלומר וקטור <math>\! X</math> נמצא בליבה של <math>\! G</math> אם ורק אם:

<math> x(N)=v\left(N\right) </math> וגם <math> x(S)\geq v\left(S\right)</math> לכל <math>\! S</math> מהותית ב <math>\! N</math>. 

2. יהיו <math> G_1=(N,v) , G_2=\left(N,u\right) </math> שני משחקים בצורה קואליציונית המקיימים
ש <math> v(S)=u\left(S\right) </math> לכל קואליציה מהותית ב-<math>\! G_1</math> או ב- <math>\! G_2</math>.

אז לשני המשחקים יש את אותן קואליציות מהותיות ואת אותה הליבה.

נוכיח זאת במספר שלבים:

א. נראה כי קואליציה <math>\! S</math> היא קואליציה מהותית ב-<math>\! G_1</math> אם ורק אם היא קואליציה מהותית ב-<math>\! G_2</math>. 

נניח שהטענה לא נכונה. תהי <math>\! S</math> קואליציה מינימלית שהיא מהותית באחד המשחקים, <math>\! G_1</math> ולא מהותית בשני <math>\! G_2</math>.

<math> u(S)=v\left(S\right)\ \leq \sum_{j=1}^r v(S_j) =\sum_{j=1}^r u(S_j) </math> 

כאשר המעבר האחרון נובע מההנחה ומכך ש <math>\! S_j</math> מהותית לפי <math>\! v</math> 
(מסעיף א נובע כי ניתן להציג את הסכום כך ש <math>\! S_j</math> מהותיות לפי <math>\! v</math>).

כל הקואליציות <math>\! S_j</math> הן תת-קואליציות ממש של <math>\! S</math>, בסתירה. 

ב. מכאן נסיק שאם <math>u(N)=v\left(N\right)</math> אז הליבה של <math>\! G_1</math> שווה לליבה של <math>\! G_2</math>. 

ג. נראה כי אם הליבות של <math>\! G_1</math> ושל <math>\! G_2</math> אינן ריקות אז <math>u(N)=v\left(N\right)</math>.

יהי <math>\! x</math> בליבה של <math>\! G_1</math>, <math>\! y</math> בליבה של <math>\! G_2</math>. 

- אם <math>\! N</math> מהותית לפי <math>\! u</math> או לפי <math>\! v</math> אז מהתנאי <math>u(N)=v\left(N\right)</math>.

- אם <math>\! N</math> אינה מהותית לפי <math>\! u</math> ולפי <math>\! v</math> אז:

<math>x(N)=v\left(N\right)\leq \sum_{j=1}^r v(S_j)\ = \sum_{j=1}^r u(S_j)\ \leq \sum_{j=1}^r y(S_j)\ = y(N) </math>.

קיבלנו <math> x(N)\leq y(N)</math>. 
באופן סימטרי נקבל <math>y(N)\leq x(N)</math> ולכן בסה"כ 
<math>\! y(N)= x(N)</math>. 

מכך שהווקטורים יעילים נקבל ש <math>\! u(N)= v(N)</math>. 

נשים לב שמטענות ב ו-ג נובע כי אם הליבות של <math>\! G_1</math> ושל <math>\! G_2</math> אינן ריקות אז הן שוות זו לזו. קיבלנו כי לשני המשחקים הנ"ל יש את אותן הקואליציות המהותיות ואת אותה הליבה, כנדרש.

== ראו גם ==
* תורת המשחקים - מונחים
* פתרון (תורת המשחקים)
* ליבה של משחק שיתופי
* קואליציה (תורת המשחקים)

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

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