- Code: Select all
*-----------*
|.6.|...|..9|
|...|7.1|2..|
|..3|.2.|...|
|---+---+---|
|.54|3..|...|
|8..|.1.|..2|
|...|..9|86.|
|---+---+---|
|...|.4.|3..|
|..6|5.8|...|
|7..|...|.1.|
*-----------*
*-----------*
|.6.|8..|..9|
|...|761|2..|
|..3|92.|...|
|---+---+---|
|654|382|...|
|8..|61.|..2|
|...|4.9|86.|
|---+---+---|
|...|14.|3..|
|..6|5.8|.2.|
|7..|2..|.1.|
*-----------*
*-----------------------------------------------------------------------------*
| 1245 6 1257 | 8 35 345 | 1457 457 9 |
| 459 489 589 | 7 6 1 | 2 3458 3458 |
| 145 1478 3 | 9 2 45 | 14567 4578 145678 |
|-------------------------+-------------------------+-------------------------|
| 6 5 4 | 3 8 2 | 179 79 17 |
| 8 379 79 | 6 1 57 | 45 345 2 |
| 123 1237 127 | 4 57 9 | 8 6 35 |
|-------------------------+-------------------------+-------------------------|
| 259 289 2589 | 1 4 67 | 3 5789 5678 |
| 134 134 6 | 5 379 8 | 479 2 47 |
| 7 34 589 | 2 39 36 | 4569 1 4568 |
*-----------------------------------------------------------------------------*
There is a seemingly continuous multiple inference loop here:
[r8c5]=7=[r6c5](-7-[r5c6]-5-[r3c6]-4-[r1c6])=5=[r1c5]-5-[r1c6]-3-[r9c6]-6-[r6c6]-7-[r8c5] => [r1c1367]<>5 ?
The weak(-5) inference in row 1 wants to be a strong(3) inference it seems like, but this would destroy continuity, if this is continuous that is.
Any thoughts?
It seems like no eliminations can be made from this loop. Using the rule for double implication chains, I want to eliminate the 5's from row 1, and although this is a valid elimination, does the loop above allow me to do so?