130 likes | 253 Views
. Thm 1. Let r1,,rn and s1,,sm be 2 nonincreasing sequences of nonnegative integers each summing to a common value N. There exists an nxm (0,1)-matrix with row-sum r and column-sums iff r* majorize s.Pf:?"Suppose such a matrix exists with row-sum r and column-sum s.Consider the first k colum
E N D
1. (0,1)-Matrices If the row-sums of a matrix A are r1,
,rk, then we shall call the vector r:=(r1,r2,
,rk) the row-sum of A, and similarly for the column-sums.
Problem: study the existence of a (0,1)-matirx with given row-sum r and column-sum s.
For convenience, assume that the coordinates of r and s are increasing.
Def: Given 2 partitions r=(r1,r2,
,rk) and s=(s1,s2,
,sm) of the same integer N, we say that r majorizes s when r1+r2+
+rk = s1+s2+
+sk for all k.
Def: The conjugate of a partition r is the partition r* where ri* is the number of j such that rj = 1.
2. Thm 1. Let r1, ,rn and s1, ,sm be 2 nonincreasing sequences of nonnegative integers each summing to a common value N. There exists an nxm (0,1)-matrix with row-sum r and column-sums iff r* majorize s. Pf: ? Suppose such a matrix exists with row-sum r and column-sum s. Consider the first k columns. The number of 1s in these columns is Thus, we have r* majorizes s.