משחק שיתופי

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

ערך זה עוסק במצב בתורת המשחקים. אם התכוונתם למשמעות אחרת, ראו משחק שיתופי (פירושונים).

משחקים ללא תשלומי צד

משחק שיתופי ללא תשלומי צד הוא רביעייה סדורה ${\displaystyle \left((I,{\mathcal {C}}),(\Omega ,{\mathcal {F}}),V,\leq \right)}$ כך ש:

א. ${\displaystyle (I,{\mathcal {C}})}$ הוא מרחב השחקנים המורכב מקבוצה ${\displaystyle I}$ לא ריקה של שחקנים וסיגמה-אלגברה ${\displaystyle {\mathcal {C}}}$ עליה. אברי ${\displaystyle {\mathcal {C}}}$ נקראים קואליציות.

ב. ${\displaystyle (\Omega ,{\mathcal {F}})}$ הוא מרחב התוצאות המורכב מקבוצה לא ריקה ${\displaystyle \Omega }$ של תוצאות ו-${\displaystyle {\mathcal {F}}}$ היא סיגמה-אלגברה עליה.

ג. פונקציית בחירה, ${\displaystyle V:{\mathcal {C}}\rightarrow {\mathcal {F}}}$ ומקיימת ${\displaystyle V(\emptyset )=\emptyset }$ ומתאימה לכל קואליציה ${\displaystyle S\in {\mathcal {C}}}$ קבוצה ${\displaystyle V(S)\in {\mathcal {F}}}$ כך שחברי הקואליציה ${\displaystyle S}$ יכולים לבחור אך ורק תוצאות ${\displaystyle \omega \in V(S)}$.

ד. יחס העדפה ${\displaystyle \leq :I\rightarrow \ 2^{\left(C\times {\mathcal {C}}\right)}}$ המתאים לכל שחקן ${\displaystyle i\in I}$ יחס שלם רפלקסיבי טרנזיטיבי ומדיד ${\displaystyle \leq (i)\subset {\mathcal {C}}\times {\mathcal {C}}}$, כאשר ${\displaystyle {\mathcal {C}}\times {\mathcal {C}}}$ מסמן את סיגמת-אלגברה המכפלה. נוהגים לסמן ${\displaystyle \leq (i)=\leq _{i}}$.

משחק שיתופי עם תשלומי צד

משחק שיתופי עם תשלומי צד זו שלשה סדורה ${\displaystyle \left(I,{\mathcal {C}},v\right)}$ כך ש:

א. ${\displaystyle I}$ היא קבוצה לא ריקה של שחקנים.

ב. ${\displaystyle {\mathcal {C}}}$ היא סיגמה-אלגברה על ${\displaystyle I}$. אבריה נקראים "קואליציות".

ג. ${\displaystyle v:{\mathcal {C}}\rightarrow {\mathcal {R}}}$ היא פונקציית התשלום המתאימה לכל קואליציה ${\displaystyle S\in {\mathcal {C}}}$ שווי ${\displaystyle v(S)\in {\mathcal {R}}}$ כאשר ${\displaystyle {\mathcal {R}}}$ הוא חוג סדור, ומקיימת ${\displaystyle v(\emptyset )=0}$.

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

ההבדל מן הגישה הלא-שיתופית

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

ראו גם

• מונחים בתורת המשחקים
• משחק סדר
• משחק מיקוח
• משחק מנורמל

קישורים חיצוניים

מדיה וקבצים בנושא משחק שיתופי בוויקישיתוף