A compact linear program for testing optimality of perfect matchings