2循环图的同构

设n>1是整数,K(?)N={1,…,n-1}.以V={V_0,V_1,…,v_(n-1)}为点集E={V_iV_j|j-i∈K}为有向边集的图称为循环图,记作G_n(K).证明了当K,H(?)N|K|=|H|=2时,G_n(K)≌G_n(H)蕴含存在自然数r∈N,满足(r,n)=1,使得rK=H.