View previous topic :: View next topic 
Author 
Message 
daj95376
Joined: 23 Aug 2008 Posts: 3855

Posted: Tue Jul 14, 2009 5:39 pm Post subject: Atypical Extension of NonProductive Skyscraper 


While reviewing puzzles for posting, I ran across this puzzle and PM.
Code:  ++
 8 . .  . . 2  9 . 6 
 . . .  . 4 .  5 2 . 
 . . .  . . .  . 4 . 
++
 . . .  . . .  1 9 . 
 . 1 .  . 2 .  3 . 4 
 4 . .  . . 6  . . . 
++
 6 2 .  3 7 .  . 1 . 
 . 7 4  2 . .  6 8 . 
 5 . .  . 6 .  . . 2 
++
after basics
++
 8 4 35  @15 13 2  9 7 6 
 179 369 367  8 4 379  5 2 13 
 *179 359 2  6 39 *3795  8 4 13 
++
 2 56 56  47 38 34  1 9 78 
 *79 1 8  *795 2 @59  3 6 4 
 4 39 37  179 189 6  2 5 78 
++
 6 2 9  3 7 8  4 1 5 
 3 7 4  2 5 1  6 8 9 
 5 8 1  49 6 49  7 3 2 
++
# 40 eliminations remain

There is a nonproductive Skyscraper in r35c1 for <7>. Most extension techniques are based on extending the <7> candidate. However, this Skyscraper can easily be extended into a singlestep solution using a candidate other than <7>.
Here's the steps extending the Skyscraper in this PM.
1 ) Skyscraper (*) found and strong link noted between endpoints: (7)r3c6 = r3c1  r5c1 = (7)r5c4
2a) Endpoint cell [r3c6] also contains candidates {3,5,9}
2b) Endpoint cell [r5c4] also contains candidates {5,9}
3a) Look for a strong link on any candidate common to (2a) and (2b); i.e., {5,9}
3b) in any cell that sees both of the endpoint cells
3c) and has a strong link to at least one of endpoint cells
3d) note: there are only six cells to check
4 ) Several choices present themselves in this PM:
Code:  Strong link in [b2] that satisfies (3): (5)r1c4 = (5)r3c6 or
Strong link in [c4] that satisfies (3): (5)r1c4 = (5)r5c4 or
Strong link in [c6] that satisfies (3): (5)r5c6 = (5)r3c6 or
Strong link in [b5] that satisfies (3): (5)r5c6 = (5)r5c4

5 ) Numerous chains can be formed  including:
Code:    Skyscraper  
(5)r1c4 = (57)r3c6 = r3c1  r5c1 = (75)r5c4 => [r5c4]<>5
  Skyscraper  
(5)r1c4 = (57)r3c6 = r3c1  r5c1 = (75)r5c4 = (5)r5c6 => [r3c6],[r5c4]<>5

The strong link on the Skyscraper endpoints allow the simpler interpretations:
Code:  (5)r1c4 = (57)r3c6 = (75)r5c4 => [r5c4]<>5
(5)r1c4 = (57)r3c6 = (75)r5c4 = (5)r5c6 => [r3c6],[r5c4]<>5

Note: My memory is swiss chese anymore. If this is old information, then please send me a private message and I'll delete the thread. TIA! 

Back to top 


arkietech
Joined: 31 Jul 2008 Posts: 1752 Location: Northwest Arkansas USA

Posted: Tue Jul 14, 2009 11:38 pm Post subject: 


Code:  ++
 8 4 35  @15 13 2  9 7 6 
 179 369 367  8 4 379  5 2 13 
 *179 359 2  6 39 *3795  8 4 13 
++
 2 56 56  47 38 34  1 9 78 
 *79 1 8  *795 2 @59  3 6 4 
 4 39 37  179 189 6  2 5 78 
++
 6 2 9  3 7 8  4 1 5 
 3 7 4  2 5 1  6 8 9 
 5 8 1  49 6 49  7 3 2 
++
if r5c4=7 r1c4=5
if r3c6=7 r1c4=5=>r1c4=5 
Isn't this simpler? 

Back to top 


daj95376
Joined: 23 Aug 2008 Posts: 3855

Posted: Wed Jul 15, 2009 12:41 am Post subject: 


