02.04.2014 Views

Which Alice?

Which Alice?

Which Alice?

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

ALICE IN PUZZLE-LAND<br />

both possibilities la and 1b and seeing that B could answer no in<br />

either case), but if B answered no, the judge would know that B<br />

must be the spy (because 1b is ruled out, since it would mean that B,<br />

a knight, denied that A [a spy] is a spy). So B must have answered<br />

no, and B was then convicted. This completes our analysis of Case 1.<br />

Case 2 can be analyzed in a similar manner, and we rely on the<br />

reader to fill in details. Suppose Case 2 holds. If A was the one<br />

questioned, then he must have answered no for the judge to have<br />

been enabled to make a conviction, and A was convicted. If B was<br />

the one questioned, he must have answered yes for the judge to<br />

have been enabled to make a conviction, and B was convicted. We<br />

leave the verification of these facts to the reader (which, as I have<br />

said, is not very different from the reasoning of Case 1).<br />

Let us summarize what we know so far:<br />

If Case 1 holds, then either A was asked the third question, answered<br />

yes, and was the spy, or B was asked the third question,<br />

answered no, and was the spy.<br />

If Case 2 holds, then either A was asked the third question,<br />

answered no, and was the spy, or B was asked the third question,<br />

answered yes, and was the spy.<br />

We thus have the following four possibilities:<br />

Step 2: This is as far as we can get without the additional<br />

information about the two friends of Mr. Anthony. We are given<br />

that either both of them solved the case, or that neither of them did;<br />

we will prove that it is impossible that both of them solved the<br />

problem.<br />

Consider the first friend: If Mr. Anthony answered him affirmatively,<br />

then the friend would have known that Case 1a must hold<br />

164

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!