משחק שוק

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

המודל

אל השוק מגיעים קבוצת יצרנים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;N\;} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;N=\left\{ 1,2,...,n \right\}\;} שמטרתם היא, כמובן, להרוויח כמה שיותר כסף. בשוק נמכרים $\;L\;$ מצרכים $\;\left(L\in \mathbb {N} \right)\;$.
כל יצרן מאופיין על ידי שני אלמנטים: (היצרן ה $\;i\;$ מאופיין על ידי $\;\left(a^{i},u^{i}\right)\;$)

• הכמות מכל מוצר אליה הוא מגיע אל השוק. כמות זו נקראת סל המצרכים ההתחלתי של היצרן. הכמות מכל מוצר מסומנת בוקטור $\;a\in \mathbb {R} _{+}^{L}\;$ כך שבקואורדינאטה ה $\;j\;$ רשום הכמות שיש ליצרן ממוצר $\;j\;$. (כל קואורדינאטה היא אי שלילית).

• האופן שבו הוא מסוגל להרוויח מתוך סל המוצרים שיש לו. זוהי פונקציית התועלת שלו מסל מצרכים כלשהו. פונקציה זו מקבלת וקטור כמויות של מצרכים ומחזירה את סכום הכסף שהיצרן יכול להרוויח באמצעות וקטור זה. פונקציה זו נקראת פונקציית היצור ומסומנת: $\;u:\mathbb {R} _{+}^{L}\to \mathbb {R} \;$.

באופן פורמלי מודל השוק מוגדר על ידי קבוצת היצרנים, מספר המצרכים, והאפיון של כל יצרן: $\;\left(N;L;\left(a^{i},u^{i}\right)_{i\in N}\right)\;$.

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

השימוש במודל

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

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

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

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

המשחק

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

לחברי קואליציה $\;S\;$ יש וקטור מצרכים: $\;\sum \limits _{i\in S}{a^{i}}\in \mathbb {R} _{+}^{L}\;$, כל חלוקה אפשרית של המצרכים מסומנת ב: הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \;\left(x^{i}\right)_{i\in S}\;} . (נשים לב ש$\;\left(x^{i}\right)_{i\in S}\;$ הוא "וקטור של וקטורים").כך מתקיים הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \;\sum \limits _{i\in S}{x^{i}}=\sum \limits _{i\in S}{a^{i}}\;} .
למשל אם $\;\sum \limits _{i\in S}{a^{i}}=\left(4,5,2,9,3\right)\;$ וישנם 3 יצרנים. אזי חלוקה אפשרית היא $\;\left(x^{i}\right)_{i\in S}={\begin{matrix}{\begin{aligned}&\left(2,4,1,0,0\right)\\&\left(1,\,\,1,1\,,7,2\right)\\&{\underline {\left(1,\,0,\,0,2,\,\,1\right)}}\\&\left(4,5,2,9,3\right)\\\end{aligned}}\\\end{matrix}}\;$. קבוצת כל החלוקות האפשריות עבור הקואליציה $\;S\;$ מסומנת ב $\;X^{S}\;$.

הגדרה

משחק בצורה קואליציונית מוגדר על ידי הזוג $\;\left(N;v\right)\;$ כאשר $\;N\;$ היא קבוצת השחקנים ו $\;v\;$ היא הפונקציה הקואליציונית. במשחק השוק קבוצה השחקנים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;N\;} היא קבוצת היצרנים והפונקציה הקואליציונית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;v\;} מוגדרת באופן הבא: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;v\left( S \right)=\max \left\{ \sum\limits_{i\in S}{u^{i}\left( x^{i} \right)\,\,\,:\,\,\,x\in X^{S}} \right\}\;} . כלומר – הפונקציה הקואליציונית מתאימה לכל קואליציה את הרווח המקסימלי שהיא יכולה להרוויח אם תעשה את החלוקה בצורה חכמה (בצורה שתביא למקסימום את הרווח של כל הקואליציה).

משפטים

• משפט שפלי שוביק: הליבה של משחק שוק אינה ריקה.
• אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;\left( N;v \right)\;} הוא משחק שוק אז כל תת-משחק שלו הוא משחק שוק ובפרט הליבה של כל תת-משחק שלו אינה ריקה.
• כל משחק שוק הינו משחק מאוזן לחלוטין. (שפלי & שוביק)
• אם $\;\left(N;v\right)\;$ הוא משחק מאוזן לחלוטין אזי קיים שוק כך ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \;\left( N;v \right)\;} הוא משחק השוק המתאים לו.

ראו גם

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

לקריאה נוספת

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