arkietech wrote:  Code:  ++
 8 4 35  @15 13 2  9 7 6 
 179 369 367  8 4 379  5 2 13 
 *179 359 2  6 39 *3795  8 4 13 
++
 2 56 56  47 38 34  1 9 78 
 *79 1 8  *795 2 @59  3 6 4 
 4 39 37  179 189 6  2 5 78 
++
 6 2 9  3 7 8  4 1 5 
 3 7 4  2 5 1  6 8 9 
 5 8 1  49 6 49  7 3 2 
++
if r5c4=7 r1c4=5
if r3c6=7 r1c4=5=>r1c4=5 
Isn't this simpler? 
Yes ... and No. You are using a forcing chain based on the endpoints of the Skyscraper. I like forcing chains (the Yes), but most people frown on them (the No). So, I do my best to present information as AICs.
Unfortunately, my PM has more strong links in <5> than is necessary for the general approach that I'm demonstrating. You used them to demonstrate a different approach for this PM. Had there been other cells containing <5> in [r46789c4] and [r46789c6], then my approach would have continued to work and your shortcut would have failed. 

Back to top 


arkietech
Joined: 31 Jul 2008 Posts: 1752 Location: Northwest Arkansas USA

Posted: Wed Jul 15, 2009 12:56 am Post subject: 


Someday I will understand all of this.
Code:  ++
 8 4 35  @15 13 2  9 7 6 
 179 369 367  8 4 379  5 2 13 
 *179 359 2  6 39 *3795  8 4 13 
++
 2 56 56  47 38 34  1 9 78 
 *79 1 8  *795 2 @59  3 6 4 
 4 39 37  179 189 6  2 5 78 
++
 6 2 9  3 7 8  4 1 5 
 3 7 4  2 5 1  6 8 9 
 5 8 1  49 6 49  7 3 2 
++
(5)r1c4=(57)r3c6=(7)r3c1(7)r5c1=(75)r5c4=(5)r1c4=>r1c4=5
Is this forcing? 


Back to top 


storm_norm
Joined: 18 Oct 2007 Posts: 1741

Posted: Wed Jul 15, 2009 4:40 am Post subject: Re: Atypical Extension of NonProductive Skyscraper 


Danny,
you posted this.
Code:    Skyscraper  
(5)r1c4 = (57)r3c6 = r3c1  r5c1 = (75)r5c4 => [r5c4]<5> [r3c6],[r5c4]<>5

you know, I think you have a good point about the general structure. and I would be so bold as to call it an inverted wwing.
wwing
(x=y)  y = y  (y=x) and the x's are pincers if they both see any other x's
notice in the wwing that the two bivalue cells have strong inferences between the candidates.
your inverted wwing
x = (xy) = y  y = (yx) = x
notice how its inverted. every step of this new chain is exactly opposite a normal wwing.
all the strong inferences are now weak and all the weak are now strong.
the cells that would contain the two bivalue cells in a wwing now contain any number of candidates and the interaction is weak.
the candidate that is normally linked strongly in a wwing is now linked weakly.
completely inverted to a wwing.
Code:  wwing: (x=y)  y = y  (y=x)
  
strong strong strong
inverted: x = (xy) = y  y = (yx) = x
  
weak weak weak 
the x's on the ends still act like pincers obviously needing to be extensions of the weakly linked xy cells. 

Back to top 


daj95376
Joined: 23 Aug 2008 Posts: 3855

Posted: Wed Jul 15, 2009 4:47 am Post subject: 


arkietech wrote:  Someday I will understand all of this.

That will make you head'nshoulders over me. I'm fighting to keep what I've learned straight!
you wrote:  Code:  ++
 8 4 35  @15 13 2  9 7 6 
 179 369 367  8 4 379  5 2 13 
 *179 359 2  6 39 *3795  8 4 13 
++
 2 56 56  47 38 34  1 9 78 
 *79 1 8  *795 2 @59  3 6 4 
 4 39 37  179 189 6  2 5 78 
++
 6 2 9  3 7 8  4 1 5 
 3 7 4  2 5 1  6 8 9 
 5 8 1  49 6 49  7 3 2 
++
(5)r1c4=(57)r3c6=(7)r3c1(7)r5c1=(75)r5c4=(5)r1c4=>r1c4=5
Is this forcing? 

