AU Tough June 5, 2013

Post puzzles for others to solve here.

AU Tough June 5, 2013

Postby ArkieTech » Wed Jun 05, 2013 12:37 am

Code: Select all
 *-----------*
 |.8.|.12|.9.|
 |...|..3|...|
 |...|.9.|.52|
 |---+---+---|
 |..6|...|..8|
 |..5|...|4..|
 |4..|...|7..|
 |---+---+---|
 |95.|.8.|...|
 |...|4..|...|
 |.2.|35.|.6.|
 *-----------*


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

Re: AU Tough June 5, 2013

Postby Leren » Wed Jun 05, 2013 12:49 am

Code: Select all
*-----------------------------------------------------------------------*
| 3567   8      37      | 567    1      2       | 36     9      4       |
| 1256   1469   29      | 56     46     3       | 16     8      7       |
| 1367   13467  137     | 678    9      48      | 136    5      2       |
|-----------------------+-----------------------+-----------------------|
| 1237   1379   6       | 129   b347   b45      | 9-5    123    8       |
| 8      1379   5       | 1269  b367   b16      | 4      123    69      |
| 4      139    29      | 12689 b36     58      | 7      123    569     |
|-----------------------+-----------------------+-----------------------|
| 9      5      137     | 16     8      167     | 2      4      13      |
| 136    136    8       | 4      2     a19      |a59     7      1359    |
| 17     2      4       | 3      5      179     | 8      6      19      |
*-----------------------------------------------------------------------*

ALS XZ Rule X = 1, Z = 5; (5=1) r8c67 - (1=5) r456c5, r45c6 => - 5 r4c7; stte

Leren
Leren
 
Posts: 5117
Joined: 03 June 2012

Re: AU Tough June 5, 2013

Postby pjb » Wed Jun 05, 2013 3:30 am

Code: Select all
3567   8      37     | 567    1      2      | 36     9      4     
1256   1469   29     | 56    e46     3      | 16     8      7     
1367   13467  137    | 678    9     f48     | 136    5      2     
---------------------+----------------------+---------------------
1237   1379   6      | 129    347   g45     | 9-5     123    8     
8      1379   5      | 1269  d367   c16     | 4      123    69     
4      139    29     | 12689 d36     58     | 7      123    569   
---------------------+----------------------+---------------------
9      5      137    | 16     8      167    | 2      4      13     
136    136    8      | 4      2     b19     |a59     7      1359   
17     2      4      | 3      5      179    | 8      6      19     


A roundabout chain to same elimination:
(5=9) r8c7 - (9=1) r8c6 - (1=6) r5c6 - r56c5 = (6-4) r2c5 = r3c6 - (4=5) r4c6 => -5 r4c7; stte

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

Re: AU Tough June 5, 2013

Postby ArkieTech » Wed Jun 05, 2013 11:02 am

an als xy-wing with same elimination :D
Code: Select all
 *--------------------------------------------------------------------*
 | 3567   8      37     | 567    1      2      | 36     9      4      |
 | 1256   1469   29     | 56     46     3      | 16     8      7      |
 | 1367   13467  137    | 678    9      48     | 136    5      2      |
 |----------------------+----------------------+----------------------|
 | 1237   1379   6      | 129   b347   a45     | 9-5    123    8      |
 | 8      1379   5      | 1269  b367   b16     | 4      123    69     |
 | 4      139    29     | 12689 b36     58     | 7      123    569    |
 |----------------------+----------------------+----------------------|
 | 9      5      137    | 16     8      167    | 2      4      13     |
 | 136    136    8      | 4      2     c19     |c59     7      1359   |
 | 17     2      4      | 3      5      179    | 8      6      19     |
 *--------------------------------------------------------------------*
(5=4)r4c6-(4=nt:367c5b5=1)r456c5,r5c6-(1=5)r8c67 => -5r4c7; ste
dan
User avatar
ArkieTech
 
Posts: 3355
Joined: 29 May 2006
Location: NW Arkansas USA

Re: AU Tough June 5, 2013

Postby Leren » Wed Jun 05, 2013 11:52 am

Code: Select all
*-----------------------------------------------------------------------*
| 3567   8      37      | 567    1      2       | 36     9      4       |
| 1256   1469   29      | 56     46     3       | 16     8      7       |
| 1367   13467  137     | 678    9      48      | 136    5      2       |
|-----------------------+-----------------------+-----------------------|
| 1237   1379   6       | 129   a347   b45      |c59     123    8       |
| 8      1379   5       | 129-6 a367    1-6     | 4      123   c69      |
| 4      139    29      | 12689 a36     58      | 7      123    569     |
|-----------------------+-----------------------+-----------------------|
| 9      5      137     | 16     8      167     | 2      4      13      |
| 136    136    8       | 4      2      19      | 59     7      1359    |
| 17     2      4       | 3      5      179     | 8      6      19      |
*-----------------------------------------------------------------------*

An ALS XY Wing with a different elimination: (6=4) r456c5 - (4=5) r4c6 - (5=6) r4c7, r5c9 => - 6 r5c46; stte

Leren
Leren
 
Posts: 5117
Joined: 03 June 2012

Re: AU Tough June 5, 2013

Postby tlanglet » Wed Jun 05, 2013 2:15 pm

My first solution was very similar to those already posted. So I tried again and found a new view but it still has some similarities and wanders over half the puzzle. However, it does make a rare multiple digit deletion.


