A matchable set of a graph is a set of vertices joined in pairs by dis
joint edges. Balas and Pulleyblank gave a linear-inequality descriptio
n of the convex hull of matchable sets. We give a polynomial-time conb
inatorial algorithm for the separation problem for this polytope, and
a min-max theorem characterizing the maximum violation by a given poin
t of an inequality of the system.