I have a Boolean matrix (entries are "0" or "1"), which is not square. The sum over each row and each column is constant (but they can be two different values). I would like to find the minimum number of rows such that the sum over each column of the new submatrix is positive (even if is not constant)
I call Aj the j-th row of the matrix A. For example I set the problem for a Boolean matrix A with 6 rows and 4 columns.
$$A=\pmatrix{1&1&0&0\cr1&0&1&0\cr0&1&1&0\cr1&0&0&1\cr0&1&0&1\cr0&0&1&1\cr}$$
The sum of the entries in each column is 3 (the same if we sum over the rows). If we delete the first three rows we get a submatrix such that the sum of the elements of each column is the vector {1,1,1,3}, and if we delete one of the three remaining rows (row 4,5 or 6) there will be at least a column where the sum is 0. For this reason, the sub matrix composed by the rows [A4;A5;A6] is a candidate to solve the problem. However, the submatrix composed by the two rows [A2,A5] is the optimal solution of the problem in this case. I would like to find a rule (or an algorithm ) to find the minimum number of rows in the general case.