קואליציה מכריעה
בתורת המשחקים, פונקציית בחירה חברתית היא פונקציה הבוחרת מועמד המועדף על כלל הבוחרים, בהתאם ליחס ההעדפות של כל בוחר.
קואליציה מכריעה היא קואליציה שהיא לבדה מספיקה כדי לנצח (למשל מספיקה להעביר החלטה). כלומר, הבוחרים בקואליציה זו מכריעים לגבי המועמד המועדף.
אם פונקציית הבחירה אינה מונוטונית, יכולה להיות קואליציה מכריעה שאם נוסיף לה שחקן היא תפסיק להיות מכריעה.
הגדרה
[עריכת קוד מקור | עריכה]אם כל הפרטים בקבוצה מעדיפים את על וכל שאר הפרטים בחברה מעדיפים את על והחברה כולה מעדיפה את על אז הקואליציה של קבוצת הפרטים , נקראת קואליציה מכריעה עבור כנגד .
באופן פורמלי
[עריכת קוד מקור | עריכה]תהי פונקציית רווחה חברתית ותהיינה שתי אפשרויות שונות. הקואליציה נקראת מכריעה עבור כנגד (ביחס ל ) אם לכל
המקיים:
1) לכל .
2) לכל .
מתקיים .
הקואליציה נקראת מכריעה (ביחס ל ) אם קיים זוג אפשרויות שהיא מכריעה עבורו.
חשיבות
[עריכת קוד מקור | עריכה]לקואליציה מכריעה יש חשיבות רבה בהוכחת משפט ארו (Arrow, 1951).
בעזרת מושג זה מוכיחים מספר משפטי עזר חשובים המהווים בסיס להוכחת המשפט.
ראו גם
[עריכת קוד מקור | עריכה]לקריאה נוספת
[עריכת קוד מקור | עריכה]- שמואל זמיר, מיכאל משלר, אילון סולן, תורת המשחקים, ירושלים: מאגנס, 2008, מסת"ב 9654932946