Before revision: V \rightarrow Z^2 and a set of point obstacles O on the grid points of Z^2 (where V has not been mapped)
After revision: V \rightarrow Z^2 and a set of point obstacles O on the grid points of Z^2 (where no vertex of V has been mapped)