It is not useful to store vertices by index when the vertices are being
filtered, since Graph.vertex() does not map to index in this case.