图的循环带宽的Harper型下界

设Ｇ为具有ｎ个顶点的图，Ｚｎ为模ｎ整数加群。从Ｇ的顶点集到Ｚｎ的任一双射ｆ称为Ｇ的一个循环标号。ｆ的循环带宽Ｂｃ（Ｇ，ｆ）定义为ｍａｘｄ（ｆ（ｕ），ｆ（ｖ），其中对任意ｘ，ｙ∈Ｚｎ，ｄ（ｘ，ｙ）＝ｍｉｎ｛｜ｘ－ｙ｜，ｎ－｜ｘ－ｙ｜｝。