dailysudoku.com Forum Index dailysudoku.com
Discussion of Daily Sudoku puzzles
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

Atypical Extension of Non-Productive Skyscraper

 
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Solving techniques, and terminology
View previous topic :: View next topic  
Author Message
daj95376



Joined: 23 Aug 2008
Posts: 3854

PostPosted: Tue Jul 14, 2009 5:39 pm    Post subject: Atypical Extension of Non-Productive Skyscraper Reply with quote

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   *379-5 |  8     4     13    |
 |--------------------+--------------------+--------------------|
 |  2     56    56    |  47    38    34    |  1     9     78    |
 | *79    1     8     | *79-5  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 non-productive Skyscraper in r35c1 for <7>. Most extension techniques are based on extending the <7> candidate. However, this Skyscraper can easily be extended into a single-step 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 = (5-7)r3c6 = r3c1 - r5c1 = (7-5)r5c4           =>        [r5c4]<>5

              | ------ Skyscraper ----- |
  (5)r1c4 = (5-7)r3c6 = r3c1 - r5c1 = (7-5)r5c4 = (5)r5c6 => [r3c6],[r5c4]<>5


The strong link on the Skyscraper endpoints allow the simpler interpretations:

Code:
  (5)r1c4 = (5-7)r3c6 = (7-5)r5c4           =>        [r5c4]<>5

  (5)r1c4 = (5-7)r3c6 = (7-5)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
View user's profile Send private message
arkietech



Joined: 31 Jul 2008
Posts: 1834
Location: Northwest Arkansas USA

PostPosted: Tue Jul 14, 2009 11:38 pm    Post subject: Reply with quote

Code:
 +--------------------------------------------------------------+
 |  8     4     35    | @15    13    2     |  9     7     6     |
 |  179   369   367   |  8     4     379   |  5     2     13    |
 | *179   359   2     |  6     39   *379-5 |  8     4     13    |
 |--------------------+--------------------+--------------------|
 |  2     56    56    |  47    38    34    |  1     9     78    |
 | *79    1     8     | *79-5  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
View user's profile Send private message
daj95376



Joined: 23 Aug 2008
Posts: 3854

PostPosted: Wed Jul 15, 2009 12:41 am    Post subject: Reply with quote

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   *379-5 |  8     4     13    |
 |--------------------+--------------------+--------------------|
 |  2     56    56    |  47    38    34    |  1     9     78    |
 | *79    1     8     | *79-5  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
View user's profile Send private message
arkietech



Joined: 31 Jul 2008
Posts: 1834
Location: Northwest Arkansas USA

PostPosted: Wed Jul 15, 2009 12:56 am    Post subject: Reply with quote

Someday I will understand all of this. Sad
Code:
 +--------------------------------------------------------------+
 |  8     4     35    | @15    13    2     |  9     7     6     |
 |  179   369   367   |  8     4     379   |  5     2     13    |
 | *179   359   2     |  6     39   *379-5 |  8     4     13    |
 |--------------------+--------------------+--------------------|
 |  2     56    56    |  47    38    34    |  1     9     78    |
 | *79    1     8     | *79-5  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=(5-7)r3c6=(7)r3c1-(7)r5c1=(7-5)r5c4=(5)r1c4=>r1c4=5
Is this forcing?
Back to top
View user's profile Send private message
storm_norm



Joined: 18 Oct 2007
Posts: 1741

PostPosted: Wed Jul 15, 2009 4:40 am    Post subject: Re: Atypical Extension of Non-Productive Skyscraper Reply with quote

Danny,
you posted this.

Code:
              | ------ Skyscraper ----- |
  (5)r1c4 = (5-7)r3c6 = r3c1 - r5c1 = (7-5)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 w-wing.

w-wing
(x=y) - y = y - (y=x) and the x's are pincers if they both see any other x's
notice in the w-wing that the two bi-value cells have strong inferences between the candidates.


your inverted w-wing

x = (x-y) = y - y = (y-x) = x

notice how its inverted. every step of this new chain is exactly opposite a normal w-wing.
all the strong inferences are now weak and all the weak are now strong.
the cells that would contain the two bi-value cells in a w-wing now contain any number of candidates and the interaction is weak.
the candidate that is normally linked strongly in a w-wing is now linked weakly.

completely inverted to a w-wing.

Code:
w-wing:       (x=y) - y = y - (y=x)
                |       |       |
             strong   strong    strong



inverted: x = (x-y) = y - y = (y-x) = 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
View user's profile Send private message
daj95376



Joined: 23 Aug 2008
Posts: 3854

PostPosted: Wed Jul 15, 2009 4:47 am    Post subject: Reply with quote

arkietech wrote:
Someday I will understand all of this. Sad

That will make you head-'n-shoulders 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   *379-5 |  8     4     13    |
 |--------------------+--------------------+--------------------|
 |  2     56    56    |  47    38    34    |  1     9     78    |
 | *79    1     8     | *79-5  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=(5-7)r3c6=(7)r3c1-(7)r5c1=(7-5)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
View user's profile Send private message
storm_norm



Joined: 18 Oct 2007
Posts: 1741

PostPosted: Wed Jul 15, 2009 4:57 am    Post subject: Reply with quote

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 = (x-y) = y - y = (y-x) = x
                             |   |
                             1   2  multicoloring links


