text: Необходимым условием существования для графа рёберной грациозной разметки является условие Ло: q ( q + 1 ) = p / ( p − 1 ) 2 mod p . {\displaystyle q(q+1)=p/(p-1)2\mod pp. } Гармоничная разметка графа G — это вложение множества вершин графа G в группу целых чисел сравнения по модулю k, где k — число рёбер графа G, которое порождает биекцию между рёбрами графа G и числами по модулю k путём выбора в качестве метки ребра (x, y) суммы меток двух вершин x, y (mod k).