שיווי משקל חזק הוא הרחבה של שיווי משקל נאש - שבו אף שחקן לא יכול לשפר את מצבו בלי תיאום עם שחקנים אחרים (וייתכן שאף עם תיאום כזה, השחקן אינו יכול לבצע שיפור), למצב שבו אפילו קואליציה של שחקנים לא יכולה לשפר את מצבה באמצעות שינוי אסטרטגיה של כל חברי הקואליציה.
שיווי משקל חזק הוגדר לראשונה על ידי פרופסור ישראל אומן על מנת לתת הרחבה למושג שיווי משקל נאש.
נקודת שיווי משקל חזק במשחק היא צירוף של אסטרטגיות השחקנים (תכסיסים), כך שלאף קואליציה של שחקנים לא משתלם לשנות את התכסיסים שלה אם שאר השחקנים אינם משנים את התכסיס שלהם. לקואליציה משתלם לשנות את התכסיסים של חבריה, אם כל חבר בקואליציה מרוויח ממש מהשינוי.
שיווי משקל עבור קואוליציות.
בניגוד לשיווי משקל נאש, המהווה שיווי משקל בו אף שחקן לא יכול להרוויח מסטיה ומתעלם מהאפשרות של שחקנים ליצור קואליציות שישפרו את מצבם, הגדרת שיווי משקל K-נאש ושיווי משקל חזק, מסתכלת על סטיות של קואליציות של שחקנים.
נניח שיש formula_1 שחקנים וכל שחקן formula_2 יכול לבחור אסטרטגיה (תכסיס) אחת מתוך קבוצת האסטרטגיות הקיימות עבורו: formula_3.
לצורך פשטות ההסבר נשתמש בהגדרה של אסטרטגיות טהורות. ניתן על ידי החלפה של formula_4 שהגדרנו המהווה פרופיל של אסטרטגיות טהורות ל - formula_4 פרופיל של אסטרטגיות מעורבות.
הגדרה: קואליציה. תת-קבוצה של השחקנים formula_6 תיקרא קואליציה.
נסמן את וקטור האסטרטגיות שנבחר על ידי קואליציה כלשהי T של שחקנים כ formula_7.
נסמן את צירוף האסטרטגיות של כל השחקנים באות formula_8 (ללא סימון שחקן\קואליציה): formula_9. תוצאת המשחק נקבעת לפי צירוף האסטרטגיות וכך גם ווקטור התשלום לשחקנים: formula_10.
נהוג לכתוב את צירוף האסטרטגיות מנקודת מבטה של קואליציה T כך: formula_11.כלומר, האסטרטגיה של הקואליציה והאסטרטגיה של שאר השחקנים.
הגדרה: פרופיל אסטרטגיות formula_12 מהווה שיפור עבור קואליציה T מפרופיל אסטרטגיות formula_13 אם לכל שחקן formula_14
formula_15. זאת אומרת, כל השחקנים בקואליציה משפרים ממש את מצבם, אם הם סוטים במשותף מהפרופיל formula_16 לפרופיל formula_12.
קואליציה T נמצאת בשיווי משקל בפרופיל אסטרטגיות formula_18 אם לא קיים פרופיל אסטרטגיות formula_12 המהווה שיפור קואליציוני (עבור קואליציה T) שלו.
הגדרת שיווי משקל חזק.
פרופיל אסטרטגיות formula_18 הוא שיווי משקל חזק, אם לא קיימת קואליציה (בכל גודל, ובפרט עבור שחקן בודד). שקיים עבורה שיפור קואליציאני.
כיוון ששיווי משקל חזק מהווה שיווי משקל עבור כל גודל של קואליציה ובפרט עבור שחקן בודד, הוא מהווה בהכרח שיווי משקל נאש.
הגדרה פורמלית:
formula_21
הגדרה פורמלית מקבילה :
formula_22
ובמילים: לכל קואליציה, לכל סטיה של הקואליציה, קיים שחקן בקואליציה שלא משפר את מצבו. זאת אומרת, אין אף קואליציה שיכולה לסטות וכל השחקנים בה ישפרו את מצבם.
דוגמאות לשיווי משקל חזק.
דוגמה פשוטה היא המשחק הבא: שני גמדים, עצלני ובטלני. צריכים להכין לעצמם ארוחה. רק אם שניהם עובדים על הארוחה, הם יכולים להכין אותה. אם הארוחה תהיה מוכנה, כל גמד יקבל ערך 100, אחרת כל גמד יקבל ערך 0. (אנחנו מתעלמים מהטרחה הכרוכה בהכנת הארוחה
המצב בו שני הגמדים מתבטלים הוא שיווי משקל נאש, אבל הוא לא שיווי משקל חזק. כי אם קואליציה של שני הגמדים, תתאחד ותחליט לעבוד, שניהם ישיגו ערך 100 (שטוב עבור שניהם מהערך 0 שהשיגו בפרופיל האסרגיות הקודם).
לעומת זאת, המצב בו שני הגמדים עובדים, הוא שיווי משקל חזק כיוון ששני הגמדים מקבלים 100. אם אחד הגמדים סוטה, הוא מקבל 0 ולא משפר את מצבו. וכמובן אותו העניין קורה אם שני הגמדים סוטים מהפרופיל ומתבטלים. לכן זהו שיווי משקל חזק.
דוגמה למשחק בו לא קיים שווי משקל חזק, דילמת האסיר:
המשטרה עצרה שני עבריינים שביצעו פשע משותף, ומפרידה ביניהם לצורך חקירה. אם תצליח המשטרה להביא להרשעתם, ייכנס כל אחד מהם לכלא ל-15 שנה, אך בחוסר ראיות הם יועמדו לדין על עבירה משנית שבגינה ייכנס כל אחד מהם לכלא לשנה אחת. למשטרה אין די ראיות להעמידם לדין, ולכן היא מציעה לכל אחד מהם להעיד נגד רעהו, וכפרס מובטח לעד עונש מופחת: אם שני האסירים יקבלו את הצעת המשטרה, ייכנס כל אחד מהם לכלא לחמש שנים, ואם רק אחד מהם יעיד ורעהו ישתוק, העד יצא מיד לחופשי וחברו ייכלא ל-15 שנה. ניתן לסכם סיטואציה זו בטבלה הבאה, שמסכמת את העונשים שייגזרו על אסיר א (אדום) ואסיר ב (כחול) בהתאם לפעולתם:
ניתן לראות כי פרופיל האסטרטגיות {מלשין, מלשין} הוא שווי משקל נאש, ולא קיים שיווי משקל נאש נוסף, כיוון שלכל אסיר, בלא תלות מה בוחר האסיר השני, עדיף לשחק 'מלשין'. אולם, זהו לא שיווי משקל חזק, כי אם שני האסירים סוטים לפרופיל האסטרטגיות {שותק, שותק} שניהם משפרים את מצבם.
כמו כן, אף אחד מהפרופילים האחרים אינו שווי משקל חזק כי תמיד אסיר ששותק (שזו קואליציה בגודל אחד) יכול לסטות ולהלשין ובכך לשפר את מצבו.
הגדרת שיווי משקל K-נאש.
עבור formula_23.פרופיל אסטרטגיות formula_18 יקרא שיווי משקל K - נאש אם לא קיימת קואליציה שקטנה או שווה בגודלה לK. שקיים עבורה שיפור קואליציאני.
בדומה לשיווי משקל חזק, כיוון ששיווי משקל K מהווה שיווי משקל עבור כל גודל של קואליציה קטנה מ-K ובפרט עבור שחקן בודד, הוא מהווה בהכרח שיווי משקל נאש.
הגדרה פורמלית:
formula_25
הגדרה פורמלית מקבילה :
formula_26
ובמילים: לכל קואליציה בגודל לכל היותר - K, ולכל סטיה של הקואליציה, קיים שחקן בקואליציה שלא משפר את מצבו. זאת אומרת, אין אף קואליציה שיכולה לסטות וכל השחקנים בה ישפרו את מצבם.
אם פרופיל אסטרטגיות מסוים מהווה שיווי משקל K-נאש אזי לכל t&lt;K הוא מהווה שיווי משקל t-נאש.
עבור formula_27 שיווי משקל K-נאש הוא שיווי משקל נאש הרגיל
כאמור לעיל, שווי משקל חזק מהווה מקרה פרטי של שיווי משקל K נאש, ובמשחק בן formula_28 שחקנים מהווה שיווי משקל n-נאש. ולכן לכל formula_29 הוא מהווה שיווי משקל t נאש.
דוגמאות לשיווי משקל K-נאש שאיננו שיווי משקל חזק.
נסתכל בדוגמה דומה למקרה הקודם. שלושה גמדים ישנים, אם שלושתם יקומו ויכינו ארוחה, כולם יהנו וירויחו 100, אחרת כל הגמדים יישארו רעבים והתועלת שלהם תהיה 0.
בהגדרה פורמלית.
התועלת עבור כל גמד.
אם כל הגמדים עובדים - 100.
אחרת - 0.
המצב בו כל הגמדים ישנים הוא שיווי משקל נאש, כיוון שאף גמד לא ירוויח מכך שהוא לבדו יתחיל לעבוד (הוא עדיין ירוויח 0), אולם זהו לא שיווי משקל חזק, כי אם כל הגמדים יעבדו, שלושתם ירוויחו 100 וישפרו את מצבם. לעומת זאת, זהו שיווי משקל 2-נאש, כי אף קואליציה של שני גמדים לא יכולה לשפר את מצבה, כיוון שגם אם שני גמדים עובדים, עדיין הארוחה לא מוכנה, והם מרוויחים 0.
רק המצב בו כל הגמדים עובדים מהווה שיווי משקל חזק (ובפרט שיווי משקל 2-נאש), כיוון שאף גמד לא יכול לשפר את מצבו בכל קואליציה שהיא, זאת כיוון שהגמדים מקבלים את הערך המקסימלי עבורם במשחק.
קיום.
כפי שהראינו בדוגמאות לעיל, לא תמיד קיים שיווי משקל חזק. וכן לכל formula_30 לא תמיד קיים שיווי משקל חזק. לעומת זאת ל K=1 זהו שיווי משקל נאש, ולפי משפט נאש תמיד קיים פרופיל אסטרטגיות המהווה שיווי משקל נאש.
שימושים.
נציג אחדים מהשימושים:
שיווי משקל חזק - מהווה מושג פתרון חזק יותר מאשר שיווי משקל נאש, שכן איננו מניח שהשחקנים לא יכולים ליצור קואליציות. בתכנון רשתות הוא משמש ככלי עזר בתכנון פרוטוקולים יציבים.
שיווי משקל K - נאש - כיוון שלעיתים (למשל ברשתות) התארגנות קבוצות גדולות של שחקנים, הן בלתי אפשריות מעשית. וסבירה רק התארגנות של K שחקנים (משתמשים עצמאיים ברשת). אזי שיווי משקל K-נאש יהווה שיווי משקל שיהיה יציב כמו שיווי משקל חזק (שכן קואליציה של יותר מ-K שחקנים לא יכולה להיווצר).
בשלות מינית
תורה שבעל פה
ששת סדרי משנה
פרוקי רגלים
שרה צ'רצ'יל, דוכסית מרלבורו
שרה צ'רצ'יל
שרה ג'נינגס
שרה ג'נינס
טיפת מזל
טיפת מזל הוא סרט קולנוע ישראלי מסוג מחזמר דרמטי, בבימויו של זאב רווח, שיצא לאקרנים בשנת 1992. הסרט מספר אודות עולה ממרוקו המפרנס בדוחק את בתו לאחר שאשתו עזבה אותו.
עלילה.
ז'וז'ו בן שושן (זאב רווח), זמר יהודי מצליח במרוקו מחליט לעלות לישראל יחד עם אשתו (ברי סימון) ובתו ויוי (זהבה בן). לילה לפני המסע לישראל, אשתו מחליטה לעזוב אותו יחד עם מאהבה לצרפת. ז'וז'ו נאלץ לעלות עם בתו לישראל ללא אשתו ונתקל בקשיים של העולים החדשים בישראל הצעירה של שנות ה-50. הוא מתבייש לספר לבתו את האמת על אמה, ואומר לה כי היא הייתה חולה ומתה במרוקו. בתו גדלה והופכת לזמרת בעלת קול נדיר וכאשר ז'וז'ו נופל למשכב היא מחליטה לעבוד אצל אמרגן שפל (אריה מוסקונה) על מנת לממן לו ניתוח יקר בצרפת. כאשר ז'וז'ו מגלה זאת, הוא מגרש אותה מהבית. כשויוי מופיעה בחתונה בו נוכח החבר של אביה מוריס (ז'אק כהן) היא מובילה אותו אל אביה ומוריס מגלה שהוא התעוור ומחליט לממן ולצאת עימם לצרפת לניתוח המסובך. כאשר הם מגיעים לשם, ז'וז'ו עובר את הניתוח ומופיע לצד חברו במופע מוזיקלי. שם נתקלת האם האובדת בבתה, אותה לא ראתה מאז עזבו את מרוקו.
גלעד קידר
גלעד קידר (נולד ב-27 ביוני 1959) הוא צייר ורשם ישראלי, חי ויוצר בתל אביב.
הוא נולד וגדל בקיבוץ מעברות לאיתן ודליה קידר. בין השנים 1990 - 1992 למד במחלקה לאמנות באקדמיה בצלאל. תערוכתו הראשונה הוצגה בסדנאות האומנים בתל אביב באצירת יורם קופרמינץ. בשנת 1996 עזב את הקיבוץ ועבר לתל אביב.
קידר נשוי ואב לבת.
עכבה אופיינית