Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

175 lines (93 sloc) 27.236 kb
---
description: CMU game connected to error coding theory
...
# The Three Grenades and the Four Noble Truths
Some years ago my family was in Pittsburgh, where we were visiting my sister for Easter. At the time she was a student at Carnegie Mellon University.
## Sinister rites
CMU has long hosted an ensemble of thoroughly geeky malcontents who pass themselves off as a club called the KGB, whom my sister had fallen in among. Now, the KGB had a custom of every semester holding evening revels centering around an autochthonous amusement called 'Capture the Flag with Stuff' (CTFWS).
CTFWS would thrill the heart of any true geek as it appeals to their passion of taking a conventional recreation and rendering it more complex and absurd. In CTFWS, approximately 200 people divide themselves into the two teams of Red and Yellow. Each team is assigned one half of a truly enormous building on the CMU campus; the building is so large that by administrative fiat it is listed as the two buildings of Wean Hall and Doherty Hall, and a player could long range among ts 10 floors and football fields of length without ever seeing another player.
The object if the game is simple: per the name of the game, whichever team first steals the 5 or so flags belonging to the other team, wins. The flags, however, will have been cunningly strewn all across the building, and guards set. These guards will likely be armed, which leads to the second half of the name - 'with Stuff'. The guards could well be inhuman: the teams are issued several glyphs (posters) which are held to have magic powers on that team's territory. One poster, for example, is 'disgusting': should it be placed on a door, an opponent will be utterly repelled by it and unable to proceed through. This poster is frequently used to secure the multiple doors of a lobby. Another poster is the alarm bell - when an opponent comes into eyeshot, a voluble alarm will sound and alert the defenders. (As posters lack any vocal cords or speakers, it is understood that the opposing players will do yeoman's service in this stead.) A final poster simply paralyzes for a minute any enemies who see it.
If the guards are indeed human, then they will likely be armed with any of a variety of wands (foam sticks). A red wand may be discharged at an opponent - in his own territory, and the result is that they are automatically captured and must go to the POW camp. (Fortunately, their immurement need not be permanent as the rules provide for a prison break every quarter of an hour.) However, it may only be employed once and then must be discarded. The blue wand functions similarly, but is less desirable as it merely paralyzes for a time, and in the bustle of events the victim may well escape before being officially tagged and captured. The green wand is of particular note as its sole ability is to neutralize the effects of the belt items.
The belt items are unique artifacts that one cinches around one's waist and invokes. They are very powerful and useful items. One belt is like an ambulatory version of the poster which stuns all enemies in sight; another belt waives the restriction that a player may capture only one enemy, and allows 4 captives. A common tactic is for multiple players to link arms with the wearer (the effect is contagious), and set off into enemy territory. Once there, the bearer and confreres begin skipping along and singing loudly 'Yankee Doodle Dandy'. So long as they skip and sing, the group is immune to all tagging, grenades, belt items, and attacks in general. Such a cohort will, skipping, systematically scour a story for signs of the flags. Eventually they will encounter a defender wielding a green wand. Presently a shout goes up, they leave off singing and skipping, and all flee pell-mell for safety with their precious intelligence.
Already I have alluded to the remaining items: the three kinds of grenades. These are the most plentiful items and argal, most apt to be employed. The blue grenade is a stun grenade. It paralyzes for 15 seconds but it is only effective if the enemy willingly grasps it. This renders it rather ineffective. The red grenade is the 'Ninja Potion' grenade. It is employed on enemy grounds, where one hurls it to the ground (discarding it), shouts "Poof! I'm a ninja!" whereupon all enemies in sight are briefly paralyzed and one presumably effects one's escape. The green grenade is used either when a captive or a prisoner, and it removes both conditions.
Not infrequently it happens that one is tagged/captured while still in possession of items. If the captor sees them, then he may demand that they be rendered up. But suppose a grenade is concealed? (They are the size of a foosball.) Then if the captor knows for sure the item is concealed, he may demand it regardless. But suppose the captor suspects that the captive is concealing an item, but does not know it for sure? He cannot demand it.
At some point the two players will pass into the depths of his home territory, and arrive at the POW camp. At the beginning of the game, one player was appointed Warden and given the power of 'truth serum': once a prison-break cycle, he may select a prisoner and ask the prisoner 6 yes-no questions. The prisoner may lie once, but all other responses are constrained to truth.
Now, the problem arises like this. That evening the KGB had obtained the building for the entire night. 3 games were played. As each game lasts somewhere around 2hours, and involve a great deal of running and shouting up stairs and down halls, the players are uniformly fagged by the conclusion of game 3. Assembling in the auditorium where we had early been instructed at great length on CTFWS, all and sundry began swapping tales of narrow escapes, great victories, dire setbacks, and peculiar encounters, or decisions of the peripatetic judges.
## The Player's Tale
I happened to overhear one such conversation. The player recounted to his friend about his role in the rout of a minor incursion on the 7th floor. He escorted his prisoner back to the POW camp and there had the Warden interrogate him, as it was felt he had concealed a grenade. The Warden, the player said, had asked but 4 questions:
1. Was the grenade he had red?
No.
2. Was the grenade green, then?
No.
3. Then surely the grenade was blue?
No.
The Warden repeated the last question, and this time the prisoner answered _Yes_. The Warden deduced that the contradiction proved that either question 3 or 4 was the lie. If #4, then the prisoner had no grenade. But if the lie was #3, then the true answer was #4: the prisoner's grenade was blue. The Warden proceeded to demand that the prisoner render up the blue grenade. The disgruntled prisoner did so, and the player ended his anecdote one grenade richer.
I couldn't help but feel that the Warden's questions were artless and inelegant. My reading of William Poundstone and Raymond Smullyan's books has inculcated in me an appreciation of logic puzzles and I decided to treat this as one:
> "Your interlocutor has a ball which is one of 3 colors. What is the least number of yes-no questions you need to ask, and what are they, to ascertain the color of the ball? Remember that he may lie once."
My first step was to consider the question from a programmer's view, considering this from an information theoretic view. If we can prove how many questions we need at most, then it will be that much easier to formulate the (possibly tricky) questions.
Now, each question is Yes or No. That is, they are binary. Each question can yield at most 1 bit of information: a bit of information is, pace Shannon, a unit of reduced uncertainty, of certainty. Intuitively, you can think of it as letting you choose between possibilities, to uniquely specify one item out of a bunch. Suppose we are ignorant of which of 2 states to choose. Then we need 1 bit. Suppose it's 4 states; we divide it into 2 groups of 2, and we need 1 bit to choose between the first and second group, and then we need another bit to choose within the group. So 2 bits can choose between 4 items. 8 items become divisible into 2 groups (of groups of 2) - the first bit chooses between groups-of-groups, the second between groups, and the third bit between 2 choices. So 3 bits can choose between 8 items. The pattern is obvious by this point: if you have _n_ bits, they can uniquely identify one item out of 2^n^.
Let's tackle a simplified form of the problem, a version without any lying. Suppose the ball in this case is either red, or it doesn't exist at all. You are informed he has a ball. How many questions do you need to ask? Obviously there's exactly one possibility; it's a logical certainty that the ball is red. It takes 0 bits to specify 1 item out of a group with only 1 item. You already know what the answer is, so therefore you need 0 questions.
Suppose now that the ball is either red or blue. Now there's two possibilities, but still only 1 can be true. We said earlier that 1 bit specifies out of 2 possibilities, so by that reasoning you need ask only 1 question. Let's convince ourselves that this is true. We can't get away with asking 0 questions - it could be either. We could guess and perhaps be right, but no matter how often our interlocutor chooses red, we could never be absolutely sure. So 0 questions is right out. We could try asking 2 questions, such as 'Is it red?' 'Is it blue?'. This would work, surely. But one can't help but notice that every Yes will be followed by a No, and vice versa; indeed, this follows from the law of the excluded middle - the ball can't be both red and blue, nor neither red or blue. So one of the questions is redundant. Which leaves us asking exactly one question: 'Is it red?' If Yes, then that's the answer; if No, then it must be blue. One question suffices, just like expected.
Let's go up a power. 2 bits specify 4 possibilities (2^2^ = 4). So if the ball was of 4 colors, we could ask 'Is it red or blue?' A Yes answer reduces it to the previous 2-color problem, and we know only 1 question is needed to solve the 2-color problem, so 4 colors requires just 2 questions/bits.
Our actual problem is 3 colors, not 4. Yet we can solve it just like 4; a fortiori, 2 questions will work. Certainly, we can use the 'excess' to reduce the amount of thinking we need to do - for example, if we have only 3 colors, we can elegantly ask 'Is it red or blue? Blue or green?' Then _YY_ = blue, _YN_ = red, and _NY_ = green. Note that _NN_ is missing; it does not correspond to any color (that's the wastage).
My response to the two players followed this approach. Assume the prisoner lies. That means one of the questions, one bit, must be discarded. Then we need to cover 3 possibilities with n+1 bits; 2 bits cover 4 possibilities, so 2 bits cover 3 possibilities as well, and 2+1 = 3. So 3 questions suffice.
What are the 3 questions? well, let's follow our model. The key is overlapping disjunctions which sum to Truth. The simplified 3-color problem had 2 questions of `(r or b)`, `(b or g)`. The liar version must scrap a question. So our 3 questions look like: `(r or b)`, `(b or g)`, `(g or r)`.
Let's give that a try. The prisoner has a red grenade and doesn't lie: _YNY_. 'r' is the common factor, and so the grenade must be red. Suppose he lies on the first question: you discard to get _NY_, then it is neither b or g, but g or r. Again, 'r' falls out as the only consistent answer. And this reasoning is symmetrical, so it doesn't matter which question he lies on: either way, we can figure out the answer in 3 questions, exactly as our informal information-theoretical argument says.
I suggested this to the two players and after some thought, they assented: those three questions did the trick. I thought it was an interesting problem, and continued until I'd convinced myself by the foregoing chain of reasoning that 3 was the minimum, that there was just not enough information in even the most contrived set of 2 questions.
After that incident at CMU, I occasionally brought this problem up in conversation as a nice logic puzzle found in the real world. But one day discussing my solution with a Haskell programmer, he kindly informed that my solution was incomplete. As proof, he asked me to deduce the color if the response was _YYY_. I froze. Any of the replies could be the lie. The true answer was indeterminate; all one could deduce was that there was a lie in there. I was thunderstruck, and my attempts to salvage my 3 questions in some manner all foundered.
After further discussion, I realized that my previous proofs had been naive and their lack of rigor directly led to my fatal mistake: in my arguments, I had smuggled in illicit information; specifically, I had assumed one just somehow knew which reply was the lie (if any) and that one could then discard it, and solve the no-lying problem. Of course, one doesn't know which reply is the lie! That's further information one needs to obtain!
Information theory had served me well, and had done as I had asked - but I hadn't realized that my proof didn't apply. A better analogy was needed. I found the analogy in another area of computer science: in coding theory. In this case, I mean by coding theory the study of how to detect and correct mistakes in a stream of bits, what 'error correction codes' are, and how they can be devised. With coding theory, we are conceptually sent a stream of bits and nothing else. Sometimes one of the bits will be corrupted (flipped). We know we can add further bits to detect errors: for example, suppose we know a stream will have at most 1 corrupted bit. Then we can tack on a number which says 'the previous stream had 10 zeros in it'; then if a 1 is flipped to 0, or a 0 to 1, we can add up the zeros and see that they don't match (if the added checksum is corrupted, then the correct stream won't it either, and we'll still know something went wrong).
Sometimes we don't need an explicit checksum or ECC bits, since a bit-stream might have constraints or a known structure. For example, one knows an ASCII file is supposed to a newline terminator, and that bytes generally don't have the high-bit set. Similarly, our 3 questions only have 3 valid streams: _YYN_, _YNY_, and _NYY_. (Each color is present in 2 questions, and absent from one question.) The 3 valid streams have an important property: if we get them, then we know that the entire sequence is truthful. Were one not truthful, then either a true _N_ would be turned into a _Y_ (in which case our answer must be the degenerate _YYY_) or a _Y_ would be _N_ (in which case the obviously lying _NNY_, or a permutation); either leads to contradictions. So if we're given a valid stream, we can reason that there is no lie and then we can deduce the color of the ball. Even more important is the consequence: in the case of a _NNY_, or a _YYY_, we now know that the lie has been used up. The prisoner only gets one lie and that's it. The next answers must be truthful.
Let's consider _NNY_. We know the Y must be true, since the prisoner only has one lie: he could not flip a _Y_ to _N_ and also a _N_ to _Y_. If we assume the _Y_ is a lie, then we get the impossible result that _NNN_ is completely true^[Remember, we're assuming that he does have a ball and the problem is figuring out its color.]. So there are only two possibilities as to the lying reply: _N_ and _N_. Fortunately, one question suffices to distinguish. 'Is the first _N_ a lie?' 'Yes'. So `(r or b)` is True, `(b or g)` is False, and `(g or r)` is True. The common factor between 1 and 3 is 'r' - the ball is red. Be the answer 'No'. then the second _N_ was the lie, and so it is `(b or g)` and `(g or r)`; the ball is green.
Thus 4 questions suffice for all possibilities other than _YYY_. Can we solve that too? We know that one answer is a lie. But we cannot use the same strategy as before! Suppose we asked if 1 is the lie, and we are told 'No'. This 'No' is true, as we already know. So was it 2 or 3 that was the lie? Either is possible, either is consistent. One question can't distinguish between 3 possibilities. 'Was 1 or 2 the lie'? 'Yes'. Then we still have to choose between 1 and 2. We can clearly patch things up with a fifth and final question about the last two possibilities, but what a defeat this feels like! To go from just 3 questions to 5!
Can we be more clever than 5 questions? It takes 2 questions, we know, to decide the color. That is because there are 3 colors. But the lie bollixes things. Perhaps we can handle the lie in 2 questions as well. Does this work from an information-theoretical view? Well, aren't there 4 possibilities here as well? Either the prisoner doesn't lie at all, he lies on the 1st question, the 2nd, or the 3rd. This is an exhaustive listing. We need to pick out the correct item. So we need a total of 4 bits to solve this question. But this assumes that there's no inefficiency, that we are wringing a full bit out of each question. Previously I mentioned that the triply-entangled questions were inefficient, in a sense. So we need a new set of questions.
Our intuition here about 'sequences that cannot be transformed into each other' can be formalized a bit more. (I am indebted to this general approach to the lovely book _[Flatterland](!Wikipedia)_.)
Imagine one of those tinker-toy sets, or one of those chemistry models with the balls and sticks. A stick and a ball can represent a bit. If we stick a ball on the left, then it is a 1; if we stick it on the right, a 0. We slide the ball down the left - now the 0 has been flipped to a 1. This is simple enough; no bits correspond to a lonely ball with no stick to slide on; one bit is a rod with 2 endpoints for the ball to be at. (This should start sounding familiar.) What then is 2 bits? Why, a square of course! If a line has 2 endpoints, then the next step is a square with 4 corners. Let's label them: the one closest to us is 00, the one to our left is 10, the one to our right is 01, and the furthest one is 11. Now here's the interesting bit: our bit stream of 2 bits, in its entirety, is just the ball we push from corner to corner. We didn't notice this identity in the case of the line and bit - we could think that it was just a coincidence. But what's a lie, or error, in this model then? A lie is our opponent being able to push the ball one position (without us seeing). So suppose the ball is sitting at 00; with one push, our opponent could push it left to 10, or right to 01. But he couldn't push it to 11, since he'd have to push it to 10 or 01, and then push it round the corner a second time. So 11 is right out. The next step up is 3 bits, with 8 corners, but that means a hypercube and those are a little hard to visualize, so let's stop there.
Let's go back to the original problem. How does this way of thinking help us? Well, our three questions were erroneous. Why? Because in our hypercube, our valid answers were all positioned just one point separating them from each other. So a lie could move the ball 1 up and then we couldn't figure out which way the ball came from. What we need is to put 2 points between each of our valid points. This reasoning tells us we do need a fourth question: we can't arrange 8 points such that there are 2 points in between each valid point. (Think of it as a circle: 2 points, point, 2 points, point, 2 points, point - all adds up to 9 points total, which is more than we get.) So we have more requirements: we must use up 4 questions, and each valid sequence has to be corruptible by 2 lies (but not 1). The latter implies we ask about 2 of the colors twice and let the third take care of itself. This approach will lead us to the answer.
Again, our problem stems from the fact that each valid answer can be turned into the lying _YYY_ sequence by a single lie. Just given _YYY_, we don't know which 'true' sequence the prisoner started from. If we could somehow make each valid sequence be convertible into a different lying sequence then the other 2, then we could reason backwards from the lying sequence to the valid sequence, and from thence solve the problem. With 4 questions and 4 replies how do we do that?
One's first impulse is probably to try to simplify things again. With 4 questions, can't we ask "Is it red? Is it red? Is it blue? Is it blue?" Obviously with all truthful answers, we can know what color it is; better, we know that there were no lies here, since it's all consistent. And it even seems to work if the grenade is red or blue. But unfortunately, these 4 questions can be defeated: suppose the answers are _NNNY_. Clearly one of the two last questions is a lie. But which one? It could be #3, in which case the grenade is blue. But it could just as well be #4, which makes the grenade green. We don't know which. So this sequence fails. But it does seem to be on the right track - it *almost* works. And our spidey-senses should be tingling: there feels like there's something wasteful about these 4 questions. Our last 2 questions are doing yeoman's service in exposing the vicious contemptible lie of the prisoner, but the first 2 are not really doing anything useful. How can we make them do more work?
We can do that by making the questions even further entangled. Consider the 4 questions: 'Is it blue or red?' 'Is it blue or red?' 'Is it blue or green?' 'Is it blue or green?' Note how blue now appears in every question, where previously each color only appeared twice. This sequence has the property we seek. There are 3 valid sequences of replies: _YYNN_, _NNYY_, and _YYYY_. No matter which reply is a lie, it doesn't get turned into a lying sequence which is reachable from one of the others. The possible lying sequences are _YYYN_, _YNNN_, _YNYYY_ and so on. We can satisfy ourselves of this by exhaustively listing out the 15 possible responses (4 bits have 16 possible values, but a _NNNN_ is the sole impossible sequence, so there's just 15 possible sequences).
And that's that. we have learned that while the Warden was correct in using 4 questions, his particular set of 4 only worked because the prisoner chose the suboptimal strategy of denying everything. After several false detours, much interesting thinking, and a perhaps surprising amount of computer science, we have found the answer to this deceptively simple problem. The problem can be solved by just 4 questions, that lead to 4 truths.
> "And thus do we of wisdom and of reach,
>
> With windlasses and with assays of bias,
>
> By indirections find directions out."
## Boxo's Tale
Haskeller [Boxo](http://oneboxo.wordpress.com/) (he of the [decision theory monad](http://oneboxo.wordpress.com/2011/01/25/udt-diagrams-in-haskell-or-decision-problems-form-a-monad-draft/)) offers the following twisty examination of a very similar problem to the preceding where one *can* learn the truth in just 2 questions:
---
Suppose you want to know whether _p_ and there is a person that knows whether _p_, but they may lie depending on arbitrary circumstances, including what question they're asked.
Ask them this:
> "If I asked you whether _p_ and your choice of lying or truth-telling was the same as in the case of this question would you answer yes?"
1. _p_ and askee truth-tells:
_p_ and askee's choice is truth-telling, so they would answer "yes", and since they're truth-telling, they answer "yes"
2. not _p_ and askee truth-tells: "no"
not _p_ and askee's choice is truth-telling, so they would answer "no", and since they're truth-telling, they answer "no"
3. _p_ and askee lies: "yes"
_p_ and askee's choice is lying, so they would answer "no", but since their choice is lying they answer "yes"
4. not _p_ and askee lies: "no"
not _p_ and and askee's choice is lying, so they would answer "yes", but since their choice is lying they answer "no"
So they will tell you the truth about _p_.
### The 2 Questions
Now, to find out the color of the ball, just ask the two questions you would ask of a honest person, namely:
> "Is it green or blue"?
and if the answer is yes, "Is it green?"
But replace them with the propositions "It is green or blue" and "It is green" and ask them in the place of _p_ in the question:
> "If I asked you whether _p_ and your choice of lying or truth-telling was the same as in the case of this question would you answer yes?"
The askee will always answer with the truth, and you will find out the truth in at most two questions.
### The 1 Model
Here I'll explain my technique in coming up with the answer.
In my model, a person chooses whether to lie or tell the truth, not whether to say "yes" or "no". More precisely - an answerer has access to a function evaluate of type `(Proposition -> Bool)` such that `(evaluate p) = True iff p`, and for every pair of answerer and circumstances there is a function `f` of type `(Bool -> Bool)` such that when you ask of them "p?", they answer with `(f (evaluate p))`. In the case of an answerer who has decided to lie, f=not. In the case of a truth-telling, `f = id`^.[[id](!Hoogle) is the identity function, defined as `f x = x`]
Now, you just ask "given that in the current circumstances your function is `f`, is it the case that `(f (evaluate p)) = True`?". As an answer, you'll get `(f (evaluate [(f (evaluate p)) = True]))`, which is equivalent to `(f (f (evaluate p)))` since - ie., for liars and truth-tellers, `(not (not (evaluate p)))` and `(id (id (evaluate p)))` respectively, which both reduce to `(evaluate p)`.
### The Null Case
But consider answerers who have decided to either answering "yes" or answering "no" to your question.
In this case, `f = (const True)` or `f = (const False)` respectively. You may see the problem: no clever question will help you if in the end a [constant function](!Wikipedia) is applied to the answer. The solution presented above fails in the presence of "constant answerers".
### The One True Question
Here's a way to arguably get the answer with just one question in the absence of constant answerers & allowing non-answering^[In some respects, this is smuggling in additional information; there are connections to denotative semantics in computer science and the [bottom type](!Wikipedia).]. Consider this proposition:
> "The ball is green or it is the case that the ball is blue and this proposition is false."
It's true if the ball is green, false if the ball is red, and undefined if the ball is blue.
Now just plug this proposition into our liar-rectifying question like so:
> "If I asked you whether the ball is green or it is the case that the ball is blue and this proposition is false; and your choice of lying or truth-telling was the same as in the case of this question, would you answer yes?"
Now ask the above question. If they answer "yes", the ball is green. If they answer "no", the ball is red. If they answer nothing, or if they answer "mu", or if their head explodes, the ball is blue.
# External links
- ["Error correcting codes: Why your texts don’t end up as gibberish"](https://nolaymanleftbehind.wordpress.com/2011/07/11/error-correcting-codes-why-your-texts-dont-end-up-as-gibberish/)
Jump to Line
Something went wrong with that request. Please try again.