June 6, 2016

Post puzzles for others to solve here.

Re: June 6, 2016

Postby Leren » Tue Jun 07, 2016 8:42 pm

SteveG48 wrote :

Not quite. I don't see that there are 2 solutions if r9c5 <> 9. I see that if there is at least one solution with r9c5 <> 9, then there must be at least 2 solutions. A subtle distinction, but crucial. As you've shown, there are no solutions if r9c5 <> 9. This is what we expect, since we've assumed from the beginning that it's a proper puzzle with a unique solution. That's the basis of Phil's elimination, and all eliminations involving uniqueness arguments.

Spot on, and very refreshing to see that someone else understands uniqueness principles properly. Obviously your agreement with Phil's statement without qualification was just a linguistic quirk, to save on words.

Hopefully Phil's original statement that there would be 2 solutions if r9c5 <> 9 was a similar linguistic quirk.

Leren
Leren
 
Posts: 5019
Joined: 03 June 2012

Re: June 6, 2016

Postby SteveG48 » Tue Jun 07, 2016 9:13 pm

Leren wrote:Obviously your agreement with Phil's statement without qualification was just a linguistic quirk, to save on words.


Ah. Yes.
Steve
User avatar
SteveG48
2019 Supporter
 
Posts: 4202
Joined: 08 November 2013
Location: Orlando, Florida

Previous

Return to Puzzles