This appears to be a valid AIC. You assume that [r1c4] is not <5>, and then demonstrated that it led to a contradiction to the assumption. This then forces [r1c4]=5.
Just Between You and Me: I recently came to the conclusion that an AIC can be viewed as a forcing chain. I'm probably the only person who feels this way. It's all a matter of perspective. I don't expect anyone to agree with me, but you have a friend when it comes to believing in forcing chains.
[Edit: corrected spelling error.]
Last edited by daj95376 on Wed Jul 15, 2009 5:15 am; edited 1 time in total 

Back to top 


storm_norm
Joined: 18 Oct 2007 Posts: 1741

Posted: Wed Jul 15, 2009 4:57 am Post subject: 


also, Danny, hopefully you have thought about how this is definitely generalized to any multicoloring pattern and not just a skyscraper.
Code:  Danny's example: x = (xy) = y  y = (yx) = x
 
1 2 multicoloring links
generally x = (xy) = any even multicoloring links = (yx) = x 
so the steps in the middle could be a kite, skyscraper, a 6 link classic swordrish, etc. the coloring in the middle ciould be any shape as long as it has an even link count. 

Back to top 


daj95376
Joined: 23 Aug 2008 Posts: 3855

Posted: Wed Jul 15, 2009 5:11 am Post subject: Re: Atypical Extension of NonProductive Skyscraper 


storm_norm wrote:  Danny,
you posted this.
[Edited: I believe that Norm originally selected the wrong chain to demonstrate his point.]
Code:    Skyscraper  
(5)r1c4 = (57)r3c6 = r3c1  r5c1 = (75)r5c4 = (5)r5c6 => [r3c6],[r5c4]<>5

you know, I think you have a good point about the general structure. and I would be so bold as to call it an inverted wwing.
wwing
(x=y)  y = y  (y=x) and the x's are pincers if they both see any other x's
notice in the wwing that the two bivalue cells have strong inferences between the candidates.
your inverted wwing
x = (xy) = y  y = (yx) = x
notice how its inverted. every step of this new chain is exactly opposite a normal wwing.
all the strong inferences are now weak and all the weak are now strong.
the cells that would contain the two bivalue cells in a wwing now contain any number of candidates and the interaction is weak.
the candidate that is normally linked strongly in a wwing is now linked weakly.
completely inverted to a wwing.
Code:  wwing: (x=y)  y = y  (y=x)
  
strong strong strong
inverted: x = (xy) = y  y = (yx) = x
  
weak weak weak 
the x's on the ends still act like pincers obviously needing to be extensions of the weakly linked xy cells. 
Wow ... impressive!!!
You certainly did a much better job of analyzing the structure than I did. I had some concept of a hybrid cross between a WWing and a gMWing; but your perspective is much cleaner and clearer.
The thing that struck home for me was the weak link in the xy cells because they could now contain other candidates. I'm glad to see that you picked up on this as well.
I've added your inverted WWing description to my notes file on WWings and MWings.
===== ===== ===== ===== ===== Clarification
My intended pattern was the first chain:
Code:  x = (xy) = y  y = (yx)

And the objective was to derive an elimination in the rightmost cell for 'x' through it being a peer of the leftmost cell for 'x'.
When an additional strong link exists on the rightmost cell, as it does in my PM, then my pattern can be further extended into Norm's inverted WWing.
I'm glad now that I added the second chain to demonstrate that there was an overlapping, second pattern concurrently present.
Last edited by daj95376 on Wed Jul 15, 2009 6:00 am; edited 1 time in total 

Back to top 


daj95376
Joined: 23 Aug 2008 Posts: 3855

Posted: Wed Jul 15, 2009 5:32 am Post subject: 


storm_norm wrote:  also, Danny, hopefully you have thought about how this is definitely generalized to any multicoloring pattern and not just a skyscraper.
Code:  Danny's example: x = (xy) = y  y = (yx) = x
 
1 2 multicoloring links
generally x = (xy) = any even multicoloring links = (yx) = x 
so the steps in the middle could be a kite, skyscraper, a 6 link classic swordrish, etc. the coloring in the middle ciould be any shape as long as it has an even link count. 
No, I hadn't tried to generalize it. I'm aware that any pattern based on an internal XChain can be extended. However, I wanted to keep the pattern simple enough for manual solvers to feel comfortable with it. I liked the idea of having most of the action restricted to a chute  band/stack  and so the Skyscraper pattern suited me perfectly. 

