## Vanhegan Extreme June 14, 2013

Post puzzles for others to solve here.

### Vanhegan Extreme June 14, 2013

Code: Select all
` *-----------* |5..|..1|..8| |.7.|9.2|.1.| |..3|.8.|9..| |---+---+---| |98.|...|.3.| |..2|...|5..| |.5.|...|.97| |---+---+---| |..9|.7.|2..| |.3.|2.4|.5.| |1..|8..|..4| *-----------*`

Play/Print this puzzle online
dan

ArkieTech

Posts: 3355
Joined: 29 May 2006
Location: NW Arkansas USA

### Re: Vanhegan Extreme June 14, 2013

Code: Select all
` *--------------------------------------------------------------------* | 5      9      46     | 3467   346    1      | 3467   2      8      | | 468    7      468    | 9      3456   2      | 346    1      356    | | 2      1      3      | 4567   8      567    | 9      467    56     | |----------------------+----------------------+----------------------| | 9      8      1467   | 14567  1456   567    | 146    3      2      | | 3467  e46     2      | 13467  13469  36789  | 5      468   d16     | | 346    5      146    | 1346   2      368    | 1468   9      7      | |----------------------+----------------------+----------------------| |*468  *f46     9      | 135    7      35     | 2      -68   c13     | |a-678   3     a-678   | 2      16     4      |b168    5      9      | | 1      2      5      | 8      369    369    | 367    67     4      | *--------------------------------------------------------------------*`

ANS(46=8)r7c21-r8c13=(8-1)r8c7=r7c9-(1=6)r5c9-r5c2=6r7c2 => r7c8,r8c13<>6

Ted
tlanglet
2010 Supporter

Posts: 538
Joined: 29 May 2010

### Re: Vanhegan Extreme June 14, 2013

lonely Ted...take your path for digit 8
(8=6)r8c13 - (6=1)r8c5 - r8c7 = r7c9 - (1=6)r5c9 - (6=4)r5c2 - (4=6)r7c2 - (6=8)r7c8 => r7c1, r8c7 <> 8
seems longer than yours...I won

a short one...
(6)r8c5 = (6)r5c9 - (6=4)r5c2 - (4=6)r7c2 => r8c13 <> 6
shorter than yours...I won again
7b53
2012 Supporter

Posts: 156
Joined: 01 January 2012
Location: New York

### Re: Vanhegan Extreme June 14, 2013

7b53 wrote:a short one...
(6)r8c5 = (6)r5c9 - (6=4)r5c2 - (4=6)r7c2 => r8c13 <> 6

I'm still trying to recreate your first strong inference using just <6>.
daj95376
2014 Supporter

Posts: 2624
Joined: 15 May 2006

### Re: Vanhegan Extreme June 14, 2013

daj95376 wrote:
7b53 wrote:a short one...
(6)r8c5 = (6)r5c9 - (6=4)r5c2 - (4=6)r7c2 => r8c13 <> 6

I'm still trying to recreate your first strong inference using just <6>.

Code: Select all
` *--------------------------------------------------------------------* | 5      9      46     | 3467   346    1      | 3467   2      8      | | 468    7      468    | 9      3456   2      | 346    1      356    | | 2      1      3      | 4567   8      567    | 9      467    56     | |----------------------+----------------------+----------------------| | 9      8      1467   | 14567  1456   567    | 146    3      2      | | 3467  e46     2      | 13467  13469  36789  | 5      468   d16     | | 346    5      146    | 1346   2      368    | 1468   9      7      | |----------------------+----------------------+----------------------| |*468  *f46     9      | 135    7      35     | 2      -68   c13     | |a-678   3     a-678   | 2      16     4      |b168    5      9      | | 1      2      5      | 8      369    369    | 367    67     4      | *--------------------------------------------------------------------*`

[(1)r8c5 and (1)r5c9] both cannot be true, so one of them must be (6).

this chain will mean the same then..
(6=1)r8c5 - (1)r8c7 = (1)r7c9 - (1=6)r5c9 - (6=4)r5c2 - (4=6)r7c2 => r8c13 <> 6
perhaps like Leren once said.. "I'm skipping a few steps" sorry !
7b53
2012 Supporter

Posts: 156
Joined: 01 January 2012
Location: New York

### Re: Vanhegan Extreme June 14, 2013

7b53 wrote:lonely Ted...take your path for digit 8
(8=6)r8c13 - (6=1)r8c5 - r8c7 = r7c9 - (1=6)r5c9 - (6=4)r5c2 - (4=6)r7c2 - (6=8)r7c8 => r7c1, r8c7 <> 8
seems longer than yours...I won

a short one...
(6)r8c5 = (6)r5c9 - (6=4)r5c2 - (4=6)r7c2 => r8c13 <> 6
shorter than yours...I won again

One of the beauties about Sudoku is that everyone can win.

Ted
tlanglet
2010 Supporter

Posts: 538
Joined: 29 May 2010