Topics in Algorithmic Game
Download
1 / 51

Topics in Algorithmic Game Theory נושאים אלגוריתמיים בתורת המשחקים 28 NOV 2012 Ahuva Mu’alem - PowerPoint PPT Presentation


  • 71 Views
  • Uploaded on

Topics in Algorithmic Game Theory נושאים אלגוריתמיים בתורת המשחקים 28 NOV 2012 Ahuva Mu’alem. בעית חלוקת העוגה נטולת הקנאה envy free cake cutting. הגדרות. העוגה תיוצג על ידי הקטע יש n > 2 שחקנים הוא הערך הממשי של שחקן k לתת הקטע. חלוקה נטולת קנאה.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Topics in Algorithmic Game Theory נושאים אלגוריתמיים בתורת המשחקים 28 NOV 2012 Ahuva Mu’alem' - emmy


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript



הגדרות

  • העוגה תיוצג על ידי הקטע

  • יש n> 2 שחקנים

  • הוא הערך הממשי של שחקן k לתת הקטע


חלוקה נטולת קנאה

  • חלוקה של העוגה I(1), I(2), …, I(n) ל- n תת קטעים זרים המוכלים בקטע נקראת נטולת קנאהאם לכל k, j מתקיים:

    vk(I(k)) > vk(I( j))

  • כלומר, בחלוקה נטולת קנאה כל שחקן מרוצה מהחלק שהוא קיבל ואינו מעוניין להחליף את החלק שלו עם אף שחקן אחר.


חלוקה נטולת קנאה, שני שחקנים

  • אלגוריתם חלק ובחר Divide and Choose”)"):

  • שחקן אחד מחלק את העוגה לשני חלקים שווים מנקודת מבטו

  • השחקן השני בוחר איזה חלק הוא רוצה מבין השניים


חלוקה נטולת קנאה, שני שחקנים

  • אלגוריתם חלק ובחר:

  • שחקן אחד מחלק את העוגה לשני חלקים שווים מנקודת מבטו

  • השחקן השני בוחר איזה חלק הוא רוצה מבין השניים.

  • הערה:נניח כי העדפת כל שחקן kהיא רציפה ואדיטיבית, כלומר אםI, Jהם תת קטעים זרים אז = +

I j

v1 (I) = v1 (J)

