Need a trick for the pony

Post the puzzle or solving technique that's causing you trouble and someone will help

Need a trick for the pony

Postby ArkieTech » Sun Feb 03, 2008 7:43 pm

Can anyone see a method to solve this puzzle?

Code: Select all
 
 *-----------*
 |.4.|...|...|
 |813|4..|...|
 |...|.1.|.2.|
 |---+---+---|
 |...|6.3|587|
 |58.|...|13.|
 |...|...|..2|
 |---+---+---|
 |...|..8|976|
 |...|1..|...|
 |.59|2.6|...|
 *-----------*
 *-----------------------------------------------------------*
 | 279   4     257   | 79    38    579   | 368   16    138   |
 | 8     1     3     | 4     6     2     | 7     59    59    |
 | 679   679   57    | 38    1     579   | 348   2     348   |
 |-------------------+-------------------+-------------------|
 | 1249  29    124   | 6     49    3     | 5     8     7     |
 | 5     8     6     | 79    2     479   | 1     3     49    |
 | 3479  379   47    | 58    58    1     | 46    469   2     |
 |-------------------+-------------------+-------------------|
 | 1234  23    124   | 35    345   8     | 9     7     6     |
 | 3467  367   8     | 1     3479  49    | 2     45    345   |
 | 347   5     9     | 2     347   6     | 348   14    1348  |
 *-----------------------------------------------------------*

dan
dan
User avatar
ArkieTech
 
Posts: 2625
Joined: 29 May 2006
Location: NW Arkansas USA

Postby daj95376 » Sun Feb 03, 2008 11:16 pm

All I can offer is a contradiction chain ...

Code: Select all
4=[r5c9]=9=[r6c8]-9-[r2c8]-5-[r8c8]-4-[r8c6]=4=[r5c6]-4-[r5c9] => [r5c9]<>4

Singles complete the puzzle.
Last edited by daj95376 on Sun Feb 03, 2008 9:30 pm, edited 2 times in total.
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Postby ArkieTech » Mon Feb 04, 2008 1:00 am

daj95376 said:
All I can offer is a contradiction chain ...


Thanks, I like your notation. I was hoping for a strange fish or an ALS.

dan
dan
User avatar
ArkieTech
 
Posts: 2625
Joined: 29 May 2006
Location: NW Arkansas USA

Postby daj95376 » Mon Feb 04, 2008 1:03 am

ArkieTech wrote:Thanks, I like your notation. I was hoping for a strange fish or an ALS.

I know. No fish ... and I don't do ALS. I bet others find many ALS examples.
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Postby ronk » Tue Feb 05, 2008 2:53 pm

ArkieTech wrote:I was hoping for a strange fish or an ALS.

Here are two instances where the ALS xz-rule applies.
Code: Select all
 279  4    257  | 79   38    579  |A368  16   D18-3
 8    1    3    | 4    6     2    | 7    59   B59
 679  679  57   | 38   1     579  |A348  2   DB348
----------------+-----------------+----------------
 1249 29   124  | 6    49    3    | 5    8     7
 5    8    6    | 79   2     47-9 | 1    3   DB49
 3479 379  47   | 58   58    1    |A46   469   2
----------------+-----------------+----------------
 1234 23   124  | 35   345   8    | 9    7     6
 3467 367  8    | 1    3479 C49   | 2   C45  DB345
 347  5    9    | 2    347   6    | 348  14   D1348

 ALS 1: A = {r136c7} = {3468}
        B = {r2358c9} = {34589}
        x = 8, z = 3 implies r1c9<>3

 ALS 2: C = {r8c68} = {459}
        D = {r13589c9} = {134589}
        x = 5, z = 9 implies r5c6<>9

Neither exposes a "singles backdoor" like daj95376's chain, but the two bivalues created can then be used in a long (13-node) xy-chain for r1c7<>6.
Last edited by ronk on Tue Feb 05, 2008 3:23 pm, edited 1 time in total.
ronk
2012 Supporter
 
Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

Postby ArkieTech » Tue Feb 05, 2008 3:35 pm

ronk said
Here are two instances where the ALZ xz-rule applies


Thanks, It is a rainy day here and I think I will investigate the implications of the three cells that are in both xls's (r358c9).

dan
dan
User avatar
ArkieTech
 
Posts: 2625
Joined: 29 May 2006
Location: NW Arkansas USA

Postby daj95376 » Tue Feb 05, 2008 6:43 pm

ronk wrote:Neither exposes a "singles backdoor" like daj95376's chain, but the two bivalues created can then be used in a long (13-node) xy-chain for r1c7<>6.

Wow ronk, that's one impressive XY-Chain from [r1c8] to [r6c7] ... resulting in [r6c8]<>6 as well. Since it connects diagonal cells in an X-Wing, it also forcing the endpoints of the XY-Chain to be 6. Lots of action in your XY-Chain:!:
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006


Return to Help with puzzles and solving techniques