graph in which the number of shared neighbors of two vertices depends only on whether they are adjacent