לדלג לתוכן

קואליציה מכריעה

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

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

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

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

באופן פורמלי

[עריכת קוד מקור | עריכה]

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

לקואליציה מכריעה יש חשיבות רבה בהוכחת משפט ארו (Arrow, 1951).
בעזרת מושג זה מוכיחים מספר משפטי עזר חשובים המהווים בסיס להוכחת המשפט.

לקריאה נוספת

[עריכת קוד מקור | עריכה]