| View previous topic :: View next topic |
| Author |
Message |
wapati
Joined: 10 Jun 2008
Posts: 472
Location: Brampton, Ontario, Canada.
|
 Posted: Fri May 21, 2010 3:22 am Post subject: Finned sword. |
 |
|
I printed this out and stumbled most of the way through.
I got stuck, brain freeze? I put my position into a solver and saw the "easy" step I missed. I had already found a whole lot of not very helpful steps 
Your mileage may vary. 
| Code: | . 9 .|. . .|. . .
. . .|. . 7|. . 4
. . 4|2 5 .|. 6 1
-----+-----+-----
6 5 .|4 . .|. . 7
. 3 1|. . .|6 4 .
9 . .|. . 6|. 5 8
-----+-----+-----
3 6 .|. 1 4|7 . .
2 . .|6 . .|. . .
. . .|. . .|. 9 . |
|
|
| Back to top |
|
 |
Mogulmeister
Joined: 03 May 2007
Posts: 1151
|
| Posted: Fri May 21, 2010 9:03 am Post subject: |
|
|
| Quote: | (89-1)r4c6=(1-8)r1c6=r1c4-(8=9)r7c4-(9=1)r2c4-r6c4=(1)r4c6
r4c6 = 1 solves puzzle
|
|
|
| Back to top |
|
|
ronk
Joined: 07 May 2006
Posts: 398
|
| Posted: Fri May 21, 2010 10:17 am Post subject: |
|
|
| Mogulmeister wrote: | (89-1)r4c6=(1-8)r1c6=r1c4-(8=9)r7c4-(9=1)r2c4-r6c4=(1)r4c6
r4c6 = 1 solves puzzle
|
You can shorten that by removing a strong inference from each end ... for a different elimination, of course, but it still solves the puzzle. |
|
| Back to top |
|
|
Mogulmeister
Joined: 03 May 2007
Posts: 1151
|
| Posted: Fri May 21, 2010 10:43 am Post subject: |
|
|
Thanks and indeed Ronk - I did it that way to highlight the contradiction - I'm still in discontinuous loop mode.  |
|
| Back to top |
|
|
peterj
Joined: 26 Mar 2010
Posts: 974
Location: London, UK
|
| Posted: Fri May 21, 2010 12:24 pm Post subject: |
|
|
I needed to play a colouring move on 8 to expose a nice ANT !
| Quote: | skyscraper(8); r5c4<>8
ANT(357)r569c4 (357=1)r6c4-(1=9)r2c4-(9=3)r3c6; r1c4<>3 |
|
|
| Back to top |
|
|
storm_norm
Joined: 18 Oct 2007
Posts: 1741
|
| Posted: Sun May 30, 2010 8:58 pm Post subject: |
|
|
| Code: | +--------------+--------------------+----------+
| 15 9 6 | 13(8) 4 3-1(8) | 35 7 2 |
| 15 2 3 | (19) 6 7 | 59 8 4 |
| 78 78 4 | 2 5 39 | 39 6 1 |
+--------------+--------------------+----------+
| 6 5 28 | 4 89 189 | 12 3 7 |
| 78 3 1 | 578 278 258 | 6 4 9 |
| 9 4 27 | 137 37 6 | 12 5 8 |
+--------------+--------------------+----------+
| 3 6 89 | (89) 1 4 | 7 2 5 |
| 2 78 5789 | 6 789 589 | 4 1 3 |
| 4 1 57 | 357 237 235 | 8 9 6 |
+--------------+--------------------+----------+ |
(1=9)r2c4 - (9=8)r7c4 - (8)r1c4 = (8)r1c6; r1c6 <> 1 |
|
| Back to top |
|
|
|
FAQ
Search
Memberlist
Usergroups
Register
Profile
Log in to check your private messages
Log in