max (v2(I1), v2(I

max (v2(I), v2(J)) > min (v2(I), v2(J))


חלוקה נטולת קנאה, המקרה הכללי

  • נראה כעת כלי טכני (המבוסס על הלמה של שפרנר) שיעזור לנו לחלק את העוגה "ללא קנאה"בין מספר סופי כלשהו של שחקנים n > 2.


'חלק ובחר' בנוסח צ'ארלי צ'אפלין, הבהלה לזהב 

https://www.youtube.com/watch?v=mtZTIwSIuGw


הלמה של שפרנר Sperner’s Lemmaרקע והגדרות


טריאנגולציהאו שילוש



צביעת שפרנר

דוגמא 


צביעת שפרנר

דוגמא 

ובה נצבעו

כל המשולשונים

שצבועים ב-3

צבעים


צביעת שפרנר

דוגמא 

ובה נצבעו

כל המשולשונים

שצבועים ב-3

צבעים

מספר

איזוגי > 1

של משולשונים

טרי-כרומטים


הלמה של שפרנר Sperner’s Lemmaהוכחה


למה (שפרנר, 1928):בכל צביעת שפרנר יש מספר אי-זוגי של משולשונים טרי-כרומטיים.



The standard simplex in R3



הגדרת הבעיה

  • בעית חלוקת השכירות בהרמוניה:יש n> 2 שחקנים שרוצים לשכור דירה של n חדרים. דמי השכירות על הדירה הם 1000 דולר, והשאלה היא האם ניתן לקבוע מחיר עבור כל חדר כך שסכום המחירים יהיה 1000 דולר וכך שכל שוכר ישכור את החדר שהוא הכי רוצה במחירים האלו.


'Rental Harmony' בנוסח צ'ארלי צ'אפלין, הבהלה לזהב 

https://www.youtube.com/watch?v=lAop4Su5Uag


  • Sperner + Simmons + Su 

  • How to Solve the Envy Free Cake Cutting and Rental Harmony Problems



הגדרות

  • העוגה תיוצג על ידי הקטע

  • יש n> 2 שחקנים

  • הוא הערך של שחקן k לתת הקטע

  • העדפת השחקן היא אי-שלילית, רציפה ואדיטיבית, כלומר אם I, Jהם תת קטעים זרים אז = +


חלוקה פרופורציונלית

  • חלוקה של העוגה I1, I2, …, In ל- n תת קטעים זרים המוכלים בקטע נקראת פרופורציונלית אם vk(Ik) א לכל k

  • כלומר בחלוקה פרופורציונלית כל שחקן מקבל חלק שערכו הוא לפחות 1/n מערך העוגה מנקודת מבטו



חלוקה פרופורציונלית, שני שחקנים

  • אלגוריתם חלק ובחר:

  • שחקן אחד מחלק את העוגה לשני חלקים שווים מנקודת מבטו

  • השחקן השני בוחר איזה חלק הוא רוצה מבין השניים.


חלוקה פרופורציונלית, שני שחקנים

  • אלגוריתם חלק ובחר:

  • שחקן אחד מחלק את העוגה לשני חלקים שווים מנקודת מבטו

  • השחקן השני בוחר איזה חלק הוא רוצה מבין השניים.


חלוקה פרופורציונלית, שני שחקנים

  • אלגוריתם חלק ובחר:

  • שחקן אחד מחלק את העוגה לשני חלקים שווים מנקודת מבטו

  • השחקן השני בוחר איזה חלק הוא רוצה מבין השניים.

1 2

v1 (I1) = v1 (I2)

max (v2(I1), v2(I

max (v2(I1), v2(I2)) >

0.5 · (v2(I1) + v2(I2)) =

0.5 · v2(I1 I2)


בעית החלוקה הפרופורציונלית,

מספר סופי של שחקנים


חלוקה פרופורציונלית, n > 2

  • אלגוריתם הסכין הנעה [[Dubins-Spanier:

  • A knife is slowly moved at constant speed parallel. At each instant the knife is poised so that it could cut a unique slice of the cake. At time goes by the potential slice increases monotonelyfrom nothing until it becomes the entire cake. The first person to indicate satisfaction with the slice then determined by the position of the knife receives that slice and is eliminated from further distribution of the cake. (If two or more participants simultaneously indicate satisfaction with the slice, it is given to any of them.)

  • The process is repeated with the other n − 1 participants and with what remains of the cake. The last player gets the remainder of the cake.


חלוקה פרופורציונלית, n > 2

  • אלגוריתם הסכין הנעה [[Dubins-Spanier:

  • The knife is passed over the cake from the left end to the right.

  • A player says stop when he thinks 1/n of the cake is to the left of the knife, the cake is cut and he get that piece.

  • Repeat with the remaining cake and players.

  • The last player gets the remainder of the cake.

נכונות: השחקנים 1, 2, ..., i קיבלו כל אחד 1/nמערך העוגה מנקודת מבטם.

כל שחקן i+1, i+2, ..., n מייחס לחלק העוגה שנשאר לפחות (n-i)/nמערך העוגה הכולל, מנקודת מבטו.


Bibliography
Bibliography

Francis Edward Su. Rental harmony: Sperner's lemma in fair division. Amer. Math. Monthly, 106(10):930–942, 1999

Chandra Chekuri, CS 573: Algorithmic Game Theory, 2008Lecture Notes,

עמוס אלטשולר, מתמטיקה צבעונית – הלמה של שפרנר

Wikipedia


ad