View previous topic :: View next topic |
Author |
Message |
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Tue Jul 14, 2009 5:39 pm Post subject: Atypical Extension of Non-Productive 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 *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 |
|
|
arkietech
Joined: 31 Jul 2008 Posts: 1834 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 *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 |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
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 *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 |
|
|
arkietech
Joined: 31 Jul 2008 Posts: 1834 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 *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 |
|
|
storm_norm
Joined: 18 Oct 2007 Posts: 1741
|
Posted: Wed Jul 15, 2009 4:40 am Post subject: Re: Atypical Extension of Non-Productive Skyscraper |
|
|
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 |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Wed Jul 15, 2009 4:47 am Post subject: |
|
|
arkietech wrote: | Someday I will understand all of this.
|
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 |
|
|
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 = (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 |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Wed Jul 15, 2009 5:11 am Post subject: Re: Atypical Extension of Non-Productive 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 = (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 |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
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 = (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 |
|
|
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 = (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 |
|
|
arkietech
Joined: 31 Jul 2008 Posts: 1834 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: 3854
|
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: 3355 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=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 |
|
|
keith
Joined: 19 Sep 2005 Posts: 3355 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: 1834 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: 3854
|
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 XY-Chains. Then I checked it for this pattern. It cracks the puzzle! |
|
Back to top |
|
|
keith
Joined: 19 Sep 2005 Posts: 3355 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: 3355 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 XY-wing.
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=(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 |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
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=(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 |
|
|
|