A couple observations about Thursday’s lecture:
1. Theorems about Bipartite Matchings.
Most of you have probably seen Hall’s theorem before, which says that in a bipartite graph , there is a matching that matches all the vertices on the left (i.e. has cardinality ) if and only if every set on the left has at least neighbors on the right. I wanted to point out that König’s theorem (which shows that the size of the maximum matching in is precisely ) is equivalent to Hall’s theorem. The proof is a fun exercise, so I’ll leave it out.
2. Polytope Integrality.
Something I mentioned in passing, but is worth saying slowly and more explicitly is this: several of the polyhedra defined by the LPs we considered in lecture were integral. (I.e., all the extreme points of these polyhedra belong to , not just to .) Let’s go over these:
- When arguing about the min-(s,t)-cut LP, we said: consider any feasible solution to the min-cut LP, and any cost vector . Then there exists an integer s-t cut with cost at most . (The proof was via the randomized rounding.) Note that this s-t cut corresponds to an integer vector where , which is also feasible for the cut LP.
This proof also gives us that the corresponding polyhedron is integral. To see this, consider any vertex of . By the definition of vertex, there is some cost function such that is the unique minimizer for . But since , and , it follows that and hence is integral.
- For the bipartite matching LP, again consider any vertex of the polytope. We showed that if was fractional, it could be written as the average of two other solutions, and hence was not an extreme point. But since vertices and extreme points are the same, this contradicts the fact that was a vertex. Hence, this also shows that if we assign weights to the edges, an optimal BFS to this LP gives us the maximum weight matchings.
- An identical argument held for the bipartite vertex cover polyhedron, and hence for any assignment of weights to the vertices, an optimal BFS of this LP gives us a min-weight vertex cover.
We’ll revisit this issue of integral polytopes again in a few lectures.
Leave a Reply