You are currently browsing the tag archive for the ‘zero-sum games’ tag.
Department of self-promotion: sequential tests, Blackwell games and the axiom of determinacy.
I am visiting the rationality center in the Hebrew University, and I am presenting some papers from the expert testing literature. Here are the lecture notes for the first talk. If you read this and find typos please let me know. The next paragraph contains the background story, and can be safely skipped.
A self-proclaimed expert opens a shop with a sign at the door that says `Here you can buy probabilities’. So the expert is a kind of a fortune-teller, he provides a service, or a product, and the product that the expert provides is a real number: the probability of some event or more generally the distribution of some random variable. You can ask for the probability of rain tomorrow, give the expert some green papers with a picture of George Washington and receive in return a paper with a real number between 0 and 1. The testing literature asks whether you can, after the fact, check the quality of the product you got from the expert, i.e. whether the expert gave you the correct probability or whether he just emptied your pocket for a worthless number.
So, let be a set of realizations. Nature randomizes an element from according to some distribution and an expert claims to know Nature’s distribution. A test is given by a function : the expert delivers a forecast and fails if the realization turned out to be in . A good test will be such that only `true’ experts, i.e. those who deliver the correct , will not fail. Read the rest of this entry »
I wrote some time ago about Michael Rabin’s example of how a backward induction argument is killed when you require players’ plans to be computable. Since Rabin’s paper is not available online, I intended to post the proof at some point, but never actually got to do it. Richard Lipton’s post about Emil Post is a good inspiration to pay that debt since the concept of simple set, which was introduced by Post, has a role in Rabin’s example.
A set is simple if is recursively enumerable and its complement is infinite and contains no infinite recursively enumerable subset.
For Rabin’s purpose, what matters is that Post proved the existence of such a set. So Post provides us with a code of a computer program that enumerates over all the elements of and such that no computer program can produce infinitely many elements that are not in . By the way, Post introduces the concept of simple set while working on his eponymous problem which Richard mentions. In fact, if is simple set then is not many-one equivalent to a universal recursively enumerable set.
Now let be a simple set and consider the following three-round game with perfect information. At each round a player announces a natural number (an action): First Alice announces . Then Bob announces and then Alice announces . After the game is played, a winner is determined as follows: Bob wins if and is not the -th element in the enumeration of . Otherwise, Alice wins. Therefore, determining the winner is a task that can be effectively done using the code provided by Post.
Does any of the players have a strategy that guarantee winning regardless of how the opponent play ? The answer to this question depends on which mathematical creature you use to model the intuitive notion of `strategy’.
If by a strategy you mean just a function from histories to current action then Bob has a winning strategy: for every that Alice might chose in the first round there exists some such that , since the complement of is infinite.
But if you think of a strategy as a complete set of instructions, that is a plan or an algorithm that will tell you how to produce your next action given the past, then you want to model a strategy as a computable function. Now, for every computable function that Bob can chose, there exists some such that either or since otherwise would have been a recursive enumeration of infinitely many elements of . In particular, there exists some such that if Alice plays in the first stage and in the third stage she wins against . So, Bob has no winning strategy.
Since in the near future I will have to start advocating a computability argument, and since this position is somewhat in contrast to what was my view a couple of years ago when I first came across algorithmic game theory, I thought I should try to clarify my thoughts about the issue in a couple of posts.
The most beautiful example I know for the surprising outcomes we get when taking computability into account in game theory is Michael Rabin’s paper from 1957. Rabin considers a finite win-loss game with perfect information between two players, Alice and Bob. The game is played in three rounds, at each round a player announces a natural number (an action): First Alice announces . Then Bob announces and then Alice announces . After these declaration are made, the game coordinator determines the winner: If Alice wins. If Bob wins. The set , Alice’s winning set, is part of the description of the games. This is a finite game, which can be solved by a background induction. By the so called Zermelo’s Theorem, the game is determined: One of the player has a winning strategy. The identity of the winner depends of course on .
Rabin gives an example for a game with the following propertie:
- is a decidable set: this means that there is an effective way to decide, for every triple whether or not . So the job of the game coordinator in this game can be performed by a computer program. Games with effectively computable payoff are called actual games: These are the games that can actually be played.
- Bob has a winning strategy : whatever actions and Alice chooses in the first and third stages, Bob will win the game if in the second stage he chooses : so that for any
- Bob has no computable winning strategy: For every function that can be computed by a computer program there exist some actions for Alice such that .
Feel the blow ? Bob finds himself in a strange predicament. On the one hand, after observing Alice’s action from the first round, Bob knows that there is some action he can choose that beats any possible response of Alice. However, if Bob tries to `plan ahead’ which action to take after every possible choice of , he cannot produce such a plan. Bob can beat all Alice’s strategies and Alice can beat all Bob’s (computable) strategies. von-Neumann and Morgenstern’s least controversial idea, solving a zero-sum game with perfect information by backward induction, trembles. The argument that in finite zero-sum games with perfect information a player doesn’t care if the opponent finds out his strategy falls apart.
(To be continued…)