MAT109 · Erich Prisner · Franklin College · 2007-2009

Analysis of WAITING FOR MR PERFECT I

Prerequisites: Chapters 1, 2, 4, 6, and 7.

This game is played by one, two, or more players. There is also a population of awards, and every player knows which types of awards are available and how many of them there are. There is a given number of rounds. In each round, one of the awards is selected randomly and becomes available. The players simultaneously either express interest, or not. The award is given randomly, with equal probability, to one of those that have expressed interest. Those players having obtained an award are out of the game.

There are several variants of these game, depending on the parameters.

Things get more complicated if the number of rounds is unknown, or if the distribution of the awards is unknown.

Throughout this chapter we assume that there are two players, and that three types of awards are possible, carrying payoffs of 1, 2, or 3 for both players. Cases where the awards carry different payoffs for the different players would also be interesting, but are not discussed here. We assume that in each round, the low payoff award 1 occurs with probability P(1), and the other two awards 2 and 3 with probabilities P(2) and P(3). Cases where the probabilities in a round depend on the awards drawn in the previous rounds would again be interesting, but are not treated here.

Two Rounds

In this chapter we will find the pure Nash equilibria in the two round case by using the normal form of the game. In the second part we will look into the mixed Nash equilibria of the two-round version, but mainly concentrate on the four round version, and will solve this using the extensive form.

Class Activity: Play the game at least 20 times using cards, three "1"s, two "2"s, and one "3". Don't forget to put the card in and to shuffle between the first and the second round of each game (and also of course between games). After that, each student should write down a strategy how to play this game. Then 20 more games are played, this time keeping track of the results. You can also use this applet.

1. The last round

"Wer jetzt kein Haus hat, baut sich keines mehr.
Wer jetzt allein ist, wird es lange bleiben,
wird wachen, lesen, lange Briefe schreiben
und wird in den Alleen hin und her
unruhig wandern, wenn die Blätter treiben"
Rainer Maria Rilke

