הצגת המקור של הדף "קבוצת המיקוח"

ב[[תורת המשחקים]], '''קבוצת המיקוח''' היא [[פתרון (תורת המשחקים)|פתרון קבוצתי]] בעל דרישות חלשות יותר מאשר [[ליבה של משחק שיתופי|הליבה]], אשר ממליץ על פתרון לכל [[תורת המשחקים - מונחים#מונחים במשחקים שיתופיים|מבנה קואליציוני]].

למושג הפתרון [[ליבה של משחק שיתופי|ליבה]] יש חיסרון. ישנם מקרים שבהם דרישות הליבה חזקות מדי ונוצר מצב שאין וקטור תשלומים המקיים את דרישות הליבה. לכן יש צורך להסתכל במושג פתרון שדרישותיו אמנם חלשות יותר אך הוא מספק פתרון לכל מבנה קואליצוני. מושג פתרון זה נקרא '''קבוצת המיקוח'''.

קבוצת המיקוח מכילה את הליבה אבל היא יכולה להכיל גם וקטורי תשלומים מחוץ לליבה.

== דוגמה ==
קבלן צריך שני עובדים כדי לבנות קיר והוא פונה לאבנר, ברוך וגידי בהצעה ששניים מהם יעבדו עבורו. מכיוון שאבנר יותר מנוסה מאשר ברוך וגידי הוא יסיים את העבודה מהר יותר מהשניים האחרים. לכן הקבלן ישלם <math>\ 500</math> ש"ח לזוג הכולל את אבנר וברוך או גידי ו-<math>\ 250</math> ש"ח לזוג ברוך וגידי.

נניח כי אבנר וברוך מחליטים ליצור קואליציה, לקבל את הצעת העבודה ולא לשתף את גידי ברווח. כיצד הם יחלקו את הרווח?

נניח ואבנר יציע לברוך לחלק את הרווח כך: <math>\ (400,100)</math>, כלומר <math>\ 400</math> ש"ח לאבנר ו-<math>\ 100</math> ש"ח לברוך. ברוך לא יהיה מרוצה כי באפשרותו להציע לגידי ליצור קואליציה ולחלק את הרווח <math>\ (125,125)</math>. גידי לבטח יסכים וברוך ירוויח יותר מאשר בהצעתו של אבנר.
זהו '''ערעור''' של ברוך נגד הצעתו של אבנר.

גם אבנר יכול לערער ולהציע לגידי חלוקה של <math>\ (410,90)</math>, אך ברוך יחסום אותו על ידי אותה הצעה של <math>\ (125,125)</math> לגידי. זהו ערעור '''לא מוצדק''' כי לברוך יש '''ערעור נגדי'''. מצד שני, ערעורו המקורי של ברוך הוא '''מוצדק''', כי אם אבנר יציע לגידי חלוקה בה גידי מקבל לפחות <math>\ 125</math> ש"ח, אבנר כבר יקבל פחות מה-<math>\ 400</math> בהצעתו ואין לאבנר ערעור נגדי.

אם נוצרת קואליציה של אבנר וברוך עם החלוקה <math>\ (375,125)</math>, לאף שחקן אין ערעור מוצדק: אם למשל ברוך יציע לגידי ליצור קואליציה עם החלוקה <math>\ (126,124)</math> אז אבנר יציע לגידי את החלוקה <math>\ (375,125)</math> כערעור נגדי. אם אבנר יערער ויציע לגידי חלוקה של <math>\ (376,124)</math>, ברוך יחסום אותו עם הערעור הנגדי <math>\ (125,125)</math>.

עבור הקואליציה של אבנר וברוך, החלוקה <math>\ (375,125)</math> של הרווח היא החלוקה היחידה בה לאף אחד מהם אין ערעור מוצדק וזהו פתרון '''קבוצת המיקוח''' עבור מבנה קואליציוני זה.

== הגדרה פורמלית ==
יהי <math>\ (N;v)</math> משחק בצורה קואליציונית.
* מבנה קואליציוני <math>\mathcal{B}</math> הוא חלוקה של קבוצת השחקנים לקואליציות זרות שאיחודן <math>\ N</math>.
* <math>X(\mathcal{B};v)</math> היא קבוצת וקטורי התשלומים ביחס ל-<math>\mathcal{B}</math>:
<math>X(\mathcal{B};v) := \Big\{x \in \R^N : \sum_{i \in B} x_i = \sum_{i \in B} v(i) \ \forall B \in \mathcal{B}, x_i \ge v(i) \ \forall i \in N\Big\}</math>
. כלומר, קבוצת כל וקטורי התשלומים שבהם כל שחקן מקבל לפחות את מה שהוא יכול לקבל לבד, וכל קואליציה של <math>\mathcal{B}</math> מחלקת את הערך שלה בין חבריה.
* '''ערעור''' של שחקן <math>\ k</math> נגד שחקן <math>\ l</math> ב-<math>\ x</math>, כאשר <math>k \ne l</math> באותה קואליציה ו-<math>x \in X(\mathcal{B},v)</math> וקטור תשלומים, הוא זוג סדור <math>\ (C,v)</math> שבו:
1. <math>\ C</math> היא קואליציה, <math>k \in C, l \notin C</math>.<br />
2. <math>y \in \R^C</math> הוא וקטור המקיים <math>y_i > x_i \ \forall i \in C</math>, וכן <math>\sum_{i \in C}y_i = v(C)</math>.
* יהי <math>\ (C,y)</math> ערעור של <math>\ k</math> נגד <math>\ l</math> ב<math>\ x</math>. '''ערעור נגדי''' של <math>l</math> נגד <math>k</math> הוא זוג סדור <math>\ (D,z)</math> המקיים:
1. <math>\ D</math> היא קואליציה, <math>l \in D, k \notin D</math>.<br />
2. <math>z \in \R^D</math> הוא וקטור המקיים <math>\sum_{i \in D}z_i = v(D)</math>.
<br />
3.
<math>z_i \ge x_i \ \forall i \in D \backslash C</math>.
<br />
4.
<math>z_i \ge y_i \ \forall i \in D \cap C</math>.
* ערעור <math>\ (C,y)</math> של <math>\ k</math> נגד <math>\ l</math> ייקרא '''ערעור מוצדק''' אם ל-<math>\ k</math> אין ערעור נגדי לו.
* תחת הנחות אלו, קבוצת וקטורי התשלומים <math>\mathcal{M}(N;v;\mathcal{B})</math> ב-<math>x(\mathcal{B},v(</math> בהם אין לאף שחקן ערעור מוצדק נגד שחקן אחר תיקרא '''קבוצת המיקוח''' ביחס למבנה הקואליציוני <math>\mathcal{B}</math>.

== תכונות ==
* קבוצת המיקוח ביחס למבנה קואליציוני תמיד מכילה את הליבה ביחס לאותו מבנה.
* אם <math>X(\mathcal{B};v)</math> לא ריק אז גם קבוצת המיקוח ביחס ל-<math>\mathcal{B}</math> אינה ריקה.
* ה[[גרעינון]] שייך תמיד לקבוצת המיקוח.
* ב[[משחק קמור]], קבוצת המיקוח עבור המבנה הקואליציוני <math>\mathcal{B} = \{N\}</math> שווה לליבה.

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