Dynamic programming/Minimum Vertex Cover