עקרון הסימטריה

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

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

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

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

אם לכל קואליציה S שאינה מכילה את שניהם,       , מתקיים:

כלומר, לכל קואליציה S שנבחר כך שהיא אינה מכילה את i ו-j, השווי שלה יהיה זהה אם נצרף אליה את השחקן i או אם נצרף אליה את השחקן j.

פתרון  מקיים את עקרון הסימטריה אם לכל משחק  ולכל זוג שחקנים סימטריים i ו-j במשחק 

מתקיים:  

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

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

 לקריאה נוספת 

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