Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
בתורת המשחקים, ערך שֵׁפְּלִי הוא אחד הפתרונות למשחקים בצורת פונקציה קואליציונית. הפתרון פותח על ידי לוֹיְד שֵׁפְּלִי בשנת 1953 ונקרא על שמו.
קבוצת שחקנים (קואליציה), משתפת פעולה ומרויחה סכום מסוים מעצם שיתוף הפעולה. מאחר שחלק מהשחקנים תרמו יותר לקואליציה מאשר שחקנים אחרים או שהיה ברשותם יותר כוח מיקוח נרצה לדעת איזו חלוקה של הרווחים תהיה "הוגנת" במשחק.
ניתן לנסח את הבעיה בצורה מעט שונה, כמה כל שחקן חשוב לקואליציה ומה התגמול שהוא אמור לצפות לקבל. כמובן שהחלוקה צריכה להתחשב בגודל התרומה של כל שחקן לשווי הקואליציה.
ערך שפלי עוסק בבעיית חלוקת התשלום ומספק אפשרות אחת לפתרון בעיה זו. מטרתו של ערך שפלי היא לאמוד את ערכו של כל שחקן במשחק כדי שחלוקת התשלום לשחקן תתבצע בצורה "הוגנת" בהתאם לערכו. אם לבעיה קיים פתרון "הוגן", כלומר פתרון מוסכם לחלוקת הסכום בין השחקנים, נחסך הצורך במיקוח בין השחקנים.
ערך שפלי של שחקן מסוים הוא ממוצע התרומות שלו לשווי הקואליציה על פני כל הסדרים האפשריים. לכל משחק שיתופי ערך שפלי מציע חלוקת תשלום אחת בלבד לשחקנים בקואליציות.
כמו בכל השאלות מסוג זה, התשובה תלויה בהגדרה ל'הגינות'. שפלי הציע ארבעה קריטריונים:
משפט שפלי מוכיח שמערכת הקריטריונים תמיד ניתנת לסיפוק ומכתיבה אפשרות אחת ויחידה לחלק את התשלומים בין השחקנים.
משחק שיתופי מוגדר על ידי זוג סדור (N,v), כאשר N היא קבוצת השחקנים ו- היא פונקציה קואליציונית - פונקציה חיובית , המתאימה לכל קואליציה את התועלת הקבוצתית, ועונה על שתי הדרישות הבאות:
נסמן ב- את קבוצת פונקציות התועלת על קבוצת השחקנים N.
שני שחקנים יקראו חילופיים ב- אם לכל מתקיים .
שחקן יקרא שחקן אפס ב- אם לכל מתקיים .
פתרון הוא פונקציה המתאימה לכל משחק בצורה קואליציונית וקטור ב- . הגודל נקרא הערך של שחקן במשחק לפי הפתרון . את שלוש הדרישות הראשונות להוגנות שהזכרנו בפתיח לערך אפשר לנסח באופן הבא:
בנוסף לדרישות אלה, ההעתקה המתאימה לכל פונקציית תועלת את פונקציית החלוקה , צריכה להיות אדיטיבית, כלומר: לכל שתי פונקציות רווח מתקיים . מדרישה זו נובע שההעתקה היא ליניארית ממרחב פונקציות התועלת (שממדו ) למרחב וקטורי התשלומים (שממדו n).
כאמור, משפט שפלי מוכיח כי תחת הקריטריונים של הוגנות שהוגדרו קיימת חלוקה הוגנת יחידה. אם נתון סדר מלא של השחקנים (ראשון, שני וכו'), התועלת שמביא השחקן ה-i היא ההפרש . ערך שפלי, שהוא החלוקה ההוגנת היחידה, מקצה לשחקן i את התועלת הממוצעת שהוא מביא. כלומר,
כאשר R הוא תמורה של השחקנים, הסכום רץ על כל התמורות האפשריות (קיימות !n כאלה) ו- היא קבוצת כל השחקנים שמקדימים את i ביחס הסדר R.
לדוגמה, נניח שמפלגות בגדלים שונים צריכות להרכיב קואליציה שיש בה רוב בכנסת בגודל נתון. ערך הקואליציה הוא 1 אם יש בה רוב, ו-0 אחרת. במקרה כזה, ערך שפלי של מפלגה x שווה לסיכוי שכאשר מסדרים את המפלגות באקראי ומצרפים אותן בזו אחר זו לפי הסדר שהתקבל, המפלגה x תהיה זו שבזכותה התקבל רוב.
עבור כל יחס סדר כזה R, אנו למעשה מתייחסים רק לקואליציה , ולא ליחס הסדר בין האיברים שבה. לכן, לכל קואליציה , ניתן לאגד את אוסף כל יחסי הסדר R עבורם יחדיו. מספר יחסי הסדר עבורם הוא , ולכן ערך שפלי מתקבל על ידי הנוסחה השקולה:
במקרים רבים, נוסחה זו קלה יותר לחישוב מהנוסחה הראשונה.
האפיון של ערך שפלי משתמש בעיקרון האדיטיביות. לא תמיד המוטיבציה של עיקרון זה משכנעת ולכן הוצע אפיון נוסף, המבוסס על עקרון השוליות, לערך שפלי שאינו משתמש בעיקרון זה.
נאמר כי מושג פתרון מקיים את עקרון השוליות אם לכל שני משחקים ו- עם אותה קבוצת שחקנים ולכל שחקן i מתקיים התנאי הבא:
אם לכל קואליציה של , אז הקואורדינטה ה-i של הפתרון עבור המשחק שווה לקואורדינטה ה-i של הפתרון עבור המשחק .
עיקרון זה גורס כי הערך של השחקן תלוי אך ורק בתרומתו השולית לכל קואליציה שאליה הוא מצטרף, ואינו תלוי בתרומת שאר השחקנים לקואליציות השונות.
משפט יאנג קובע כי ערך שפלי הוא מושג הפתרון הנקודתי היחיד המקיים את עקרונות היעילות, הסימטריה והשוליות.
ראו גם עקרון ההערכה של דוביי.
עבור הליבה הוגדר מושג המשחק המצומצם לפי דייוויס ומשלר, וידוע כי הליבה מקיימת את תכונת העקביות: אם היא נקודה בליבה של משחק אז לכל משחק מצומצם הווקטורהוא נקודה בליבה של המשחק . תכונה דומה מתקיימת גם עבור הערך של שפלי, אלא שהגדרת המשחק המצומצם שונה, והיא ניתנה על ידי סרג'יו הרט ואנדרו מס-כולל[1] . יתר על כן, תכונת המשחק המצומצם יכולה לשמש לאפיון אקסיומטי לערך שפלי, בדיוק כשם שהיא משמשת לאפיון אקסיומטי של הגרעינון. לשני מושגי הפתרון הנקודתיים ישנה אותה מערכת אקסיומות מאפיינת, ורק הגדרת המשחק המצומצם שונה. לכן, כשבאים לבחור באחד ממושגי הפתרון, כדאי לבדוק איזה משחק מצומצם מתאים יותר בסיטואציה הנידונה.
משחק הכפפה הוא משחק שיתופי שבו לשחקנים יש כפפה ימנית או שמאלית והמטרה של השחקנים היא לסדר זוג כפפות עם השחקנים האחרים. בדוגמה שלנו:
כאשר לשחקנים 1 ו-2 יש כפפה ימנית ולשחקן 3 יש כפפה שמאלית. פונקציית התועלת למשחק זה היא:
נחשב את ערך שפלי לשחקן 1. נרשום בטבלה את ערך הביטוי לכל יחס סדר R:
משיקולי סימטריה נקבל כי גם :, ומכך שערך שפלי מקיים יעילות נקבל כי:
ובכך חישבנו את ערך שפלי של משחק הכפפה.
במדינה מסוימת יש בפרלמנט 27 חברים. 11 מפלגות התמודדו בבחירות. נסמן את קבוצת המפלגות ב. לאחר הבחירות התקבלה חלוקת המנדטים הבאה בפרלמנט:
כדי להעביר הצעת חוק צריך רוב (לפחות 14 חברים בפרלמנט). נניח כי כל החברים באותה מפלגה מצביעים באותו אופן. נגדיר את פונקציית התועלת של קבוצת מפלגות כ אם המפלגות ב- כוללות לפחות 14 חברי פרלמנט ו אחרת.
נחשב את ערך שפלי עבור המפלגה 3 (ומסימטריה זה יהיה אותו ערך למפלגות 3-11). ברור מהגדרת פונקציית התועלת שהביטוי יכול לקבל רק את הערכים 0 או 1. הוא יקבל את הערך 1 רק כאשר וגם , וזה מתקיים רק כאשר ביחס הסדר R מופיעות לפני המפלגה 3 מפלגה אחת גדולה (1 או 2) ו-4 מפלגות קטנות (מפלגות 4-11). ביחסי הסדר שמקיימים זאת יש 2 מפלגות גדולות שיכולות להופיע לפני מפלגה 3, כל אחת מהן יכולה להיות ב-5 מקומות שונים, והמפלגות הקטנות יכולות להסתדר ב- !8 סידורים שונים במקומות שנותרו. בסה"כ נקבל כי:
מיעילות ערך שפלי וסימטריה של המפלגות 1,2 נקבל כי:
.
מהחישוב שעשינו עולה כי הכוח של כל המפלגות הקטנות ביחד הוא , אך מספר המנדטים שלהם שווה למספר המנדטים של מפלגה גדולה. מכאן נוכל להסיק כי אם מפלגה גדולה מתפצלת לכמה מפלגות קטנות אז הכוח הפרלמנטרי שלה עולה.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.