"In VERTEX COVER, for example, the input is a graph and a budget b, and the idea is to nd b vertices that cover (touch) every edge." . . . . . . . .