Re: decomposing binary matrices

[pajout]

Can you be more specific? I don't understand what is the goal and where is the issue... For instance, your two (split?) tables do not contain 1 for B4... For me it is possible to represent that structure as

$possible_values = {A=>[2,4],B=>[3,4,5],...,E=>[2,4]};

but it could mean nothing for your problem.

[Limbic~Region]

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.

[pajout]

Thanks, I have not seen the 'each property have a distinct value' constraint... :>)