גרעינון (משחק שיתופי)

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

מושגי יסוד

על מנת שנוכל להגדיר את הגרעינון ולהבין את משמעותו נגדיר תחילה את מושג העודף של קואליציה.

עודף

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

סדר לקסיקוגרפי

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

הגדרת וקטור עודפים

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

הגדרה פורמלית

תהי  קבוצה סגורה. הגרעינון (nucleolus) ביחס ל- הוא הקבוצה:

אינטואיציה לגרעינון

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

משפט 
  
    
      
        
          
            1
          
        
      
    
    {\displaystyle {\mathit {1}}}

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

מסקנה 
  
    
      
        
          
            1
          
        
      
    
    {\displaystyle {\mathit {1}}}

לכל  הפונקציה  רציפה ב-.
הוכחה:
לכל קואליציה  הפונקציה  היא פונקציה ליניארית ב- ובפרט רציפה. מכיוון שמינימום ומקסימום של מספר סופי של פונקציות רציפות היא פונקציה רציפה, ממשפט  נקבל כי  היא פונקציה רציפה ב-.

משפט 
  
    
      
        
          
            2
          
        
      
    
    {\displaystyle {\mathit {2}}}

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

מסקנה 
  
    
      
        
          
            2
          
        
      
    
    {\displaystyle {\mathit {2}}}

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

משפט 
  
    
      
        
          
            3
          
        
      
    
    {\displaystyle {\mathit {3}}}

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

משפט 
  
    
      
        
          
            4
          
        
      
    
    {\displaystyle {\mathit {4}}}

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

מסקנה: הגרעינון הוא ערך יחיד

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

הגרעינון והליבה

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

הגרעינון במשנה

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

תכונות נוספות

הגרעינון של משחק בצורה קואליציונית מוכל בגרעין של המשחק ובקבוצת המיקוח של המשחק.