vertices are designated and then the nonsurvivor vertices are
