- Code: Select all
*-----------*
|4.2|..7|1..|
|69.|4..|.7.|
|...|.19|.4.|
|---+---+---|
|...|...|..9|
|.83|.7.|21.|
|2..|...|...|
|---+---+---|
|.6.|75.|...|
|.5.|..4|.37|
|..7|1..|4.8|
*-----------*
Play/Print this puzzle online
February 22, 2014
11 posts
• Page 1 of 1
February 22, 2014
by ArkieTech » Sat Feb 22, 2014 12:42 am
Play/Print this puzzle online
dan
-
ArkieTech - Posts: 3355
- Joined: 29 May 2006
- Location: NW Arkansas USA
Re: February 22, 2014
by Leren » Sat Feb 22, 2014 12:51 am
- Code: Select all
*--------------------------------------------------------------*
| 4 3 2 | 568 e68 7 | 1 9 d56 |
| 6 9 1 | 4 23 b235 | 8 7 c25 |
| 58 7 58 | 26 1 9 | 3 4 26 |
|--------------------+--------------------+--------------------|
| 7 14 6 | 3 24 12 | 5 8 9 |
| 59 8 3 | 569 7 a56 | 2 1 4 |
| 2 14 59 | 589 489 158 | 7 6 3 |
|--------------------+--------------------+--------------------|
| 38 6 4 | 7 5 38 | 9 2 1 |
| 1 5 89 | 289 289 4 | 6 3 7 |
| 39 2 7 | 1 f369 3-6 | 4 5 8 |
*--------------------------------------------------------------*
W Wing with transport: (6=5) r5c6 - r2c6 = r2c9 - (5=6) r1c9 - r1c5 = (6) r9c5 => - 6 r9c6; stte
Leren
- Leren
- Posts: 5040
- Joined: 03 June 2012
Re: February 22, 2014
by SteveG48 » Sat Feb 22, 2014 1:00 am
- Code: Select all
*--------------------------------------------------*
| 4 3 2 |f568 8-6 7 | 1 9 a56 |
| 6 9 1 | 4 23 c235 | 8 7 b25 |
| 58 7 58 |f26 1 9 | 3 4 26 |
*----------------+----------------+----------------|
| 7 14 6 | 3 24 12 | 5 8 9 |
| 59 8 3 |e569 7 d56 | 2 1 4 |
| 2 14 59 | 589 489 158 | 7 6 3 |
*----------------+----------------+----------------|
| 38 6 4 | 7 5 38 | 9 2 1 |
| 1 5 89 | 289 289 4 | 6 3 7 |
| 39 2 7 | 1 369 36 | 4 5 8 |
*--------------------------------------------------*
(6=5)r1c9 - r2c9 = r2c6 - (5=6)r5c6 - r5c4 = r13c4 => -6 r1c5 ; stte
Steve
-
SteveG48 - 2019 Supporter
- Posts: 4244
- Joined: 08 November 2013
- Location: Orlando, Florida
Re: February 22, 2014
by pjb » Sat Feb 22, 2014 3:09 am
- Code: Select all
4 3 2 | 568 68 7 | 1 9 56
6 9 1 | 4 b23 b235 | 8 7 25
58 7 58 |c26 1 9 | 3 4 26
---------------------+----------------------+---------------------
7 14 6 | 3 24 12 | 5 8 9
59 8 3 | 59-6 7 a56 | 2 1 4
2 14 59 | 589 489 158 | 7 6 3
---------------------+----------------------+---------------------
38 6 4 | 7 5 38 | 9 2 1
1 5 89 | 289 289 4 | 6 3 7
39 2 7 | 1 369 36 | 4 5 8
(6=5)r5c6 - (5=23)r2c56 - (2=6)r3c4 => -6 r5c4; stte
Phil
- pjb
- 2014 Supporter
- Posts: 2568
- Joined: 11 September 2011
- Location: Sydney, Australia
Re: February 22, 2014
by SteveG48 » Sat Feb 22, 2014 3:30 am
pjb wrote:(6=5)r5c6 - (5=23)r2c56 - (2=6)r3c4 => -6 r5c4; stte
Phil
Beautiful!
Steve
-
SteveG48 - 2019 Supporter
- Posts: 4244
- Joined: 08 November 2013
- Location: Orlando, Florida
Re: February 22, 2014
by tlanglet » Sat Feb 22, 2014 3:10 pm
- Code: Select all
*--------------------------------------------------*
| 4 3 2 | 56-8*68 7 | 1 9 56 |
| 6 9 1 | 4 23 235 | 8 7 25 |
| 58 7 58 |*26 1 9 | 3 4 26 |
|----------------+----------------+----------------|
| 7 14 6 | 3 24 12 | 5 8 9 |
| 59 8 3 |e569 7 56 | 2 1 4 |
| 2 14 c59 |d589 d489 158 | 7 6 3 |
|----------------+----------------+----------------|
| 38 6 4 | 7 5 38 | 9 2 1 |
| 1 5 b89 |*28=9 29-8 4 | 6 3 7 |
| 39 2 7 | 1 369 36 | 4 5 8 |
*--------------------------------------------------*
AXY-wing(26-8)with pivot (26)r3c4, pincers (68)r1c5 & (28=9)r8c4 => r1c4,r8c5<>8
xy-wing(26-8) => r1c4,r8c5<>8
||
9r8c4-r8c3=r6c3-r6c45=9r5c4 Contradiction => r8c4<>9 thereby making the xy-wing true.
Ted
- tlanglet
- 2010 Supporter
- Posts: 538
- Joined: 29 May 2010
Re: February 22, 2014
by tlanglet » Sat Feb 22, 2014 3:13 pm
pjb wrote:
- Code: Select all
4 3 2 | 568 68 7 | 1 9 56
6 9 1 | 4 b23 b235 | 8 7 25
58 7 58 |c26 1 9 | 3 4 26
---------------------+----------------------+---------------------
7 14 6 | 3 24 12 | 5 8 9
59 8 3 | 59-6 7 a56 | 2 1 4
2 14 59 | 589 489 158 | 7 6 3
---------------------+----------------------+---------------------
38 6 4 | 7 5 38 | 9 2 1
1 5 89 | 289 289 4 | 6 3 7
39 2 7 | 1 369 36 | 4 5 8
(6=5)r5c6 - (5=23)r2c56 - (2=6)r3c4 => -6 r5c4; stte
Phil
Very nice indeed. A xy-wing with pivot (23=5)r2c56
Ted
- tlanglet
- 2010 Supporter
- Posts: 538
- Joined: 29 May 2010
Re: February 22, 2014
by daj95376 » Sat Feb 22, 2014 7:46 pm
tlanglet wrote:
- Code: Select all
*--------------------------------------------------*
| 4 3 2 | 56-8*68 7 | 1 9 56 |
| 6 9 1 | 4 23 235 | 8 7 25 |
| 58 7 58 |*26 1 9 | 3 4 26 |
|----------------+----------------+----------------|
| 7 14 6 | 3 24 12 | 5 8 9 |
| 59 8 3 |e569 7 56 | 2 1 4 |
| 2 14 c59 |d589 d489 158 | 7 6 3 |
|----------------+----------------+----------------|
| 38 6 4 | 7 5 38 | 9 2 1 |
| 1 5 b89 |*28=9 29-8 4 | 6 3 7 |
| 39 2 7 | 1 369 36 | 4 5 8 |
*--------------------------------------------------*
AXY-wing(26-8)with pivot (26)r3c4, pincers (68)r1c5 & (28=9)r8c4 => r1c4,r8c5<>8
xy-wing(26-8) => r1c4,r8c5<>8
||
9r8c4-r8c3=r6c3-r6c45=9r5c4 Contradiction => r8c4<>9 thereby making the xy-wing true.
Ted, I'm having a problem with your solution. It reminds me of the 2-step solution from my solver ... in reverse.
Hidden Text: Show
The problem is that your almost logic doesn't reach a common conclusion for the alternate branches.
- daj95376
- 2014 Supporter
- Posts: 2624
- Joined: 15 May 2006
Re: February 22, 2014
by Marty R. » Sat Feb 22, 2014 8:47 pm
Leren wrote:
- Code: Select all
*--------------------------------------------------------------*
| 4 3 2 | 568 e68 7 | 1 9 d56 |
| 6 9 1 | 4 23 b235 | 8 7 c25 |
| 58 7 58 | 26 1 9 | 3 4 26 |
|--------------------+--------------------+--------------------|
| 7 14 6 | 3 24 12 | 5 8 9 |
| 59 8 3 | 569 7 a56 | 2 1 4 |
| 2 14 59 | 589 489 158 | 7 6 3 |
|--------------------+--------------------+--------------------|
| 38 6 4 | 7 5 38 | 9 2 1 |
| 1 5 89 | 289 289 4 | 6 3 7 |
| 39 2 7 | 1 f369 3-6 | 4 5 8 |
*--------------------------------------------------------------*
W Wing with transport: (6=5) r5c6 - r2c6 = r2c9 - (5=6) r1c9 - r1c5 = (6) r9c5 => - 6 r9c6; stte
Leren
Same with very slight notation differences.
- Marty R.
- Posts: 1508
- Joined: 23 October 2012
- Location: Rochester, New York, USA
Re: February 22, 2014
by tlanglet » Sat Feb 22, 2014 9:58 pm
daj95376 wrote:tlanglet wrote:
- Code: Select all
*--------------------------------------------------*
| 4 3 2 | 56-8*68 7 | 1 9 56 |
| 6 9 1 | 4 23 235 | 8 7 25 |
| 58 7 58 |*26 1 9 | 3 4 26 |
|----------------+----------------+----------------|
| 7 14 6 | 3 24 12 | 5 8 9 |
| 59 8 3 |e569 7 56 | 2 1 4 |
| 2 14 c59 |d589 d489 158 | 7 6 3 |
|----------------+----------------+----------------|
| 38 6 4 | 7 5 38 | 9 2 1 |
| 1 5 b89 |*28=9 29-8 4 | 6 3 7 |
| 39 2 7 | 1 369 36 | 4 5 8 |
*--------------------------------------------------*
AXY-wing(26-8)with pivot (26)r3c4, pincers (68)r1c5 & (28=9)r8c4 => r1c4,r8c5<>8
xy-wing(26-8) => r1c4,r8c5<>8
||
9r8c4-r8c3=r6c3-r6c45=9r5c4 Contradiction => r8c4<>9 thereby making the xy-wing true.
Ted, I'm having a problem with your solution. It reminds me of the 2-step solution from my solver ... in reverse.Hidden Text: Show
The problem is that your almost logic doesn't reach a common conclusion for the alternate branches.
Danny, I agree that any "almost pattern" where the "almost term" is invalid is a two step solution. The fun of finding and solving the almost pattern is not diminished.
Ted
- tlanglet
- 2010 Supporter
- Posts: 538
- Joined: 29 May 2010
Re: February 22, 2014
by daj95376 » Sun Feb 23, 2014 12:50 am
_
FWIW,
The trick is to use the potential oddagon in <9> to your advantage by taking the longer sequence
instead of the shorter sequence
FWIW,
- Code: Select all
Alternate Perspective: common conclusion
XY-Wing => -8r1c4,r8c5 -or- r8c4=9
+-----------------------------------------------------+
| 4 3 2 | 568 68 7 | 1 9 56 |
| 6 9 1 | 4 23 235 | 8 7 25 |
| 58 7 58 | 26 1 9 | 3 4 26 |
|-----------------+-----------------+-----------------|
| 7 14 6 | 3 24 12 | 5 8 9 |
| 59 8 3 | 569 7 56 | 2 1 4 |
| 2 14 59 | 589 489 158 | 7 6 3 |
|-----------------+-----------------+-----------------|
| 38 6 4 | 7 5 38 | 9 2 1 |
| 1 5 89 | 289 289 4 | 6 3 7 |
| 39 2 7 | 1 369 36 | 4 5 8 |
+-----------------------------------------------------+
# 38 eliminations remain
9r8c4 - 9r5c4 = 9r5c1 - (9=3)r9c1 - 3r7c1 = 3r7c6 - (356=2)r952c6 - (2=6)r3c4 - (6=8)r1c5 => -8r1c4,r8c5
The trick is to use the potential oddagon in <9> to your advantage by taking the longer sequence
- Code: Select all
(9): r8c4 - r5c4 = r5c1 - r9c1
instead of the shorter sequence
- Code: Select all
(9): r8c4 - r9c5 = r9c1
- daj95376
- 2014 Supporter
- Posts: 2624
- Joined: 15 May 2006
11 posts
• Page 1 of 1
