三次图的收缩及其迭线图的分类

设图G为含有三角形或四边形的三次图,G_△为G的二角形收缩;G_□为G的四边形收缩。本文用计算机辅助证明了,若L(G)是2类的,则L(G_□)是2类的,若L^2(G)为2类的,则L^2(G_△)或L^2(G_□)为2类的。