משחקים בצורה קואליציונית

מתוך testwiki
קפיצה לניווט קפיצה לחיפוש

תבנית:עריכה

הגדרות

משחק בצורה קואליציונית עם תשלומי צד (games in coalitional form with side payments(TU) games)

זה הוא משחק שיתופי המוגדר על ידי הזוג (N;v) כך שמתקיים:

  • N={1,2,⋯,n} הוא קבוצה סופית של שחקנים.
  • v:2N→ℝ היא פונקציה המתאימה לכל תת-קבוצה S של שחקנים מספר ממשי v(S) ומקיימת v(∅)=0. v נקראת הפונקציה הקואליציונית של המשחק.

פתרון של משחק קואליציוני עם תשלומי צד

תהי U משפחת משחקים בצורה קואליציונית (על קבוצה כלשהי של שחקנים). מושג פתרון (עבור המשפחה U) הוא פונקציה φ המתאימה לכל משחק (N;v)∈U תת-קבוצה φ(N;v) של RN.

ייתכן כי עבור משחק מסוים (N;v)∈U יתקיים φ(N;v)=∅.

מושג הפתרון נקרא נקודתי אם לכל משחק (N;v)∈U הקבוצה φ(N;v) בת איבר אחד.

שקילות אסטרטגית

משחקים בצורה קואליציונית (N;w), (N;v) שקולים אסטרטגית אם קיימים מספרים a>0 ו-b1,⋯,bn∈ℝ כך שלכל S⊆N מתקיים: w(S)=av(S)+∑i∈Sbi.

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

משחק פשוט

משחק  (N;v) יקרא משחק פשוט אם הוא משחק בצורה קואליציונית ולכל תת-קבוצה S של N מתקיים  v(S)=0 או  v(S)=1. להרחבה ניתן לקרוא ב משחק פשוט .

משחק סכום קבוע
משחק  (N;v) יקרא משחק סכום קבוע אם  ∀S⊆N.v(S)+v(N∖S)=v(N).

משחק רוב משוקלל

משחק  (N;v) יקרא משחק רוב משוקלל אם הוא משחק פשוט וקיימים משקלות חיוביים (w1,w2...wn) (אחד לכל שחקן) ומיכסה q≥0 כך שלכל  S⊆N מתקיים:

V(s)={1if ∑i∈Swi≥q0if ∑i∈Swi<q


משחק סופר אדיטיבי

משחק  (N;v) יקרא משחק סופר אדיטיבי אם הוא משחק בצורה קואליציונית ולכל שתי קבוצות זרות  T,S⊆N מתקיים:  v( T∪S)≥v(S)+v(T)


משחק קמור

משחק (N;v) יקרא משחק קמור אם הוא משחק בצורה קואליציונית ולכל זוג קואליציות S,T מתקיים: v(S)+v(T)≤v(S∪T)+v(S∩T). (בפרט הוא משחק סופר אדיטיבי)

משחק מונוטוני

משחק  (N;v) יקרא משחק מונוטוני אם הוא משחק בצורה קואליציונית ולכל שתי קואליציות  S,T כך ש- S⊆T, מתקיים: v(S)≤v(T)

משחק שוק

להרחבה ניתן לקרוא במשחק שוק.

משפטים

משפט אם משחק  (N;v) הוא סופר אדיטיבי ומשחק  (N;w) שקול לו אסטרטגית אזי, המשחק  (N;w) הוא סופר אדטיבי .

משפט כל משחק  (N;v) שקול אסטרטגית למשחק מונוטוני.

דוגמאות לפתרונות למשחקים בצורה קואליציונית

פתרונות נקודתיים

ערך שפלי

φi(N;v)=1|N|!∑R[ v(PiR∪{i})− v(PiR)]

כאשר R הוא יחס סדר על השחקנים, הסכום רץ על כל יחסי הסדר האפשריים (קיימים !n כאלה) ו-PiR היא קבוצת כל השחקנים שמקדימים את i ביחס הסדר R. להרחבה ניתן לקרוא בערך שפלי.

גרעינון
להרחבה ניתן לקרוא בגרעינון (משחק שיתופי).

פתרונות קבוצתיים

הליבה
להרחבה ניתן לקרוא בליבה של משחק שיתופי


ראו גם

לקריאה נוספת