Dan's Decadence December 6, 2013

Post puzzles for others to solve here.

Dan's Decadence December 6, 2013

Postby ArkieTech » Fri Dec 06, 2013 12:31 am

Code: Select all
 *-----------*
 |...|2..|.5.|
 |...|4.9|61.|
 |..4|.5.|..7|
 |---+---+---|
 |...|...|83.|
 |3..|...|..6|
 |.12|...|...|
 |---+---+---|
 |6..|.3.|2..|
 |.29|7.6|...|
 |.7.|..1|...|
 *-----------*


Play/Print this puzzle online
dan
User avatar
ArkieTech
 
Posts: 3355
Joined: 29 May 2006
Location: NW Arkansas USA

Re: Dan's Decadence December 6, 2013

Postby Leren » Fri Dec 06, 2013 2:19 am

Code: Select all
*--------------------------------------------------------------*
| 789   3689  678    | 2     1     378    | 4     5     38     |
| 2     358   578    | 4     78    9      | 6     1     38     |
| 1    c38    4      | 6     5    b38     | 9     2     7      |
|--------------------+--------------------+--------------------|
|a479   569-4 567    | 1    a79   b457    | 8     3     2      |
| 3     589-4 578    | 58    789   2      | 1     49    6      |
| 489   1     2      | 3     6    b48     | 7     49    5      |
|--------------------+--------------------+--------------------|
| 6    c48    1      | 589   3    b58     | 2     7     49     |
| 5     2     9      | 7     4     6      | 3     8     1      |
| 8-4   7     3      | 89    2     1      | 5     6     49     |
*--------------------------------------------------------------*

ALS XY Wing: (4=7) r4c15 - (7=3) r3467c6 - (3=4) r37c2 => - 4 r45c2, r9c1; stte

Leren
Last edited by Leren on Fri Dec 06, 2013 4:28 am, edited 1 time in total.
Leren
 
Posts: 5035
Joined: 03 June 2012

Re: Dan's Decadence December 6, 2013

Postby SteveG48 » Fri Dec 06, 2013 3:47 am

Code: Select all
.----------------.---------------.-----------.
| 789  3689  678 | 2    1    378 | 4  5   38 |
| 2    358   578 | 4    e78  9   | 6  1   38 |
| 1    c38   4   | 6    5    d38 | 9  2   7  |
:----------------+---------------+-----------:
| h479 4569  567 | 1    fg79 g457| 8  3   2  |
| 3    4589  578 | 58   f789 2   | 1  49  6  |
| 489  1     2   | 3    6    48  | 7  49  5  |
:----------------+---------------+-----------:
| 6    b48   1   | 589  3    58  | 2  7   49 |
| 5    2     9   | 7    4    6   | 3  8   1  |
| aI48 7     3   | 89   2    1   | 5  6   49 |
'----------------'---------------'-----------'


(4)r9c1 - (4=8)r7c2 - (8=3)r3c2 - (3=8)r3c6 - (8=7)r2c5 - (7)r45c5 = (9)r4c5|(7)r4c6 - (79=4)r4c1 - (4)r9c1 => r9c1 <> 4 ; stte
Steve
User avatar
SteveG48
2019 Supporter
 
Posts: 4233
Joined: 08 November 2013
Location: Orlando, Florida

Re: Dan's Decadence December 6, 2013

Postby SteveG48 » Fri Dec 06, 2013 3:50 am

Leren wrote:
Code: Select all
*--------------------------------------------------------------*
| 789   3689  678    | 2     1     378    | 4     5     38     |
| 2     358   578    | 4     78    9      | 6     1     38     |
| 1    c38    4      | 6     5    b38     | 9     2     7      |
|--------------------+--------------------+--------------------|
|a479   569-4 567    | 1    a79   b457    | 8     3     2      |
| 3     589-4 578    | 58    789   2      | 1     49    6      |
| 489   1     2      | 3     6    b48     | 7     49    5      |
|--------------------+--------------------+--------------------|
| 6    c48    1      | 589   3    b58     | 2     7     49     |
| 5     2     9      | 7     4     6      | 3     8     1      |
| 8-1   7     3      | 89    2     1      | 5     6     49     |
*--------------------------------------------------------------*

ALS XY Wing: (4=7) r4c15 - (7=3) r3467c6 - (3=4) r37c2 => - 4 r45c2, r9c1; stte

Leren


On your grid, 8-4 at r9c1?
Steve
User avatar
SteveG48
2019 Supporter
 
Posts: 4233
Joined: 08 November 2013
Location: Orlando, Florida

Re: Dan's Decadence December 6, 2013

Postby Leren » Fri Dec 06, 2013 4:31 am

SteveG48 wrote: On your grid, 8-4 at r9c1?

Nicely spotted typo - corrected my post - thanks.

Leren
Leren
 
Posts: 5035
Joined: 03 June 2012

Re: Dan's Decadence December 6, 2013

Postby eleven » Fri Dec 06, 2013 10:29 am

