22 (Clues) / 7 (Columns) / Boolean Algebra

Post puzzles for others to solve here.

Re: 22 (Clues) / 7 (Columns) / Boolean Algebra

Postby SpAce » Mon Sep 07, 2020 6:53 pm

eleven wrote:Ok, if it is too hard for you to understand,

Feeling superior?

i will spell it out. a is no valid SIS (without further explanation), b is.

Thank you. That explains why you can't accept even the explicit version.

Now answer the previous five questions too, so we can pinpoint the exact reason. I think I know the answer, but I'd like to hear it from you.

--
Added. Or I can make it easier for you:

Code: Select all
(3,8)r3c6,r7c9
||
(3-8)r8c6 = (8)r7c5
||
(8)r7c5 - (8=3)r8c6

1) Is that a valid SIS?
2) Are the chains correct?

If so, then your problem is with question 3. Correct?

original questions 1,2,3: Show
1. Do you agree that:

(3,8)r3c6,r7c9 <-> (3r3c6 & 8r7c9)
(3r3c6 & 8r7c9) = (3r8c6 | 8r7c5)

2. Do you agree that:

3r3c6 = (3-8)r8c6 = 8r7c5
8r7c9 = 8r7c5 - (8=3)r8c6

3. Do you agree that we can (and routinely do) write them (2) as:

3r3c6 = (3,8)b8p62
8r7c9 = (8,3)b8p26

In other words, apparently you don't accept one or either of these links:

Code: Select all
a. 3r3c6 = (3,8)b8p62
b. 8r7c9 = (8,3)b8p26

Which one do you think is invalid? Or both? If just one, why?

And now you tell me, where i can find the 8 link in box 8 in your chain - or don't you need it ?

Of course I need it. It's implicit in the a-link above. Are you seriously claiming that you haven't seen similar AHS-links by myself and Steve dozens of times, or are you claiming they all have been invalid?
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: 22 (Clues) / 7 (Columns) / Boolean Algebra

Postby eleven » Mon Sep 07, 2020 8:59 pm

Yes, show me one. Then those AIC's are incomplete and invalid too.
eleven
 
Posts: 3082
Joined: 10 February 2008

Re: 22 (Clues) / 7 (Columns) / Boolean Algebra

Postby SpAce » Mon Sep 07, 2020 9:20 pm

eleven wrote:Yes, show me one. Then those AIC's are incomplete and invalid too.

Just look at Steve's solution to the Donut today:

SteveG48 wrote:(7=8)r6c4 - 8r6c1 = (87)b1p48 => -7 r3c4 ; stte

How is that link different from my a-link, except it doesn't have a comma? Are you going to tell Steve that his link is invalid?
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: 22 (Clues) / 7 (Columns) / Boolean Algebra

Postby eleven » Mon Sep 07, 2020 9:25 pm

The link is written: (87)b1p48
eleven
 
Posts: 3082
Joined: 10 February 2008

Re: 22 (Clues) / 7 (Columns) / Boolean Algebra

Postby SpAce » Mon Sep 07, 2020 9:36 pm

eleven wrote:The link is written: (87)b1p48

What? There is no link written there any more than in mine.

How is that different from this: (3,8)b8p62 ???

Steve's translates to: (8-7)r2c1 = (7)r3c2
Mine translates to: (3-8)r8c6 = (8)r7c5

Where is the difference?
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: 22 (Clues) / 7 (Columns) / Boolean Algebra

Postby eleven » Mon Sep 07, 2020 9:47 pm

You are right, the needed links for the 8 are well hidden, but there in some way.
eleven
 
Posts: 3082
Joined: 10 February 2008

Re: 22 (Clues) / 7 (Columns) / Boolean Algebra

Postby SpAce » Mon Sep 07, 2020 9:50 pm

eleven wrote:You are right, the needed links for the 8 are well hidden, but there in some way.

Thank you. Can we move on to questions 4 and 5 then?

"original questions 4,5: Show
4. Do you agree that (based on 1 and 3):

(3r3c6 & 8r7c9) = (3,8)b8p62|(8,3)b8p26
=>
(3,8)r3c6,r7c9 = (3,8)b8p62|(8,3)b8p26

? If so, you should accept the explicit version. If not, tell me where the error is.

5. Do you agree that:

(3,8)b8p62 <-> (8,3)b8p26
=>
(3,8)r3c6,r7c9 = (3,8)b8p62
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: 22 (Clues) / 7 (Columns) / Boolean Algebra

Postby SpAce » Wed Sep 09, 2020 6:18 am

I see no answers to questions 4 and 5, so I assume eleven grudgingly agreed. Thus, there should be no more question whether this link is valid or not:

(3,8)r3c6,r7c9 = (3,8)b8p62

Sure, it's not necessarily trivial to see how it works, especially when read from right to left, but it's definitely not ambiguous. The implied logic is also not complicated enough to be considered derived, as far as I'm concerned. One way to see it both ways is by noting that 3r8c6 and 8r7c5 must be true or false together (same parity).

As I said, I'm happy to leave it like that. I can accept that the original link without the latter comma is perhaps a bit too reduced:

(3,8)r3c6,r7c9 = (38)b8p26

Reading it from left to right is no different from the other but reversal is harder:

mith wrote:(The other direction is also correct; NOT((38)b8p26) => 6b8p2 => 8r7c9 AND 8b8p6 => 3r3c6)

In other words, it works but there's no simple way to do it without using the extra candidate 6b8p2. Since 6b8p2 is not written in the strong link, it puts the link (very mildly) into the derived territory, and it also complicates the logic. That's why I've come to the conclusion that what I said before wasn't fully accurate:

SpAce wrote:My link does not depend on any external logic whatsoever. If it did, I would have written it as a derived link with '==' like you should have done above. Yes, there's some implicit logic in my link, but that's commonly accepted if it happens within the nodes and between the candidates that are explicitly written in the link. That's certainly true here.

Well, it's not quite true because of the 6b8p2. Even though that candidate is written in the chain it's in a different role than what's needed for the strong link. (Too bad eleven never presented that argument, because I would have accepted it.) I was more correct in the original thread:

SpAce wrote:The only thing I might agree to change in the link is to mark it '==' since it's more or less derived.

So, I actually agree with eleven that the original link is somewhat derived and might need the '=='. Of course that's a stupid fix, because it's much better to use the comma on both sides. It results in simpler and less obfuscated logic while allowing to keep the direct link:

(3,8)r3c6,r7c9 = (3,8-6)b8p62 = RP(38)r38c6,r7c59 => -38 r3c9; stte

Any objections to that? If not, then I hope this question is finally settled. It only took almost four months.

--
The way we got there wasn't pretty. I'm really, really tired of these kinds of discussions, where one side A) presents terrible arguments, B) ignores any counterarguments, C) is arrogant as hell, D) makes constant insults with impunity, and worst of all, E) is mostly or completely wrong. I can deal with some subsets of those but not all of them in the same package.

Unfortunately that has been lately the norm with a few people here. The most disappointing of them is eleven, as he has so much to give in many aspects of sudoku. That, however, doesn't excuse behavior that ignores all normal rules of engagement. I never wanted any of this crap with him, but he chose that path and left me no choice. I don't really know why, nor do I much care any more. This is not my idea of fun and intelligent conversations.
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Previous

Return to Puzzles