Back to top 


storm_norm
Joined: 18 Oct 2007 Posts: 1741

Posted: Wed Jul 15, 2009 6:54 am Post subject: 


danny wrote,
Quote:  My intended pattern was the first chain:
Code:  x = (xy) = y  y = (yx)

And the objective was to derive an elimination in the rightmost cell for 'x' through it being a peer of the leftmost cell for 'x'. 
I see I see... this does have a favorable look to it if the original x does have a buddy that can be eliminated through the chain.
Code:  buddies
 
x = (xy) = y  y = (yx) 
so this looks like an inverted wwing with a tail, except the tail is at the beginning. the initial x starts it all off. the skyscraper makes the link to the buddy cell containing x.
Code:  ++++
 . . .  . . .  . . . 
 . . .  . 57 .  57 . . 
 . . .  . . .  . . . 
++++
 . . .  . . .  . . . 
 . . .  . 467 .  . . . 
 . . . *14 . . 467 . . 
++++ 
here the 4 in r6c4 sees the 4 in r6c7.
but,
the strong link on 4's in r6c4 and r5c5 excites the skyscraper on 7's which ends in a buddy cell of the initial 4 and contains a 4. this eliminates the 4 in the ending cell.
mildly difficult to explain.

just as a note to anyone who uses Andrew Stuart's solver... his solver denotes this type of chain as a "AIC RULE 2" where one end of the chain starts with a candidate and ends on a difference candidate in a buddy cell containing the original candidate.
AIC RULE 1 being a chain in which the end candidates act like pincers. 

Back to top 


arkietech
Joined: 31 Jul 2008 Posts: 1752 Location: Northwest Arkansas USA

Posted: Wed Jul 15, 2009 12:39 pm Post subject: 


Help me.
Is a closed chain with an inconsistancy called Forcing?
Is a chain ending with pinchers called AIC?
Thanks for the help and patience with me. 

Back to top 


daj95376
Joined: 23 Aug 2008 Posts: 3855

Posted: Wed Jul 15, 2009 3:13 pm Post subject: 


arkietech wrote:  Help me.
Is a closed chain with an inconsistancy called Forcing?
Is a chain ending with pinchers called AIC?
Thanks for the help and patience with me. 
Easy Dan,
You're overthinking it here. A forcing chain is defined by Jeff here. He even did a great job of updating the head message in the thread to include information from discussions in the thread. However, I needed to read it numerous times to understand most of it. Here's the key part about forcing chains.
Implication Stream  a sequence of nodes and links where strong or weak inferences are made from one node to the other(s) unidirectionally from left to right. (Refer definitions for "node", "link", "strong inference" and "weak inferences" below)
Example:
Code:  Canonical format:
r1c3=9 => r8c3<>9 => r8c3=7 => r8c9<>7 => r8c9=3 => r3c9<>3 => r3c9=2 => r2c8<>2 => r2c8=1
Simplified format:
r1c3=9 => r8c3=7 => r8c9=3 => r3c9=2 => r2c8=1

Forcing Chain  a chain that has 2 or more implication streams that start from one node and end in another node where the outcomes of inferences merge from the 2 implication streams. In a forcing chain, a node can only infer the next successive node downstream.
Example:
Code:  r9c6=7 => r9c1=8 => r9c1<>7
r9c6=8 => r8c5=7 => r3c5<>7 => r3c1=7 => r9c1<>7
Therefore r9c1<>7
r3c9=9 => r3c4<>9 => r2c4=9 => r2c1<>9
r3c9=7 => (r3c1 & r1c2=89) => r2c1<>9
Therefore r2c1<>9
where (r3c1 & r1c2=89) is a node containing 2 grouped cells.

