dailysudoku.com :: View topic - Vanhegan extreme June 24, 2012

dailysudoku.com
Discussion of Daily Sudoku puzzles

FAQ

Memberlist

Usergroups

Profile

Vanhegan extreme June 24, 2012

dailysudoku.com Forum Index -> Other puzzles

View previous topic :: View next topic

Author

Message

arkietech

Joined: 31 Jul 2008
Posts: 1834
Location: Northwest Arkansas USA

Posted: Sun Jun 24, 2012 6:23 am Post subject: Vanhegan extreme June 24, 2012

Code:

*-----------*
|..8|2.3|5..|
|9..|568|..4|
|...|...|...|
|---+---+---|
|2..|935|..7|
|..3|.8.|9..|
|6..|127|..8|
|---+---+---|
|...|...|...|
|1..|742|..9|
|..4|8.1|2..|
*-----------*

Play/Print online

tlanglet

Joined: 17 Oct 2007
Posts: 2468
Location: Northern California Foothills

Posted: Sun Jun 24, 2012 1:11 pm Post subject:

Code after basics:

Code:

*-----------------------------------------------------------------------------*
| 4 167 8 | 2 17 3 | 5 9 16 |
| 9 1237 27 | 5 6 8 | 17 1237 4 |
| 357 123567 56 | 4 17 9 | 1678 123678 1236 |
|-------------------------+-------------------------+-------------------------|
| 2 8 1 | 9 3 5 | 46 46 7 |
| 57 57 3 | 6 8 4 | 9 12 12 |
| 6 4 9 | 1 2 7 | 3 5 8 |
|-------------------------+-------------------------+-------------------------|
| 8 279 27 | 3 59 6 | 147 147 15 |
| 1 356 56 | 7 4 2 | 68 368 9 |
| 37 3679 4 | 8 59 1 | 2 367 356 |
*-----------------------------------------------------------------------------*

Lots of AUR possibilities but I could not find anything really useful.

I did find a two step solution that used similar logic but was unable to combine into a one stepper.........

(2=1)r5c9-(1=5)r7c9-(59=27)r7c523-(7=3)r9c1-r9c9=(3)r3c9; r3c9<>2

ant(156=*3)r179c9-(3=7)r9c1-r7c3=r2c3-(7=*1)r2c7-(1=*6)r1c9-(136*=2)r3c9; r3c9<>16

Ted

SudoQ

Joined: 02 Aug 2011
Posts: 127

Posted: Sun Jun 24, 2012 1:38 pm Post subject:

A one stepper:

Code:

|-----------------|----------|--------------------|
| 4 167 8 | 2 17 3 | 5 9 16 |
| 9 1237 27 | 5 6 8 | 17 1237 4 |
| 357 123567 56 | 4 17 9 | 1678 123678 1236 |
|-----------------|----------|--------------------|
| 2 8 1 | 9 3 5 | 46 46 7 |
| 57 57 3 | 6 8 4 | 9 12 12 |
| 6 4 9 | 1 2 7 | 3 5 8 |
|-----------------|----------|--------------------|
| 8 (279) (27)| 3 (59) 6 | 147 147 (5)1 |
| 1 356 56 | 7 4 2 | 68 368 9 |
|(37) 3679 4 | 8 59 1 | 2 367 (5)6-3 |
|-----------------|----------|--------------------|
r7c2=2 -> r7c3=7 -> r9c1=3
=7 -> -> r9c1=3
=9 -> r7c5=5 -> r9c9=5 => r9c9<>3

/SudoQ

tlanglet

Joined: 17 Oct 2007
Posts: 2468
Location: Northern California Foothills

Posted: Sun Jun 24, 2012 1:57 pm Post subject:

SudoQ wrote:

A one stepper:

Code:

r7c2=2 -> r7c3=7 -> r9c1=3
=7 -> -> r9c1=3
=9 -> r7c5=5 -> r9c9=5 => r9c9<>3

/SudoQ

Nice

I looked at the anp(27=9)r7c32 but missed the deletion in r9c9; my bad.

Ted

arkietech

Joined: 31 Jul 2008
Posts: 1834
Location: Northwest Arkansas USA

Posted: Sun Jun 24, 2012 7:40 pm Post subject:

Code:

*-----------------------------------------------------------------------------*
| 4 167 8 | 2 17 3 | 5 9 c16 |
| 9 1237 27 | 5 6 8 | 17 1237 4 |
| 57-3 123567 56 | 4 17 9 | 1678 123678 c1236 |
|-------------------------+-------------------------+-------------------------|
| 2 8 1 | 9 3 5 | 46 46 7 |
| 57 57 3 | 6 8 4 | 9 12 c12 |
| 6 4 9 | 1 2 7 | 3 5 8 |
|-------------------------+-------------------------+-------------------------|
| 8 b279 b27 | 3 b59 6 | 147 147 c15 |
| 1 356 56 | 7 4 2 | 68 368 9 |
|a37 3679 4 | 8 59 1 | 2 367 56-3 |
*-----------------------------------------------------------------------------*
(3=7)r9c1-(729=5)r7c235-(5126=3)r1357c9 -3r3c1,r9c9; stte

either r9c1 or r3c9 = 3

Marty R.

Joined: 12 Feb 2006
Posts: 5770
Location: Rochester, NY, USA

Posted: Mon Jun 25, 2012 1:05 am Post subject:

I played the X-Wing on 3 (perhaps not useful) and two AICs, one originating in r7c9 which eliminated some 1s and the other starting in r2c3 which eliminated some 7s.

aran

Joined: 19 Apr 2010
Posts: 70

Posted: Mon Jun 25, 2012 12:38 pm Post subject:

arkietech wrote:

Code:

arkietech's move could be seen as an example of "extended" ALS x-z
(to illustrate, 4 candidate ALS are used but number is of course irrelevant)
(and using as standard notation : restricted commons in bold and opposite, z-candidate at start and finish of relevant sets)
If then ALS x-z is this
{zabc} {cdez}
then extended ALS x-z is
{zabc} {cdef} {fghz}
ie any z which sees all z in the extreme ALS is false

In arkietech's example
we have 12356r1357c9+2579r7c235+37r9c1 ie
{31265} {5297} {73} = <3>r9c9 <3>r3c1

Display posts from previous:

	dailysudoku.com Forum Index -> Other puzzles	All times are GMT
Page 1 of 1

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum