Next move
4 posts
• Page 1 of 1
Re: Next move
by JC Van Hay » Sun Dec 28, 2014 8:40 pm
Analysis of the puzzle from the 2 solutions of the 8s.
One of them leads to 0 solution and the other one to 1 solution after basics.
One of them leads to 0 solution and the other one to 1 solution after basics.
- JC Van Hay
- Posts: 719
- Joined: 22 May 2010
Re: Next move
by Leren » Sun Dec 28, 2014 11:48 pm
It took me 10 moves to solve this puzzle. Hodoku also took 10 moves. Here are the first three of mine.
Leren
- Code: Select all
*--------------------------------------------------------------*
|*56 459 7 | 8 2 149 |*1459 3 46-5 |
| 36 349 2 | 1469 469 5 | 149 8 7 |
| 1 8 459 | 3 4679 479 |f459 2 456 |
|--------------------+--------------------+--------------------|
| 4 67 1 | 69 3 79 | 2 5 8 |
| 9 567 58 | 2 467 478 | 67 1 3 |
| 78 2 3 | 156 567 178 | 67 4 9 |
|--------------------+--------------------+--------------------|
|*35 3459 459 | 7 8 2 |*45 6 1 |
| 78 457 458 | 45 1 6 | 3 9 2 |
| 2 1 6 | 459 459 3 | 8 7 45 |
*--------------------------------------------------------------*
Finned XWing (5) c17/r17 + fin r3c7 => - 5 r1c9
*--------------------------------------------------------------*
| 56 459 7 | 8 2 149 | 1459 3 46 |
| 36 349 2 | 1469 469 5 | 149 8 7 |
| 1 8 459 | 3 4679 479 | 459 2 456 |
|--------------------+--------------------+--------------------|
| 4 67 1 |a69 3 79 | 2 5 8 |
| 9 567 58 | 2 467 478 | 67 1 3 |
| 78 2 3 | 156 d57-6 178 | 67 4 9 |
|--------------------+--------------------+--------------------|
| 35 3459 459 | 7 8 2 | 45 6 1 |
| 78 457 458 | 45 1 6 | 3 9 2 |
| 2 1 6 |b459 c459 3 | 8 7 45 |
*--------------------------------------------------------------*
(6=9) r4c4 - r9c4 = (9-5) r9c5 = (5) r6c5 => - 6 r6c4
*--------------------------------------------------------------*
| 56 459 7 | 8 2 149 | 1459 3 46 |
| 36 349 2 | 1469 469 5 | 149 8 7 |
| 1 8 459 | 3 4679 479 | 459 2 456 |
|--------------------+--------------------+--------------------|
| 4 c67 1 | 69 3 d79 | 2 5 8 |
| 9 b567 58 | 2 46-7 48-7 |a67 1 3 |
| 78 2 3 | 156 57 178 | 67 4 9 |
|--------------------+--------------------+--------------------|
| 35 3459 459 | 7 8 2 | 45 6 1 |
| 78 457 458 | 45 1 6 | 3 9 2 |
| 2 1 6 | 459 459 3 | 8 7 45 |
*--------------------------------------------------------------*
(7=6) r5c7 - r5c2 = (6-7) r4c2 = r4c6 => - 7 r5c56
Leren
- Leren
- Posts: 5210
- Joined: 03 June 2012
Re: Next move
by Leren » Mon Dec 29, 2014 2:37 am
Here are the remaining 7 moves:
Leren
PS The puzzle is solvable in 1 move by proving that r1c1 <> 6, but this would involve a long and boring brute force forcing chain.
- Code: Select all
*--------------------------------------------------------------*
| 56 459 7 | 8 2 149 | 1459 3 46 |
| 36 349 2 | 1469 469 5 | 149 8 7 |
| 1 8 459 | 3 4679 479 | 459 2 456 |
|--------------------+--------------------+--------------------|
| 4 67 1 |b69 3 79 | 2 5 8 |
| 9 567 58 | 2 a46 48 | 67 1 3 |
| 78 2 3 | 156 57 178 | 67 4 9 |
|--------------------+--------------------+--------------------|
| 35 3459 459 | 7 8 2 | 45 6 1 |
| 78 457 458 |b45 1 6 | 3 9 2 |
| 2 1 6 |b459 59-4 3 | 8 7 45 |
*--------------------------------------------------------------*
(4=6) r5c5 - (6=4) r489c4 => - 4 r9c4
Pointing pair r89c4 => - 4 r2c4
*--------------------------------------------------------------*
| 56 459 7 | 8 2 149 | 1459 3 46 |
| 36 349 2 | 169 469 5 | 149 8 7 |
| 1 8 459 | 3 d467-9 479 | 459 2 c456 |
|--------------------+--------------------+--------------------|
| 4 67 1 | 69 3 79 | 2 5 8 |
| 9 567 58 | 2 46 48 | 67 1 3 |
| 78 2 3 | 156 57 178 | 67 4 9 |
|--------------------+--------------------+--------------------|
| 35 3459 459 | 7 8 2 | 45 6 1 |
| 78 457 458 | 45 1 6 | 3 9 2 |
| 2 1 6 | 459 a59 3 | 8 7 b45 |
*--------------------------------------------------------------*
(9=5) r9c5 - r9c9 = (5-6) r3c9 = (6) r3c5 => - 9 r3c5
*--------------------------------------------------------------*
| 56 459 7 | 8 2 149 | 1459 3 46 |
| 36 349 2 | 169 469 5 | 149 8 7 |
| 1 8 459 | 3 d67-4 479 | 459 2 c56-4 |
|--------------------+--------------------+--------------------|
| 4 67 1 | 69 3 79 | 2 5 8 |
| 9 567 58 | 2 46 48 | 67 1 3 |
| 78 2 3 | 156 a57 178 | 67 4 9 |
|--------------------+--------------------+--------------------|
| 35 3459 459 | 7 8 2 | 45 6 1 |
| 78 457 458 | 45 1 6 | 3 9 2 |
| 2 1 6 | 49-5 b59 3 | 8 7 45 |
*--------------------------------------------------------------*
(5) r6c5 = r9c5 - r9c9 = (5-6) r3c9 = (6-7) r3c5 = (7) r6c5 loop => - 4 r3c59, - 5 r9c4
*--------------------------------------------------------------*
| 56 459 7 | 8 2 149 | 1459 3 46 |
| 36 349 2 | 169 469 5 | 149 8 7 |
| 1 8 459 | 3 67 479 | 459 2 56 |
|--------------------+--------------------+--------------------|
| 4 67 1 | 69 3 79 | 2 5 8 |
| 9 567 a58 | 2 46 48 | 67 1 3 |
|b78 2 3 |d156 c57 178 | 67 4 9 |
|--------------------+--------------------+--------------------|
| 35 3459 459 | 7 8 2 | 45 6 1 |
| 78 457 48-5 |e45 1 6 | 3 9 2 |
| 2 1 6 | 49 59 3 | 8 7 45 |
*--------------------------------------------------------------*
(5=8) r5c3 - (8=7) r6c1 - (7=5) r6c5 - r6c4 = (5) r8c4 => - 5 r9c3
*--------------------------------------------------------------*
|a56 459 7 | 8 2 149 | 1459 3 e46 |
| 36 349 2 | 169 469 5 | 149 8 7 |
| 1 8 459 | 3 67 479 | 459 2 56 |
|--------------------+--------------------+--------------------|
| 4 67 1 | 69 3 79 | 2 5 8 |
| 9 567 58 | 2 46 48 | 67 1 3 |
| 78 2 3 | 156 57 178 | 67 4 9 |
|--------------------+--------------------+--------------------|
|b35 349-5 49-5 | 7 8 2 |c45 6 1 |
| 78 457 48 | 45 1 6 | 3 9 2 |
| 2 1 6 | 49 59 3 | 8 7 d45 |
*--------------------------------------------------------------*
(5) r1c1 = r7c1 - r7c7 = (5-4) r9c9 = (4-6) r1c9 = (6) r1c1 loop => - 5 r8c23
*--------------------------------------------------------------*
| 56 459 7 | 8 2 149 | 1459 3 46 |
| 36 349 2 | 169 469 5 | 149 8 7 |
| 1 8 a459 | 3 67 A479 | 459a 2 56 |
|--------------------+--------------------+--------------------|
| 4 67 1 | 69 3 79 | 2 5 8 |
| 9 567 Cc5-8e | 2 46 B48 | 67 1 3 |
| 78 2 3 | 156 57 178 | 67 4 9 |
|--------------------+--------------------+--------------------|
| 35 349c 49c | 7 8 2 | 4b 6 1 |
| 78 457 b48d | 45 1 6 | 3 9 2 |
| 2 1 6 | 49 59 3 | 8 7 45 |
*--------------------------------------------------------------*
4 r3c3 - (4=8) r8c3 - 8 r5c3;
4 r3c6 - (4=8) r5c6 - 8 r5c3;
4 r3c7 - r7c7 = r7c23 - (4=8) r8c3 - 8 r5c3; => - 8 r5c3
Several basic moves gets you to here:
*--------------------------------------------------------------*
| 56 459 7 | 8 2 149 | 149 3 46 |
| 36 *349 2 | 19 69 5 |*149 8 7 |
| 1 8 49 | 3 67 479 | 459 2 56 |
|--------------------+--------------------+--------------------|
| 4 67 1 | 69 3 79 | 2 5 8 |
| 9 67 5 | 2 4 8 | 67 1 3 |
| 8 2 3 | 156 57 17 | 67 4 9 |
|--------------------+--------------------+--------------------|
| 35 *349 f49 | 7 8 2 |*45 6 1 |
| 7 5-4 8 | 45 1 6 | 3 9 2 |
| 2 1 6 | 49 59 3 | 8 7 45 |
*--------------------------------------------------------------*
Finned XWing (4) r27/c27 + fin r7c3 => - 4 r8c2; stte
Leren
PS The puzzle is solvable in 1 move by proving that r1c1 <> 6, but this would involve a long and boring brute force forcing chain.
- Leren
- Posts: 5210
- Joined: 03 June 2012
4 posts
• Page 1 of 1
