| A linear program, together with additional constraints that restrict | 
| A LinearProgram, with additional constraints that restrict | 
| prove: the optimal solution corresponds to a min-cost vertex cover. | 
| prove: the optimal solution corresponds to a min-cost vertex cover. |