Code: Select all
+-------------------+-------------------+-------------------+
| 789   3689  678   | 2     1     378   | 4     5     38    |
| 2     358   578   | 4     78    9     | 6     1     38    |
| 1     38    4     | 6     5     38    | 9     2     7     |
+-------------------+-------------------+-------------------+
|#479   4569  567   | 1     79   #457   | 8     3     2     |
| 3     4589  578   | 58    789   2     | 1     49    6     |
|#489   1     2     | 3     6    #48    | 7    *49    5     |
+-------------------+-------------------+-------------------+
| 6     48    1     | 589   3     58    | 2     7     49    |
| 5     2     9     | 7     4     6     | 3     8     1     |
|*48    7     3     | 89    2     1     | 5     6     49    |
+-------------------+-------------------+-------------------+

Almost x-wing 4r46c16: 9r6c8=4r9c1
48r69c1=9r6c1-9r6c8=4r9c1 => r4c1<>4
eleven
 
Posts: 3094
Joined: 10 February 2008

Re: Dan's Decadence December 6, 2013

Postby ArkieTech » Fri Dec 06, 2013 12:28 pm

Code: Select all
 *-----------------------------------------------------------*
 | 789   3689  678   | 2     1     378   | 4     5     38    |
 | 2     358   578   | 4     78    9     | 6     1     38    |
 | 1     38    4     | 6     5     38    | 9     2     7     |
 |-------------------+-------------------+-------------------|
 | 79-4  4569  567   | 1     79   d457   | 8     3     2     |
 | 3     4589  578   | 58    789   2     | 1     49    6     |
 |b489   1     2     | 3     6    c48    | 7     49    5     |
 |-------------------+-------------------+-------------------|
 | 6     48    1     | 589   3     58    | 2     7     49    |
 | 5     2     9     | 7     4     6     | 3     8     1     |
 |a48    7     3     | 89    2     1     | 5     6     49    |
 *-----------------------------------------------------------*
m-wing
(4=8)r9c1-r6c1=(8-4)r6c6=4r4c6 => -4r4c1; lclste
dan
User avatar
ArkieTech
 
Posts: 3355
Joined: 29 May 2006
Location: NW Arkansas USA

Re: Dan's Decadence December 6, 2013

Postby Marty R. » Fri Dec 06, 2013 7:24 pm

Old-fashioned way, two Skyscrapers on 8 and an XYZ-Wing.
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA

Re: Dan's Decadence December 6, 2013

Postby daj95376 » Sat Dec 07, 2013 3:52 am

_

Returning after several days of fighting off food poisoning. Not something I'd recommend going through.

Anyway, I've always been impressed by how simple networks can (often) cleanly crack a Sudoku puzzle. I happened to find this solution while examining the diagnostic output from my first Sudoku solver. (It had the ill-fated downfall of having network logic in the chains routine.)

Code: Select all
 +--------------------------------------------------------------------+
 |  789    3689   678   |  2      1      378   |  4      5      38    |
 |  2      358    578   |  4      78     9     |  6      1      38    |
 |  1      38     4     |  6      5      38    |  9      2      7     |
 |----------------------+----------------------+----------------------|
 |  479    4569   567   |  1      79     457   |  8      3      2     |
 |  3      4589   578   |  58     789    2     |  1      49     6     |
 |  489    1      2     |  3      6      48    |  7      49     5     |
 |----------------------+----------------------+----------------------|
 |  6      48     1     |  589    3      58    |  2      7      49    |
 |  5      2      9     |  7      4      6     |  3      8      1     |
 |  48     7      3     |  89     2      1     |  5      6      49    |
 +--------------------------------------------------------------------+

 (4=8*)r6c6 - (8=3)r3c6 - (*83=7)r1c6 - (7)r1c1 \
                        - (  3=8)r3c2 - (8)r1c1  = (9)r1c1 - (*89=4)r6c1  =>  r6c8<>4

Notice how using (4=ALS=7)r631c6 would have missed any reference to the secondary branch!
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Re: Dan's Decadence December 6, 2013

Postby JC Van Hay » Sat Dec 07, 2013 9:58 am

daj95376 wrote:Anyway, I've always been impressed by how simple networks can (often) cleanly crack a Sudoku puzzle.
Code: Select all
 (4=8*)r6c6 - (8=3)r3c6 - (*83=7)r1c6 - (7)r1c1 \
                        - (  3=8)r3c2 - (8)r1c1  = (9)r1c1 - (*89=4)r6c1  =>  r6c8<>4
Or as a bidirectional AIC with "patterns" : NP(48)r6c16=9r6c1-9r1c1=*[NP(38)r13c6=7r1c6-(7=*8)r1c1-(8=3)r3c2-(3=8)r3c6]-(8=4)r6c6 :=> -6r6c8.
JC Van Hay
 
Posts: 719
Joined: 22 May 2010

Re: Dan's Decadence December 6, 2013

Postby daj95376 » Sat Dec 07, 2013 4:16 pm

JC Van Hay wrote:
daj95376 wrote:Anyway, I've always been impressed by how simple networks can (often) cleanly crack a Sudoku puzzle.
Code: Select all
 (4=8*)r6c6 - (8=3)r3c6 - (*83=7)r1c6 - (7)r1c1 \
                        - (  3=8)r3c2 - (8)r1c1  = (9)r1c1 - (*89=4)r6c1  =>  r6c8<>4
Or as a bidirectional AIC with "patterns" : NP(48)r6c16=9r6c1-9r1c1=*[NP(38)r13c6=7r1c6-(7=*8)r1c1-(8=3)r3c2-(3=8)r3c6]-(8=4)r6c6 :=> -4r6c8.

Proof in point!
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006


Return to Puzzles