jco wrote:@shye: Nice to see you back !
Confirmed !
A few days ago, while using your
Fireworks pattern, I just thought we had not read you for long !
FWIW, my solution:
- Code: Select all
+-----------------------+---------------------------+-------------------------+
| 9 8 d123 | 7 c123 6 | 5 4 12 |
| 7 1356 12345 | 1234 12345 123459 | 1269 1269 8 |
| 12 156 1245 | 124 8 12459 | 3 1269 7 |
+-----------------------+---------------------------+-------------------------+
| 4 139 12389 | 12368 1236 7 | 1268 12368 5 |
| b123 57 58 | 68 9 123 | 4 678 c123 |
| 6 137 1238 | 5 1234 1234 | 1278 12378 9 |
+-----------------------+---------------------------+-------------------------+
| 5 19-3 6 | 1234 12347 1234 | 12789 123789 d123 |
| 8 2 19-3 | 136 13567 135 | 179 1379 4 |
| a13 4 7 | 9 b123 8 | 12 5 6 |
+-----------------------+---------------------------+-------------------------+
(3)r9c1 = (r9c5&r5c1) - (r1c5|r5c9) = (r1c3&r7c9) => -3 r8c3, r7c2
- Code: Select all
+----------------------+---------------------------+-------------------------+
| 9 8 123* | 7 123^ 6 | 5 4 12*^ |
| 7 1356 12345 | 1234 12345 123459 | 1269 1269 8 |
| 12* 156 1245 | 124 8 12459 | 3 1269 7 |
+----------------------+---------------------------+-------------------------+
| 4 139 12389 | 12368 1236 7 | 1268 12368 5 |
| 12* 57 58 | 68 9 123 | 4 678 123* |
| 6 137 1238 | 5 1234 1234 | 1278 12378 9 |
+----------------------+---------------------------+-------------------------+
| 5 19 6 | 1234 12347 1234 | 12789 123789 123^ |
| 8 2 19 | 136 13567 135 | 179 1379 4 |
| 3 4 7 | 9 12^ 8 | 12^ 5 6 |
+----------------------+---------------------------+-------------------------+
Bivalue oddagon (12)r15, c19, b1 (*) having two guardians => 3r1c3 = 3r5c9
Bivalue oddagon (12)r19, c59, b9 (^) having two guardians => 3r1c5 = 3r7c9
None can have its two guardians True (otherwise other oddagon: contradiction)
=> +3 r1c3&r7c9 OR +3 r1c5&r5c9 = True
(3)r1c3&r7c9 creating NPs (12)r5c19 And (12)r19c5 leads to a contradiction (with basics):
- Code: Select all
+--------------------+---------------------------+-----------------------+
| 9 8 3 | 7 12 6 | 5 4 12 |
| 7 16+5 1245 | 3-124 3-1245 123459 | 1269 1269 8 |
| 12 15+6 1245 | 124 8 12459 | 3 129-6 7 |
+--------------------+---------------------------+-----------------------+
| 4 139 1289 | 12-368 6-123 7 | 1268 12368 5 |
| 12 7-5 5-8 | 8-6 9 3-12 | 4 6-78 12 |
| 6 137 128 | 5 4-123 12-34 | 1278 12378 9 |
+--------------------+---------------------------+-----------------------+
| 5 19 6 | 124 1247 124 | 12789 12789 3 |
| 8 2 19 | 136 13567 135 | 179 179 4 |
| 3 4 7 | 9 12 8 | 12 5 6 |
+--------------------+---------------------------+-----------------------+
NP(12)r5c19 And NP(12)r19c5 => +3 r5c6; +4 r6c5, +6 r4c5, +12 b5p19; +8r5c4, +5r5c3, +7r5c2; +6 r3c2, +5r2c2 => +3 r2c5
NT(124)r346c4 => +3 r2c4 : Contradiction => (3)r1c3&r7c9 = False
Therefore +3 r1c5 And +3 r5c9
- Code: Select all
+----------------------+-------------------------+------------------------+
| 9 8 b12 | 7 3 6 | 5 4 a12 |
| 7 1356 12345 | 124 1245 12459 | 1269 1269 8 |
| 12 156 1245 | 124 8 12459 | 3 1269 7 |
+----------------------+-------------------------+------------------------+
| 4 139 12389 | 12368 126 7 | 1268 1268 5 |
| 12 57 58 | 68 9 12 | 4 678 3 |
| 6 137 1238 | 5 124 1234 | 1278 1278 9 |
+----------------------+-------------------------+------------------------+
| 5 d19 6 | 1234 1247 1234 | 12789 123789 2-1 |
| 8 2 c19 | 136 1567 135 | 179 1379 4 |
| 3 4 7 | 9 12 8 | 12 5 6 |
+----------------------+-------------------------+------------------------+
End with X-chain (1)r1c9 = r1c3 - r8c3 = r7c2 => -1 r7c9; ste