Talk:The Hardest Logic Puzzle Ever

From Wikipedia, the free encyclopedia

Contents 1 Apparent Single-Question Solution to the Clarified (Boolos) Puzzle 2 Anonymous assertion and discussion regarding "More rigorous interpretation of the puzzle?" 3 A more rigorous interpretation of the puzzle? 4 A more difficult version of the question 5 Discussion of more difficult version 6 Return to more rigorous interpretation? 7 Question on original text 8 Exploding heads 9 Discussion of "Reservations" 10 Moved from article 17 July 2007 11 Weird picture

[edit] Apparent Single-Question Solution to the Clarified (Boolos) Puzzle

PhysicistQuery 09:08, 23 July 2007 (UTC): It appears that a single (logically trivial) question of the following nature solves the "completed" version of the puzzle:

"This question is for the god called False:

Is exactly one of the following two statements true?

Statement1: Either A is called True or you are A and B is called True

Statement2: Ya means Yes

Clearly, this is not the intended solution, but I cannot find why it should not be valid. Can someone either find the catch, or suggest why it has not previously been proposed? (My guess would be the wording of the puzzle and the powers of suggestion)

lwr314: We briefly considered such `questions' and decided that they were not legal. For one thing, it breaks 'each question must be put to exactly one god' since you are putting that `question' out there and each God thinks 'am I False?' and answers if he says 'yes' to himself. The other Gods are silent. So you are really asking three questions there since you are asking it to each God

Perhaps a bit simpler would be:

"This question is for the God called False:

E("Is the God to your left (in cyclic order) True?")"

Whichever God speaks is False and his answer determines the other two.

But it really is three questions. It isn't a very good three question solution either since it uses silence -- it is easy to solve it in two questions using silence.

PhysicistQuery 09:12, 24 July 2007 (UTC) I'll accept that the question by name can be interpreted as four questions, although I'm not clear how that is different from a question by position given that you possibly cannot identify the front of a god (and they may have undefined special powers). It's not worth re-arguing at this point, as it is uninterseting except insofar as it highlights how the question's wording might be tightened

lwr314: If you face each God and ask it, that is three questions (why would you not be able to repeat the same question to more than one God? That is the oddest constraint ever. You've got to stop with these weird rules. Like i said before, we can add as many of these arbitrary rules as we like -- may favorite is ``No use of the letter `e' in your questions, the puzzle doesn't say that we can, so to be safe...).

PhysicistQuery 21:52, 24 July 2007 (UTC) You write "why would you not be able to repeat the same question to more than one God? That is the oddest constraint ever"

I agree that it is an odd constraint, but it is not mine. The question reads "each question must be put to exactly one god". "Put" does not necessarily describe a single event, so your own objection as I quote it illustrates very nicely why the interpretation I used holds up. It is of the class that you must allow for, but cannot rely on.

lwr314: What? A question is a question, not a question form or a collection of questions that have all the same words in the same order. When i ask `Is the sky blue?' at 3pm and then i ask `Is the sky blue?' at 5pm, i have asked two distinct questions -- distinct since they have different properties (one of which is the time of asking). So, `putting a question to a God' is necessarily a single event. Just use normal English instead of some crazy new language and there will be no problems of interpretation.

Three does not necessarily mean the integer 3, actually all the puzzle meant was that the number of questions needed to be 3 in Z_5. So 8 or 11 or anything 3 modulo 5 is a fine number of questions. It didn't say it was talking about Z, must account for it being Z_5, or Z_2 even -- then i only get 1 question.

That is not a reasonable interpretation, just as your interpretation is not reasonable.

PhysicistQuery 14:15, 25 July 2007 (UTC) You are being condescending, and at the very least verging on rudeness. Please stop and reconsider.

This interpretation of the word "question" is not uniquely mine. Not only did you yourself use the word "question" in specifically the sense you are now decrying, but also Webster gives "an interrogative sentence or clause" as a principal definition for "question"; you can find this for yourself on the web. If you wish to argue this with the compilers of Merriam Webster, please take it up with them.

lwr314 (continued) i just don't understand how you read all these weird notions into a perfectly normal English sentence. Clearly, the clarification "each question must be put to exactly one god" is meant to disallow questions that are directed at more than one God simultaneously.

If you want to continue espousing these weird interpretations, i recommend making a new Wikipedia entry to house them (perhaps titled `fyz's interpretation of the text of the Hardest Logic Puzzle Ever translated into the native fyz tongue').

Arbitrary non-standard interpretations of words are not interesting.

PhysicistQuery 14:15, 25 July 2007 (UTC) So far as I know, solutions using the "don't know" option were not considered by Boolos. Nor did he repeat a question in any of the direct senses ^f. Not having godly powers, I cannot say, but it is possible that he relied on one of the areas that might disallow this, i.e.: uncertainty about interpreting the gods' answers; potential interpretations of "question"; ditto of "yes/no question"; or, "god" meaning some undefined but extended power. In any event, you cannot have it both ways - either this is about Boolos' paper, or it is about the Puzzle. If the former, that is what you should call it, and perhaps include valid critiques of the wording (including the additional solutions it allows); you could even justify excluding solutions to a different puzzle that allows the use of uncertainty. If it is about the puzzle, the encyclopaedic article should of course stick to a combination of published material and contribution by invited acknowledged experts (unfortunately, I don't think that Wikipedia has a mechanism for the latter); but I believe the talk section remains a suitable place for discussion of alternatives and ambiguities.

^f When creating questions, I would personally try to create then so that even the indirect equivalence (any combination of logical and semantic steps) was avoided. In the end, however, I would abandon the more remote steps if they precluded finding an answer - the remote equivalence one would come first, but I'd be in some doubt about the ordering for the others. Fortunately, the case does not arise, as there is no need even for this type of duplication.

It seems to me that you are strongly wedded to unique interpretations - by unique I mean single, rather than unusual. If this is a puzzle, the solution is generally considered to be wrong if it does not work with all meanings that can be ascribed using dictionaries (combined with Fowler).

lwr314: Yeah, and `question' used to mean `dog-like creature with raised ears' in Zawenzian English. If you want to go interpret the puzzle in some English other than the English which Boolos' spoke and understood, that is fine. However, you are then discussing a *different* puzzle.

PhysicistQuery 14:15, 25 July 2007 (UTC) Perhaps you should check your facts before indulging in sarcasm? See above.

lwr314 (continued) 'The Hardest Logic Puzzle Ever' refers to a puzzle by Boolos!

That includes his interpretation. A pile of text on paper is not a puzzle, it is a pile of text on paper. An interpreted pile of text on paper can be a puzzle. Boolos' interpreted his pile of text on paper and that is called `The Hardest Logic Puzzle Ever'. If we deviate far from his intended interpretation then we are discussing a different puzzle. You are deviating massively and it is tiresome and uninteresting.

PhysicistQuery 14:15, 25 July 2007 (UTC) You are being condescending, and verging on rudeness. Please stop and reconsider. The actual point is answered elsewhere. (N.B. Are you saying that your paper where you repair Random doesn't deviate from Boolos' article?)

Fyz (24July continued) BTW, the idea of worrying that the constraints are odd or capricious seems very strange to me in the overall context of this puzzle.

lwr314: What? Why can you not understand that we can add any number of other arbitrary constraints? Should we not worry that they are odd? You just refuse to understand this point. You cannot use the letter `e' in any question! In old English a `puzzle' was something that needed to be done under water, so you need to solve this puzzle under water to be `safe'!

PhysicistQuery 14:15, 25 July 2007 (UTC) There is a difference between the constraints being added or being dictionary/Fowler interpretations of the wording of the question. The constraints you recognise are already odd - so oddness cannot in itself be a reason for rejecting an interpretation.

lwr314 i don't particularly like it as a three question solution since those are not yes/no questions (in the usual English sense -- ``Are you going to say `no' to this question? is a yes/no question in the usual English sense). You can go and change the meaning of `yes/no question', that is fine, but then you are speaking a *different language*, not English.

PhysicistQuery 21:52, 24 July 2007 (UTC) I agree with that - my oversight. It's only a valid question if you regard it as only being addressed to the god who is named.

Fyz: However, even if you allow this, the "two-solution" question remains unreliable, both because the gods might know what Random will answer, and because nothing in the question says that True cannot say "I don't know" - which could sound very like Yes or No to people unversed in the language. (And there is the issue of whether this is a yes-no question - which also affects the "single" question if you regard it as addressed to other gods than intended)

lwr314: What? How could it possibly be relevant that ``I don't know could be misheard as `yes' or `no'?

PhysicistQuery 21:52, 24 July 2007 (UTC) I thought of some possible objections, but that one quite took my breath away. The question doesn't say "... to devise some questions that would determine the identities if you could understand the answers ..." but "... to determine the identities ...". this is precisely the type of interpretation that you have to allow for, but cannot rely on.

PhysicistQuery 20:02, 23 July 2007 (UTC) Hmm - I think that is pushing things more than a little, especially if you support the view that repeating the same question could be permitted. When giving tutorials, I have frequently addressed a question by name to an individual in the group, and I have no doubt that everyone present would have considered that I put the question specifically to one individual. It's a bit like saying that, because the other gods might hear when I address a question to A that I have addressed it to them also. My view would be that if True, False, and Random are the gods' names, less consideration is likely to be required as to whether they are True, Random, or False than whether they are A, B, or C (or equivalently, whether you are 'facing' them or one of the other gods). My view is that, if you wish to avoid that possibility, just as for the delayed response and the nature of Random, you would be better to include it in the basic wording of the puzzle.

lwr314: There is a big difference between the situation you describe and the situation at hand; namely, you do not know which God you are addressing, you know his name, but you don't know which God that name picks out. The question `must be put to exactly one God', not `put to the name of exactly one God'. *put to the God*, meaning you look at him and you ask the question. You h

The other objection is the reason i was writing `question' in quotes. That is not a question. It is like a conditional question (as the recipient of the question is unknown to the asker when it is asked -- his name is known, but not *him*). All we have to do to rule out odd things is to speak and understand English.

Fyz: Actually, I did think of a potential problem - there is nothing that allows you to assume that all the gods are within hearing range for a single question; however, that objection should not work for a god ^a, and also requires the sort of puzzlers' "must make no assumptions that can be refuted by a tenable interpretation of the question" that appear to be so alien to other contributors to this talk page.

lwr314: It's not about `making no assumptions that can be refuted by a tenable interpretation of the question'. It is about speaking English and understanding English.

PhysicistQuery 09:12, 24 July 2007 (UTC) Put it how you will. Understanding English in this context includes both understanding what the words must inevitably imply, and what they may imply. You can make use of the first, but your solution must be tolerant of the second, although it cannot make use of it.

^aMy understanding that their being puzzle-gods would invalidate this objection, as being a 'god' includes that they would know (including hearing) everything relevant, otherwise they would be oracles (special knowledge of the future only), or priests (behaviour constrained by duty)

The above, like my taking the view that nothing may be assumed that a tenable interpretation of the puzzle would disallow, rests on my experience studying in the same group as a dedicated group of puzzlers very many years ago. (As you have probably gathered, I am not normally a dedicated puzzler, but was tempted by the title of this puzzle.)

While in discussion, you were pretty heavy on the use of splitting as an extension. Personally, I would regard this as less trivial than duplicating the double negation - and at least it renders some purpose to the Ya-Da extension. (In fact, once I had thought about it I would probably include it anyway, as it doesn't delay the latest point at which you know the identities, and it gives a 1/3 probability that you discover the meanings of Da and Ya, as I tend to be greedy where titbits are concerned.)

BTW, wouldn't left-right in cyclic order require that you know the left and right of a god - or include the definition that left and right are as seen by yourself. (Next in cycle ABC might be simpler, but still fallible as a perverse god would simply return his answer for Random on every occasion). In any event, most of the complexity is in living with Ya/Da - four words versus parentheses is not a bad trade for a verbal inter-species question.

DoctorCaligari 29 December 2007

It seems to me that any question to a god regarding either the identity of another god or how another god would respond to another question assumes more than the given information. We aren't told, nor is it fair to assume, it seems to me, whether the each of the gods are aware of each others' identities and answering patterns. —Preceding unsigned comment added by DoctorCaligari (talk • contribs) 09:21, 29 December 2007 (UTC)

[edit] Anonymous assertion and discussion regarding "More rigorous interpretation of the puzzle?"

Anon: Everything below should be removed. This is not the puzzle. It is simply Fyz's unique re-interpretation of the puzzle. No academic articles published on the puzzle have supported Fyz's interpretation. The Hardest Logic Puzzle Ever is the puzzle published by George Boolos (which can be found Here). Any "controversy" over Conditions 1 and 3 below are settled in that article. Condition 2 (which would be better worded as "The gods will grant an answer to any yes-no question that they can answer") is nowhere to be found in the article. The possibility of unanswerable yes-no questions by all knowing gods was probably just not considered. But this possibility provides for very interesting solutions that have philosophical implications related to the Liar's paradox. Furthermore, as lwr314 has proven, Fyz's added constraints in conjunction with the standard interpretation of the puzzle makes it unsolvable and thus uninteresting. I leave it to others to fight with Fyz. I have made the case against her already before but she seems stubbornly committed to a misinterpretation.

Fyz 16Jul: It appears that you have taken it on yourself to remove the entire contribution. Please explain on what authority and expertise you do this. Note that I am by no means alone in believing that the puzzle solved by Boolos is not the same as that posed by Smullyan - see for example http://www.uweb.ucsb.edu/~rabern/SSHardPuzzle.pdf, which is reference 4 of the main article. What I have done is to elucidate why Smullyan's puzzle as written might be worth more attention than it has heretofore received. I now understand that everything in the encyclopaedic section needs to be referenced to other work, so you would be correct to remove my extension to the puzzle as written.

Anon the monkey: Look, man, there is no such thing as "Smullyan's puzzle as written". You have made this up. There are Smullyan puzzles as written but none of these are The Hardest Logic Puzzle Ever. There is Boolos' puzzle, i.e. The Hardest Logic Puzzle Ever, which is inspired by (or Boolos' re-working of or Boolos' take on or Boolos' memory of) certain Smullyan puzzles. I don't know how else to convey this. It is getting silly.

The Hardest Logic Puzzle Ever is not equal to some puzzle x such that x was authored by Smullyan.

The Hardest Logic Puzzle Ever is equal to some puzzle x such that x was authored by Boolos and was based on some puzzle y such that y was authored by Smullyan.

PhysicistQuery 21:37, 18 July 2007 (UTC) I know I won't convince you - you are wedded to the puzzle as you first met it. And maybe that is my issue too - I first met it without the clarifications - and came up with the confused gods and Boolos' solution on my way to the answer that made use of what you describe as broken random. The "difficulty" of the puzzle as I met and interpreted (see note next para) it was in the presence of red herrings. Given that I had come up with both solutions presented on the article page on the way, I think you must agree that the unclarified puzzle was more "difficult" for me than the clarified and fixed one would have been.

Note: this interpretation used the standard method for puzzles - that the solution must work for any tenable interpretation of the wording of the puzzle, and nothing that is not in the wording is used if it can possibly be avoided. Under that method Boolos' "clarification" really is a significant change - and I can't be the only person to see it like that, or he wouldn't have needed to answer that question in the first instance.

[edit] A more rigorous interpretation of the puzzle?

(by Fyz)

A safe solution to any puzzle would make no assumptions that are not fully supported in the text of the puzzle. Although the puzzle as formerly interpreted remains both demanding and interesting, the derivation of solutions that would allow the gods' identities to be ascertained under other assumptions as well as under those made is even more demanding - and in my view more valid in terms of the puzzle as written, rather than as interpreted by Professor Boolos. This section is an attempt to outline the range of conditions under which a valid solution must still work. (The detail below is being gradually updated)

Condition1: The gods may answer any question at any time that is soon enough for you to reach the desired conclusion, and will answer in such a way that you know they are answering one of your questions. (These last two constraints are not explicitly supported, but are implicit in the puzzle being soluble). Note that this is not saying that this is what will happen - only that a satisfactory answer must still work if it does.

Justification: There is nothing in the question to indicate that the gods will answer each question before the next one is posed; indeed, they may not answer the questions in the same order that they were asked. That means that if you ask any one god two questions, there is no way to be certain that you will no which of his answers applies to which question. Note also that this possibility was specifically excluded in Professor Boolos' clarification, but its inclusion makes for a more robust solution - and a more demanding puzzle.

Condition2: The question as posed must be answerable truthfully by an answer that is either yes or no.

Justification: Again, we are taking into account a worst-case interpretation - we have no reason to suppose that the gods will not behave according to this very narrow interpretation of a yes/no question. In addition, for safety we should assume that including any question of this nature may allow the gods to answer none of the questions, as they can regard you as having breached the conditions of the puzzle. Note specifically that this possibility excludes the existing solutions outlined in "Exploding God-Heads". )

