设G=（V,E）为一个简单图.图G的一个控制集D是V的一个子集使得V\D中的每个顶点都和至少一个D中的顶点相邻.G的控制数γ（G）是G的控制集的......

证实了圈CnUP4，当n＝12k＋1（k≥5），n＝12k＋3(k≡0，1，5（mod6），且k≥5），n＝12k＋5（k≡1，2（mod4），且k≥5）时的优美性。......