AU Tough May 5, 2013

Post puzzles for others to solve here.

AU Tough May 5, 2013

Postby ArkieTech » Tue May 07, 2013 12:55 am

Code: Select all
 *-----------*
 |...|3..|...|
 |.6.|...|.54|
 |..1|4..|.63|
 |---+---+---|
 |8..|...|27.|
 |...|.5.|...|
 |.17|...|..8|
 |---+---+---|
 |75.|..2|1..|
 |49.|...|.3.|
 |...|..6|...|
 *-----------*


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

Re: AU Tough May 5, 2013

Postby Leren » Tue May 07, 2013 1:12 am

Code: Select all
*-----------------------------------------------------------------------*
| 59     478    4589    | 3      6      5789    | 789    12     12      |
| 239    6      2389    | 1278   1278   1789    | 789    5      4       |
| 259    278    1       | 4      278    5789    | 789    6      3       |
|-----------------------+-----------------------+-----------------------|
| 8      34     59      | 16     19     34      | 2      7      569     |
| 2369   234    2349    | 78     5      78      | 346    149    169     |
| 3569   1      7       | 26     29     34      | 346-5  49     8       |
|-----------------------+-----------------------+-----------------------|
| 7      5      36-8    |b89     34     2       | 1     a489   a69      |
| 4      9      268     | 1578   178    178     |c56     3      27-56   |
| 1      238    238     | 5789   34     6       |c45     289-4  279-5   |
*-----------------------------------------------------------------------*

Sue de Coq: r7c89(4689), r7c4(89), r89c7(456) => -5 r6c7, -8 r7c3, -56 r8c9, -4 r9c8, -5 r9c9; stte

Leren
Leren
 
Posts: 5042
Joined: 03 June 2012

Re: AU Tough May 5, 2013

Postby Leren » Tue May 07, 2013 4:02 am

Code: Select all
*-----------------------------------------------------------------------*
| 59     478    4589    | 3      6      5789    | 789    12     12      |
| 239    6      2389    | 1278   1278   1789    | 789    5      4       |
| 259    278    1       | 4      278    5789    | 789    6      3       |
|-----------------------+-----------------------+-----------------------|
| 8      34     59      | 16     19     34      | 2      7      569     |
| 2369   234    2349    | 78     5      78      | 346    149    169     |
| 3569   1      7       | 26     29     34      | 346-5  49     8       |
|-----------------------+-----------------------+-----------------------|
| 7      5      368     | 89     34     2       | 1      48-9  a69      |
| 4      9      268     | 1578   178    178     |b56     3      27-56   |
| 1     c238   c238     | 579-8 c34     6       |c45    c2489   7-259   |
*-----------------------------------------------------------------------*

als xy-wing loop: (9=6) r7c9 - (6=5) r8c7 - (5=9) r9c23578 loop => -5 r6c7, -9 r7c8, -56 r8c9, -8 r9c4, -259 r9c9; stte

Leren
Leren
 
Posts: 5042
Joined: 03 June 2012

Re: AU Tough May 5, 2013

Postby Leren » Tue May 07, 2013 4:13 am

Code: Select all
*-----------------------------------------------------------------------*
| 59     478    4589    | 3      6      5789    | 789    12     12      |
| 239    6      2389    | 1278   1278   1789    | 789    5      4       |
| 259    278    1       | 4      278    5789    | 789    6      3       |
|-----------------------+-----------------------+-----------------------|
| 8      34     59      | 16     19     34      | 2      7      569     |
| 2369   234    2349    | 78     5      78      | 346    149    169     |
| 3569   1      7       | 26     29     34      | 3456   49     8       |
|-----------------------+-----------------------+-----------------------|
| 7      5      368     |b89     34     2       | 1      48-9  a69      |
| 4      9      268     |d1578   178    178     |e56     3      27-56   |
| 1      238    238     |c59-78  34     6       | 45     2489   2579    |
*-----------------------------------------------------------------------*

Purple Cow linked xy-wing loop: (6=9) r7c9 - r7c4 = (9-5) r9c4 = r8c4 - (5=6) r8c7 loop => -9 r7c8, -56 r8c9, -78 r9c4; stte

Leren
Leren
 
Posts: 5042
Joined: 03 June 2012

Re: AU Tough May 5, 2013

Postby pjb » Tue May 07, 2013 5:30 am

Another loop:
Code: Select all
59     478    4589   | 3      6      5789   | 789    12     12     
239    6      2389   | 1278   1278   1789   | 789    5      4     
259    278    1      | 4      278    5789   | 789    6      3     
---------------------+----------------------+---------------------
8      34     59     | 16     19     34     | 2      7      569   
2369   234    2349   | 78     5      78     | 346    149    169   
3569   1      7      | 26     29     34     | 346-5  49     8     
---------------------+----------------------+---------------------
7      5     b36-8   | 89    a34     2      | 1      489   c69     
4      9      268    | 1578   178    178    |d56     3      27-56   
1      238    238    | 5789  f34     6      |e45     289-4  279-5   

(3) r7c5 = (3-6) r7c3 = r7c9 - (6=5) r8c7 - (5=4) r9c7 - (4=3) r9c5 - (4=3) r7c5 - loop: -56r8c9, -5r6c7, -5r9c9, -4r9c8, -8r7c3; stte

