Welcome to the Monastery  
PerlMonks 
comment on 
( #3333=superdoc: print w/replies, xml )  Need Help?? 
pajout,
B can't be 4. A or E must be 4. Which ever one is 4, the other must be 2 but B can never be 4. If I have understood the problem correctly, any time N variables can only be the same N values, they can be extracted from the matrix. This process is repeated until you are left with a "left over" matrix. Presumably this reduces the amount of brute force necessary to find values. This also sounds like a job best solved by Prolog or some other logic programming language as we are trying to searching to satisfy constraints. Cheers  L~R In reply to Re^2: decomposing binary matrices
by Limbic~Region

