 It forms a ("d" − 1)-dimensional polytope, because all of these vectors lie in a single ("d" − 1)-dimensional hyperplane.The number of vertices in Δ"d","k" is formula_1.The graph formed by the vertices and edges of a hypersimplex Δ"d","k" is the Johnson graph "J"("d","k").