Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2018/computational-game-theory/2/f/solution

Let be the initial proposer's share, measured as a fraction of the pie currently available, with rounds remaining. The last-round argument in part (e) gives . Rejecting an offer leaves the responder as next proposer with a pie smaller by factor , so its continuation value is . The current proposer offers exactly that amount, which is accepted by the continuous-offer bargaining acceptance lemma. Hence
The formula follows by summing a finite geometric series, or by induction in the recurrence. Agreement is immediate in every subgame, so this share is player 1's actual initial payoff.
For odd , lies above and decreases with . For even , lies below that value and increases with . Thus prefer odd to even, fewer rounds among odd choices, and more rounds among even choices. For the given , this simplifies to choose if is odd, and choose if is even. All comparisons are strict because . This is the finite-horizon bargaining parity effect.

New to topics? Read the docs here!