[end of quote from Jeff's thread.]
A forcing chain starts with 2 (or more) assumptions that exhaustively cover all possibilities for some condition. When streams from each assumption result in a common conclusion, then that conclusion must be correct. Here's your streams from above. Your (exhaustive) assumptions are based on the strong link between the endpoints of the Skyscraper.
Code:  r5c4=7 => r1c4=5
r3c6=7 => r1c4=5 q.e.d.

Now, AICs are based on an inference chain that is bidirectional. You can find Myth Jellies description here. How it all works as one chain is nifty but difficult to explain w/o delving into the rules of logic. It wasn't until I learned Eureka notation that I had a comfortable feel for AIC. Even then, Asellus needed to convince me that it was okay for them to start and end with weak inferences as well.
Bottom Line (for me): A forcing chain contains multiple streams that start from a common constraint and result in a common conclusion. An AIC is a single inference chain where the bidirectional property makes a conclusion possible.
As for pincers, I hadn't heard of them until I joined this forum. For me, they add a colorful description to what's happening based on the endpoints of an AIC, but nothing more. 

Back to top 


keith
Joined: 19 Sep 2005 Posts: 3257 Location: near Detroit, Michigan, USA

Posted: Wed Jul 15, 2009 6:35 pm Post subject: 


Danny, for what it's worth, I have not seen this before.
Here's how I see it: Suppose you have a skyscraper in Y:
aY=bYcY=dY
where a, b, c, d are any candidates. The argument is that one (or) both of the center cells (those with b and c) are not Y. Therefore, one (or both) of the end cells are Y.
Now, suppose a and d have a common candidate, X, as in
eXY=bYcY=fXY
where e and f are any candidates. From the logic above, one (or both) of the end cells (those with e and f) are not X.
This is exactly the same condition (on X) that was the beginning statement (on Y) for the skyscraper. These end cells can be the start of any multicoloring logic on X.
I think this is pretty cool. How useful it is, we shall see.
Keith 

Back to top 


keith
Joined: 19 Sep 2005 Posts: 3257 Location: near Detroit, Michigan, USA

Posted: Wed Jul 15, 2009 6:51 pm Post subject: 


In Danny's original "After Basics" diagram, if you look at only the unsolved cells that have 5 as a candidate, it is pretty clear what is going on:
Code:  ++
 . . 5  5 . .  . . . 
 . . .  . . .  . . . 
 . 5 .  . . *5  . . . 
++
 . 5 5  . . .  . . . 
 . . .  *5 . 5  . . . 
 . . .  . . .  . . . 
++
 . . .  . . .  . . . 
 . . .  . . .  . . . 
 . . .  . . .  . . . 
++  One (or both) of the cells marked * is not 5. That is enough to solve all the values of 5.
Keith 

Back to top 


arkietech
Joined: 31 Jul 2008 Posts: 1752 Location: Northwest Arkansas USA

Posted: Wed Jul 15, 2009 7:06 pm Post subject: 


What about this condition? t=true f=false Code:  ++
 . . t5  f5 . .  . . . 
 . . .  . . .  . . . 
 . f5 .  . . t5  . . . 
++
 . t5 f5  . . .  . . . 
 . . .  t5 . f5  . . . 
 . . .  . . .  . . . 
++
 . . .  . . .  . . . 
 . . .  . . .  . . . 
 . . .  . . .  . . . 
++ 


Back to top 


daj95376
Joined: 23 Aug 2008 Posts: 3855

Posted: Wed Jul 15, 2009 9:22 pm Post subject: 


keith wrote:  I think this is pretty cool. How useful it is, we shall see.

Keith, Thanks for the positive comment.
As for being useful, give it a try against Set XY_03 Puzzle 026. This puzzle was selected because it didn't seem to have any workarounds for the XYChains. Then I checked it for this pattern. It cracks the puzzle! 

Back to top 


keith
Joined: 19 Sep 2005 Posts: 3257 Location: near Detroit, Michigan, USA

Posted: Thu Jul 16, 2009 12:37 am Post subject: 


arkietech wrote:  What about this condition? t=true f=false Code:  ++
 . . t5  f5 . .  . . . 
 . . .  . . .  . . . 
 . f5 .  . . t5* . . . 
++
 . t5 f5  . . .  . . . 
 . . .  t5* . f5  . . . 
 . . .  . . .  . . . 
++
 . . .  . . .  . . . 
 . . .  . . .  . . . 
 . . .  . . .  . . . 
++ 

I agree that all of the "f" cells OR all of the "t" cells must be <5>.
The diagram has been edited to add * to two cells. One or both of these "t" cells are false (not 5) (from the skyscraper on 7). It is clear that the cells labeled "f" must be true!
Keith 

Back to top 


keith
Joined: 19 Sep 2005 Posts: 3257 Location: near Detroit, Michigan, USA

Posted: Thu Jul 16, 2009 1:02 am Post subject: 


What's in a name?
I really do think that Danny's observation is pretty cool. Especially, since I think it is accessible to pencil & paper solvers.
So far as a name is concerned, I will suggest "Medusa Skyscraper" (my choice), or "Double Skyscraper".
Find a skyscraper. Use the spires to build another skyscraper in a different candidate.
If the method is useful, some name will stick. Otherwise, it will go the way of my unlamented finned XYwing.
Best wishes,
Keith 

Back to top 


Luke451
Joined: 20 Apr 2008 Posts: 310 Location: Southern Northern California

Posted: Mon Jul 20, 2009 9:03 pm Post subject: 


I think the extended skyscraper is pretty cool. The following is more about terminology than the technique under discussion.
arkietech wrote:  Is a closed chain with an inconsistancy called Forcing? 
I'm also trying to understand chain terminology. What do you think of this?
If a chain is closed it becomes a nice loop. An inconsistency is referred to as a discontinuity. If a chain closes on an inconsistency, it is a discontinuous nice loop. In the chain you wrote above,
(5)r1c4=(57)r3c6=(7)r3c1(7)r5c1=(75)r5c4=(5)r1c4=>r1c4=5,
your loop is closed with two strong links on 5, so it's a discontinuous nice loop and the digit 5 can be placed at the discontinuity.
daj97536 wrote:  You assume that [r1c4] is not <5>, and then demonstrated that it led to a contradiction to the assumption. This then forces [r1c4]=5. 
My questions are very general. I've wondered if an AIC or nice loop or any use of an inference actually requires making any assumptions whatsoever. An inference simply exists, right?. The relationship between two candidates or nodes either meet the criteria of a strong link or a weak link, or they don't. arkietech's chain starts with notation which means "The 5 in r1c4 and the 5 in r3c6 can't both be false." What assumption has been made? 

Back to top 


daj95376
Joined: 23 Aug 2008 Posts: 3855

Posted: Mon Jul 20, 2009 10:02 pm Post subject: 


Luke451 wrote:  I think the extended skyscraper is pretty cool.

Thanks!
Luke451 wrote:  arkietech wrote:  Is a closed chain with an inconsistancy called Forcing? 
I'm also trying to understand chain terminology. What do you think of this?
If a chain is closed it becomes a nice loop. An inconsistency is referred to as a discontinuity. If a chain closes on an inconsistency, it is a discontinuous nice loop. In the chain you wrote above,
(5)r1c4=(57)r3c6=(7)r3c1(7)r5c1=(75)r5c4=(5)r1c4=>r1c4=5,
your loop is closed with two strong links on 5, so it's a discontinuous nice loop and the digit 5 can be placed at the discontinuity.

I wasn't sure what inconsistency meant to Dan, but I suspect that your use of discontinuous probably fits. For sure, a closed chain is a property of a nice/AIC loop and not a forcing chain. Sudopedia covers chains extensively, including continuous and discontinuous, so I'm not going to repeat it here.
Luke451 wrote:  daj97536 wrote:  You assume that [r1c4] is not <5>, and then demonstrated that it led to a contradiction to the assumption. This then forces [r1c4]=5. 
My questions are very general. I've wondered if an AIC or nice loop or any use of an inference actually requires making any assumptions whatsoever. An inference simply exists, right?. The relationship between two candidates or nodes either meet the criteria of a strong link or a weak link, or they don't. arkietech's chain starts with notation which means "The 5 in r1c4 and the 5 in r3c6 can't both be false." What assumption has been made? 
Sudopedia quoted from here.
Quote:  In Sudoku, an inference is a statement concerning the interaction between premises, where a premise is a statement concerning the state of the Sudoku that must be either true or false. The most common type of premise is that a particular cell has a particular candidate value. When they are used in chains or loops, the term inference is equivalent to link.
There is some discussion about the difference between inferences and implications.
There are 2 types of inference. Strong and weak:
Two premises can be linked by a strong inference if they cannot both be false.
Two premises can be linked by a weak inference if they cannot both be true.

Sudopedia says premise and I say assumption. 

Back to top 


