משחק פוטנציאל

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

המושג הוגדר לראשונה על ידי דב מונדרר ולויד שפלי, 
בעוד השימוש הראשון בפונקציית פוטנציאל היה ב-1973 על ידי רוברט רוזנטל.

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

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

==הגדרה פורמלית==
יהי N מספר השחקנים, S קבוצת פרופילי האסטרטגיות מעל הקבוצות <math> S_{i}</math> של כל שחקן, ו-<math> u_{i}</math> פונקציית התועלת של השחקן ה-i.
 
משחק <math> G=(N,S=S_{1}\times...\times S_{N}, u: S \rightarrow \reals^N) </math>
הוא משחק פוטנציאל מדויק אם קיימת פונקציה <math>\Phi: S \rightarrow \reals</math> כך ש- <math> \forall_{s\in S} \forall_{s_{i},s'_{i}\in S_{i}} u_{i}(s'_{i},s_{-i})-u_{i}(s_{i},s_{-i}) = \Phi(s'_{i},s_{-i})-\Phi(s_{i},s_{-i})</math>

משחק <math>G=(N,S=S_{1}\times...\times S_{N}, u: S \rightarrow \reals^N) </math> הוא משחק פוטנציאל אורדינלי, אם קיימת פונקציה <math>\Phi: S \rightarrow \reals</math> כך ש-
<math>\forall_{s\in S}\forall_{s_{i},s'_{i}\in S_{i}}u_{i}(s'_{i},s_{-i})>u_{i}(s_{i},s_{-i})\iff \Phi(s'_{i},s_{-i})>\Phi(s_{i},s_{-i})</math>

==חשיבות==

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

==תכונות עיקריות==
*בכל משחק פוטנציאל סופי, קיימת לפחות נקודה אחת בה מתקיים שיווי משקל נאש טהור.
*אם G משחק פוטנציאל מדויק, אזי כל פונקציות הפוטנציאל של G שוות עד כדי קבוע.
*כל משחק פוטנציאל סופי הוא איזומורפי למשחק עומס. והפוך, כל משחק עומס הוא משחק פוטנציאל מדויק.
*בעיית מציאת נקודת שיווי משקל נאש טהור במשחק פוטנציאל היא PLS שלמה, זאת בעוד שבמקרה הכללי, בעיית מציאת נקודת שיווי משקל נאש (מעורב) היא PPAD שלמה.

==דוגמאות==
דוגמה למשחק פוטנציאל מדויק הוא משחק דילמת האסיר:
{| class="wikitable" style="text-align:center; width:150px; height:150px" border="1" 
|+ דילמת האסיר
|- 
! p1/p2 !! D !! C
|- 
! C 
| (0,5) || (3,3) 
|- 
! D 
| (1,1) || (5,0) 
|}

במקרה זה, פונקציית הפוטנציאל תראה כך:
{| class="wikitable" style="text-align:center; width:150px; height:150px" border="1" 
|+ פונקציית הפוטנציאל
|- 
! !! D !! C
|- 
! C 
| 4+K || 2+K 
|- 
! D 
| 5+K || 4+K 
|}
עבור <math>K</math> קבוע כלשהו.

דוגמה למשחק פוטנציאל אורדינלי שאינו משחק פוטנציאל מדויק:
{| class="wikitable" style="text-align:center; width:150px; height:150px" border="1" 
|+ 
|- 
! p1/p2 !! D !! C
|- 
! C 
| (0,5) || (3,3) 
|- 
! D 
| (2,1) || (5,0) 
|}

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

==משחק פוטנציאל אורדינלי מוכלל==
משחק <math>G=(N,S=S_{1}\times...\times S_{N}, u: S \rightarrow \reals^N) </math> הוא משחק פוטנציאל אורדינלי מוכלל, אם קיימת פונקציה <math>\Phi: S \rightarrow \reals</math> כך ש-
<math>\forall_{s\in S}\forall_{s_{i},s'_{i}\in S_{i}}u_{i}(s'_{i},s_{-i})>u_{i}(s_{i},s_{-i})\implies \Phi(s'_{i},s_{-i})>\Phi(s_{i},s_{-i})</math>

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

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

דוגמה למשחק פוטנציאל אורדינלי מוכלל, שאינו משחק פוטנציאל אורדינלי:
{| class="wikitable" style="text-align:center; width:150px; height:150px" border="1" 
|+ 
|- 
! p1/p2 !! B !! A
|- 
! C 
| (2,0) || (1,0) 
|- 
! D 
| (0,1) || (2,0) 
|}

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

(<big><math> \phi(C,A)<\phi(D,A)<\phi(D,B)<\phi(C,B)=</math><math>\phi(C,A </math></big>

==קישורים חיצוניים==
* נעם ניסן, [http://agtb.wordpress.com/tag/complexity-of-equilibria/ סיבוכיות ושיווי משקל נאש]

==הערות שוליים==

קטגוריה:תורת המשחקים