by Lummox JR » Thu Oct 27, 2005 8:42 pm
Another way to look at this is with the sort of inferences made by supercoloring. By propagating exclusions, you'll quickly find that not only are xy=x and xz=x mutually exclusive, but that the xy=y and xz=z are also mutually exclusive. From knowing that you can't have xy=y and xz=z together, you can eliminate anything intersecting xy=x and xz=x, which is all the x's on their entire row.
I'm sure the cycle is much easier to spot, though, at least where only 4 cells are concerned.