Vanhegan Extreme February 9, 2013

Post puzzles for others to solve here.

Vanhegan Extreme February 9, 2013

Postby ArkieTech » Fri Feb 15, 2013 8:48 am

Code: Select all
 *-----------*
 |...|152|...|
 |...|..8|652|
 |5..|.9.|.14|
 |---+---+---|
 |6..|9..|3..|
 |.4.|2.5|.9.|
 |..7|..1|..5|
 |---+---+---|
 |71.|.6.|..3|
 |968|5..|...|
 |...|817|...|
 *-----------*


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

Re: Vanhegan Extreme February 9, 2013

Postby Leren » Fri Feb 15, 2013 9:02 am

Code: Select all
*--------------------------------------------------------------*
| 4     78    6      | 1     5     2      | 9     3     78     |
| 1     37    9      | 37    4     8      | 6     5     2      |
| 5     2378  23     | 37    9     6      | 78    1     4      |
|--------------------+--------------------+--------------------|
| 6     25    125    | 9    a78    4      | 3     278  d17-8   |
| 38    4     13     | 2    b378   5      |c178   9     6      |
| 238   9     7      | 6     38    1      | 248   248   5      |
|--------------------+--------------------+--------------------|
| 7     1     25     | 4     6     9      | 258   28    3      |
| 9     6     8      | 5     2     3      | 147   47    17     |
| 23    235   4      | 8     1     7      | 25    6     9      |
*--------------------------------------------------------------*


h-wing: (8=7) r4c5 - r5c5 = (7-1) r5c7 = r4c9 => r4c9 <> 8; stte

Leren
Leren
 
Posts: 5123
Joined: 03 June 2012

Re: Vanhegan Extreme February 9, 2013

Postby pjb » Fri Feb 15, 2013 11:30 am

An ALS XZ, same result:

(8=7) r4c5 - (7=248)r4c8, r6c78 => r4c9 <> 8

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

Re: Vanhegan Extreme February 9, 2013

Postby tlanglet » Fri Feb 15, 2013 3:37 pm

I picked on the same cell as the two previous posts, but deleted a different digit.

1r5c7=(1-3)r5c3=r3c3-(3=7)r2c2-r1c2=r1c9-(7=1)r8c9 => r4c9<>1

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

Re: Vanhegan Extreme February 9, 2013

Postby Marty R. » Sat Feb 16, 2013 2:24 am

Code: Select all
+--------------+----------+-------------+
| 4   78   6   | 1  5   2 | 9   3   78  |
| 1   37   9   | 37 4   8 | 6   5   2   |
| 5   2378 23  | 37 9   6 | 78  1   4   |
+--------------+----------+-------------+
| 6   25   125 | 9  78  4 | 3   278 178 |
| 38  4    13  | 2  378 5 | 178 9   6   |
| 238 9    7   | 6  38  1 | 248 248 5   |
+--------------+----------+-------------+
| 7   1    25  | 4  6   9 | 258 28  3   |
| 9   6    8   | 5  2   3 | 147 47  17  |
| 23  235  4   | 8  1   7 | 25  6   9   |
+--------------+----------+-------------+

Play this puzzle online at the Daily Sudoku site

In the 38 UR in boxes 45, a 7 or 2 kills the DP. The 2 in r6c1 proves 7 in r4c9. I got there via a long and convoluted chain. If the shortened ALS notation is valid, that's great. If not, I couldn't begin to notate the path I used. :lol:

(7r5c5=2r6c1)-(2=5)r4c2-(5128=7)r4c3589=>r4c5,r5c7<>7
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA

Re: Vanhegan Extreme February 9, 2013

Postby daj95376 » Sat Feb 16, 2013 5:09 pm

For me, the norm is that my solver's UR eliminations seldom advance a puzzle's solution more than the initial eliminations. However, this puzzle is an exception. The same UR used by Marty, but using internal strong links.

Code: Select all
2x application of Mike Barker's UR+2D/1SL
+--------------------+
|  .  . . | .  .   . |
| 38  . . | . X-38 . |
| 38Y . . | . 38   . |<_  SL on <3> in [r6]
+--------------------+
   ^____________________  SL on <8> in [c1]

Code: Select all
 +--------------------------------------------------------------+
 |  4     78    6     |  1     5     2     |  9     3     78    |
 |  1     37    9     |  37    4     8     |  6     5     2     |
 |  5     2378  23    |  37    9     6     |  78    1     4     |
 |--------------------+--------------------+--------------------|
 |  6     25    125   |  9     78    4     |  3     278   178   |
 | *38    4     13    |  2    *38+7  5     |  178   9     6     |
 | *38+2  9     7     |  6    *38    1     |  248   248   5     |
 |--------------------+--------------------+--------------------|
 |  7     1     25    |  4     6     9     |  258   28    3     |
 |  9     6     8     |  5     2     3     |  147   47    17    |
 |  23    235   4     |  8     1     7     |  25    6     9     |
 +--------------------------------------------------------------+
 # 43 eliminations remain

 <38> UR r56c15: r5c5=3; r5c1,r6c5=8; r6c1=3; DP => r5c5<>3 \
 <38> UR r56c15: r5c5=8; r5c1,r6c5=3; r6c1=8; DP => r5c5<>8  =>  r5c5=7
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Re: Vanhegan Extreme February 9, 2013

Postby eleven » Sat Feb 16, 2013 8:08 pm

Marty R. wrote:The 2 in r6c1 proves 7 in r4c9. I got there via a long and convoluted chain.

I can only see a net for that. This one also does it:
7r5c5=2r6c1-(2=48)r6c78-8r4c89=(8-7)r4c5=7r5c5
eleven
 
Posts: 3173
Joined: 10 February 2008

Re: Vanhegan Extreme February 9, 2013

Postby Marty R. » Sat Feb 16, 2013 8:56 pm

eleven wrote:
Marty R. wrote:The 2 in r6c1 proves 7 in r4c9. I got there via a long and convoluted chain.

I can only see a net for that. This one also does it:
7r5c5=2r6c1-(2=48)r6c78-8r4c89=(8-7)r4c5=7r5c5


That's certainly better than the way I got there. Thanks.
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA


Return to Puzzles