dailysudoku.com

[arkietech]

[keith]

While looking for M-wings:

[arkietech]

[tlanglet]

I used a favorite technique, an anp(34), that involved similar cells as Keith's solution.

anp(34=7)r7c12-(726=3)r389c3-(3=4)r7c1; r7c6,r8c1<>4

Ted

[Marty R.]

[keith]

[Luke451]

[arkietech]

[ronk]

[aran]

[ronk]

[Luke451]

[ronk]

[DonM]

(Revised over original post)

The original SDC pattern examples, including my own (http://forum.enjoysudoku.com/sue-de-coq-revisited-again-asi-1-t6410.html) were such that the digits in the 'outlying cells' (in this case,(26)r3c3 and (347)r7c12) were also present in the 'core' aals or aaals (in this case, (2367)r89c3). However, more recently, examples of 'extended' SDCs such as the one above have been described where the 4s in r89c3, not present in the 'core', allow the usual eliminations of a SDC, but also add eliminations of all 4s within the same box as r7c12.

As far as the issue of r7c6<>4 goes. Theoretically, based on the issue that a SDC is simply an expression of a DL-ALS, r7c6 should be <>4, but in practice it can cause confusion for the manual pattern solver since the eliminations from the other digits in r7c12 apply only to the same box.

'IMO' applies to all of the following:
Patterns such as SDC were meant to aid the manual pattern solver to find eliminations. It was never originally described as an alternate way to find DL-ALS patterns. While I find Aran's premise that, approached a certain way, DL-ALS patterns should be just as easy as corresponding SDCs interesting, on further thought and review, I disagree. The written rules for finding an SDC may seem obscure, but when you see practical examples, the pattern is relatively easy and straightforward for pattern solvers such as myself. The DL-ALS, not so much.

So, I have no problem with an 'extended' SDC not allowing for an elimination such as r7c6<>4. If a manual solver is skilled enough to add it then good for him/her. As to the question why use one pattern over the other if one of them potentially provides more eliminations: If the one that provides more eliminations is far less likely to be found by manual solvers than the other, then it's advantage is more theoretical than practical. Besides, the situation in question in this SDC is relatively rare.

(Btw: You can also have an 'extended' SDC where digits (commensurate with a valid 'extended' SDC) in the outlying row or column (as the case may be) outlying cells are not in the 'core' aals and aaals. All same-value digits in that row or column (outside of the 'core') can be eliminated.)

[daj95376]

[keith]

[daj95376]

[keith]

[aran]

[ronk]