משחק מאוזן לחלוטין
במשחקים שיתופיים, משפט שפלי-בונדרבה מגדיר קריטריון הכרחי ומספיק להיות ליבת המשחק קבוצה לא ריקה. לפי המשפט, הליבה של משחק שיתופי אינה ריקה אם ורק אם הוא משחק מאוזן. המושג של משחק מאוזן לחלוטין מרחיב את ההגדרה הזו.
הגדרה פורמלית
עריכהתת משחק
עריכהעבור משחק בצורה קואליציונית ו- קבוצת שחקנים לא ריקה, תת-המשחק הוא משחק בצורה קואלציונית בו:
- T היא קבוצת השחקנים.
- הפונקציה הקואלציונית היא כאשר היא מצומצמת לקואליציות המוכלות ב- .
המשחק נקרא המשחק המצומצם ל- .
משחק מאוזן לחלוטין
עריכהמשחק נקרא משחק מאוזן לחלוטין (totally balanced) אם הליבה של כל תת-משחק שלו אינה ריקה.
- משחק הוא מאוזן לחלוטין אם ורק אם הוא משחק שוק.
- משחק הוא מאוזן לחלוטין אם ורק אם הוא מינימום של מספר סופי של משחקים אדטיביים.
ראו גם
עריכהלקריאה נוספת
עריכה- שמואל זמיר, מיכאל משלר, אילון סולן, תורת המשחקים, ירושלים: מאגנס, 2008, מסת"ב 9654932946