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

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

תכונת המשחק המצומצם מתייחסת לסיטואציה הבאה: נניח שנתון מושג פתרון, והוא מחלק את השווי של הקואליציה הגדולה ${\displaystyle N\,\!}$ בדרך מסוימת.

לאחר שהשחקנים חילקו ביניהם את שוויה של הקואליציה ${\displaystyle N\,\!}$ לפי וקטור התשלומים שהוצע, וחלק מהשחקנים עזבו את המקום, יכולים השחקנים שנותרו לתהות האם החלוקה ביניהם היא חלוקה הוגנת.

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

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

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

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

אם ${\displaystyle (N;v)\,\!}$ הוא משחק שיתופי בצורה קואליציונית, אזי עבור קואליציה ${\displaystyle S\,\!}$ לא ריקה, ועבור וקטור תשלומים יעיל ${\displaystyle x\in \mathbb {R} ^{n}}$ (כלומר מקיים ${\displaystyle \sum _{i\in N}X_{i}=v(N)}$), נגדיר את המשחק הבא: ${\displaystyle (S;w_{s}^{x})\,\!}$ על ידי:

${\displaystyle w_{s}^{x}(R)={\begin{cases}MAX_{Q\subseteq S^{c}}(v(R\cup Q)-x(Q))&R\subset S\\x(S)&R=S\\0&{\mbox{otherwise}}\end{cases}}}$

וזהו המשחק המצומצם לפי דייוויס ומשלר.

הרעיון מאחורי ההגדרה פשוט: אנו מצטמצמים על הקואליציה ${\displaystyle S\,\!}$. שוויה לפי המשחק המצומצם זהה לסך התשלומים של חבריה לפי וקטור התשלומים x. כלומר, חבריה עדיין מחלקים ביניהם את מה שקיבלו לפי וקטור התשלומים.

כעת, כל תת-קואליציה ${\displaystyle R\,\!}$ של ${\displaystyle S\,\!}$, בודקת מה תוכל לקבל, אם תצרף אליה שחקנים מחוץ ל-${\displaystyle S\,\!}$, כל עוד תתן להם את מה שהקצה להם הווקטור המקורי ${\displaystyle x\,\!}$, וכך מוחלט שוויה במשחק המצומצם. לפיכך, אם יבחרו לצרף את ${\displaystyle Q\,\!}$, יוותר להם ${\displaystyle v(R\cup Q)-x(Q)\,\!}$, ולכן ימקסמו את הערך הזה.

יהי ${\displaystyle \varphi }$ מושג פתרון נקודתי, ${\displaystyle (N;v)\,\!}$ משחק בצורה קואליציונית, ו- ${\displaystyle S\,\!}$ קואליציה לא ריקה. המשחק המצומצם לפי הרט ומס כולל על ${\displaystyle S\,\!}$ ב- ${\displaystyle \varphi }$ הוא המשחק ${\displaystyle \;(S,{\hat {v}}_{s},_{\varphi })}$ ,בו הפונקציה הקואליציונית מוגדרת באופן הבא :

פרק זה טעון שכתוב. אנא תרמו לוויקיפדיה ועזרו לשכתב אותו. הסיבה היא יש להפוך את התמונה למשוואה.

${\displaystyle {\begin{aligned}&{\tilde {v}}_{s,\varphi }(R)=v(R\cup S^{c})-\sum _{i\in S^{c}}\varphi (R\cup S^{c};v),\forall R\subseteq S,R\neq \phi \\&{\tilde {v}}_{s,\varphi }(\phi )=0\end{aligned}}}$

הרעיון מאחורי הגדרה זו הוא, שכאשר קואליציה ${\displaystyle \ R}$ נוצרת במשחק המצומצם על ${\displaystyle \ S}$, היא מצרפת כשותפים את כל שחקני ${\displaystyle \ S^{c}}$ ונותנת להם את חלקם בפתרון.

כל מה שנותר לאחר שחברי ${\displaystyle \ S^{c}}$ קיבלו את חלקם הוא שוויה של הקואליציה ${\displaystyle \ R}$ במשחק המצומצם ${\displaystyle {\hat {v}}}$.

1. המשחק המצומצם לפי הרט ומס כולל מתאים רק למושגי פתרון נקודתיים, בעוד שהמשחק המצומצם לפי דייוויס ומשלר מתאים גם למושגי פתרון קבוצתיים.
2. בהגדרת המשחק המצומצם לפי הרט ומס כולל חייבים חברי ${\displaystyle \ R}$ לצרף את כל השחקנים שאינם חברים ב-${\displaystyle \ S}$, בעוד שבמשחק המצומצם לפי דייוויס ומשלר הם יכולים לבחור את התת-קבוצה הטובה להם ביותר של${\displaystyle \ S^{c}}$.

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

• שמואל זמיר, מיכאל משלר, אילון סולן, תורת המשחקים, ירושלים: מאגנס, 2008, מסת"ב 9654932946