Code: Select all
*--------------------------------------------------------------------*
 | 3567   8      37     |b567    1      2      | 36     9      4      |
 | 1256   1469   29     |b56    c46     3      | 16     8      7      |
 | 1367   13467  137    |b678    9     d48     | 136    5      2      |
 |----------------------+----------------------+----------------------|
 | 1237   1379   6      | 129    347   e45     |f59     123    8      |
 | 8      1379   5      | 1269   367   h16     | 4      123   g69     |
 | 4      139    29     | 12689  36     58     | 7      123    569    |
 |----------------------+----------------------+----------------------|
 | 9      5      137    |a16     8     *167    | 2      4      13     |
 | 136    136    8      | 4      2     i19     | 59     7      1359   |
 | 17     2      4      | 3      5     *17-9   | 8      6      19     |
 *--------------------------------------------------------------------*

7r9c6=(7-6)r7c6=r7c4-r123c4=(6-4)r2c5=r3c6-(4=5)r4c6-(5=9)r4c7-(9=6)r5c9-(6=1)r5c6-(1=9)r8c6 => r9c6<>19

Ted
tlanglet
2010 Supporter
 
Posts: 538
Joined: 29 May 2010

Re: AU Tough June 5, 2013

Postby JC Van Hay » Wed Jun 05, 2013 6:15 pm

Ted, your chain is equivalent to Leren's as it contains the following derived SIS : [6r7c6 and 6r123c4]=6r5c9 :=> -6r5c6 and -6r5c4
Nevertheless, working on your chain to prove -7r7c6, I stumbled upon this chain which only requires 5 native SIS ... ;)
Code: Select all
+------------------+----------------------+------------------+
| 3567  8      37  | 57(6)    1      2    | 36    9    4     |
| 1256  1469   29  | 5(6)     (46)   3    | 16    8    7     |
| 1367  13467  137 | 78(6)    9      48   | 136   5    2     |
+------------------+----------------------+------------------+
| 1237  1379   6   | 129      37(4)  (45) | 9(5)  123  8     |
| 8     1379   5   | 129-6    367    16   | 4     123  69    |
| 4     139    29  | 1289(6)  3(6)   58   | 7     123  9(56) |
+------------------+----------------------+------------------+
| 9     5      137 | 1-6      8      167  | 2     4    13    |
| 136   136    8   | 4        2      19   | 59    7    1359  |
| 17    2      4   | 3        5      179  | 8     6    19    |
+------------------+----------------------+------------------+
Chain[5] : Kraken 6R6 : 6r6c4=*[6r6c5=*(6-5)r6c9=5r4c7-(5=4)r4c6-4r4c5=4r2c5]-6r2c5=6r123c4 :=> -6r57c4; stte
JC Van Hay
 
Posts: 719
Joined: 22 May 2010

Re: AU Tough June 5, 2013

Postby daj95376 » Wed Jun 05, 2013 6:57 pm

An ALS XY-Wing where the ALS n-tuples don't degenerate to a chain/network; i.e. you don't know which cells in the n-tuple contain which values. (from my solver)

Code: Select all
 +------------------------------------------------------------------------+
 |  3567   8      37     |  567     1      2      |  36     9      4      |
 |  1256   1469   29     |  56      46     3      |  16     8      7      |
 |  1367   13467  137    |  678     9      48     |  136    5      2      |
 |-----------------------+------------------------+-----------------------|
 |  1237   1379   6      | a129     347    45     |  59     123    8      |
 |  8      1379   5      | a1269    367   a16     |  4      123    69     |
 |  4     c139   c29     | a68-129 b36     58     |  7     c123    569    |
 |-----------------------+------------------------+-----------------------|
 |  9      5      137    |  16      8      167    |  2      4      13     |
 |  136    136    8      |  4       2      19     |  59     7      1359   |
 |  17     2      4      |  3       5      179    |  8      6      19     |
 +------------------------------------------------------------------------+
 # 89 eliminations remain

 (8=1269)r456c4,r5c6 - (6=3)r6c5 - (3=129)r6c238  =>  r6c4<>129
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Re: AU Tough June 5, 2013

Postby Marty R. » Wed Jun 05, 2013 7:57 pm

Code: Select all
+----------------+---------------+--------------+
| 3567 8     37  | 567   1   2   | 36  9   4    |
| 1256 1469  29  | 56    46  3   | 16  8   7    |
| 1367 13467 137 | 678   9   48  | 136 5   2    |
+----------------+---------------+--------------+
| 1237 1379  6   | 129   347 45  | 59  123 8    |
| 8    1379  5   | 1269  367 16  | 4   123 69   |
| 4    139   29  | 12689 36  58  | 7   123 569  |
+----------------+---------------+--------------+
| 9    5     137 | 16    8   167 | 2   4   13   |
| 136  136   8   | 4     2   19  | 59  7   1359 |
| 17   2     4   | 3     5   179 | 8   6   19   |
+----------------+---------------+--------------+

Play this puzzle online at the Daily Sudoku site

Inelegant, but I didn't think I'd get a solution at all.

5r4c6=(5-9)r4c7=r8c7-(9=1)r8c6-(1567=8)r1273c4-(8=4)r3c6-(4=5)r4c6=>r4c6<>(<>5)=5
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA


Return to Puzzles