Phil
pjb
2014 Supporter
 
Posts: 2568
Joined: 11 September 2011
Location: Sydney, Australia

Re: AU Tough May 5, 2013

Postby daj95376 » Tue May 07, 2013 6:06 am

Just because I enjoy seeing URs contribute to a solution.

Code: Select all
Mike Barker's UR+3U/2SL: the strong links are disjoint with different labels => "a" can be removed from "abY"

 ab-----abX
     a

     b
abY-----abZ

Code: Select all
 <89> bivalue in r7c4; SL on <9> in [c4]; SL on [8] in [c8]

 r7c8=9 -> ( r9c8=8, r7c4=8 ) -> r9c4=9  =>  UR contradiction
 +--------------------------------------------------------------+
 |  59    478   4589  |  3     6     5789  |  789   12    12    |
 |  239   6     2389  |  1278  1278  1789  |  789   5     4     |
 |  259   278   1     |  4     278   5789  |  789   6     3     |
 |--------------------+--------------------+--------------------|
 |  8     34    59    |  16    19    34    |  2     7     569   |
 |  2369  234   2349  |  78    5     78    |  346   149   169   |
 |  3569  1     7     |  26    29    34    |  3456  49    8     |
 |--------------------+--------------------+--------------------|
 |  7     5     368   | *89    34    2     |  1    *489   69    |
 |  4     9     268   |  1578  178   178   |  56    3     2567  |
 |  1     238   238   | *5789  34    6     |  45   *2489  2579  |
 +--------------------------------------------------------------+
 # 108 eliminations remain

 r79c48  <89> UR via s-link              <> 9    r7c8

Code: Select all
 +--------------------------------------------------------------+
 |  59    478   4589  |  3     6     5789  |  789   12    12    |
 |  239   6     2389  |  1278  1278  1789  |  789   5     4     |
 |  259   278   1     |  4     278   5789  |  789   6     3     |
 |--------------------+--------------------+--------------------|
 |  8     34    59    |  16    19    34    |  2     7     569   |
 |  2369  234   2349  |  78    5     78    |  346   149   169   |
 |  3569  1     7     |  26    29    34    |  3456  49    8     |
 |--------------------+--------------------+--------------------|
 |  7     5     368   | a89    34    2     |  1    e48   b69    |
 |  4     9     268   |  1578  178   178   | c56    3     2567  |
 |  1     238   238   |  5789  34    6     | d45    2489  2579  |
 +--------------------------------------------------------------+
 # 107 eliminations remain

 XY-Loop: (8=8)r7c49,r89c7,r7c8 - loop  =>  r8c9<>56; r9c8<>4; r6c7,r9c9<>5; r7c3<>8
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Re: AU Tough May 5, 2013

Postby Leren » Tue May 07, 2013 7:07 am

Code: Select all
*-----------------------------------------------------------------------*
| 59     478    4589    | 3      6      5789    | 789    12     12      |
| 239    6      2389    | 1278   1278   1789    | 789    5      4       |
| 259    278    1       | 4      278    5789    | 789    6      3       |
|-----------------------+-----------------------+-----------------------|
| 8      34     59      |b16     19     34      | 2      7     c569     |
| 2369   234    2349    | 78     5      78      | 346    19-4   19-6    |
| 3569   1      7       |a26    e29     34      | 3456  e49     8       |
|-----------------------+-----------------------+-----------------------|
| 7      5      368     |d89     34     2       | 1     d489   d69      |
| 4      9      268     | 1578   178    178     | 56     3      257-6   |
| 1      238    238     | 5789   34     6       | 45     289-4  2579    |
*-----------------------------------------------------------------------*

Would you believe another loop ? : (2=6) r6c4 - r4c4 = r4c9 - (6=4) r7c489 - (4=2) r6c58 loop => -4 r59c8, -6 r58c9; lclste

A question for the experts: both Phil's and Danny's loops make the same eliminations as the Sue de Coq. Is this a co-incidence or
is there some deep connection between loops and Sue de Coqs ?

Leren
Leren
 
Posts: 5042
Joined: 03 June 2012

Re: AU Tough May 5, 2013

Postby Marty R. » Tue May 07, 2013 6:47 pm

Code: Select all
+---------------+----------------+----------------+
| 59   478 4589 | 3    6    5789 | 789  12   12   |
| 239  6   2389 | 1278 1278 1789 | 789  5    4    |
| 259  278 1    | 4    278  5789 | 789  6    3    |
+---------------+----------------+----------------+
| 8    34  59   | 16   19   34   | 2    7    569  |
| 2369 234 2349 | 78   5    78   | 346  149  169  |
| 3569 1   7    | 26   29   34   | 3456 49   8    |
+---------------+----------------+----------------+
| 7    5   368  | 89   34   2    | 1    489  69   |
| 4    9   268  | 1578 178  178  | 56   3    2567 |
| 1    238 238  | 5789 34   6    | 45   2489 2579 |
+---------------+----------------+----------------+

Play this puzzle online at the Daily Sudoku site

Some sort of loop.

(5=4)r9c7-r9c5=r7c5-(489=6)r7c489-(6=5)r8c7=>r6c7<>5

Or something a little shorter.

(5=4)r9c7-(489=6)r7c489-(6=5)r8c7=>r6c7<>5
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA


Return to Puzzles