( "He who has no house will not build one, and he who is alone will so remain, will wake, read, write long letters, go back and forth in avenues, driven, restlessly, by falling leaves." http://www.textetc.com/workshop/wt-rilke-1.html

Players always have the choice between expressing interest or rejecting an award, but in the last round they don't really have a choice as long as the awards are positive, which of course we may assume. Any player that doesn't yet have an award in the last round would express interest. The expected value of this last possible award is P(1)+2·P(2)+3·P(3). If both players are still without award, the expected payoff for both would be (P(1)+2·P(2)+3·P(3))/2, since the award is won with probability 1/2, and otherwsise the player didn't receive anything. But if one player already has an award, the expected payoff for the still awardless player equals P(1)+2·P(2)+3·P(3).

The reader may wonder here why we bother with P(1), P(2), and P(3), which will make all our formulas much more complicated, instead of selecting concrete values, like for instance P(1)=1/2, P(2)=1/3, and P(3)=1/6. The approach we use has one advantage: If we are later interested in different probability values, like P(1)=0.2, P(2)=0.3, and P(3)=0.5, for instance, then we don't have to repeat the whole analysis again--- rather we just change the parameters in the resulting formulas. This method, shifting from the concrete to the general, is very frequent in mathematics, and one of the reasons for the success and power of the mathematical method. If these parameters P(1), P(2), and P(3) confuse you in what follows, then please write down all formulas and replace the parameters by concrete values.

2. The eight pure strategies

Having settled that the players don't have a choice in the second round, let's now focus on the first round. In the first round, each player may face an award of value "1", "2", or "3", and has two options in each case. Therefore each player has 23=8 pure strategies, which are encoded by the three-letter words NNN, ... III. The first letter indicates how the player would play if the first award would be a "1", with "N" indicating "no interest" and "I" indicating interest, and the same for the case of an award of value 2 and the second digit, and an award of value 3 and the last digit.

3. Computing the payoffs

Since each player has eight pure strategies, the normal form of the game would be an 8×8 bimatrix. How are the payoffs computed? Since we want to discuss the general case, let's assume that Ann plays strategy A1A2A3, where the Ai are either the letter "N" or the letter "I", and Beth plays strategy B1B2B3. We look at the payoffs for both players in each of the three cases where the first-round award is 1, 2, or 3 separately. Assume this first-round award is k, either 1, 2, or 3.

Having computed the payoffs for Ann and Beth for each of the three cases of a first-round award k of 1, 2, or 3, we now have to combine these formulas. What we do is computing another expected value, weighting the payoffs for the three cases by their probabilities P(1), P(2), and P(3). To give an example, if Ann chooses strategy "INI" and Beth chooses strategy "NII", then the expected payoff for Ann is

P(1)·1 + P(2)·(P(1)+2·P(2)+3·P(3))+P(3)·(3+(P(1)+2·P(2)+3·P(3))/2,
whereas the expected payoff for Beth is
P(1)·(P(1)+2·P(2) + 3·P(3))+P(2)·2+P(3)·(3+(P(1)+2·P(2)+3·P(3))/2
All these formulas have been put into the Excel sheet Waiting1.xls. P(1), P(2) can be typed into the black cells (note that P(3) follows), then the normal form will be computed automatically.

Let's for as moment get a little more concrete, and choose P(1)=1/2, P(2)=1/3, and P(3)=1/6. Then the 8×8 bimatrix normal form is:
IIIIININIINN NIININNNINNN
III1.667, 1.6671.778, 1.5561.722, 1.6111.833, 1.5 1.5, 1.8331.611, 1.7221.556, 1.7781.667, 1.667
IIN1.556, 1.7781.417, 1.4171.611, 1.7221.472, 1.361 1.389, 1.9441.25, 1.5831.444, 1.8891.306, 1.528
INI1.611, 1.7221.722, 1.6111.333, 1.3331.444, 1.222 1.444, 1.8891.556, 1.7781.167, 1.51.278, 1.389
INN1.5, 1.8331.361, 1.4721.222, 1.4441.083, 1.083 1.333, 2.01.194, 1.6391.056, 1.6110.917, 1.25
NII1.833, 1.51.944, 1.3891.889, 1.4442.0, 1.333 1.417, 1.4171.528, 1.3061.472, 1.3611.583, 1.25
NIN1.722, 1.6111.583, 1.251.778, 1.5561.639, 1.194 1.306, 1.5281.167, 1.1671.361, 1.4721.222, 1.111
NNI1.778, 1.5561.889, 1.4441.5, 1.1671.611, 1.056 1.361, 1.4721.472, 1.3611.083, 1.0831.194, 0.972
NNN1.667 1.6671.528 1.3061.389 1.2781.25 0.917 1.25 1.5831.111 1.2220.972 1.1940.833 0.833

4. Domination

Some of these pure strategies look a little odd. For instance, in strategy "NIN" the player would express interest in the first round only for an award of value 2. Why would a player show interest for a "2" but not for a "3"? Still one could argue that a player playing this strategy just avoids the fight in case of a "3", leave the award to the other player, and then take whatever comes in the last round. However, we will see in this section that "NIN" is a strongly dominated strategy and should therefore not be played.

In the following we will compare strategies for Ann differing only in how they handle one value k of the first-round award whether one of them dominates the other. Such two strategies are fairly simple to compare, since in the two cases of having a first-round award different to k, the payoffs for Ann are identical no matter what Beth plays. Therefore to compare the payoffs for Ann for these two strategies, one only has to consider Ann's payoff in case the first round award equals k, and look at the two cases of Beth being interested in a value of k, or of not being interested. If one of Ann's strategies considered is better than the other in both these cases, then we have discovered strong domination.

When should Ann rather show interest in values of k in the first round? If (k+P(1)+2·P(2)+3·P(3))/2 > (P(1)+2·P(2)+3·P(3)), and if Beth is interested in a certain value k, then it is also preferable for Ann to be interested in that value k. The inequality condition is equivalent to k > P(1)+2·P(2)+3·P(3). If however Beth is not interested in a value k, then being interested in k is better for Ann than being not provided k > (P(1)+2·P(2)+3·P(3))/2. Therefore, for all values k > P(1)+2··P(2)+3··P(3), which is equivalent to

k-1 > P(2)+2·P(3)
(since P(1)+P(2)+P(3)=1), every pure strategy where a player shows no interest for value k is strongly dominated by the corresponding pure strategy where the player is interested in value k. Of course, this is never true for k=1, but always for k=3 (assuming P(3)<1). For k=2 it depends.

There are also cases where not being interested for some value k is always preferable to being interested for that value k, behavior for all other values being equal. If Beth is interested in k, then Ann not being interested in k is better for her than being interested provided P(1)+2·P(2)+3·P(3) > (k+P(1)+2·P(2)+3·P(3))/2$, i.e. if P(1)+2·P(2)+3·P(3) > k. If Beth is not interested in k, then A being interested in k is better for her than not being interested provided (P(1)+2·P(2)+3·P(3))/2 > k. Overall this domination occurs provided P(1)+2·P(2)+3·P(3) > 2k, which is equivalent to

P(2)+2·P(3) > 2k-1,
(since P(1)+P(2)+P(3)=1). This is impossible for k=2 or k=3, but may occur for k=1.

Let us summarize our findings on domination:

Theorem: a) The pure strategy A1A2I always strongly dominates the pure strategy A1A2N. Players should always express interest in values of 3.
b) If 1 > P(2)+2·P(3), then the pure strategy A1IA3 strongly dominates the pure strategy A1NA1. Players should always express interest in a value of 2 then.
c) If P(2)+2·P(3) > 1, then the pure strategy NA2A3 strongly dominates the pure strategy IA2A3. In that case players should never express interest in a value of 1.

