View previous topic :: View next topic |
Author |
Message |
DonM
Joined: 15 Sep 2009 Posts: 51
|
Posted: Sun Jun 17, 2012 4:37 am Post subject: |
|
|
aran wrote: |
Hi Don !
One way of perserving the pattern, whilst simplifying the definition would be to extend the range in a symmetrical way (see below).
Define an SDC quite simply as a DL-ALS in which one ALS is a bivalue.
Looking for the pattern would then involve taking a bivalue and seeing whether in its box, row or column it double-links to another ALS.
In this way, the historic name remains, the scope increased, symmetry emphasised and the definition simplified.
At present SDCs :
- begin in a box (bivalue double-linking in box to second ALS)
- end in a row or column (remaining cells of second ALS).
Just complete the symmetry and include those which
- begin in a row or column
- end in a box (note if beginning in a row or column, then by virtue of the double-links, the second ALS is necessarily in a box, so no other configuration is possible)
That would, as you say, require definition of DL-ALS, but then unlike any other advanced concept, DL-ALS could be explained to a novice in 10 minutes including a coffee break ! |
A good point and interesting concept, but it's too late for me since I find the SDCs so easily now. Off the top of my head I can see the DL-ALS approach practical with patterns comparable to basic SDCs, but wonder if that would be true for patterns comparable to so-called extended SDCs. But that's only speculation. |
|
Back to top |
|
|
aran
Joined: 19 Apr 2010 Posts: 70
|
Posted: Sun Jun 17, 2012 8:38 am Post subject: |
|
|
DonM wrote: |
it's too late for me |
Well then on behalf of future generations !....
At present we have a complicated definition for a specific example (SDC) of a simple concept (DL-ALS), itself a specific example of a vast concept (Rank 0 logic).
As discussed recently HSR is another specific example of that vast concept which unlike DL-ALS cannot be simply described.
If SDC were simple to explain, this conversation would be almost pointless, but the whole point is that if the greater concept is easier to explain than the specific instance, why on earth not stay simple all the way : simple concept, simple specific example.
Indeed starting from the simple concept, the extensions to the specific example, earlier mentioned, would, I think, appear natural. |
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Sun Jun 17, 2012 4:18 pm Post subject: |
|
|
Working from the original puzzle and architech's grid after a Hidden Pair:
Code: | +--------------------------------------------------------------------------------+
| 2389 234 7 | 45689 24569 24568 | 1 a236 2368 |
| 1289 6 248 | 1489 12479 3 | 28 5 278 |
| 5 123 238 | 168 1267 2678 | 9 7-236 4 |
|--------------------------+--------------------------+--------------------------|
| 12367 123457 23456 | 3456 23456 9 | 23456 8 12367 |
| 12367 123457 23456 | 3456 8 2456 | 23456 179-236 123679 |
| 2368 9 234568 | 7 23456 1 | 23456 b236 236 |
|--------------------------+--------------------------+--------------------------|
| 4 237 9 | 1368 1367 678 | 2368 c236+1 5 |
| 367 8 356 | 2 19 567 | 36 4 e19 |
| 236 235 1 | 345689 34569 4568 | 7 d236+9 23689 |
+--------------------------------------------------------------------------------+
# 181 eliminations remain
abc e dba
(236=1)r167c8 - (1=9)r8c9 - (9=236)r961c8 => r35c8<>236
|
If I'm not mistaken, this is a loop ... and r9c9<>9 can be included in the eliminations. |
|
Back to top |
|
|
aran
Joined: 19 Apr 2010 Posts: 70
|
Posted: Mon Jun 18, 2012 11:50 am Post subject: |
|
|
daj95376 wrote: |
Code: | +--------------------------------------------------------------------------------+
| 2389 234 7 | 45689 24569 24568 | 1 a236 2368 |
| 1289 6 248 | 1489 12479 3 | 28 5 278 |
| 5 123 238 | 168 1267 2678 | 9 7-236 4 |
|--------------------------+--------------------------+--------------------------|
| 12367 123457 23456 | 3456 23456 9 | 23456 8 12367 |
| 12367 123457 23456 | 3456 8 2456 | 23456 179-236 123679 |
| 2368 9 234568 | 7 23456 1 | 23456 b236 236 |
|--------------------------+--------------------------+--------------------------|
| 4 237 9 | 1368 1367 678 | 2368 c236+1 5 |
| 367 8 356 | 2 19 567 | 36 4 e19 |
| 236 235 1 | 345689 34569 4568 | 7 d236+9 23689 |
+--------------------------------------------------------------------------------+
(236=1)r167c8 - (1=9)r8c9 - (9=236)r961c8 => r35c8<>236
|
If I'm not mistaken, this is a loop ... and r9c9<>9 can be included in the eliminations. |
daj
in effect all roads lead to Rome in marginally different ways, your route as shown
ronk's m-loop
SDC with DLs in c9, finishing in b6
19r8c9 and (19234567r456c79+r6c8)
ie
{19} and {19234567}
=> <2367>r5c5 <9>r9c9 |
|
Back to top |
|
|
ronk
Joined: 07 May 2006 Posts: 398
|
Posted: Mon Jun 18, 2012 1:21 pm Post subject: |
|
|
aran wrote: | ronk's m-loop |
To clarify, I used/use the term m-ring. |
|
Back to top |
|
|
aran
Joined: 19 Apr 2010 Posts: 70
|
Posted: Mon Jun 18, 2012 2:43 pm Post subject: |
|
|
ronk wrote: | aran wrote: | ronk's m-loop |
To clarify, I used/use the term m-ring. |
Since m-rings loop, and m-wings don't, the short-hand struck me as reasonable... |
|
Back to top |
|
|
|
|
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
|