הצגת המקור של הדף "קדם גרעינון"

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

== סימונים ==

יהי <math>(N;v)</math> משחק בצורה קואליציונית כאשר <math>N=\{1,\ldots,n\}</math> קבוצת השחקנים.

מבנה קואליציוני הוא [[חלוקה (תורת הקבוצות)|חלוקה]] <math>\mathcal{B}</math> של קבוצת השחקנים <math>N</math>.

וקטור <math>x \in \mathbb{R}^n</math> נקרא יעיל עבור המבנה הקואליציוני <math>\mathcal{B}</math>, אם לכל <math>S \in \mathcal{B}</math> מתקיים <math>x(S) = v(S)</math> כאשר <math>x(S) = \sum\nolimits_{i \in S}{x_i}</math>. וקטור יעיל נקרא גם וקטור קדם תשלומים, וקבוצת וקטורי הקדם תשלומים ביחס למבנה הקואליציוני <math>\mathcal{B}</math> תסומן על ידי <math>X^0(\mathcal{B};v)</math>. עבור המבנה הקואליציוני <math>\{N\}</math>, שבעיקר איתו נתעסק, נסמן בקיצור <math>X^0(N;v)</math>.

== הסדר האלפביתי ==
{{הפניה לערך מורחב|סדר אלפביתי}}

יהיו <math>a,b \in \mathbb{R}^d</math>. נאמר כי <math>a</math> גדול מ-<math>b</math> בסדר האלפביתי (או לקסיקוגרפי), ונסמן <math>a \succ_L b</math>, אם קיים מספר שלם <math>k</math> כך שמתקיים <math>a_k > b_k</math> ו-<math>a_i = b_i</math> לכל <math>i < k</math>. אחרת <math>a</math> ו-<math>b</math> שקולים ביחס הלקסיקוגרפי, בפרט <math>a = b</math>, ונסמן <math>a \approx_L b</math>.

== הגרעינון ==
{{הפניה לערך מורחב|גרעינון (משחק שיתופי)}}

לכל וקטור <math>x \in \mathbb{R}^n</math>, <math>e_v(S,x) = v(S) - x(S)</math> נקרא '''העודף''' (excess) של הקואליציה <math>S</math> ב-<math>x</math> (ביחס לפונקציה הקואליציונית <math>v</math>). העודף <math>e(S,x)</math> (נשמיט את <math>v</math> כאשר ברור על איזו פונקציה קואליציונית מדובר) מהווה מדד לחוסר שביעות הרצון של חברי הקואליציה <math>S</math> מוקטור התשלומים <math>x</math>. ככל שהעודף גדול יותר כך גדלה מידת חוסר שביעות הרצון.

לכל וקטור <math>x \in \mathbb{R}^n</math>, נחשב את העודפים של כל הקואליציות, ונסדר אותם כווקטור בסדר יורד:

<math display="block">\theta(x) = ( e(S_1,x), e(S_2,x), \ldots, e(S_{2^n},x) ) \quad : \quad e(S_i,x) \ge e(S_{i+1},x) \ \forall i</math>

כאשר <math>S_1,S_2,\ldots,S_{2^n}</math> הן כל הקואליציות ב-<math>N</math>, ויש לשים לב שהסדר שלהן נקבע רק עדי כדי שוויון בין העודפים.

הגרעינון של המשחק <math>(N;v)</math> ביחס לקבוצה <math>K</math> הוא אוסף הווקטורים <math>x \in K</math> הממזערים את העודפים ביחס הלקסיקוגרפי:

<math display="block">\mathcal{N}(N;v;K) = \{ x \in K : \theta(x) \precsim_L \theta(y) \ \forall y \in K \} </math>

'''הגרעינון''' <math>\mathcal{N}(N;v)</math> הוא הגרעינון ביחס לקבוצת וקטורי התשלומים, וה'''קדם גרעינון''' <math>\mathcal{PN}(N;v)</math> הוא הגרעינון ביחס לקבוצת וקטורי הקדם תשלומים.

== תכונות ==

נפרט מספר תכונות שמקיים הקדם גרעינון (כולן נכונות גם עבור הגרעינון, מלבד הקיום).

===[[קיום ויחידות]] ===

'''משפט:''' תהי <math>K \in \mathbb{R}^N</math> [[קבוצה סגורה]] (ולא ריקה). אם קיים מספר ממשי <math>c</math> כך ש-<math>x(N) = c</math> לכל <math>x \in K</math> אזי הגרעינון ביחס ל-<math>K</math> אינו ריק.

קל לראות שקבוצת וקטורי הקדם תשלומים <math>X^0(N;v)</math> מקיימת את התנאי לעיל, ולכן נסיק מיד כי הקדם גרעינון <math>\mathcal{PN}(N;v)</math> אינו ריק (קיום).

'''משפט:''' אם <math>K \in \mathbb{R}^N</math> [[קבוצה קמורה]] (ולא ריקה), אזי הגרעינון ביחס ל-<math>K</math> מכיל לכל היותר נקודה אחת.