Depending on whether P(2)+2·P(3) lies below 1 or between 1 and 2 we get two different cases, but there are in both cases 6 strongly dominated pure strategies. If P(2)+2·P(3)=1, we get 4 strongly dominated strategies and some weak domination. Let us now look into these three cases separately:

5. The reduced normal forms in the three cases

The case P(2)+2·P(3) < 1

After eliminating the strongly dominated strategies, we arrive at the following reduced bimatrix:

IIINII
IIIA1,1 , B1,1A1,2 , B1,2
NIIA2,1 , B2,1A2,2 , B2,2

The two strategies agree on to express interest in case of an award of value 2 or 3 in the first round. Thus, all expected values in all combinations have a common ingredient of

M := P(2)(2+P(1)+2·P(2)+3·P(3))/2+P(3)·(3+P(1)+2·P(2)+3·P(3))/2 =
(2·P(2)·(P(2)+1)+ 3·P(3)·(P(3)+1)+P(1)·P(2)+P(1)·P(3)+5·P(2)·P(3))/2.
and we can describe the coefficients as

Since P(2)+2·P(3) < 1, and therefore P(1)+2·P(2)+3·P(3) < 2, the four numbers are ordered as

A2,2=B2,2 < A1,2=B2,1 < A1,1=B1,1 < A2,1=B1,2.
Ann's best response to Beth's strategy "III" is "NII", and Ann's best response to Beth's strategy "NII" is "III", and vice versa, since the game is symmetric. Therefore in this case there are two Nash equilibria in pure strategies: "III" --- "take everything in the first round"--- versus the a little more picky "NII" of rejecting "1" in the first round, and also the other way "NII" versus "III". Essentially this reduced form is a game of CHICKEN, where expressing interest in the value of 1 ("III") would be the "Dove" strategy, whereas the "Hawk" would reject a value of 1 in the first round and play "NII".

The case P(2)+2·P(3) > 1

As in the previous case, we eliminate the strongly dominated strategies, and get the following IESD bimatrix:

NIINNI
NIIA1,1 , B1,1A1,2 , B1,2
NNIA2,1 , B2,1A2,2 , B2,2

