Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2018/algorithms/3/e/solution

Combine all inequalities, including nonnegativity, into ; explicitly, the rows encode . Let be a vertex of a linear polyhedron, equivalently an extreme point of the feasible linear polyhedron, and let index the active constraints there.
Suppose the active row normals have rank smaller than . By the rank-nullity theorem there is a nonzero vector with for every . Every inactive row has positive slack variable value . Since there are only finitely many rows, choose so small that
Then both and are feasible points: the active constraints remain equalities and no inactive inequality is violated. They are distinct, and is their midpoint, contradicting the extreme point property.
Therefore the active row normals have rank , and at least linearly independent constraints are satisfied with equality. In particular at least constraints are tight, as claimed. Nonnegativity bounds must be counted: for example, at the origin these can supply all active rows. Degeneracy can make more than constraints tight, so the result does not assert exactly .

New to topics? Read the docs here!