具有特殊生成树的 Snark

设 $G$ 为一个三次图，其可分解为一个生成树 $T$ 和一个 $2$-正则子图 $C$，即 $E(T) \cup E(C) = E(G)$ 且 $E(T) \cap E(C) = \emptyset$。我们对以下问题给出了答案：若 $G$ 为一个 snark，$C$ 的环路可以具有哪些长度？注意 $T$ 是一个 hist（即不含二度顶点的生成树），且每个具有 hist 的三次图均具有上述分解。