Let A be a m×n (m=n) matrix with the entries 0 and 1. Suppose that if f is injective such that f:{1, 2, ⋯, m}⟶{1, 2, ⋯, n}, then there exists 1≤i≤m such that (i, f(i)) element is 0.
Prove that there exist S⊆{1, 2, ⋯, m} and T⊆{1, 2, ⋯, n} satisfying the condition:
i) if i∈S, j∈T, then (i, j) entry is 0.
ii) card\ S \plus{} card\ T > n. linear algebracombinatorics