generally        x = (x-y) = any even multicoloring links = (y-x) = 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
View user's profile Send private message
daj95376



Joined: 23 Aug 2008
Posts: 3854

PostPosted: Wed Jul 15, 2009 5:11 am    Post subject: Re: Atypical Extension of Non-Productive Skyscraper Reply with quote

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 = (5-7)r3c6 = r3c1 - r5c1 = (7-5)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 w-wing.

w-wing
(x=y) - y = y - (y=x) and the x's are pincers if they both see any other x's
notice in the w-wing that the two bi-value cells have strong inferences between the candidates.


your inverted w-wing

x = (x-y) = y - y = (y-x) = x

notice how its inverted. every step of this new chain is exactly opposite a normal w-wing.
all the strong inferences are now weak and all the weak are now strong.
the cells that would contain the two bi-value cells in a w-wing now contain any number of candidates and the interaction is weak.
the candidate that is normally linked strongly in a w-wing is now linked weakly.

completely inverted to a w-wing.

Code:
w-wing:       (x=y) - y = y - (y=x)
                |       |       |
             strong   strong    strong



inverted: x = (x-y) = y - y = (y-x) = 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 W-Wing and a gM-Wing; 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 W-Wing description to my notes file on W-Wings and M-Wings.

===== ===== ===== ===== ===== Clarification

My intended pattern was the first chain:

Code:
x = (x-y) = y - y = (y-x)

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 W-Wing.

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
View user's profile Send private message
daj95376



Joined: 23 Aug 2008
Posts: 3854

PostPosted: Wed Jul 15, 2009 5:32 am    Post subject: Reply with quote

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 = (x-y) = y - y = (y-x) = x
                             |   |
                             1   2  multicoloring links


generally        x = (x-y) = any even multicoloring links = (y-x) = 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 X-Chain 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
View user's profile Send private message
storm_norm



Joined: 18 Oct 2007
Posts: 1741

PostPosted: Wed Jul 15, 2009 6:54 am    Post subject: Reply with quote

danny wrote,

Quote:
My intended pattern was the first chain:

Code:
x = (x-y) = y - y = (y-x)

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 = (x-y) = y - y = (y-x)

so this looks like an inverted w-wing 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
View user's profile Send private message
arkietech



Joined: 31 Jul 2008
Posts: 1834
Location: Northwest Arkansas USA

PostPosted: Wed Jul 15, 2009 12:39 pm    Post subject: Reply with quote

Help me. Confused
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
View user's profile Send private message
daj95376



Joined: 23 Aug 2008
Posts: 3854

PostPosted: Wed Jul 15, 2009 3:13 pm    Post subject: Reply with quote

arkietech wrote:
Help me. Confused
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
View user's profile Send private message
keith



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

PostPosted: Wed Jul 15, 2009 6:35 pm    Post subject: Reply with quote

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=bY-cY=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=bY-cY=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
View user's profile Send private message
keith



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

PostPosted: Wed Jul 15, 2009 6:51 pm    Post subject: Reply with quote

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
View user's profile Send private message
arkietech



Joined: 31 Jul 2008
Posts: 1834
Location: Northwest Arkansas USA

PostPosted: Wed Jul 15, 2009 7:06 pm    Post subject: Reply with quote

What about this condition? t=true f=false
Code:
 +-----------------------------------+
 |  .  . t5  | f5  .  .  |  .  .  .  |
 |  .  .  .  |  .  .  .  |  .  .  .  |
 |  . f5  .  |  .  .  t5 |  .  .  .  |
 |-----------+-----------+-----------|
 |  . t5 f5  |  .  .  .  |  .  .  .  |
 |  .  .  .  | t5  . f5  |  .  .  .  |
 |  .  .  .  |  .  .  .  |  .  .  .  |
 |-----------+-----------+-----------|
 |  .  .  .  |  .  .  .  |  .  .  .  |
 |  .  .  .  |  .  .  .  |  .  .  .  |
 |  .  .  .  |  .  .  .  |  .  .  .  |
 +-----------------------------------+
Back to top
View user's profile Send private message
daj95376



Joined: 23 Aug 2008
Posts: 3854

PostPosted: Wed Jul 15, 2009 9:22 pm    Post subject: Reply with quote

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 XY-Chains. Then I checked it for this pattern. It cracks the puzzle!
Back to top
View user's profile Send private message
keith



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

PostPosted: Thu Jul 16, 2009 12:37 am    Post subject: Reply with quote

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
View user's profile Send private message
keith



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

PostPosted: Thu Jul 16, 2009 1:02 am    Post subject: Reply with quote

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 XY-wing.

Best wishes,

Keith
Back to top
View user's profile Send private message
Luke451



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

PostPosted: Mon Jul 20, 2009 9:03 pm    Post subject: Reply with quote

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=(5-7)r3c6=(7)r3c1-(7)r5c1=(7-5)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
View user's profile Send private message
daj95376



Joined: 23 Aug 2008
Posts: 3854

PostPosted: Mon Jul 20, 2009 10:02 pm    Post subject: Reply with quote

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=(5-7)r3c6=(7)r3c1-(7)r5c1=(7-5)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
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Solving techniques, and terminology All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum


Powered by phpBB © 2001, 2005 phpBB Group