The two strategies agree on not expressing interest in case of an award of value 1, and on expressing interest in case of a value of 3. All expected values in all combinations have a common ingredient of

N := P(1)·(P(1)+2·P(2)+3·P(3))/2+P·(3)(3+P(1)+2·P(2)+3·P(3))/2 =
= (P(1)·2+ 3·P(3)·(P(3)+1)+2·P(1)·P(2)+4·P(1)·P(3)+2·P(2)·P(3))/2.
and the coefficients are

Since P(2)+2·P(3) > 1, and therefore P(1)+2·P(2)+3·P(3) > 2, the ordering of the four coefficients is

A2,2=B2,2 < A1,2=B2,1 < A1,1=B1,1 < A2,1=B1,2.
We get again a CHICKEN game with two pure Nash equilibria: Dove "NNI versus hawk "NII" and also the other way. As in the previous subcase, the hawk refuses to accept a certain level of awards--- in this case of value 2--- which the dove has to accept in the Nash equilibrium.

The case P(2)+2·P(3) = 1

There follows P(1)+2·P(2)+3·P(3)=2. The IESD process leaves the reduced bimatrix

IIIININIINNI
III5/2, 5/2 5/2, 5/2 (5-P(1))/2, (5+P(1))/2(5-P(1))/2, (5+P(1))/2
INI 5/2, 5/2 5/2-P(2), 5/2-P(2)(5-P(1))/2, (5+P(1))/2(5-P(1))/2-P(2), (5+P(1))/2-P(2)
NII (5+P(1))/2, (5-P(1))/2(5+P(1))/2, (5-P(1))/2(5-P(1))/2, (5-P(1))/2(5-P(1))/2, (5-P(1))/2
NNI (5+P(1))/2, (5-P(1))/2(5+P(1))/2-P(2), (5-P(1))/2-P(2)(5-P(1))/2, (5-P(1))/2(5-P(1))/2-P(2), (5-P(1))/2-P(2)

This bimatrix has nine Nash equilibria in pure strategies: The six pairs (NII,III), (NII,INI), (III,NII), (INI,NII), (III,NNI), (NNI,III), which are Pareto-dominating the remaining three (NII,NII), (NII,NNI), and (NNI,NII).

Class Activity: Compare which one of the students did write down the right strategy. Also have a look on their scores in the class activity above. Were these students more successful than the others?

Overall this result is not very surprising. It simply says that we have three cases depending on the expected value of the award in the second round P(1)+2·P(2)+3·P(3) is less than 2, larger than 2, or equal to 2. If it is less than 2, then we would be interested in an award of value 2 in the first round, since we would expect nothing higher. If P(1)+2·P(2)+3·P(3) is higher than 2, then an award of 2 in the first round becomes uninteresting. However, since both players know that one of them has to take the award in the first round, or otherwise they get into trouble, one of the players has to play the role of "dove" and express interest even if the first round award is not interesting enough. Only in the case of an expected value of the second round award higher than 2 and a first round award of 1, rebellion (not expressing interest) pays for the "dove" player, since even when both fight for the second round award, the expected value for both players remains larger than 1.

In the second part of "Waiting for Mr. Perfect" we will see how one more Nash equilibrium appears if we allow mixed strategies, and we will also analyze the slightly more surprising 4-round version.


Exercises

  1. Analyse the two player, two rounds variant with awards of value 1, 2, or 3, starting with three awards of value 1, two awards of value 2, and only one award of value 3. In the first round one of these six awards is chosen randomly, and in the second round one of the remaining five awards is selected randomly.
  2. How would the game change if the number of available rounds is not fixed at the beginning. Rather after every round, either the whole game ends (say with probability 1/5) or there is another round (with probability 4/5).
  3. Discuss the two player, two rounds version with awards "C", "D", and "E", where "C" is worth 2 for Ann but 3 for Beth, "D" is worth 3 for Ann and 1 for Beth, and "E" is worth 1 for Ann and 2 for Beth.