Writing the inferences as a Forbidding Matrix, one can see more :eleven wrote:However, to find such a solution, it looks easier to me to follow this chain and observe, that it kills all 4's in box 9.
- Code: Select all
4r3c9 -> 2r3c6->8r8c6 -> 4r8c4 -> 4r9c3 -> 4r5c7
r7c9 r8c8 r9c78 r7c7 <> 4 => contradiction, r3c9<>4
- Code: Select all
4r3c9
4r3c6=2r3c6
2r8c6=8r8c6
8r8c4=4r8c4 ---------------> [4r3c6==4r8c4]-4r2c4
4r8c2=4r9c3 ---------> [4r3c6==4r9c3]-4r9c6
4r5c3==4r5c7
4r7c9=============4r8c8=4r9c78=4r7c7 --> [4r3c6==4r7c9]-4r3c9
4r7c9=*Swordfish(4R5B79*)-(4=8)r8c4-(8=24)r83c6 :=> -4r3c9,r2c4,r9c6(?)