Condition3: "one god per question" can mean not simply that each of your three questions should be addressed to a single god, but that you cannot repeat the same question addressed to different gods. For safety, "the same" should be interpreted in the widest manner possible.

(Notes: If two questions yield the same information, they could be regarded as being the same question. Also, questions with identical wording that are addressed to different gods could be regarded as identical. On that basis, we should cater for the possibility that any sequence of such logical and semantic steps between two questions would allow the gods to treat them as identical, and thus not be obliged to answer. As an example, that would make the following two questions identical: Question to god A: "Is B Random?"; and, Question to god C: "Is A either True or False").

As this "rigorous" interpretation of the question appears to be recent, I am not immediately posting the answer here. I will however say that it appears to require that the behaviour of Random needs to be as worded in the puzzle - Random's answers are either true or false, rather than randomly da or ya. For those more inclined to doubt that such a solution is possible, my attempt at a solution may be found at http://cr4.globalspec.com/thread/8840#newcomments post #59. (The wording of each "Statement 1" is logically OK, but could be improved to show it's relation to the original puzzle - see below for details)

Fyz

[edit] A more difficult version of the question

(which also has a solution)

Just add the following to the end of the question:

The gods will not answer any question until after all three have been posed, and will not answer any of the questions if the answers to any two imply the answer to the third.

I have a more difficult version, too: You don't know the words 'da' or 'ja' - You only know that there exist translations of 'Yes' and 'No'. So the first question can not contain "...Does 'da' mean 'yes'..." but "...is in my alphabet the translation for 'Yes' before the translation for 'No'...". The difficulty is that in the end the outputs "da. da. da." and "ja. ja. ja" are the same cause you don't know the other word. de:User:Träumer 17:32, 11 February 2008 (UTC)

[edit] Discussion of more difficult version

Anon: [HOW IS THE LAST CONSTRAINT RELEVANT?] Fyz: It is merely an additional constraint that makes life a bit more difficult - just like each of the constraints in the question. Once you try working with the full, worst-case interpretations of all the constraints you should see how it works together to make a really tight puzzle.

N.B. that the first clause of this extension is not strictly necessary.

Anon: [POST YOUR SOLUTION. I'D LIKE TO BREAK IT.] Fyz: I will be pleased for you to try. I will place it in due course - but I'd like to give others the opportunity to claim first independent solution - placing my own would "spoil" this. N.B. Have you checked out my solution to the strong interpretation of the original puzzle yet?

Fyz

[edit] Return to more rigorous interpretation?

lwr314: It is not possible to solve the puzzle if 'The gods will not answer any "question until after all three have been posed'. It isn't even possible if the Gods answer yes/no instead of ja/da.

Here is the simple proof of this fact:

Assume (to reach a contradiction) that we can solve the puzzle thusly. Then we have 3 questions Q1, Q2, Q3 that we can put to gods A, B, C respectively and after we have asked them all get responses R1, R2, R3. Since one of the gods is Random, we gain no information from his response. Since each response distinguishes at most 2 possibilities (yes or no), and only 2 responses give information, we can distinguish at most 4 possibilities. But we have solved the puzzle and thus distinguished 6 possibilities. This is a contradiction.

Here I have assumed the modified puzzle where Random randomly answers yes/no instead of Boolos' broken random. It may be possible to solve it under such conditions using Boolos' broken Random.

Fyz in reply to lwr314: As you rightly say, yes/no and ya/da are irrelevant to the solution. But, like most of the objections to my signed contributions, you are not working with the question as posed; unlike the others, you appear to recognise this.

Working with the question as posed: clearly, the very possibility of a solution relies on the fact that Random answers either truly or falsely. You can therefore formulate the question so that Random's answers are meaningful. Simply modify one of the standard "double negative" statements (for example) as follows: "When you answer this question, you speak truly".

lwr314: See my response on the discussion page for a response to this.

Another thing to note is that since you are using Boolos' broken random, by the methods in the 'Random's behavior section', your 'more difficult puzzle' is equivalent to the following trivial puzzle. Fyz: What you write is not my "more difficult puzzle", just my more rigorous interpretation of the original. The "difficulty" in the original puzzle as written is more in interpreting the puzzle than finding a solution, so this rather bypasses that.

lwr314 & Fyz: Three gods A, B, and C are named, in some order, '1', '2', and '3'. The gods always speak truly. Your task is to determine the identities of A, B, and C by asking three yes-no questions (the gods may interpret a yes-no question to be one that can be answered truly with a yes or a no); each question must be put to exactly one god and no two questions can be semantically or logically equivalent. The gods might not answer until all questions have been posed. The gods understand English and will answer in English.

Fyz: for the "more difficult puzzle" add "independent" between "three" and "yes-no", with independent meaning that the answers to two questions must never imply the answer to the third.

lwr314: This puzzle can be easily solved as follows.

Ask A: "Is A named '1'?" Ask B: "Is A named '2'?" Ask C: "Is B's name less than C's name?"

Now wait for their answers. Ok got them.

From the first two responses we can determine A's identity. Now the third question determines the order of the other two.

Fyz notes on lwr314 solution (updated 16 July): that gives an elegant solution to the puzzle as originally posed (and ignoring 'clarifications'), as we can use (for example) position in an alphabetical English dictionary to establish an ordering. However, it doesn't answer my "more difficult version of the question", because the question to B is unnecessary if A is named '1', and Answer2 => answer1

Of course, if we take the equivalent reduction of Boolos' question as interpreted by him, we have the following, which might be regarded as being of similar difficulty: Three gods, A,B and C are named in some order, '1', '2', and '3'. Your task is to determine the identities of A, B, and C by asking three yes-no questions, each addressed to precisely one god, which the gods will answer in English immediately after you have asked the question. God '1' and god '2' always answer truly, but god 3 will answer yes or no entirely at random.

This puzzle is readily solved as follows: Q1 Ask A: "Is B named '3'? If the answer is yes, then ask the following questions of C; if the answer is no, ask them of B (in your preferred order): Q2: "Is A named '3'?" Q3: "Are you named '1'"

The first question determines a truthful god, the other two determine which god carries which name. There is also no real problem in modifying this to eliminate repeated semantics.

My points are:

a) that "The Hardest Logic Puzzle Ever" as posed has had to be modified in at least two aspects to allow this answer to be safe; and

