A (q,k,t)-design matrix is an m x n matrix whose pattern of
zeros/non-zeros satisfies the following design-like condition: each
row has at most q non-zeros, each column has at least k non-zeros
and the supports of every two columns intersect in at...