有向圈码

有向图的有向圈码是一个可以控制有向图所有顶点的长度最小的一个有向圈.本文定义了有向图的有向圈码,并且给出了有向圈码和有向图覆盖之间的关系.在凯莱有向图中,研究了一个有向圈是有向圈码的充分必要条件.特别地,在凯莱有向图中,一个循环子群决定一个有向圈码的充分必要条件是这个图的凯莱子集既是这个子群的一个左陪集代表系也是一个右陪集代表系.