Author Topic: Logic Puzzles  (Read 25352 times)

0 Members and 1 Guest are viewing this topic.

Offline Simon

  • Administrator
  • Posts: 2692
    • View Profile
    • Lix
Re: Logic Puzzles
« Reply #180 on: December 28, 2015, 07:52:44 pm »
Very good! This was also Proxima's idea on IRC: With substrings like (red, X, black), we can ignore X and score 1 block boundary here.

Love how you give the basic idea. :-)

-- Simon

Offline geoo

  • Administrator
  • Posts: 1329
    • View Profile
Re: Logic Puzzles
« Reply #181 on: December 28, 2015, 11:25:05 pm »
NaOH and I discussed the cookie puzzle in IRC. For posterity, I'm summarizing the discussion here:

I first found a solution eating 20 cookies. NaOH improved upon that by finding a solution with 21 cookies. I believe that this is optimal, below is the solution and my reasons/proof sketch for why I think it's optimal:

Spoiler (click to show/hide)

Offline Simon

  • Administrator
  • Posts: 2692
    • View Profile
    • Lix
Re: Logic Puzzles
« Reply #182 on: December 28, 2015, 11:38:11 pm »
Yes, very nice writeup with a proof.

<SimonN> we could be a wise guy and eat all 30 cookies. Then, whenever we take 1 from box A and 1 from box B, they satisfy anything
<geoo> yes, very good
<geoo> and we get way more cookies
<SimonN> I don't know if the cultural value of this is higher than NaOH's solution
<SimonN> math doesn't segfault, that's very nice
<SimonN> there is the empty truth and that's it. At best, symbol isn't defined


-- Simon

Offline Simon

  • Administrator
  • Posts: 2692
    • View Profile
    • Lix
Re: Logic Puzzles
« Reply #183 on: January 15, 2019, 04:53:53 am »
3-5 years ago, I saved this puzzle to a file, intending to post it here here once the then-running puzzles were solved. Shockingly, I've never come around to post it. Here it is!

4 boxes, 4 men

There are four boxes. One contains 3 black balls, the next contains 2 black, 1 white, the next contains 1 black, 2 white, and the final one contains 3 white balls. There are four labels describing the contents, BBB, BBW, BWW, WWW, with each box bearing one of these labels. None of the boxes are correctly labelled.

The boxes are randomly distributed among four men, A, B, C, and D. These men know the setup as described in the above paragraph, but they may only read the label of their own box, and it is not possible to examine balls without taking them out of the boxes.

Now, in alphabetical order, each man is ordered to read their box label (without announcing the label aloud), then take out and examine two balls from their own box, and make a truthful statement.

A says: "I drew two black balls, and I know the color of my third."
B says: "I drew a black and a white, and I too know the color of my third."
C says: "I drew two white balls, but I can't deduce the color of my third from only these two balls and my label."

D is a blind man, unable to check ball colors or read labels. Thinking hard for a while, he says: "I know the colors of all three balls in my box, and I can tell the color of A's, B's, and C's third balls."

How does he know?

-- Simon
« Last Edit: January 21, 2019, 11:28:21 pm by Simon »

Offline Ramon

  • Posts: 97
    • View Profile
    • JRK Studios
Re: Logic Puzzles
« Reply #184 on: January 15, 2019, 10:37:06 am »
Spoiler (click to show/hide)

Offline Simon

  • Administrator
  • Posts: 2692
    • View Profile
    • Lix
Re: Logic Puzzles
« Reply #185 on: January 15, 2019, 05:16:32 pm »
Correct answer by Ramon!

Forestidia and I solved it together today, and we stumbled on the same ambiguity in the original puzzle. There are two possible solutions. To fix the ambiguity and force one of the solutions, I've changed in the puzzle:

C: "I drew two white balls." to
C: "I drew two white balls, but I don't know the color of my third." See next post.

Thus, Ramon's answer remains correct, it is now the only correct one.

-- Simon
« Last Edit: January 21, 2019, 11:28:47 pm by Simon »

Offline Simon

  • Administrator
  • Posts: 2692
    • View Profile
    • Lix
Re: Logic Puzzles
« Reply #186 on: January 21, 2019, 11:32:15 pm »
Changed the 4-men-4-balls riddle again: Now, when C announces that he cannot deduce his own 3rd ball, C explicitly doesn't take into account the statements of A and B.

Reason for the change: The puzzle must be solvable from the blind man D's hearing of A's, B's, and C's statements. But if D can deduce everything here, then C must have been able to deduce everything already because C can't learn anything new after making his own statement. It would be inconsistent to let C have all knowledge that D has, yet let only D be able to deduce C's third ball.

Ramon's answer remains the only correct answer.

-- Simon