View previous topic :: View next topic |
Author |
Message |
arkietech
Joined: 31 Jul 2008 Posts: 1834 Location: Northwest Arkansas USA
|
Posted: Sun Nov 06, 2011 10:53 am Post subject: vh 110611 |
|
|
Code: | *-----------*
|...|...|.9.|
|.45|.31|...|
|.6.|...|..1|
|---+---+---|
|7..|.8.|..4|
|41.|3.9|.58|
|6..|.2.|..3|
|---+---+---|
|2..|...|.8.|
|...|65.|13.|
|.7.|...|...|
*-----------* |
|
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Sun Nov 06, 2011 5:46 pm Post subject: |
|
|
XYZ-Wing (467); r3c5<>7. |
|
Back to top |
|
|
arkietech
Joined: 31 Jul 2008 Posts: 1834 Location: Northwest Arkansas USA
|
Posted: Sun Nov 06, 2011 9:55 pm Post subject: |
|
|
I got the same. How do you show an xyz-wing in eureka notation?
Code: | *-----------------------------------------------------------*
| 1 2 78 |a47 b467 4678 | 3 9 5 |
| 89 4 5 | 279 3 1 | 2678 267 26 |
| 3 6 789 | 2579 9-7 578 | 2478 247 1 |
|-------------------+-------------------+-------------------|
| 7 59 3 | 15 8 56 | 269 126 4 |
| 4 1 2 | 3 c67 9 | 67 5 8 |
| 6 589 89 | 1457 2 457 | 79 17 3 |
|-------------------+-------------------+-------------------|
| 2 3 16 | 479 1479 47 | 5 8 69 |
| 89 89 4 | 6 5 2 | 1 3 7 |
| 5 7 16 | 8 19 3 | 246 246 269 |
*-----------------------------------------------------------*
xyz wing 467
(47)r1c4-(47=6)r1c5-(6=7)r5c5 => r3c5<>7 |
|
|
Back to top |
|
|
ronk
Joined: 07 May 2006 Posts: 398
|
Posted: Sun Nov 06, 2011 10:25 pm Post subject: |
|
|
arkietech wrote: | How do you show an xyz-wing in eureka notation? Code: |
xyz wing 467
(47)r1c4-(47=6)r1c5-(6=7)r5c5 => r3c5<>7 |
|
I'd write one pincer and the pivot as an ALS, e.g.
xyz-wing: (7=46)r1c45 - (6=7)r5c5 => r3c5<>7 |
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Mon Nov 07, 2011 12:29 am Post subject: |
|
|
arkietech wrote: | How do you show an xyz-wing in eureka notation?
Code: | *-----------------------------------------------------------*
| 1 2 78 |a47 b467 4678 | 3 9 5 |
| 89 4 5 | 279 3 1 | 2678 267 26 |
| 3 6 789 | 2579 9-7 578 | 2478 247 1 |
|-------------------+-------------------+-------------------|
| 7 59 3 | 15 8 56 | 269 126 4 |
| 4 1 2 | 3 c67 9 | 67 5 8 |
| 6 589 89 | 1457 2 457 | 79 17 3 |
|-------------------+-------------------+-------------------|
| 2 3 16 | 479 1479 47 | 5 8 69 |
| 89 89 4 | 6 5 2 | 1 3 7 |
| 5 7 16 | 8 19 3 | 246 246 269 |
*-----------------------------------------------------------*
|
|
I'd redo your notation a bit:
(47=6)r1c45-(6=7)r5c5 => r3c5<>7
I'd also consider using a format that I've seen PeterJ use in recent months. It is longer, but it comes closer to representing an XYZ-Wing IMO.
(7)r1c5 = XY-Wing[ (7=4)r1c4 - (4=6)r1c5 - (6=7)r5c5 ] => r3c5<>7
It represents (7)r1c5 being treated as a fin candidate. If the fin candidate isn't true, then the XY-Wing must be true. |
|
Back to top |
|
|
|