b) that the solutions to each of the above problems (once defined) are of similar difficulty, because each requires a slight lateral step - the one based on the text needs you to provide an ordering for the gods; and the one following Boolos' interpretation requires you to recognise that you can identify a consistent god by answering a suitable first question. I wouldn't know how to say which solution is the more difficult.

c) as in many puzzles, a large part of the difficulty in solving the original puzzle comes in the interpretation of the question, of which Smullyan's section was typically sparse. In this case the task is to discover what requirements must be satisfied to provide a safe solution based purely on the text of the puzzle. Only when you have done that does the the limited from of randomness as defined by Professor Smullyan "speaks truly or falsely" become necessary. I would assert that it is only the difficulty of a safe interpretation of the puzzle that distinguishes the difficulty of the two puzzles.

Fyz

lwr314: Of course, this is precisely the solution on the main wikipedia page as taken from `A Simple Solution To The Hardest Logic Puzzle Ever'. The embedded question lemma* reduces the (modified) puzzle to what you have stated and the solution from there is the same.

Fyz: Indeed - and no more difficult than the other

lwr314: The point is that Boolos' (unmodified) reduces to an even more trivial puzzle where all the gods tell the truth and you just have to ask them who they are.

Fyz: No, that is the puzzle as reinterpreted by Boolos to say the gods answer immediately.

lwr314: Reinterpreted by Boolos! The article is about 'The Hardest Logic Puzzle Ever' as coined by Boolos. Reinterpreted by you is more accurate.

Fyz 16Jul: Frankly the article looks more like someone else's puzzle reinterpreted by Boolos, and then partially fixed (to ignore broken Random) with further re-interpretations (so that Boolos' solution becomes relevant) by others. (Partial only because the wording of the puzzle was not changed to match the problem actually being solved)

lwr314: Even with your added constraints, the Boolos' puzzle reduces to the triviality I stated above. The reason the (modified) puzzle is `hard' is that your questioning needs to be dependent on the answers given -- it isn't just static.

Fyz: The standard computer bisection methods for finding a word in alphabetical order are non-static in that sense. I can't see how that is hard. My position is that, once reduced and the meaning explained, neither puzzle is hard - but if you ignore Boolos' "clarification", the interpretation of the original puzzle becomes more demanding.

lwr314: Agreed, neither puzzle is hard (that's why i said `hard' in quotes). However, modified Random introduces an element not usually found in puzzles. That no-information-giving quality of Random is what i find interesting in the puzzle.

Fyz 16Jul: Agreed that obtaining information from an answer where you don't know of any bearing on the question is the interesting aspect of the 'modified Boolos' version of the puzzle. Equally, although I am not a regular puzzler (too many of them are void) I have not met a puzzle where it is necessary to find a way to split the set; if it already exists elsewhere, I'd be interested to know.

lwr314: In response to your points.

(b) You don't have to provide an explicit ordering on the Gods -- that was just a convenient simplification. Replace the third question with,

Ask C: "Is (B's name `1' and C's name `2') or (B's name `1' and C's name `3') or (B's name `2' and C's name `3')?"

Note that this question is semantically identical, but did not require you to think of ordering them. All you had to do was ask precisely the question you wanted answered. Solving this puzzle is totally trivial, I just asked two questions and then looked at what needed to be determined with the third to get the answer. Totally static.

Fyz: Isn't that one of the ways to define a cyclic ordering in a set of three?

lwr314: i did say that it was semantically equivalent to the ordering question, so yes. The point was that one could have come up with the question without considering ordering anything. If you think of what the first two questions give you, the third question is free as you know precisely what group you need to divide in two.

Fyz 16Jul: For what it is worth, here is a more economical question (the one I presented under the CR4 link):

Ask C: "Is (B's name '1' or is B's name '2' and 'A's name 1)

