ליבה מזערית

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

$ϵ$-ליבה

עבור מספר ממשי $ϵ\in ℝ$ ומשחק $(N;\nu )$, ה-$ϵ$-ליבה מוגדרת להיות קבוצת וקטורי התשלומים הבאה: $C_{\epsilon }(N;\nu )=\{x\in {ℝ}^N:\sum _{i\in N}{x}_i=\nu (N);\sum _{i\in S}{x}_i\ge \nu (S)+\epsilon ,\mathrm{\forall }S\subseteq N\}$ תבנית:שבמונחים כלכליים, זוהי קבוצת כל חלוקות הרווח בין השחקנים כך שאף קואליציה לא יכולה לשפר את הרווח שלה על ידי עזיבת הקואליציה של כל השחקנים, אם היא חייבת לשלם קנס של $ϵ$ כאשר היא עוזבת.תבנית:ש תבנית:שהמושג הוצג לראשונה על ידי שפלי ושוביק ב-1966 תבנית:הערה, והוא מאפשר לבנות סוג של ליבה גם למשחקים בהם הליבה ריקה. הקבוצה היא תמיד פאון (פוליטופ) ועבור $ϵ=0$ ה-$ϵ$-ליבה שווה לליבה.

הליבה המזערית

הליבה המזערית, אשר הוצגה לראשונה על ידי משלר, פלג ושפלי ב-1979 תבנית:הערה, מוגדרת להיות $C_{{\epsilon }_0}(N;\nu )$, כאשר ${\epsilon }_0=\sup \{\epsilon \in ℝ:C_{\epsilon }(N;\nu )\ne 0\}$, כלומר ה-$ϵ$ הגדול ביותר כך שה-$ϵ$-ליבה אינה ריקה עבורו. מספר זה מוגדר היטב מכיוון ש-$\nu$ פונקציה חסומה. הגדרה שקולה היא חיתוך כל ה-$ϵ$-ליבות הלא ריקות.

כאשר ה-$ϵ$-ליבה אינה ריקה אז היא מכילה את הגרעינון, ולכן גם הליבה המזערית מכילה את הגרעינון (כחיתוך של $ϵ$-ליבות).

לקריאה נוספת

• תבנית:צ-ספר