どの極大部分群が完全符号ですか？

グラフ Γ= (V, E)における完全符号とは、Vの部分集合Cであり、Cの中の任意の2つの頂点が隣接しておらず、Vの中のすべての頂点はCの中の正確に1つの頂点に隣接しているものです。群Gの部分群Hは、GのCayleyグラフのいずれかにおいて完全符号であるならば、Gの部分群完全符号と呼ばれます。本論文では、群のどの極大部分群が完全符号になり得るかを系統的に研究します。我々のアプローチは、部分群完全符号をその「局所的」補集合に関して特徴づけることに重点を置いています。