ברור שקבוצת וקטורי הקדם תשלומים <math>X^0(N;v)</math> היא קמורה, ולכן הקדם גרעינון <math>\mathcal{PN}(N;v)</math> מכיל לכל היותר נקודה אחת (יחידות).

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

(תכונת הקיום אינה נכונה עבור מושג הגרעינון, שכן קבוצת וקטורי התשלומים עלולה להיות ריקה)

=== סימטריה ===

'''משפט:''' הקדם גרעינון מקיים את [[עקרון הסימטריה]]. כלומר אם <math>i,j \in N</math> [[שחקנים סימטריים]], אזי <math>\mathcal{PN}_i(N;v) = \mathcal{PN}_j(N;v)</math>.

ובאופן יותר כללי -

'''משפט:''' הקדם גרעינון מקיים את [[עקרון האנונימיות]].

=== שחקן האפס ===

'''משפט''': הקדם גרעינון מקיים את עקרון שחקן האפס. כלומר אם <math>i \in N</math> [[שחקן אפס]], אזי <math>\mathcal{PN}_i(N;v) = 0</math>.

ובאופן יותר כללי -

'''משפט:''' אם <math>i \in N</math> [[שחקן גולם]], אזי <math>\mathcal{PN}_i(N;v) = v(\{i\})</math>.

=== קווריאנטיות תחת שקילות אסטרטגית ===

'''משפט:''' הקדם גרעינון מקיים את עקרון ה[[קווריאנטיות תחת שקילות אסטרטגית]]. כלומר לכל <math>a > 0</math> ולכל <math>b \in \mathbb{R}^n</math> מתקיים <math>\mathcal{PN}(N;av+b)=a\mathcal{PN}(N;v)+b</math>.

ניתן להראות (על ידי דוגמה, למשל "[[משחק הכפפות]]") שמושג הפתרון של הקדם גרעינון שונה מ[[ערך שפלי]]. לפי משפטי האפיון של ערך שפלי אנו יכולים להסיק שהקדם גרעינון לא מקיים את [[עקרון החיבוריות]] או את [[עקרון השוליות]].

== הגרעינון לעומת הקדם גרעינון ==

הקדם גרעינון "מחפש" את וקטורי התשלום שממזער את התלונות בתוך מאגר כל וקטורי התשלום היעילים. הגרעינון של המשחק, עושה זאת במאגר כל וקטורי התשלום היעילים והסבירים פרטית. לפיכך, מבחינה לקסיקורפית, הקדם גרעינון ממזער יותר את התלונות. כלומר: <math>\theta(\mathcal{PN}) \precsim_L \theta(\mathcal{N})</math>.

=== תנאים מספיקים לשוויון ===

אם וקטור הקדם גרעינון סביר פרטית, אז הוא מוכל בקבוצת וקטורי התשלומים <math>X(N;v)</math>, ולכן בגרעינון.

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

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

ניתן להראות שגם ב[[משחק אפס-מונוטוני]] הגרעינון והקדם גרעינון מתלכדים.

=== דוגמה להבדל ===

נתבונן במשחק המוגדר בטבלה. מאחר שיש וקטור יחיד שהוא גם יעיל וגם סביר פרטית, הוא הגרעינון של המשחק. בעמודה האחרונה רואים דוגמה לוקטור יעיל <math>y</math> שממזער את התלונות יותר מאשר הגרעינון. אך הקדם הגרעינון ממזער את התלונות לפחות כמו <math>y</math>. לכן בסה"כ <math>\theta(\mathcal{PN}) \precsim_L \theta(y) \prec_L \theta(\mathcal{N})</math>. כלומר, בדוגמה זו הגרעינון של המשחק והקדם גרעינון שונים.

<div style="text-align: center;">
{| class="wikitable"
! <math>e \left( S, y=\left( 1,-1,2 \right) \right)</math> !! <math>e \left( S, \mathcal{N}=\left( 2,0,0 \right) \right)</math> !! <math>v \left( S \right)</math> !! <math>S</math>
|-
| 1 || 0 || 2 || <math>\left\{ 1 \right\}</math>
|- style="background-color: #EFEFEF;"
| 1 || 0 || 0 || <math>\left\{ 2 \right\}</math>
|-
| 2-  || 0 || 0 || <math>\left\{ 3 \right\}</math>
|- style="background-color: #EFEFEF;"
| 0 || 2- || 0 || <math>\left\{ 1,2 \right\}</math>
|-
| 1 || 2 || 4 || <math>\left\{ 1,3 \right\}</math>
|- style="background-color: #EFEFEF;"
| 1 || 2 || 2 || <math>\left\{ 2,3 \right\}</math>
|-
| 0 || 0 || 2 || <math>\left\{ 1,2,3 \right\}</math>
|}
</div>

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

== לקריאה נוספת ==
*{{צ-ספר|מחבר=שמואל זמיר, [[מיכאל משלר]], [[אילון סולן]]|שם=תורת המשחקים|מו"ל=[[הוצאת מאגנס|מאגנס]]|שנת הוצאה=2008|מקום הוצאה=ירושלים|ISBN=9654932946}}

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