Fyz - specifically to lwr314 : Instead of fighting over the precursor (you won't persuade me as to difficulty, because I only came up with the "rigorous" interpretation when I found the exploding heads and then the two-stage solution too easily for what was supposed to be a "hard" puzzle, and the only "difficulty" for me was to become certain I had a literal interpretation that covered all bases):

lwr314: You found the two question solution too easy? i thought that was the most interesting and non-trivial part of the whole thing. You can solve Boolos' original puzzle with two questions too (and i mean his clarified one, since that is the puzzle he presented in the paper that this is all based on).

Fyz 16Jul: It was the first solution I came up with, almost as I read the question. I gave a hint on this as in the session where I read the question (I was away from my desk, so not logged in), and elaborated somewhat later (you can find all this in the CR4 thread if you have time to burn). Of course, without Boolos' timing constraint, it needed to be three questions. Then I realised that it could be possible for gods True and False to know what answer Random would give, and decided there must be another question buried there. Remember that I did this before looking at any independent work. Sorry to be repetitive, but in the end, the main challenge in the question (as presented and without clarifications) was in defining the range of constraints that had to be satisfied - so it's not strictly a logic puzzle at all.

I'm beginning to regret becoming involved in the first place - so I'll go and do some work for a while.

Fyz: Why not have some fun solving what I believe to be a harder puzzle (the literal interpretation of the original puzzle with worst-case interpretations, but including the extra constraint on the independence of the questions)?

lwr314: Because i can sit here and add arbitrary constraints all day long to make it `harder', but not more interesting.

(1) Nowhere in the statement of the puzzle did it say that i was allowed to use a word (say 'is') in more than one question. So, to be `safe', each English word can be used at most once over all questions.

(2) Nowhere in the statement of the puzzle did it say that i was allowed to have questions that mention other questions or responses to questions.

(3) Nowhere in the statement of the puzzle did it say that i was allowed to have questions containing colons.

(4) Nowhere in the statement of the puzzle did it say that i was allowed to use the letter `e' in my questions.

(5) Nowhere in the statement of the puzzle did it say that i was allowed to have a solution in which none of the questions involved an ordering on {1,2,3}.

You get the idea. All you have done is come up with a particular solution to a trivial puzzle and then insist that all solutions must have properties in common with your solution. Did i ban your solution yet? If not, i can keep going until i do. Arbitrary constraints are not interesting. They would be if they amounted to something more than a minor annoyance (and the puzzle could still be solved), but yours don't.

Fyz 16Jul: Of course you didn't, and you know it. But of course you must be aware that there could already be an interpretation of the question as it stands that that forbids explicit included questions (as most solutions are already worded to avoid this, I didn't go into that). The implication that the interpretation and extension started from the answer and worked backwards would appear more applicable to the "standard" solution based on Boolos' clarifications. I certainly got to the end points by asking "what if" questions - first about tenable interpretations about the meanings of the constraints on godly behaviour in the puzzle as set; it was the fact that "broken Random" resulted in a trivial puzzle if you did not do this that set me off. The jealous gods (no redundant questions) was set off by a not-quite-plausible interpretation of "one question" - whether it is a valid question if you already know the exact answer.

lwr314: Of course i didn't? i don't think you understood. Are you sure that none of your questions used the letter `e'? The puzzle did not explicitly state that you could use e's, so to be `safe' we shouldn't use them.

Nowhere in the puzzle did it explicitly state that a solution generated by any mind other than mine was valid. So, to be `safe', we should only consider using solutions generated by my mind.

[edit] Question on original text

Question:

Could someone who knows the solution put it in a nice neat little box or logic tree something? As it stands now, there's many more than three questions listed in the Solution section and I can't pick out which ones you need to ask when. Thanks!

I think it should be made more clear whether the gods themselves know which god is which ... It isn't obvious.

Attempt at answer by Fyz

They may not 'know' in a sense we recognise - but we have to assume they will actually answer our questions, and if so the fact that True always speaks truly etc. guarantees the information we need. One full solution to the problem as interpreted by Boolos might be:

Q1 to A: Is the following statement true? B is named Random iff you are true iff ya means yes

If answer to this is ya, then ask following questions of C, if da, ask them of B

Q2: Is the following statement true? A is named Random iff you are true iff ya means yes

Q3: Does ya mean yes? (True will answer ya, False will answer da)

[edit] Exploding heads

Interestingly my friend used the same expression to refer to a different situation which is not clarified in this article: Assume that god A is True, and god B is Random (although of course we don't know this). Ask god A, "What would B say if...?" How does A answer? Does A impersonate B, providing a random answer? Or does his head asplode? This question must have been covered somewhere? Stevage 15:04, 23 May 2007 (UTC)

[edit] Discussion of "Reservations"

Fyz: Before entering the discussion on the individual points, I think it will help to make general comment on this type of puzzle. These puzzles are generally intended to be solved as if your life depended on the solution being watertight. If you want to minimise the chances that you will fail, you need to assume that the gods are not on your side, and look for the most awkward interpretation, not the easiest.

If, therefore, you make assumptions that are not explicitly supported in the question, and that are not necessary to create a solution, you have done the equivalent of placing your life in danger unnecessarily. The only reason, therefore, for rejecting any interpretation of the puzzle that makes it harder to answer is that: either the interpretation is logically untenable; or, it makes the puzzle impossible to solve.

Anon: [IT IS CLEAR THAT ANSWERS SHOULD IMMEDIATELY FOLLOW THE QUESTIONS; BOOLOS' SECOND CLARIFICATION WOULD NOT MAKE SENSE OTHERWISE. **What the second question is, and to which god it is put, may depend on the answer to the first question. (And of course similarly for the third question.)**]

Fyz: Yes, that was Boolos' view. Remember that Boolos did not originate the very elegant and spare wording of the main puzzle. Mine is that if he needed to make unnecessary assumptions, he hasn't really solved the puzzle.

Anon2: Fyz says "Boolos did not originate the very elegant and spare wording of the "main puzzle". This is just false. Boolos is the first to publish this puzzle in the form we see here. It is a direct quote from Boolos. This is boolos' puzzle and his clarification sof his own puzzle. Boolos' makes all these similar assumptions in the paper that he solves the puzzle in. As far as what "The hardest logic puzzle ever" is and the intent of its author I think it is very clear that this article gets things right. Now, there is nothing wrong with considering variants of the Boolos puzzle and seeing how their solutions look, but those are different puzzles.

Fyz 2: Boolos clearly states that the wording of the bulk was due to Professor Smullyan, and that Professor McCarthy was responsible for the extension. That makes Boolos the populariser of the puzzle, not its creator. In any case, it is not unheard of for the original presenter of a problem or statement to be unaware of the full implications of their work (and that is not necessarily to detract from their contribution - vide Fermat)

Anon: [BOOLOS MAKES IT CLEAR THAT ONE GOD CAN BE ASKED MULTIPLE QUESTIONS, SEE CLARIFICATION ONE]

Fyz: Indeed he does. But in order for the order of the answers to be maintained you need to make an unnecessary assumption.

Anon2: What assumption?

Fyz 2: As implied in that statement - the assumption is that the gods will answer the questions in the order of presentation. Nothing in the puzzle says they will, and the puzzle allows a solution without making this assumption - I think that is a pretty good description of "unnecessary"

Anon: [WHERE DOES IT SAY THIS!] (that you cannot make use of exploding heads)

Fyz: I was a bit too cryptic - see amendment. My meaning was that the question says that the questions are yes-no questions. If you ask questions that do not have valid yes-no answers, any god with an ounce of self-preservation instinct would regard these as not conforming to the required constraints.

Anon2: What is a "valid yes-no answer". Questions of the form "Are you going to answer this question by saying 'yes'?" are perfectly good yes-no questions. It just so happens that the particular gods in this puzzle have some trouble with certain yes-no questions. What this really proves is that there can't be a god who answers all yes-no questions with the truth/lie (essentially a variant of the Liar paradox). Thus, the puzzle must be amended. Exploding heads seems like the course of least resistance. But there are other ways to amend the puzzle.

Fyz 2: A valid answer is one that is true, or at least conveys useful information. That doesn't mean that the gods have to give that answer - as stated in the question. The question "How many fingers do I have" is not a valid yes/no question - although you could answer "Yes" - but it would not be valid, as it does not convey any useful information. Similarly, if I asked you "Will this coin land heads when I toss it", neither "Yes" nor "No" would be a valid answers, because they are neither true, nor do they convey any information. The valid answer here is "I don't know" which is true, although not helpful in predicting the outcome.

Anon: [THEN THIS CLEARLY WAS NOT THE INTENT]

Fyz: Were you the author? If not, you should take it to be a puzzle that was intended to be reasonably challenging, and that every phrase was intended to convey specific constraints. As the question is answerable with all the constraints interpreted in these more cautious ways, it is reasonable to assume they were intended.

Anon2: Agreed. What I meant was that if you are interpreting the puzzle such that it is unsolvable (which I suspect you are) then that clearly was not the intent.

Fyz 2: This interpretation of the puzzle is solved, and I have presented a solution as stated at the link on the main article (though I shall improve the wording when eventually I import it to wikipedia - I have not yet done so merely to avoid accidentally spoiling anyone's efforts to solve it independently). If you can find a hole in my solution, I would be happy to hear about it.

Anon: [IN ALL OF SMULLYAN'S BOOKS HE MAKES THE SAME "ASSUMPTIONS" YOU FIND OBJECTIONABLE]

Fyz: The only 'assumption' I'm objecting to is answering before the following question needs to be asked (and related to that in the order the questions are posed). Professor Smullyan certainly made that assumption in some cases, as when you meet people when walking around. But that is justified by the context. Here, the assumption is unnecessary, therefore it would be uncharitable to assume that Professor Smullyan had failed to anticipate the more difficult version that the wording supports.

Anon2: Again see Boolos (the author of the puzzle) clarification 1.

Fyz 2: see above comments - my view is that Boolos popularised a very elegant puzzle, but his "clarifications" possibly oversimplified it puzzle

Anon: ["EXPLODING HEADS" IS OF COURSE JUST A COLORFUL WAY OF TALKING ABOUT THE CASE WHERE THE GODS ARE UNABLE TO ANSWER. THE POINT IS THAT THE PUZZLE DOES NOT RULE OUT THIS POSSIBILITY. OF COURSE THE PUZZLE COULD BE CHANGED TO ACCOUNT FOR THIS LOOPHOLE, BUT UNLESS YOU KNOW HOW TO WIELD THE POWER OF THIS LOOPHOLE IT DOESN'T HELP MUCH]

Fyz: In my view, as explained above, the puzzle rules this possibility out in any way that has been tried so far (questions that don't have valid answers that are either yes or no). My first attempt to solve the problem made use of confusion, but when I realised that this would reduce the number of required questions to two, I started reading the question more carefully.

Anon2: I don't think that you came upon the two question solution (it's impossible for modified random and very difficult for original puzzle). If you have solved it in two using exploding heads I would be very interested to hear it. I have solved it in such a manner but have not posted it yet.

Fyz 2: If you allow the narrow interpretation presented by Boolos, and the gods do not have special knowledge of each other or of the future, then it is possible for both cases. One version that solution is:

Ask A: Is the following statement true: If I ask B a question, he will answer truly iff you are True iff da means yes If A is confused ask the equivalent question of C with A as target, else ask the question of B with C as target.

Anon: [THIS DOESN'T MAKE SENSE]:

Fyz: I'm not certain which bit you mean:

"random does not mean unknowable" Generate a random sequences of numbers, writing each one down. "the random decision may be taken as you pose the hypothetical question" the fact that the decision has been taken at a specific time does not make it less random - so long as it was taken on a random basis. Another way of looking at this is that Random may at some time in the future be asked this very question, and the gods are not subject to time in the same way we humans are.

Anon: {THE INTENT IS SURELY JUST TO MAKE CLEAR THAT YOU CANNOT ADDRESS MULTIPLE GODS AT ONCE]

Fyz: Would you risk your life on the gods interpreting the statement in this way if you could provide a solution that did not require this interpretation?

Anon: [WHY? "IS THE SENTENCE WRITTEN ON THAT CHALKBOARD TRUE?" SEEMS TO BE ASKING VERY DIFFERENT QUESTIONS WHILE IN THE PRESENCE OF DIFFERENT CHALKBOARDS!]

Fyz: Again, that is a possible interpretation. So you would be happy to risk your life on asking each god in turn (for example): "Are you True?"

Anon2: I am not too worried about this because it doesn't seem to help to ask the same question to multiple gods.

Anon: [UNCLEAR WHAT THIS IS SUGGESTING].

Fyz: I'm suggesting a sequence of identities that would make questions "the same", for example: To A: "Is B Random" {logically equivalent to} To B "Are you Random" {semantically equivalent to} To A "Are you Random" {logically equivalent to} to C "Is A random" {logically equivalent to} to C "Do you consistently answer either Truly or Falsely" (I allow inversions in logical equivalence, because they give the same information.

Anon2: Some of the questions use the same words, some of them have the same meaning. You want to rule out both. Ok. But using such things doesn't help anyway. What's all the fuss about here?

Fyz: I agree this is totally extreme. If there was no solution under these constraints, I would back off.

Anon2: Of course there is a solution under this "constraint" I think that all the solutions I have seen don't violate this constraint.

Fyz 2: It probably doesn't matter, but very few of the existing ones do, because it makes (for example) the following questions equivalent: Ask A: Is B Random? Ask C: Is A either True or False?

An extra note by Fyz Please don't capitalise - apart from being hard to read and seeming like rude shouting, it makes me think instinctively that you need the extra emphasis because your argument is weak, which doesn't make it easy to provide a straightforward answer.

Anon2: I LIKE TO WRITE TRUTHS IN CAPS!

Fyz 2: Most of your truths were objections to my truths... You should be aware that the effect on others is that you are shouting me down. In solving a puzzle, one should try puzzle it out without recourse to authority (e.g. Boolos), and on the basis that your solution must allow you to know which god is which under any tenable interpretation of the wording of the question, and without adding any unnecessary constraint on the gods' behaviour. (Help is allowed - but you should make your own decisions as to the validity). I am certain that you will find that most of your truths turn out to be highly conditional on unnecessary assumptions. Perhaps you would like to go back and remove the capitals from those contributions which you now regard as points for discussion?

Anon2: So I feel like this whole 'Reservations' and the section after doesn't really belong in the actual article, especially in the present tone. I don't know the proper tags, but something about original research or unencyclopedic tone. Anyways, is there any reason this should be here?

Fyz 2: Maybe the expression should be tidied up - I would be happy for someone to do this, provided the sense remains (I may do it myself when time permits). However, the article is about the (reputed?) "Hardest Logic Puzzle Ever", not about a deliberately restricted interpretation of that puzzle. My article references an area of discussion of this topic (the CR4 link) as well as a solution.

Anon2: I think it should be removed. It is more apt for a discussion board. Somewhat interesting interpretive issues but in the end misguided.

Fyz 2: If your life depended on a robust solution, and all you had was the puzzle as presented, would you be happy to go with the solutions in the original article? As my solution would also work under the original interpretations, I know I wouldn't. If you agree my solution would work under those conditions, I'd be interested to know how you can regard my contribution rather than the originals as "misguided" - especially given the name of the puzzle.

Anon2: The article should include popular interprative variants, though. SO if one of these is a common (mis)interpretation it should be included. E.g. the modified puzzle is so common it must be included (and it was clearly Boolos' intent although the actual statement gets it wrong).

Fyz 2: I agree that Boolos' original interpretation and the various solutions should be included - although, as stated above, Boolos would be the populariser rather than the originator of the puzzle. But it still seems to me that the most robust solution to the puzzle as worded should be the prime solution, and that Boolos' "clarifications" should be relegated to intelligent misinterpretations.

lwr314: Perhaps you did not notice that i added a little to your section. This discussion is moot since your proposed change makes the puzzle unsolvable.

It is not possible to solve the puzzle if 'The gods will not answer any question until after all three have been posed'. It isn't even possible if the Gods answer yes/no instead of ja/da.

Here is the simple proof of this fact:

Assume (to reach a contradiction) that we can solve the puzzle thusly. Then we have 3 questions Q1, Q2, Q3 that we can put to gods A, B, C respectively and after we have asked them all get responses R1, R2, R3. Since one of the gods is Random, we gain no information from his response. Since each response distinguishes at most 2 possibilities (yes or no), and only 2 responses give information, we can distinguish at most 4 possibilities. But we have solved the puzzle and thus distinguished 6 possibilities. This is a contradiction.

Here I have assumed the modified puzzle where Random randomly answers yes/no instead of Boolos' broken random. It may be possible to solve it under such conditions using Boolos' broken Random.

Fyz response to lwr314: Why do you assume a modification to the puzzle? Obviously, with that modification the "rigorous" interpretations make it insoluble. The puzzles I am proposing are precisely as published at the beginning of the article, as 'written by Boolos. The only difference for the rigorous version is that I suggest the solution should be resistant to any tenable interpretation of the puzzle as written. My "more difficult" version simply adds one more constraint - "the gods will not answer any question if the answer to any two of the questions could make the third question redundant". (You may wish to edit your additions to the article, or possibly move them - I'd have no problem with your moving my reply at the same time).

lwr1: i assume the modified puzzle because not doing so trivializes the puzzle. In fact, the unmodified puzzle can be solved in two questions. The modified puzzle was the intention of Smullyan.

Fyz: How do you know this?

lwr1 (continued) Your constraint is unnatural and is not supported by the text of the puzzle (that is, the constraint that the gods will not answer any question until all have been posed).

Fyz: I am not imposing a constraint - they may answer immediately after you have asked the question. But there is nothing in the question to say that this is the case, so I can't see it is sensible to assume it if the question as posed does not require it. If possible, you should provide an answer that relies only on things that are actually specified in the question. What I am asking is - given the wording of the question, and if your life depended on it, which solution would you now choose? If you don't consider that covering all aspects is a relevant criterion in puzzle solving, please say so now, and we can terminate our discussion without further rancour.

Lwr1 (continued) You are talking about a *different* puzzle. This is fine and could be interesting, but to argue that your interpretation is *the correct* interpretation ('would you stake your life on it...', blah) and say that other interpretations are *wrong* is detrimental.

There are things in the statement of the puzzle that can be given multiple (all valid) interpretations. One is not 'more correct' than another. For example,

(1) You could define 'yes/no question' as 'a question to which the only possible answers a yes and no AND there is a correct answer'. This is the interpretation you would like to take. That is fine, although it precludes gaining any insight into how and why questions like the liar question break down (understanding why the Liar's Paradox breaks is an active area of research). Also, this model isn't fair to modified Random as he can answer questions with no correct answer just fine (Boolos' random is also interesting with such breaking questions as he only breaks some of the time).

You could define 'yes/no question' as 'a question to which the only possible answers are yes and no'. In doing so, you don't cut off interesting lines of research (such as using exploding heads to solve Boolos' original problem in two questions).

Both are valid. There is just nothing interesting to do with the first (beyond solving the puzzle -- which is trivial).

Fyz: "Both are valid". You are making precisely my point here - if you want a "safe" solution to a puzzle your answer must satisfy all valid interpretations

---

Lwr1 15Jul `safe' from what? monsters? Boolos' broken Random trivializes the puzzle even with your added constraints. So who is it now that is going to be eaten by the monsters? Someone who takes Random to be truly random or someone who trivializes Random based on a literal interpretation of a mistake of English on Boolos' part (it was clearly a mistake as he solved the puzzle assuming modified Random)? With your intense fear of the monsters i'd seriously consider whether or not trivializing Random will ruin their mood.

---

Fyz 16July: Safe in the mathematical sense - relying only on the axioms as presented. Also safe in the sense of providing an answer if your life depends on getting it right - like the multiple exit problem where the doors behind the gods lead to freedom, death, or permanent imprisonment.

lwr314: No axioms were presented! Just a bunch of English containing numerous words that have no rigorous definition.

Fyz 16Jul: and I thought I was pedantic - in the mathematical sense it would be the axioms; in the case of the puzzle it is the actual constraints presented in the puzzle. It is only the open interpretation that makes it interesting - and this sort of issue does have consequences in mathematics also

Fyz: In my view the problem as redefined by Boolos is equally 'trivial' - that is what I solved first (in two ways) before deciding that any "difficulty" should actually lie in a "safe" interpretation of the question. I'll accept your remarks that all my ideas are more trivial than Boolos' redefinitions if you continue to maintain that view when once you have solved my "more difficult" version that extends my literalist interpretation - but with the added requirement that the third answer is needed regardless of the order in which the answers are presented.

lwr314: i don't get the point of that restriction, like `you can only solve the puzzle with sub-optimal questions'? This is not interesting. You can add tons of arbitrary restrictions to make it harder and harder (to a point). Actually you could pare it down so that there was only one (up to logical equivalence) way to solve it. But why would i spend time doing this when there is so much more interesting mathematics to be done? This is just a finite (6) piece game.

Fyz 16Jul: I think you demonstrate below that are entitled to your view - you have shown the necessary step of duplication. However, your description is quite complex, and the actual solution is rather simple. (It is easy if you are already familiar with finite games. Equally, the unbroken Random is easy if you are familiar with conditional behaviour. I would hazard that more people are familiar with the latter, which would make it easier for more people)

But surely the restrictions are arbitrary already, so what makes this different? Would you be happier if I referred to the gods being very touchy and no one wishing to offend the other by making their answer unnecessary? As I'm sure you well know, the additional step of splitting some of the cases actually has relevance in some mathematical proofs; that alone gives this version some relevance.

lwr314: 'splitting some of the cases actually has relevance in some mathematical proofs'. What does this mean? Logic has relevance in proofs? There is nothing deep or interesting about 'splitting cases'. It isn't like some sort of lemma you apply in a proof 'now by the theory of splitting some of the cases...'. It is something that you do from obviousness.

lwr 314: Boolos' clarifications make the puzzle trivial too! He broke Random. We fixed him.

Fyz 16Jul: Here we are pretty-much in agreement, Boolos broke the question. If we start from the question as posed, his clarification makes removes the ambiguity that stops it from being totally trivial. (fyz break)

lwr314: i don't know what you are talking about. Boolos' puzzle (that is including his clarifications) is totally trivial. You just use the embedded question lemma and get correct answers to all of your questions. Is that what you are referring to as 'not totally trivial'? Or is it something else?

Fyz: Apologies - a lot got lost in editting. It should have read along the following lines: Boolos made the question trivial when he required the immediate answer to the version with broken Random. The subsequent repair to Random recovered a meaningful question. On the subject of triviality - is seemed to me that having double negative requiements both for False and for ya/da does not add anything to the logical problem - though it could potentally test the puzzler's skills at wording. Do you beliee this to be less trivial than creating a compact logical test for my proposed extension? Am I missing something here?

(fyz continued) If we start from the question as you wish it to be, it is the question, not the clarification, that breaks Random. (fyz break)

lwr314: i don't understand this sentence. by 'the way you wish it to be', do you mean 'the way Boolos' stated the puzzle'? In other words, you mean 'the way the puzzle is'?

Fyz: I mean "the way the puzzle is incuding the clarification" - which, BTW, Rabern does not include in the "quotes" that are usually taken to define the extent of the puzzle. Maybe that is at the root of our different views as towhat consitutes the pzzle

(fyz continued) I hope you would agree that the only way to truly fix Random (and the puzzle) to match your requirements is to rewrite the puzzle so that Random is randomly yes-no and the gods all answer before you need to ask the following question (immediately would do).

lwr314: Are you saying this because you think you are telling me something, or are you just realizing this? We replaced Boolos' clarification B3 with B3* and kept the rest, that is how we 'truly fixed Random' (see our paper 'A Simple Solution To The Hardest Logic Puzzle Ever', if you want to know what i agree with).

Fyz: Had I realised previously that lwr314 meant you were Landon Rabern, a lot of misunderstanding might have been avoided. Yes, you fixed Random to create a non-trivial version of Boolos problem - I'd simply like to see Boolos 'Clarification' and the fixing recreated in an elegant single statement of the complete nontrivial version the puzzle. While you are about it, I suppose you could also pare down the language description (as I see no need to say what ya and da mean if they are answers given by True and False answer to yes-no questions).

---

lwr 314: It is not possible to solve the puzzle with your added restriction when the gods answer yes/no. It is necessary that they only answer ja/da (otherwise you don't have enough lee-way to use sub-optimal questions).

Fyz 16Jul: That is the method of splitting I had in mind, because it has the potential for generating additional information in one third of the cases. However, we could create a split in other ways if necessary, for example by asking whether "god A is older than the others or they are infinitely old", or whether "Random spoke truly or falsely the last time he answered a question that I was not party to".

lwr 314: The added constraint makes the puzzle equivalent to the following trivial game with 12 pieces.

 1   2
 3   4
 5   6
 7   8
 9  10
 11 12

Exhibit 3 partitions {A1, B1}, {A2, B2}, {A3, B3} of the pieces into 2 sets so that,

(1) Selecting one set from each of the three partitions and intersecting them gives a set containing elements from precisely one row (e.g. A1 \cap B2 \cap A3 must contain elements from precisely one row).

(2) Selecting one set from each of any two of the partitions and intersecting them gives a set containing elements from more than one row.

Fyz 16Jul: Don't you need to define eight partitions?

lwr314: No, you need 3 partitions, each into two sets. Here are a few partitions that work.

 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,7,8}, {2,4,9,10,11,12}, {2,3,5,6,9,10}, {1,4,7,8,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,7,8}, {2,4,9,10,11,12}, {1,4,5,6,9,10}, {2,3,7,8,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,7,8}, {2,4,9,10,11,12}, {2,3,7,8,9,10}, {1,4,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,7,8}, {2,4,9,10,11,12}, {1,4,7,8,9,10}, {2,3,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,7,8}, {2,4,9,10,11,12}, {2,3,5,6,11,12}, {1,4,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,7,8}, {2,4,9,10,11,12}, {1,4,5,6,11,12}, {2,3,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,7,8}, {2,4,9,10,11,12}, {2,3,7,8,11,12}, {1,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,7,8}, {2,4,9,10,11,12}, {1,4,7,8,11,12}, {2,3,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,7,8}, {1,4,9,10,11,12}, {1,3,5,6,9,10}, {2,4,7,8,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,7,8}, {1,4,9,10,11,12}, {2,4,5,6,9,10}, {1,3,7,8,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,7,8}, {1,4,9,10,11,12}, {1,3,7,8,9,10}, {2,4,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,7,8}, {1,4,9,10,11,12}, {2,4,7,8,9,10}, {1,3,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,7,8}, {1,4,9,10,11,12}, {1,3,5,6,11,12}, {2,4,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,7,8}, {1,4,9,10,11,12}, {2,4,5,6,11,12}, {1,3,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,7,8}, {1,4,9,10,11,12}, {1,3,7,8,11,12}, {2,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,7,8}, {1,4,9,10,11,12}, {2,4,7,8,11,12}, {1,3,5,6,9,10
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,7,8}, {2,3,9,10,11,12}, {1,3,5,6,9,10}, {2,4,7,8,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,7,8}, {2,3,9,10,11,12}, {2,4,5,6,9,10}, {1,3,7,8,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,7,8}, {2,3,9,10,11,12}, {1,3,7,8,9,10}, {2,4,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,7,8}, {2,3,9,10,11,12}, {2,4,7,8,9,10}, {1,3,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,7,8}, {2,3,9,10,11,12}, {1,3,5,6,11,12}, {2,4,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,7,8}, {2,3,9,10,11,12}, {2,4,5,6,11,12}, {1,3,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,7,8}, {2,3,9,10,11,12}, {1,3,7,8,11,12}, {2,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,7,8}, {2,3,9,10,11,12}, {2,4,7,8,11,12}, {1,3,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,7,8}, {1,3,9,10,11,12}, {2,3,5,6,9,10}, {1,4,7,8,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,7,8}, {1,3,9,10,11,12}, {1,4,5,6,9,10}, {2,3,7,8,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,7,8}, {1,3,9,10,11,12}, {2,3,7,8,9,10}, {1,4,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,7,8}, {1,3,9,10,11,12}, {1,4,7,8,9,10}, {2,3,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,7,8}, {1,3,9,10,11,12}, {2,3,5,6,11,12}, {1,4,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,7,8}, {1,3,9,10,11,12}, {1,4,5,6,11,12}, {2,3,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,7,8}, {1,3,9,10,11,12}, {2,3,7,8,11,12}, {1,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,7,8}, {1,3,9,10,11,12}, {1,4,7,8,11,12}, {2,3,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,9,10}, {2,4,7,8,11,12}, {2,3,7,8,9,10}, {1,4,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,9,10}, {2,4,7,8,11,12}, {1,4,7,8,9,10}, {2,3,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,9,10}, {2,4,7,8,11,12}, {2,3,5,6,11,12}, {1,4,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,9,10}, {2,4,7,8,11,12}, {1,4,5,6,11,12}, {2,3,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,9,10}, {2,4,7,8,11,12}, {2,3,9,10,11,12}, {1,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,9,10}, {2,4,7,8,11,12}, {1,4,9,10,11,12}, {2,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,9,10}, {1,4,7,8,11,12}, {1,3,7,8,9,10}, {2,4,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,9,10}, {1,4,7,8,11,12}, {2,4,7,8,9,10}, {1,3,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,9,10}, {1,4,7,8,11,12}, {1,3,5,6,11,12}, {2,4,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,9,10}, {1,4,7,8,11,12}, {2,4,5,6,11,12}, {1,3,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,9,10}, {1,4,7,8,11,12}, {1,3,9,10,11,12}, {2,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,9,10}, {1,4,7,8,11,12}, {2,4,9,10,11,12}, {1,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,9,10}, {2,3,7,8,11,12}, {1,3,7,8,9,10}, {2,4,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,9,10}, {2,3,7,8,11,12}, {2,4,7,8,9,10}, {1,3,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,9,10}, {2,3,7,8,11,12}, {1,3,5,6,11,12}, {2,4,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,9,10}, {2,3,7,8,11,12}, {2,4,5,6,11,12}, {1,3,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,9,10}, {2,3,7,8,11,12}, {1,3,9,10,11,12}, {2,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,9,10}, {2,3,7,8,11,12}, {2,4,9,10,11,12}, {1,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,9,10}, {1,3,7,8,11,12}, {2,3,7,8,9,10}, {1,4,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,9,10}, {1,3,7,8,11,12}, {1,4,7,8,9,10}, {2,3,5,6,11,12}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,9,10}, {1,3,7,8,11,12}, {2,3,5,6,11,12}, {1,4,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,9,10}, {1,3,7,8,11,12}, {1,4,5,6,11,12}, {2,3,7,8,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,9,10}, {1,3,7,8,11,12}, {2,3,9,10,11,12}, {1,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,9,10}, {1,3,7,8,11,12}, {1,4,9,10,11,12}, {2,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,7,8,9,10}, {2,4,5,6,11,12}, {2,3,7,8,11,12}, {1,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,7,8,9,10}, {2,4,5,6,11,12}, {1,4,7,8,11,12}, {2,3,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,7,8,9,10}, {2,4,5,6,11,12}, {2,3,9,10,11,12}, {1,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,7,8,9,10}, {2,4,5,6,11,12}, {1,4,9,10,11,12}, {2,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,7,8,9,10}, {1,4,5,6,11,12}, {1,3,7,8,11,12}, {2,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,7,8,9,10}, {1,4,5,6,11,12}, {2,4,7,8,11,12}, {1,3,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,7,8,9,10}, {1,4,5,6,11,12}, {1,3,9,10,11,12}, {2,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,7,8,9,10}, {1,4,5,6,11,12}, {2,4,9,10,11,12}, {1,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,7,8,9,10}, {2,3,5,6,11,12}, {1,3,7,8,11,12}, {2,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,7,8,9,10}, {2,3,5,6,11,12}, {2,4,7,8,11,12}, {1,3,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,7,8,9,10}, {2,3,5,6,11,12}, {1,3,9,10,11,12}, {2,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,7,8,9,10}, {2,3,5,6,11,12}, {2,4,9,10,11,12}, {1,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,7,8,9,10}, {1,3,5,6,11,12}, {2,3,7,8,11,12}, {1,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,7,8,9,10}, {1,3,5,6,11,12}, {1,4,7,8,11,12}, {2,3,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,7,8,9,10}, {1,3,5,6,11,12}, {2,3,9,10,11,12}, {1,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,7,8,9,10}, {1,3,5,6,11,12}, {1,4,9,10,11,12}, {2,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,11,12}, {2,4,7,8,9,10}, {2,3,7,8,11,12}, {1,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,11,12}, {2,4,7,8,9,10}, {1,4,7,8,11,12}, {2,3,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,11,12}, {2,4,7,8,9,10}, {2,3,9,10,11,12}, {1,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,5,6,11,12}, {2,4,7,8,9,10}, {1,4,9,10,11,12}, {2,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,11,12}, {1,4,7,8,9,10}, {1,3,7,8,11,12}, {2,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,11,12}, {1,4,7,8,9,10}, {2,4,7,8,11,12}, {1,3,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,11,12}, {1,4,7,8,9,10}, {1,3,9,10,11,12}, {2,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,5,6,11,12}, {1,4,7,8,9,10}, {2,4,9,10,11,12}, {1,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,11,12}, {2,3,7,8,9,10}, {1,3,7,8,11,12}, {2,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,11,12}, {2,3,7,8,9,10}, {2,4,7,8,11,12}, {1,3,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,11,12}, {2,3,7,8,9,10}, {1,3,9,10,11,12}, {2,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,5,6,11,12}, {2,3,7,8,9,10}, {2,4,9,10,11,12}, {1,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,11,12}, {1,3,7,8,9,10}, {2,3,7,8,11,12}, {1,4,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,11,12}, {1,3,7,8,9,10}, {1,4,7,8,11,12}, {2,3,5,6,9,10}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,11,12}, {1,3,7,8,9,10}, {2,3,9,10,11,12}, {1,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,5,6,11,12}, {1,3,7,8,9,10}, {1,4,9,10,11,12}, {2,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,7,8,11,12}, {2,4,5,6,9,10}, {2,3,9,10,11,12}, {1,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,3,7,8,11,12}, {2,4,5,6,9,10}, {1,4,9,10,11,12}, {2,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,7,8,11,12}, {1,4,5,6,9,10}, {1,3,9,10,11,12}, {2,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,3,7,8,11,12}, {1,4,5,6,9,10}, {2,4,9,10,11,12}, {1,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,7,8,11,12}, {2,3,5,6,9,10}, {1,3,9,10,11,12}, {2,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {1,4,7,8,11,12}, {2,3,5,6,9,10}, {2,4,9,10,11,12}, {1,3,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,7,8,11,12}, {1,3,5,6,9,10}, {2,3,9,10,11,12}, {1,4,5,6,7,8}
 {1,2,3,4}, {5,6,7,8,9,10,11,12}, {2,4,7,8,11,12}, {1,3,5,6,9,10}, {1,4,9,10,11,12}, {2,3,5,6,7,8}

 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,7,8}, {4,5,9,10,11,12}, {1,2,4,6,9,10}, {3,5,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,7,8}, {4,5,9,10,11,12}, {3,5,6,9,10},{1,2,4,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,7,8}, {4,5,9,10,11,12}, {1,2,4,7,8,9,10}, {3,5,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,7,8}, {4,5,9,10,11,12}, {3,5,7,8,9,10}, {1,2,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,7,8}, {4,5,9,10,11,12}, {1,2,4,6,11,12}, {3,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,7,8}, {4,5,9,10,11,12}, {3,5,6,11,12}, {1,2,4,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,7,8}, {4,5,9,10,11,12}, {1,2,4,7,8,11,12}, {3,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,7,8}, {4,5,9,10,11,12}, {3,5,7,8,11,12}, {1,2,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,7,8}, {3,5,9,10,11,12}, {1,2,3,6,9,10}, {4,5,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,7,8}, {3,5,9,10,11,12}, {4,5,6,9,10},{1,2,3,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,7,8}, {3,5,9,10,11,12}, {1,2,3,7,8,9,10}, {4,5,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,7,8}, {3,5,9,10,11,12}, {4,5,7,8,9,10}, {1,2,3,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,7,8}, {3,5,9,10,11,12}, {1,2,3,6,11,12}, {4,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,7,8}, {3,5,9,10,11,12}, {4,5,6,11,12}, {1,2,3,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,7,8}, {3,5,9,10,11,12}, {1,2,3,7,8,11,12}, {4,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,7,8}, {3,5,9,10,11,12}, {4,5,7,8,11,12}, {1,2,3,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,7,8}, {2,5,9,10,11,12}, {2,3,4,6,9,10}, {1,5,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,7,8}, {2,5,9,10,11,12}, {1,5,6,9,10},{2,3,4,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,7,8}, {2,5,9,10,11,12}, {2,3,4,7,8,9,10}, {1,5,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,7,8}, {2,5,9,10,11,12}, {1,5,7,8,9,10}, {2,3,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,7,8}, {2,5,9,10,11,12}, {2,3,4,6,11,12}, {1,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,7,8}, {2,5,9,10,11,12}, {1,5,6,11,12}, {2,3,4,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,7,8}, {2,5,9,10,11,12}, {2,3,4,7,8,11,12}, {1,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,7,8}, {2,5,9,10,11,12}, {1,5,7,8,11,12}, {2,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,7,8}, {1,5,9,10,11,12}, {1,3,4,6,9,10}, {2,5,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,7,8}, {1,5,9,10,11,12}, {2,5,6,9,10},{1,3,4,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,7,8}, {1,5,9,10,11,12}, {1,3,4,7,8,9,10}, {2,5,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,7,8}, {1,5,9,10,11,12}, {2,5,7,8,9,10}, {1,3,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,7,8}, {1,5,9,10,11,12}, {1,3,4,6,11,12}, {2,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,7,8}, {1,5,9,10,11,12}, {2,5,6,11,12}, {1,3,4,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,7,8}, {1,5,9,10,11,12}, {1,3,4,7,8,11,12}, {2,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,7,8}, {1,5,9,10,11,12}, {2,5,7,8,11,12}, {1,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,6,7,8}, {2,3,4,9,10,11,12}, {1,3,4,6,9,10}, {2,5,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,6,7,8}, {2,3,4,9,10,11,12}, {2,5,7,8,9,10}, {1,3,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,6,7,8}, {2,3,4,9,10,11,12}, {1,3,4,6,11,12}, {2,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,6,7,8}, {2,3,4,9,10,11,12}, {2,5,7,8,11,12}, {1,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,6,7,8}, {1,3,4,9,10,11,12}, {2,3,4,6,9,10}, {1,5,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,6,7,8}, {1,3,4,9,10,11,12}, {1,5,7,8,9,10}, {2,3,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,6,7,8}, {1,3,4,9,10,11,12}, {2,3,4,6,11,12}, {1,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,6,7,8}, {1,3,4,9,10,11,12}, {1,5,7,8,11,12}, {2,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,6,7,8}, {1,2,4,9,10,11,12}, {1,2,3,6,9,10}, {4,5,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,6,7,8}, {1,2,4,9,10,11,12}, {4,5,7,8,9,10}, {1,2,3,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,6,7,8}, {1,2,4,9,10,11,12}, {1,2,3,6,11,12}, {4,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,6,7,8}, {1,2,4,9,10,11,12}, {4,5,7,8,11,12}, {1,2,3,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,6,7,8}, {1,2,3,9,10,11,12}, {1,2,4,6,9,10}, {3,5,7,8,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,6,7,8}, {1,2,3,9,10,11,12}, {3,5,7,8,9,10}, {1,2,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,6,7,8}, {1,2,3,9,10,11,12}, {1,2,4,6,11,12}, {3,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,6,7,8}, {1,2,3,9,10,11,12}, {3,5,7,8,11,12}, {1,2,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,9,10}, {4,5,7,8,11,12}, {1,2,4,7,8,9,10}, {3,5,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,9,10}, {4,5,7,8,11,12}, {3,5,7,8,9,10}, {1,2,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,9,10}, {4,5,7,8,11,12}, {1,2,4,6,11,12}, {3,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,9,10}, {4,5,7,8,11,12}, {3,5,6,11,12}, {1,2,4,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,9,10}, {4,5,7,8,11,12}, {1,2,4,9,10,11,12}, {3,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,9,10}, {4,5,7,8,11,12}, {3,5,9,10,11,12}, {1,2,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,9,10}, {3,5,7,8,11,12}, {1,2,3,7,8,9,10}, {4,5,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,9,10}, {3,5,7,8,11,12}, {4,5,7,8,9,10}, {1,2,3,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,9,10}, {3,5,7,8,11,12}, {1,2,3,6,11,12}, {4,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,9,10}, {3,5,7,8,11,12}, {4,5,6,11,12}, {1,2,3,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,9,10}, {3,5,7,8,11,12}, {1,2,3,9,10,11,12}, {4,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,9,10}, {3,5,7,8,11,12}, {4,5,9,10,11,12}, {1,2,3,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,9,10}, {2,5,7,8,11,12}, {2,3,4,7,8,9,10}, {1,5,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,9,10}, {2,5,7,8,11,12}, {1,5,7,8,9,10}, {2,3,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,9,10}, {2,5,7,8,11,12}, {2,3,4,6,11,12}, {1,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,9,10}, {2,5,7,8,11,12}, {1,5,6,11,12}, {2,3,4,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,9,10}, {2,5,7,8,11,12}, {2,3,4,9,10,11,12}, {1,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,9,10}, {2,5,7,8,11,12}, {1,5,9,10,11,12}, {2,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,9,10}, {1,5,7,8,11,12}, {1,3,4,7,8,9,10}, {2,5,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,9,10}, {1,5,7,8,11,12}, {2,5,7,8,9,10}, {1,3,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,9,10}, {1,5,7,8,11,12}, {1,3,4,6,11,12}, {2,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,9,10}, {1,5,7,8,11,12}, {2,5,6,11,12}, {1,3,4,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,9,10}, {1,5,7,8,11,12}, {1,3,4,9,10,11,12}, {2,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,9,10}, {1,5,7,8,11,12}, {2,5,9,10,11,12}, {1,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,6,9,10}, {2,3,4,7,8,11,12}, {2,5,7,8,9,10}, {1,3,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,6,9,10}, {2,3,4,7,8,11,12}, {1,3,4,6,11,12}, {2,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,6,9,10}, {2,3,4,7,8,11,12}, {2,5,9,10,11,12}, {1,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,6,9,10}, {1,3,4,7,8,11,12}, {1,5,7,8,9,10}, {2,3,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,6,9,10}, {1,3,4,7,8,11,12}, {2,3,4,6,11,12}, {1,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,6,9,10}, {1,3,4,7,8,11,12}, {1,5,9,10,11,12}, {2,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,6,9,10}, {1,2,4,7,8,11,12}, {4,5,7,8,9,10}, {1,2,3,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,6,9,10}, {1,2,4,7,8,11,12}, {1,2,3,6,11,12}, {4,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,6,9,10}, {1,2,4,7,8,11,12}, {4,5,9,10,11,12}, {1,2,3,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,6,9,10}, {1,2,3,7,8,11,12}, {3,5,7,8,9,10}, {1,2,4,6,11,12}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,6,9,10}, {1,2,3,7,8,11,12}, {1,2,4,6,11,12}, {3,5,7,8,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,6,9,10}, {1,2,3,7,8,11,12}, {3,5,9,10,11,12}, {1,2,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,7,8,9,10}, {4,5,6,11,12}, {3,5,7,8,11,12}, {1,2,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,7,8,9,10}, {4,5,6,11,12}, {3,5,9,10,11,12}, {1,2,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,7,8,9,10}, {3,5,6,11,12}, {4,5,7,8,11,12}, {1,2,3,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,7,8,9,10}, {3,5,6,11,12}, {4,5,9,10,11,12}, {1,2,3,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,7,8,9,10}, {2,5,6,11,12}, {1,5,7,8,11,12}, {2,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,7,8,9,10}, {2,5,6,11,12}, {1,5,9,10,11,12}, {2,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,7,8,9,10}, {1,5,6,11,12}, {2,5,7,8,11,12}, {1,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,7,8,9,10}, {1,5,6,11,12}, {2,5,9,10,11,12}, {1,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,7,8,9,10}, {2,3,4,6,11,12}, {1,3,4,7,8,11,12}, {2,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,7,8,9,10}, {2,3,4,6,11,12}, {2,5,7,8,11,12}, {1,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,7,8,9,10}, {2,3,4,6,11,12}, {1,3,4,9,10,11,12}, {2,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,7,8,9,10}, {2,3,4,6,11,12}, {2,5,9,10,11,12}, {1,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,7,8,9,10}, {1,3,4,6,11,12}, {2,3,4,7,8,11,12}, {1,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,7,8,9,10}, {1,3,4,6,11,12}, {1,5,7,8,11,12}, {2,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,7,8,9,10}, {1,3,4,6,11,12}, {2,3,4,9,10,11,12}, {1,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,7,8,9,10}, {1,3,4,6,11,12}, {1,5,9,10,11,12}, {2,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,7,8,9,10}, {1,2,4,6,11,12}, {1,2,3,7,8,11,12}, {4,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,7,8,9,10}, {1,2,4,6,11,12}, {4,5,7,8,11,12}, {1,2,3,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,7,8,9,10}, {1,2,4,6,11,12}, {1,2,3,9,10,11,12}, {4,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,7,8,9,10}, {1,2,4,6,11,12}, {4,5,9,10,11,12}, {1,2,3,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,7,8,9,10}, {1,2,3,6,11,12}, {1,2,4,7,8,11,12}, {3,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,7,8,9,10}, {1,2,3,6,11,12}, {3,5,7,8,11,12}, {1,2,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,7,8,9,10}, {1,2,3,6,11,12}, {1,2,4,9,10,11,12}, {3,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,7,8,9,10}, {1,2,3,6,11,12}, {3,5,9,10,11,12}, {1,2,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,11,12}, {4,5,7,8,9,10}, {1,2,4,7,8,11,12}, {3,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,11,12}, {4,5,7,8,9,10}, {3,5,7,8,11,12}, {1,2,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,11,12}, {4,5,7,8,9,10}, {1,2,4,9,10,11,12}, {3,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,6,11,12}, {4,5,7,8,9,10}, {3,5,9,10,11,12}, {1,2,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,11,12}, {3,5,7,8,9,10}, {1,2,3,7,8,11,12}, {4,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,11,12}, {3,5,7,8,9,10}, {4,5,7,8,11,12}, {1,2,3,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,11,12}, {3,5,7,8,9,10}, {1,2,3,9,10,11,12}, {4,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,6,11,12}, {3,5,7,8,9,10}, {4,5,9,10,11,12}, {1,2,3,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,11,12}, {2,5,7,8,9,10}, {2,3,4,7,8,11,12}, {1,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,11,12}, {2,5,7,8,9,10}, {1,5,7,8,11,12}, {2,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,11,12}, {2,5,7,8,9,10}, {2,3,4,9,10,11,12}, {1,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,6,11,12}, {2,5,7,8,9,10}, {1,5,9,10,11,12}, {2,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,11,12}, {1,5,7,8,9,10}, {1,3,4,7,8,11,12}, {2,5,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,11,12}, {1,5,7,8,9,10}, {2,5,7,8,11,12}, {1,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,11,12}, {1,5,7,8,9,10}, {1,3,4,9,10,11,12}, {2,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,6,11,12}, {1,5,7,8,9,10}, {2,5,9,10,11,12}, {1,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,6,11,12}, {2,3,4,7,8,9,10}, {2,5,7,8,11,12}, {1,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,6,11,12}, {2,3,4,7,8,9,10}, {2,5,9,10,11,12}, {1,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,6,11,12}, {1,3,4,7,8,9,10}, {1,5,7,8,11,12}, {2,3,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,6,11,12}, {1,3,4,7,8,9,10}, {1,5,9,10,11,12}, {2,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,6,11,12}, {1,2,4,7,8,9,10}, {4,5,7,8,11,12}, {1,2,3,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,6,11,12}, {1,2,4,7,8,9,10}, {4,5,9,10,11,12}, {1,2,3,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,6,11,12}, {1,2,3,7,8,9,10}, {3,5,7,8,11,12}, {1,2,4,6,9,10}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,6,11,12}, {1,2,3,7,8,9,10}, {3,5,9,10,11,12}, {1,2,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,3,7,8,11,12}, {4,5,6,9,10}, {3,5,9,10,11,12}, {1,2,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,2,4,7,8,11,12}, {3,5,6,9,10}, {4,5,9,10,11,12}, {1,2,3,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,3,4,7,8,11,12}, {2,5,6,9,10}, {1,5,9,10,11,12}, {2,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,3,4,7,8,11,12}, {1,5,6,9,10}, {2,5,9,10,11,12}, {1,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,7,8,11,12}, {2,3,4,6,9,10}, {1,3,4,9,10,11,12}, {2,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {1,5,7,8,11,12}, {2,3,4,6,9,10}, {2,5,9,10,11,12}, {1,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,7,8,11,12}, {1,3,4,6,9,10}, {2,3,4,9,10,11,12}, {1,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {2,5,7,8,11,12}, {1,3,4,6,9,10}, {1,5,9,10,11,12}, {2,3,4,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,7,8,11,12}, {1,2,4,6,9,10}, {1,2,3,9,10,11,12}, {4,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {3,5,7,8,11,12}, {1,2,4,6,9,10}, {4,5,9,10,11,12}, {1,2,3,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,7,8,11,12}, {1,2,3,6,9,10}, {1,2,4,9,10,11,12}, {3,5,6,7,8}
 {1,2,3,4,5}, {6,7,8,9,10,11,12}, {4,5,7,8,11,12}, {1,2,3,6,9,10}, {3,5,9,10,11,12}, {1,2,4,6,7,8}

If you wanted to make a really `hard' puzzle, just pick one of those and add the constraint that a solution is not a solution unless it is that one.

Fyz: I hope you auto-generated those! Apologies that I misunderstood "Partition". I should have known better as you were dealing with sets. [My excuse (and it's not a good one) is that I have recently been working in an area where partition meant "partition" is used to mean what is mathematically the elements of a set within the partition.] But the intended point of my constraint within the puzzle is that there are some very simple ways to split the set. For some (with different backgrounds from yours) the idea of using uncertainty is itself a significant extension to the problem. For others, finding a simple way to perform and describe that split would be more of a challenge. I suspect that, for set theorists, it's basically trivial.

Regarding creating a solution from a single one of those possibilities - no, I think that would be easier than finding an elegant puzzle-style solution to the open question. All you have to do is convert the constraints into the sets and then describe them. This could be a very messy set of questions if you select the wrong sets - any technical interest (you may disagree) lies in choosing a set of sets with a simple verbal solution

lwr314 continued: In regards to my method being complicated. It really isn't, it is just the general form of the puzzle. With my formalism above, no thinking is required to solve the puzzle, so it really is easy.

Fyz: I meant complicated in the sense of allowing massive numbers of options to appear. For example, I personally would find it simpler to use the name of A (in your solution to the unclarified/broken_Random puzzle) that gives just three possibilities rather than working with the full six.

Fyz: I just found your update that included the clarifications in a second set of quotes. I think that will help, though it would be even better if at least the principal clarification*** could somehow be included in the same set of quotes as the initial text. Might an interim solution might be to state that "the actual puzzle is not precisely as stated above, but must be adjusted according to the clarifications below"?

• • • "What the second question is, and to which god it is put, may depend on the answer to the first question. (And of course similarly for the third question)"

lwr314: If you would like a solution with short questions, just look at the above and find a set of partitions that can be compressed (described simply) such as what i did before with the ordering.

lwr314 continued: To see to equivalence, just consider the following table:

 ja = yes      ja = no
   ABC           ABC 
   123           123
   132           132 
   213           213
   231           231
   213           312
   321           321

So, the top left 123 says "ja = yes AND A is named `1' and B is named `2' and C is named `3'". This is how i always think about the puzzles. Now you just need to divide it into a bunch of groups of two with yes/no questions (use the embedded question lemma to elicit meaningful answers from everyone). So it is equivalent to the above. Condition (2) above is your added restriction. It is easy enough to translate the partitions above back into questions, but why bother?

In the above partition format it would be easy to find more constraints that made such a set of partitions even harder to find and then you could translate the constraint back into English to make a still harder puzzle. But, it is all really the same static thing. You see how there isn't much here? We were really concerned with the Liar's Paradox and using it to solve the puzzle in two questions.

---

Fyz 16Jul: We obviously have a different view of what constitutes difficulty - nothing can resolve that. You appear to believe that the mere requirement for conditional action makes a puzzle difficult. As so much information in day-to-day life are used to define conditional action, this seems rather strange to me. So far as I'm concerned, if there is a difficulty to the unbroken Random puzzle, it is in realising that you can derive information from the first question. Certainly, Randall expressed that almost as a relevation when he presented his solution for the unbroken Random version (in the CR4 site referenced elsewhere).

lwr1 continued

(2) You could define 'question' as 'an equivalence class of semantically equivalent inquisitive utterances' as you want to. Or you could define 'question' as 'an inquisitive utterance'. The latter is the normal way to go. But the former could be something interesting to investigate too.

Fyz: Again, I don't particularly lean to either interpretation. I just take the view that a safe answer will work with all tenable interpretations - and the possibility of such interpretations would be a good reason for defining Random's behaviour in the way that Smullyan did - after all, it would be both shorter and more natural to write "whether Random replies da or ya is an entirely random matter" than the very specific "speaks truly etc" that was actually used.

[edit] Moved from article 17 July 2007

---

Fyz: Rather than "Clarify" the puzzle in so many ways that actually change its meaning, would it not be sensible to split the question into two completely different versions:

One would be exactly as posed, which has a relatively simple solution (see discussion) once the worst-case interpretations of the questions has been ascertained; and

One where the question itself is modified to fit Boolos' answer and the various clarifications?

Anon Reply: have you read the puzzle?

It clearly states that "...whether Random speaks truly or falsely is a completely random matter". The modification is to change this to 'whether Random replies affirmatively or negatively is a completely random matter'. There is no conflict between Boolos' statement of the puzzle and his clarifications. There is only a conflict between the way Boolos intended to have Random work (evidence: look at his solution) and the way he must actually work (see this section).

Fyz Re-reply: There are two significant modifications to the puzzle - one by Boolos (specifying immediate answers) is a restriction that trivialises the original puzzle as written, and the other is the one required to repair Random to make Boolos' solutions appropriate (though his solution does actually work for the trivialised puzzle). The two puzzles are the original one (as stated and without Boolos clarifications), and the one with Boolos' "clarification" integrated and Random mended as described. I believe that both belong here, because the first is as originally stated and is non-trivial, and the second is supported in ref 4 as well as in the above text. (However, I don't believe that this discussion should stay in the encyclopedia).

Anon Reply continued: Also keep in mind that the clarifications are part of the damn puzzle!

Fyz Re-reply continued: Any clarification that changes the meaning (in common with blasphemy) is completely unnecessary, and had time permitted would in itself have caused any referees to require the original 'paper' to be amended for consistency. We are not doing either the puzzle or Boolos' memory any favours by slavishly reproducing the original, which could be regarded as a "working document".

lwr314: Boolos' original paper was consistent. His solution to the puzzle that he posed (with the clarifications, since those are part of the puzzle that he posed) was correct. Apparently, he just did not realize that useful information could be acquired from Random as he defined him (surely, in his mind he had the assumption that Random gives no information as most commentators on the puzzle have assumed). Here are the facts:

(1) The article concerns 'The Hardest Logic Puzzle Ever' which is the name Boolos' gave to a puzzle that he published a solution for (the puzzle containing his clarifications). The article is about *that* puzzle.

(2) Modified Random fits in with the article since Boolos' solution applies to that no-information-giving Random as well.

(3) Exploding heads fits in with the article since they give a method of solving Boolos' puzzle in two questions.

(4) Your modifications do not fit in with the article since Boolos' solution does not solve your puzzle. You are discussing a *different* puzzle. As i have shown on the discussion page, this different puzzle is not interesting. One of your versions is a completely trivial modification which is uninteresting and for the other you have just added an arbitrary constraint to make the puzzle slightly harder. As i showed you over there, i could make it even harder by adding more arbitrary constraints. With the constraints we are discussing a different puzzle -- it does not belong in this article.

(5) i'll say this again since you don't seem to understand. `The Hardest Logic Puzzle Ever' refers to a puzzle by Boolos' which includes his clarifications.

PhysicistQuery 21:29, 17 July 2007 (UTC) (to lwr314): I note from your article and references that Boolos first published the puzzle in 1992, but the clarifications appear only in 1996. I cannot see that one would have solved the puzzle in the "approved" manner during this period - although it is likely that some (as did I when I only had access to that part of the puzzle - see the hku website) would have created and felt forced to reject those solutions before proceeding to the "uninteresting" version. Would that make two different puzzles with this name, or would you regard intent as more important than text in this case?

BTW, I made some entries as 86.145.9.205 when I was away from my desk - and forgot my login.

lwr314: Is it true that the clarifications are not in the 1992 version of his paper? In a footnote in the 1996 paper he says `A version of this article, translated by Massimo Piattelli-Palmarini, appeared in La Repubblicaon 16 April 1992 under the title “L’indovinello più difficile del mondo.”'. i assume that by `version of this article' he means the puzzle and solution (since he says `article' and not `puzzle'). If this is the case, then he surely included the clarifications as well before solving the puzzle. i have not seen the Italian version to know for sure.

PhysicistQuery 10:42, 18 July 2007 (UTC) You could easily be right that this is a misinterpretation of the references - I have tried (and so far failed) to find a copy of the original "La Repubblica" article.

However, Boolos wrote "Before ... let me give answers to certain questions". To me that suggests that the puzzle must have been initially presented without clarifications - I have no way of knowing whether that was in 1992 in La Repubblica or earlier.

Anon the monkey (to Fyz): IT wouldn't matter at all IF the Italian version did not include the clarifications (although there is no reason to think it didn't), since there is no conflict or inconsistency between the concise statement of the puzzle and the clarifications. In the concise statement Random is broken and in the clarifications Random is broken...oh ,so you must be on this 'the gods don't answer right away' thing again. That just seems like a weird thing to be worried about. When you ask someone a question they respond. So if you are trying to finding an earlier version of Boolos' article that doesn't include the clarifications, and therefore doesn't "rule out" that the gods don't answer right away and thus vindicates your weird interpretations...well then you are really...well just face it you had the consice statement, you came up with a wierd take on the puzzle that had a solution and now are trying to do something. good job solving it but its not the puzzle. your a smart guy. get over it!

PhysicistQuery 16:29, 23 July 2007 (UTC) Well AtM - I will try not to respond in kind, because clearly we have different experiences of puzzles and puzzlers. I have not personally been a puzzler for many years - but this one struck me as having potential. Many years ago I was part of a mathematics group that included a number of dedicated puzzlers; here it was that I was persuaded that the solution to a puzzle was simply not valid if it did not cover all tenable interpretations of the puzzle as presented. That is all I have done, starting from the versions that appear as numbers 1, & 2 on my web search for "hardest logic puzzle". OK, so Boolos adds some constraints, and the Raberns repair one weakness in Boolos' version (see "Apparent single-question solution..." for another possible one - I'll be interested to discover the flaw). The other thing was that these puzzlers without exception would have been looking for a "smart" solution (such as the 'exploding heads' or Boolos' solution) - so Smullyan's puzzle means they would find both before being forced to the simple set theoretic version. Naturally, you will take a different view if you don't accept these approaches to puzzling. (Personally, I regard the addition of da/ya as a simple secondary double negative - and a trivial addition unless that feature has added value)

[edit] Weird picture

Why is there a tapestry of Odin, Thor, and Freyr, incorrectly labeled "True, False, and Random", in this article? I can't imagine what purpose this illustration hopes to accomplish. Xezlec (talk) 02:58, 18 March 2008 (UTC)

OK then, removing it. Xezlec (talk) 01:49, 15 May 2008 (UTC)