Talk:Vertex enumeration problem