. 1 .|. . .|. 5 .
7 . 8|. . .|. . .
. . 2|6 . 8|3 . .
-----+-----+-----
9 . .|3 . 5|. . 7
. . .|. . .|. . .
8 . .|4 . 2|. . 6
-----+-----+-----
. . 9|7 . 1|2 . .
. . 3|. . .|4 . .
. 8 .|. . .|. 9 .
puzzle #33
removed most of this post.
Locked Row Line/Box: r3c46 => r3c9<>9
Locked Row Line/Box: r9c46 => r9c23<>5
Locked Row Line/Box: r5c78 => r5c26<>1
Locked Row Line/Box: r5c78 => r5c456<>3
Locked Column Line/Box Pair: r46c9 => r2c9<>5,r8c9<>6
Locked Column Line/Box: r89c8 => r5c8<>6
Naked Row Triple: r1c467 => r1c2<>68,r1c3<>2,r1c8<>8
Locked Row Line/Box: r2c12 => r2c5<>6
3-element Nice Loop: r4c6=1=r4c1-1-r6c1-6-r6c9=6=r4c9~6~r4c6 => r4c6<>6
3-element Nice Loop: r8c2=5=r8c3-5-r2c3-2-r9c3~7~r8c2 => r8c2<>7
4-element Nice Loop: r8c2=5=r8c3-5-r2c3-2-r2c9-9-r7c9=9=r7c2~9~r8c2 => r8c2<>9
4-element Strong Nice Loop: r7c1=1=r7c2=9=r7c9-9-r2c9-2-r2c13=2=r3c1~2~r7c1 => r7c1<>2
5-element Advanced Colouring: r1c3=4=r5c3=9=r8c3-9-r8c7=9=r2c7=1=r2c8=5=r1c8~5~r1c3 => r1c3<>5,r1c8<>4
Locked Row Line/Box: r3c89 => r3c2<>4
5-element Nice Loop: r2c3=5=r8c3=9=r7c2=1=r6c2-1-r6c1-6-r2c1=6=r2c2~5~r2c3 => r2c2<>5
B=1 cell ALS xy-rule: r1c7-2-r2c9-9-r7c4689 => r9c7<>8,r23c8<>8
4-element Nice Loop: r8c2-5-r1c2=5=r1c8-5-r2c8-1-r5c8~3~ => r8c8<>3
UR+3C/2SL (4,7): r38c89 => r8c9<>7
A=2 cell ALS xz-rule: r7c46-7-r89c7|r7c9 => r7c8<>3
3-element Grouped Nice Loop: r6c6=4=r6c2-4-ALS:r12389c2-6-r5c2=6=r5c456~6~r6c6 => r6c6<>6
+--------------------+-----------------------+------------------+
| 9 457*b 47 | 268 1 26 | 28 57 3 |
| 2368 368*b 25 | 4 238 7 | 1289 15 29 |
| 2378 378*b 1 | 2389 5 239 | 6 47 247 |
+--------------------+-----------------------+------------------+
| 167 2 3 | 5678 678 15 | 4 9 56 |
| 5 4679* 479 | 2679*c 267*c 2469*c | 13 13 8 |
| 16 1469* 8 | 3569 36 13459-6* | 7 2 56 |
+--------------------+-----------------------+------------------+
| 1378 13789 6 | 237 4 23 | 5 78 279 |
| 237 35*b 2579 | 1 2367 8 | 239 467 249 |
| 4 378*b 27 | 23567 9 2356 | 23 3678 1 |
+--------------------+-----------------------+------------------+
Common 3-element Grouped Nice Loop: r9c7-2-ALS:r159c3-9-ALS:r89c3|r8c12~3~ => r9c2<>3,r8c7<>3
+---------------------+---------------------+------------------+
| 9 457 47*b | 268 1 26 | 28 57 3 |
| 2368 368 25 | 4 238 7 | 1289 15 29 |
| 2378 378 1 | 2389 5 239 | 6 47 247 |
+---------------------+---------------------+------------------+
| 167 2 3 | 5678 678 15 | 4 9 56 |
| 5 4679 479*b | 2679 267 2469 | 13 13 8 |
| 16 1469 8 | 3569 36 13459 | 7 2 56 |
+---------------------+---------------------+------------------+
| 1378 13789 6 | 237 4 23 | 5 78 279 |
| 237*c 35*c 2579*c | 1 2367 8 | 29-3 467 249 |
| 4 78-3 27*bc | 23567 9 2356 | 23* 3678 1 |
+---------------------+---------------------+------------------+
Locked Row Line/Box: r9c78 => r9c46<>3
UR+2D/1SL (7,8): r79c28 => r7c2<>8
UR+2D/1SL (2,9): r28c79 => r8c9<>9
4-element Strong Nice Loop: r7c2=1=r6c2-1-r6c1-6-r6c5-3-r8c5=3=r7c46~3~r7c2 => r7c2<>3
3-element Grouped Nice Loop: ALS:r1c23-5-ALS:r89c2|r9c3|r78c1-1-ALS:r46c1~7~ => r3c1<>7
+--------------------+--------------------+------------------+
| 9 457* 47* | 268 1 26 | 28 57 3 |
| 2368 368 25 | 4 238 7 | 1289 15 29 |
| 238-7 378 1 | 2389 5 239 | 6 47 247 |
+--------------------+--------------------+------------------+
| 167*c 2 3 | 5678 678 15 | 4 9 56 |
| 5 4679 479 | 2679 267 2469 | 13 13 8 |
| 16*c 1469 8 | 3569 36 13459 | 7 2 56 |
+--------------------+--------------------+------------------+
| 1378*b 179 6 | 237 4 23 | 5 78 279 |
| 237*b 35*b 2579 | 1 2367 8 | 29 467 24 |
| 4 78*b 27*b | 2567 9 256 | 23 3678 1 |
+--------------------+--------------------+------------------+
Overlap 3-element Grouped Nice Loop: ALS:r7c1468-1-ALS:r46c1|r5c23-4-ALS:r1357c6~2~ => r9c6<>2
+--------------------+--------------------+------------------+
| 9 457 47 | 268 1 26*c | 28 57 3 |
| 2368 368 25 | 4 238 7 | 1289 15 29 |
| 238 378 1 | 2389 5 239*c | 6 47 247 |
+--------------------+--------------------+------------------+
| 167*b 2 3 | 5678 678 15 | 4 9 56 |
| 5 4679*b 479*b | 2679 267 2469*c | 13 13 8 |
| 16*b 1469 8 | 3569 36 13459 | 7 2 56 |
+--------------------+--------------------+------------------+
| 1378* 179 6 | 237* 4 23*c | 5 78* 279 |
| 237 35 2579 | 1 2367 8 | 29 467 24 |
| 4 78 27 | 2567 9 56-2 | 23 3678 1 |
+--------------------+--------------------+------------------+
3-element Grouped Nice Loop: ALS:r78c1|r9c23-1-ALS:r6c15-3-r2c5=3=r2c12~3~ => r3c1<>3
+--------------------+--------------------+------------------+
| 9 457 47 | 268 1 26 | 28 57 3 |
| 2368*c 368*c 25 | 4 238* 7 | 1289 15 29 |
| 28-3 378 1 | 2389 5 239 | 6 47 247 |
+--------------------+--------------------+------------------+
| 167 2 3 | 5678 678 15 | 4 9 56 |
| 5 4679 479 | 2679 267 2469 | 13 13 8 |
| 16*b 1469 8 | 3569 36*b 13459 | 7 2 56 |
+--------------------+--------------------+------------------+
| 1378* 179 6 | 237 4 23 | 5 78 279 |
| 237* 35 2579 | 1 2367 8 | 29 467 24 |
| 4 78* 27* | 2567 9 56 | 23 3678 1 |
+--------------------+--------------------+------------------+
Overlap 4-element Grouped Nice Loop: r2c9-9-ALS:r7c14689-1-ALS:r6c15-3-ALS:r2c35789~2~ => r2c1<>2
+--------------------+--------------------+--------------------+
| 9 457 47 | 268 1 26 | 28 57 3 |
| 368-2 368 25*d | 4 238*d 7 | 1289*d 15*d 29*d |
| 28 378 1 | 2389 5 239 | 6 47 247 |
+--------------------+--------------------+--------------------+
| 167 2 3 | 5678 678 15 | 4 9 56 |
| 5 4679 479 | 2679 267 2469 | 13 13 8 |
| 16*c 1469 8 | 3569 36*c 13459 | 7 2 56 |
+--------------------+--------------------+--------------------+
| 1378*b 179 6 | 237*b 4 23*b | 5 78*b 279*b |
| 237 35 2579 | 1 2367 8 | 29 467 24 |
| 4 78 27 | 2567 9 56 | 23 3678 1 |
+--------------------+--------------------+--------------------+
Mutant Swordfish (r19c1/c7b27, fins=r9c4|r3c1): r1c467|r9c347|r38c1 => r3c4<>2
+-------------------+---------------------+------------------+
| 9 457 47 | 268* 1 26* | 28* 57 3 |
| 368 368 25 | 4 238 7 | 1289 15 29 |
| 28# 378 1 | 389-2 5 239 | 6 47 247 |
+-------------------+---------------------+------------------+
| 167 2 3 | 5678 678 15 | 4 9 56 |
| 5 4679 479 | 2679 267 2469 | 13 13 8 |
| 16 1469 8 | 3569 36 13459 | 7 2 56 |
+-------------------+---------------------+------------------+
| 1378 179 6 | 237 4 23 | 5 78 279 |
| 237* 35 2579 | 1 2367 8 | 29 467 24 |
| 4 78 27* | 2567# 9 56 | 23* 3678 1 |
+-------------------+---------------------+------------------+
5-element Grouped Advanced Colouring: r3c1=2=r2c3=5=r2c8=1=r2c7=8=r1c7=2=r1c46~2~ => r3c6<>2
4-element Grouped Nice Loop: r6c5-6-r5c456=6=r5c2-6-ALS:r12389c2-4-r6c2=4=r6c6~3~r6c5 => r6c6<>3
+-------------------+----------------------+------------------+
| 9 457*c 47 | 268 1 26 | 28 57 3 |
| 368 368*c 25 | 4 238 7 | 1289 15 29 |
| 28 378*c 1 | 389 5 39 | 6 47 247 |
+-------------------+----------------------+------------------+
| 167 2 3 | 5678 678 15 | 4 9 56 |
| 5 4679* 479 | 2679*b 267*b 2469*b | 13 13 8 |
| 16 1469* 8 | 3569 36* 1459-3* | 7 2 56 |
+-------------------+----------------------+------------------+
| 1378 179 6 | 237 4 23 | 5 78 279 |
| 237 35*c 2579 | 1 2367 8 | 29 467 24 |
| 4 78*c 27 | 2567 9 56 | 23 3678 1 |
+-------------------+----------------------+------------------+
4-element Grouped Nice Loop: ALS:r39c2-3-r2c12=3=r2c5-3-r6c5-6-ALS:r5c3456~7~ => r5c2<>7
+--------------------+---------------------+------------------+
| 9 457 47 | 268 1 26 | 28 57 3 |
| 368*b 368*b 25 | 4 238* 7 | 1289 15 29 |
| 28 378* 1 | 389 5 39 | 6 47 247 |
+--------------------+---------------------+------------------+
| 167 2 3 | 5678 678 15 | 4 9 56 |
| 5 469-7 479*c | 2679*c 267*c 2469*c | 13 13 8 |
| 16 1469 8 | 3569 36* 1459 | 7 2 56 |
+--------------------+---------------------+------------------+
| 1378 179 6 | 237 4 23 | 5 78 279 |
| 237 35 2579 | 1 2367 8 | 29 467 24 |
| 4 78* 27 | 2567 9 56 | 23 3678 1 |
+--------------------+---------------------+------------------+
4-element Grouped Nice Loop: ALS:r39c2-3-r2c12=3=r2c5-3-ALS:r6c15-1-ALS:r7c1468~7~ => r7c2<>7
+--------------------+-------------------+------------------+
| 9 457 47 | 268 1 26 | 28 57 3 |
| 368*b 368*b 25 | 4 238* 7 | 1289 15 29 |
| 28 378* 1 | 389 5 39 | 6 47 247 |
+--------------------+-------------------+------------------+
| 167 2 3 | 5678 678 15 | 4 9 56 |
| 5 469 479 | 2679 267 2469 | 13 13 8 |
| 16*c 1469 8 | 3569 36*c 1459 | 7 2 56 |
+--------------------+-------------------+------------------+
| 1378*d 19-7 6 | 237*d 4 23*d | 5 78*d 279 |
| 237 35 2579 | 1 2367 8 | 29 467 24 |
| 4 78* 27 | 2567 9 56 | 23 3678 1 |
+--------------------+-------------------+------------------+
4-element Grouped Nice Loop: ALS:r2c35789-3-r6c5-6-r5c456=6=r5c2-6-ALS:r34678c1~8~ => r2c1<>8
+--------------------+---------------------+------------------+
| 9 457 47 | 268 1 26 | 28 57 3 |
| 36-8 368 25* | 4 238* 7 | 1289* 15* 29* |
| 28*c 378 1 | 389 5 39 | 6 47 247 |
+--------------------+---------------------+------------------+
| 167*c 2 3 | 5678 678 15 | 4 9 56 |
| 5 469* 479 | 2679*b 267*b 2469*b | 13 13 8 |
| 16*c 1469 8 | 3569 36* 1459 | 7 2 56 |
+--------------------+---------------------+------------------+
| 1378*c 19 6 | 237 4 23 | 5 78 279 |
| 237*c 35 2579 | 1 2367 8 | 29 467 24 |
| 4 78 27 | 2567 9 56 | 23 3678 1 |
+--------------------+---------------------+------------------+
3-element Advanced Colouring: r7c9=7=r3c9=2=r3c1=8=r7c1~7~r7c9 => r7c1<>7
Column Finned X-Wing: r48c1|r458c5 => r4c4<>7
3-element Nice Loop: r8c1=2=r3c1=8=r7c1-8-r9c2~7~r8c1 => r8c1<>7
UR+2B/1SL (5,6): r46c49 => r6c4<>6
3-element Nice Loop: r6c2=1=r7c2=9=r8c3-9-r5c3~4~r6c2 => r6c2<>4
WXYZ-wing: r2c12|r3c2, r9c2 => r1c2<>7
Column Finned X-Wing: r39c2|r37c9 => r9c8<>7
4-node XY-ring (r1c3-4-r1c2-5-r2c3-2-r9c3-7-r1c3) => r8c3<>2,r8c3<>7
Locked Row Line/Box: r9c23 => r9c4<>7
Hidden Row Pair: r8c58 => r8c5=67,r8c8=67
Locked Row Line/Box: r7c46 => r7c1<>3
Row Finned X-Wing: r3c19|r8c17 => r7c9<>2
Locked Column Line/Box: r89c7 => r12c7<>2
Locked Row Box/Box: r2c39|r3c19 => r2c5<>2
.1.|...|.5.
7.8|...|...
..2|6.8|3..
---+---+---
9..|3.5|A.7
...|...|...
8..|4.2|..6
---+---+---
..9|7.1|2..
..3|...|4..
.8.|...|.9.
StrmCkr wrote:A4 = (45) - (8+7+6+5+4+3+1)
A4 = (11)
11 | (9+2), (8+3), (8+2+1), (7+4), (7+3+1), (6+5), (6+4+1), (6+3+2), (5+4+2), (5+3+2+1)
remove known numbers
11| (9+2), (5+4+2), (5+3+2+1)
check logic on (paired unknowns)
(9+2)
9 = (8+1), (7+2), (6+3), (5+4),(5+3+1) (remove the known number solutions
9 = (7+2) is the only known number in possible summations is the 2 we can apply logic to this
since in the original equation 2 was not seen by the cell A4, 9 was not directly revealed. thus eliminated the 9 as the solution.
there fore the only valid solution is A4(2)
*-----------------------------------------------------------------------------*
| 5 3479 479 | 8 679 2 | 1 346 3469 |
|X379 X6 2 | 1 4 x379 | 39 5 X8 |
| 1 3489 489 | 56 569 359 | 3469 7 2 |
|-------------------------+-------------------------+-------------------------|
| 348 2348 5 | 9 1 6 | 7 234 34 |
| 3467 23479 4679 | 257 8 A57 | 234569 1 34569 |
|X679 X279 1 | 3 x257 4 | 8 26 X569 |
|-------------------------+-------------------------+-------------------------|
| 2 5 46789 | 67 679 789 | 346 3468 1 |
| 4678 1 4678 | 2567 3 578 |D2456 9 B467 |
|X679 X789 3 | 4 2569 1 |D256 268 CX567 |
*-----------------------------------------------------------------------------*
Almost Row Swordfish (r2c6|r6c5-7-r5c6-5-, r9c9-7-r9c9=5=r56c9): r2c16|r6c125|r9c129 => r5c7<>5
+---------------------+------------------+----------------------+
| 5 3479 479 | 8 679 2 | 1 346 3469 |
| X379 6 2 | 1 4 x379 | 39 5 8 |
| 1 3489 489 | 56 569 359 | 3469 7 2 |
+---------------------+------------------+----------------------+
| 348 2348 5 | 9 1 6 | 7 234 34 |
| 3467 23479 4679 | 257 8 A57 | -234569 1 C34569 |
| X679 X279 1 | 3 x257 4 | 8 26 C569 |
+---------------------+------------------+----------------------+
| 2 5 46789 | 67 679 789 | 346 3468 1 |
| 4678 1 4678 | 2567 3 578 | 2456 9 467 |
| X679 X789 3 | 4 2569 1 | 256 268 B567 |
+---------------------+------------------+----------------------+
AndrewStuart wrote:A new set of eleven Michael Mepham 'unsolvable' sudokus has been released on http://www.sudoku.org.uk/bifurcation.htm.