text: В обозначениях Воткинса G(n,k) — это граф с множеством вершин {u0, u1, ..., un−1, v0, v1, ..., vn−1} и множеством рёбер {ui ui+1, ui vi, vi vi+k: i = 0,...,n − 1} где индексы берутся по модулю n и k < n/2.