<｜begin▁of▁sentence｜>### Instruction:
Given a graph generated using Erdős–Rényi model with 10 vertices and 20 edges, can you calculate the size of a vertex cover that includes the nodes [0, 2, 5, 7]?
### Response:
from igraph import Graph
from igraph import VertexCover

g = Graph.Erdos_Renyi(n=10, m=20)
vc = VertexCover(g, [0, 2, 5, 7])
size = vc.size()
print(f'Vertex Cover Size: {size}')
<|EOT|>
