9..8..7...8..9..6...5..4...8..3..2...2.....7...4..5..81..2...3..3..8.9....7..3..1;cells truths/covers ;16;95;10;10;
Basics : 3 S, LC(9), FXW(2)(!!)
- Code: Select all
+--------------------+-------------------+-------------------------+
| 9 146 1236 | 8 1356 126 | 7 145 2345 |
| 347-2 8 123 | 157 9 127 | 1345 6 2345 |
| 367(2) 167 5 | 167 1367 4 | 13(8) -1(289) -3(29) |
+--------------------+-------------------+-------------------------+
| 8 1567 169 | 3 1467 1679 | 2 1459 4569 |
| 356 2 1369 | 1469 146 8 | 13456 7 34569 |
| 367 167 4 | 1679 2 5 | 136 19 8 |
+--------------------+-------------------+-------------------------+
| 1 4569 8 | 2 4567 679 | 456 3 4567 |
| 456-2 3 26 | 14567 8 167 | 9 245 24567 |
| 456(2) 4569 7 | 4569 456 3 | 456(8) -45(28) 1 |
+--------------------+-------------------+-------------------------+
All Rows Loop[5] : {289R3 28R9} - {2c1 8c7 39n8 3n9}
6 Eliminations --> r28c1<>2, r9c8<>45, r3c8<>1, r3c9<>3
- Code: Select all
+----------------------+----------------------+----------------------+
| 9 146 1236 | 8 1356 126 | 7 145 2345 |
| 347-2 8 123 | 157 9 127 | 1345 6 2345 |
| (2367) (167) 5 | (167) (1367) 4 | (138) 289-1 29-3 |
+----------------------+----------------------+----------------------+
| 8 1567 169 | 3 1467 1679 | 2 1459 4569 |
| 356 2 1369 | 1469 146 8 | 13456 7 34569 |
| 367 167 4 | 1679 2 5 | 136 19 8 |
+----------------------+----------------------+----------------------+
| 1 4569 8 | 2 4567 679 | 456 3 4567 |
| 456-2 3 26 | 14567 8 167 | 9 245 24567 |
| (2456) (4569) 7 | (4569) (456) 3 | (4568) 28-45 1 |
+----------------------+----------------------+----------------------+
ALS-XZ Rule, Double Link [10] : {3N12457 9N12457} - {1367r3 4569r9 2c1 8c7}
6 Eliminations --> r28c1<>2, r9c8<>45, r3c8<>1, r3c9<>3
9..8..7...8..9..6...5..4...8..6..3...3..8..7...4..5..62..1...9..9..2.1....1.....7;cells truths/covers ;18;98;98;83;
Basics : -
Loop[5] : {8R9 9R69 89C9} - {9c4 9n6 3n9 8b9 9b6}
9 Eliminations --> r3c9<>123, r5c47<>9, r9c6<>36, r7c7<>8, r8c8<>8
9..8..7...8..9..6...5..4..38..4..6...7..2..8...3..8..51...4.2...6.9...1...7......;cells truths/covers ;17;97;10;10;
Basics : 2 S
All Rows Loop[6] : {6R79 8R7 9R679} - {9c27 7n3 79n9 6b8}
5 Eliminations --> r9c9<>48, r4c2<>9, r5c7<>9, r7c9<>7
9..8..7...8..9..6...5..4..38..9..2...9..2..7...4..5...2..7...1..1...2..7....3.8..;cells truths/covers ;16;95;10;10;
Basics : 4 S
All Rows Loop[4] : {8R68 9R68} - {8c5 9c8 8n3 6n9}
6 Eliminations --> r6c9<>16, r8c3<>36, r7c5<>8, r9c8<>9
9..8..7...8..9..6...5..4..98..7..3...2..8..1...4..5...1..3...7..7..1.2....3.....1;cells truths/covers ;18;96;96;89;
Basics :-
All Rows Loop[6] : {7R369 8R369} - {7c15 8c78 9n6 6n9}
9 Eliminations --> r9c6<>269, r25c1<>7, r6c9<>26, r7c7<>8, r8c8<>8
98.7.......6.5.9.........436...9.2...2...8.....51...3.1..2....4.6..1.8....2..5.1.;cells truths/covers ;18;97;97;17;
Basics : LC(5,8)
All Rows Loop[10] : {1278R2 126789R3} - {2n689 3n4567 127b1}
3 Eliminations --> r2c6<>34, r1c3<>1
Note :
Equivalent All Cells Loop[6] : Sue de Coq : {2N124 3N123} - {34r2 1257b1}
whose simplest representation is Loop[3] : {34R1 2N4} - {1n3 34b2}
98.7.......6.5.9.......6.4.6...3.2...3......1..2..7.5.5..1...2..6..2.5....3..5..4;cells truths/covers ;17;95;95;71;
Basics : -
All Rows Loop[4] : {2R15 5R15} - {2c6 5c3 5n4 1n9}
9 Eliminations --> r5c4<>4689, r34c3<>5, r1c9<>36, r2c6<>2
98.7.......6.5.9.......8.4.6...3.2...3......1..2..7.5.5..1...2..6..2.5....3..5..4;cells truths/covers ;17;95;95;71;
Idem
98.7.......6.9.7.......5.4.6...8.4....7..3..5...5...2.1..2....4.6..7.1....9..1.3.;cells truths/covers ;13;97;97;94;
Basics : -
- Code: Select all
+------------------------+----------------------+------------------------+
| 9 8 12345 | 7 1234-6 (246) | 235-6 (156) (1236) |
| 2345 12345 6 | 134-8 9 (248) | 7 (158) (1238) |
| 237 1237 123 | 1368 1236 5 | 23689 4 689-123 |
+------------------------+----------------------+------------------------+
| 6 235-19 235-1 | (19) 8 (279) | 4 (179) (1379) |
| 248 1249 7 | 1469 1246 3 | 689 1689 5 |
| 348 1349 1348 | 5 146 679-4 | 3689 2 16789-3 |
+------------------------+----------------------+------------------------+
| 1 357 358 | 2 356 689 | 5689 6789-5 4 |
| 2345-8 6 2345-8 | 34-89 7 (489) | 1 (589) (289) |
| 24578 2457 9 | 468 456 1 | 2568 3 678-2 |
+------------------------+----------------------+------------------------+
All cells Loop[13] : {4N4 1248N6 1248N8 1248N9} - {6r1 8r2 179r4 89r8 2c69 3c9 4c6 5c8 1b3}
17 Eliminations --> r8c134<>8, r3c9<>123, r1c57<>6, r4c23<>1, r2c4<>8, r4c2<>9, r6c9<>3, r6c6<>4, r7c8<>5, r8c4<>9, r9c9<>2
- Code: Select all
+------------------------+------------------------+-----------------------------+
| 9 8 12345 | 7 1234-6 24(6) | 235-6 5(16) 23(16) |
| 2345 12345 6 | 134-8 9 24(8) | 7 5(18) 23(18) |
| 237 1237 123 | 1368 1236 5 | 23689 4 -23(689-1) |
+------------------------+------------------------+-----------------------------+
| 6 235-19 235-1 | (19) 8 2(79) | 4 (179) 3(179) |
| 248 1249 7 | 1469 1246 3 | 689 (1689) 5 |
| 348 1349 1348 | 5 146 -4(679) | 3689 2 -3(16789) |
+------------------------+------------------------+-----------------------------+
| 1 357 358 | 2 356 (689) | 5689 -5(6789) 4 |
| 2345-8 6 2345-8 | 34-89 7 4(89) | 1 5(89) 2(89) |
| 24578 2457 9 | 468 456 1 | 2568 3 -2(678) |
+------------------------+------------------------+-----------------------------+
All Columns + Cell(s) Loop[15] : {6789C6 16789C8 16789C9 4N4} - {6r1 8r2 179r4 89r8 67n6 57n8 369n9 1b3}
17 Eliminations --> r8c134<>8, r3c9<>123, r1c57<>6, r4c23<>1, r2c4<>8, r4c2<>9, r6c9<>3, r6c6<>4, r7c8<>5, r8c4<>9, r9c9<>2
98.7.......6.9.7.......5.8.6...4...3.7...24....46...9.1......25.6.1.......9.2.6..;cells truths/covers ;17;97;10;10;
Basics : 2S, FXW(2)
All Rows Loop[4] : {6R37 9R37} - {6c5 9c7 7n6 3n9}
9 Eliminations --> r7c6<>3478, r3c9<>124, r1c5<>6, r8c7<>9
98.7.......7.6.5.......4.738..........2.4...5.....124.7..1....2.2...96....3.2..5.;cells truths/covers ;19;96;88;17;
Basics : LC(3,6)
First Sue de Coq[6] : {2N46 3N2345} - {15r3 6b1 289b2} :=> 5 Eliminations --> r3c1<>156, r1c6<>2, r3c7<>1; 3 S : r1c9=6, r1c8=2=r3c1
Second Sue de Coq[5] : {1N7 2N4689} - {289r2 14b3} :=> 5 Eliminations --> r1c89<>1, r1c9<>4, r2c1<>2, r3c7<>1; 3 S : r1c9=6, r1c8=2=r3c1
First All Rows Loop[7] : {13489R2 89R3} - {2n1289 3n7 89b2} :=> 3 Eliminations --> r2c18<>2, r3c7<>1; 3 S : r1c9=6, r1c8=2=r3c1
Second All Rows Loop[7]: {1345R1 134R2} - {1n356 2n12 14b3} :=> 3 Eliminations --> r1c6<>2, r2c1<>2, r3c7<>1; 3 S : r1c9=6, r1c8=2=r3c1
98.7.....6.....5....7.6..8.4...9..7...83..6.......2..1.7..8..4...94..3.......1..2;cells truths/covers ;21;95;10;10;
Basics : 4 S; FXW(9)
All Rows Loop[8] : {4R56 8R26 9R2569} - {8c4 9c48 2n6 6n7 5n9 4b5 9b4}
5 Eliminations --> r2c6<>34, r4c4<>8, r5c9<>5, r7c4<>9
98.7.....6.....85...5.6...94...3...5..74..6.......2.1..5..7...3..43..5.......1.2.;cells truths/covers ;17;98;10;10;
Basics : 1 S, LC(6), HP(47), 1S, LC(9), FXW(7)
Sue de Coq[5] : {1N3 2N3 3N128} - {47r3 123b1} :=> 6 Eliminations --> r2c2<>123, r3c67<>4, r3c7<>7
Or
Loop[3] : {3N8 47B1} - {47r3 2n2} :=> 6 Eliminations --> r2c2<>123, r3c67<>4, r3c7<>7
Or
All Rows Loop[9] : {4R1 47R2 123478R3} - {2n2 3n12467 4b23 7b3}
6 Eliminations --> r2c2<>123, r3c67<>4, r3c7<>7
98.7.....6...5.8....4..6.7.5....4.9...93..4......2...1.9...8.4...65..7......1...2;cells truths/covers ;23;95;66;66;
Basics : FXW(9), 1 S
All Columns Loop[4] : {4C59 9C59} - {4r1 9r3 8n5 2n9}
3 Eliminations --> r2c9<>3, r3c4<>9, r8c5<>3
98.7.....6...5.8....4..8.7.5....4.9...39..4......2...1.9...6.4...65..7......1...2;cells truths/covers ;15;95;10;10;
Idem
Basics : 1 S, FXW(9), 2 S, LC(5)
All Columns Loop[4] : {4C59 9C59} - {4r1 9r3 8n5 2n9}
3 Eliminations --> r8c5<>38, r2c9<>3
98.7.....6...9.5....7..4...3....2.5...89..6......4...1.2...7.3...64..9......1...6;cells truths/covers ;16;95;10;10;
Basics : 2 S, HP(69)
All Rows Loop[5] : {6R347 9R34} - {6c45 9c9 4n2 3n8}
5 Eliminations --> r3c8<>128, r1c5<>6, r6c4<>6
98.7.....6...9.7....7..5.9.7....4....6..3...2..86..5...2..5..1...69..8.......1..3;cells truths/covers ;13;99;99;66;
Basics : SS(7)
- Code: Select all
+----------------------+-----------------------+-----------------------+
| 9 8 12345 | 7 1246 236 | 12346 23456 1456 |
| 6 1345 12345 | 1234-8 9 238 | 7 23458 1458 |
| 1234 134 7 | 1234-8 12468 5 | 12346 9 1468 |
+----------------------+-----------------------+-----------------------+
| 7 1359 1235-9 | 125-8 128 4 | 136-9 368 1689 |
| (145) 6 (1459) | (158) 3 789 | (149) 78-4 2 |
| 1234 1349 8 | 6 127 279 | 5 347 149 |
+----------------------+-----------------------+-----------------------+
| (348) 2 (349) | (348) 5 678-3 | (469) 1 79-46 |
| 1345 13457 6 | 9 247 237 | 8 245 457 |
| (458) 79-45 (459) | (248) 678-24 1 | (2469) (2456) 3 |
+----------------------+-----------------------+-----------------------+
All Cells Loop[13] : {5N1347 7N1347 9N13478} - {1r5 2r9 3r7 4r579 5r59 8c14 9c37 6b9}
13 Eliminations --> r234c4<>8, r4c37<>9, r9c25<>4, r7c9<>46, r5c8<>4, r7c6<>3, r9c5<>2, r9c2<>5
- Code: Select all
+------------------------+---------------------------+--------------------------+
| 9 8 12345 | 7 1246 236 | 12346 23456 1456 |
| 6 1345 12345 | 1234-8 9 238 | 7 23458 1458 |
| 1234 134 7 | 1234-8 12468 5 | 12346 9 1468 |
+------------------------+---------------------------+--------------------------+
| 7 1359 1235-9 | 125-8 128 4 | 136-9 368 1689 |
| 145 6 145(9) | 15(8) 3 (789) | 14(9) -4(78) 2 |
| 1234 1349 8 | 6 127 279 | 5 347 149 |
+------------------------+---------------------------+--------------------------+
| 34(8) 2 34(9) | 34(8) 5 -3(678) | 4(69) 1 -4(79-6) |
| 1345 13457 6 | 9 247 237 | 8 245 457 |
| 45(8) -45(79) 45(9) | 24(8) -24(678) 1 | 24(69) 245(6) 3 |
+------------------------+---------------------------+--------------------------+
All Rows Loop[11] : {789R5 6789R7 6789R9} - {8c14 9c37 9n2 9n5 57n6 5n8 7n9 6b9}
13 Eliminations --> r234c4<>8, r4c37<>9, r9c25<>4, r7c9<>46, r5c8<>4, r7c6<>3, r9c5<>2, r9c2<>5
98.7.....6..5.......4.3.8..2....31...9.1...2...1.2...8.6......4..3.4..8......53.1;cells truths/covers ;21;95;10;10;
Basics : 2 S, LC(1,4)
All Rows Loop[7] : {1R12 3R15 4R125} - {3c9 4c7 5n1 12n8 14b2}
8 Eliminations --> r5c1<>578, r1c8<>56, r2c8<>79, r6c7<>4
98.7.....6..5..4....3.6..8.3...9..6..9....5....24....1.3..8..2......9..8.....73.6;cells truths/covers ;15;96;10;10;
Basics : 3 S
All Rows Loop[5] : {8R69 9R69} - {8c1 9c8 9n3 6n7}
6 Eliminations --> r9c3<>145, r2c8<>9, r5c1<>8, r6c7<>7
98.7.....6...5.8....5..4.9.3....5.8...79..5......2...1.1...6.3...95..6..........2;2;3;97;10;10;floors; 589;ntruths; 6;
Basics : 1 S
- Code: Select all
+----------------------+----------------------+--------------------------+
| 9 8 1234 | 7 136 123 | 1234 1246(5) 346(5) |
| 6 2347 1234 | 123 5 9 | 8 1247 347 |
| 127 237 5 | 12368 1368 4 | 1237 9 367 |
+----------------------+----------------------+--------------------------+
| 3 246(9) 1246 | 146 1467 5 | 247-9 8 467(9) |
| 1248 246 7 | 9 13468 138 | 5 246 346 |
| 458 -46(59) 468 | 3468 2 378 | 3479 467 1 |
+----------------------+----------------------+--------------------------+
| 24578 1 248 | 248 4789 6 | 479 3 -478(59) |
| 2478 2347 9 | 5 13478 12378 | 6 147 478 |
| 478-5 3467(5) 3468 | 1348 134789 1378 | 1479 147(5) 2 |
+----------------------+----------------------+--------------------------+
All Columns Loop[5] : {5C289 9C29} - {5r9 9r4 6n2 7n9 5b3}
7 Eliminations --> r7c9<>478, r6c2<>46, r4c7<>9, r9c1<>5
- Code: Select all
+----------------------+----------------------+------------------------+
| 9 8 1234 | 7 136 123 | 1234 (12456) (3456) |
| 6 (2347) 1234 | 123 5 9 | 8 (1247) (347) |
| 127 (237) 5 | 12368 1368 4 | 1237 9 (367) |
+----------------------+----------------------+------------------------+
| 3 (2469) 1246 | 146 1467 5 | 247-9 8 (4679) |
| 1248 (246) 7 | 9 13468 138 | 5 (246) (346) |
| 458 59-46 468 | 3468 2 378 | 3479 (467) 1 |
+----------------------+----------------------+------------------------+
| 24578 1 248 | 248 4789 6 | 479 3 589-47 |
| 2478 (2347) 9 | 5 13478 12378 | 6 (147) 8-47 |
| 478-5 (34567) 3468 | 1348 134789 1378 | 1479 (1457) 2 |
+----------------------+----------------------+------------------------+
All Cells Loop[17] : {234589N2 125689N8 12345N9} - {5r9 9r4 23467c2 1247c8 347c9 5b3 6b36}
8 Eliminations --> r78c9<>4, r78c9<>7, r6c2<>46, r4c7<>9, r9c1<>5
In both cases :=> r8c9=8!