MHB Generating Solutions for a Challenging Puzzle

  • Thread starter Thread starter JamesBwoii
  • Start date Start date
  • Tags Tags
    Puzzle
AI Thread Summary
The discussion revolves around generating solutions for a specific puzzle involving two integers, X and Y, under certain conditions. The initial set of possible quads, [X, Y, S, P], was narrowed down from 2352 to 1747 by eliminating those where P is a prime number or has only two unique factors. The user seeks clarification on further necessary eliminations, particularly regarding unique sums, and is considering additional constraints such as S being odd, not being of the form Q+2 where Q is prime, and being less than 55. The user expresses confidence in their progress but remains uncertain about the completeness of their solution set. The conversation highlights the complexity of the problem and the need for careful consideration of mathematical properties.
JamesBwoii
Messages
71
Reaction score
0
Hi, I'm doing some programming work with regards to this puzzle.

Impossible Puzzle - Wikipedia, the free encyclopedia

I have to generating the solutions to the the resulting solutions after the four following sentences are said.

  1. P says "I cannot find these numbers."
  2. S says "I was sure that you could not find them. I cannot find them either."
  3. P says "Then, I found these numbers."
  4. S says "If you could find them, then I also found them."

I am creating a list of quads, [X,Y,S,P] where X and Y are the two integers where

  • 0 < X < Y
  • S = X + Y
  • S < 100
  • P = X * Y

So firstly I generated every single possibility which is 2352 possible quads.

Then after sentence 1 is said I remove a quad if P is a prime number or if P has two unique factors. In other words if P can only be made from 2 possible numbers it is removed. This leaves 1747 quads. I know this is correct.

From there on I am a little confused. I know that unique sums need to be removed but I have been told that that is not enough and other quads need removing, but I can't think what else would mean that it would need to be removed.

Thank you.
 
Physics news on Phys.org
Pretty sure I've figured it out now.

  • S is odd(Goldbach Conjecture).
  • S is not of the form Q+2 where Q is prime.
  • S is less than 55.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top