ArkieTech wrote:Leren wrote: 45 DP r56c47 can we write (6=45) r56c4 - DP - (45=16) r456c7 => -6 r5c8; stte
I like..
.. How about:
(6=1)45r56c47-(1=6)r4c7 => -6r5c8
Nice catch !
- Code: Select all
+--------------+-------------------+-----------------+
| 4 9 7 | 3 68 68 | 2 5 1 |
| 8 1 56 | 49 59 2 | 469 7 3 |
| 3 56 2 | 7 159 149 | 469 46 8 |
+--------------+-------------------+-----------------+
| 5 2 4 | 689 1689 1689 | (16) 3 7 |
| 79 78 189 | (456) 3 146 | (1456) 48-6 2 |
| 6 3 18 | (45) 2 7 | (145) 48 9 |
+--------------+-------------------+-----------------+
| 1 4 689 | 689 689 3 | 7 2 5 |
| 2 568 568 | 1 7 568 | 3 9 4 |
| 79 57 3 | 2 4 59 | 8 1 6 |
+--------------+-------------------+-----------------+
Chain[5] :
Either, as in a Kraken, ...
UR(45)r56c47 ... [False if the puzzle has a unique solution]
||
6r5c47
||
1r56c7-(1=6)r4c7
or, as in an AAIC, ...
UR(45)r56c47=*[6r5c47=*1r56c7-(1=6)r4c7]
-> UR(45)r56c47=6r5c47=6r4c7 :=> -6r5c8; ste
I don't like hair-splitting, but, this is a 5-SIS whatever you want to call it as the ("native") SIS are the 5 cells R56C47+R4C7.
The so called referred to "2-SIS" are in fact 1 derived SIS + 1 native SIS.
JC