哪些极大子群是完美码？

图 $\Gamma=(V, E)$ 中的完美码是集合 $C \subseteq V$，满足其中不包含相邻的两个顶点，且 $V \setminus C$ 中的每个顶点恰好与 $C$ 中的一个顶点相邻。在图的 Cayley 图中，如果子群 $H$ 是该图中的完美码，则称其为 $G$ 的子群完美码。本文系统研究哪些极大子群可为完美码。我们的ethods 强调了子群完美码在其“局部”补元中的表征。