大次和1—坚韧图中的最长圈

摘要

给一个图Ｇ，定义σ３（Ｇ）＝ｍｉｎ｛Σ＾３ｉ＝１ｄ（ｖｉ）│｛ｖ１，ｖ２，ｖ３｝｝是Ｇ的无关集｝，ｐ３（Ｇ）＝ｍｉｎ｛│Ｕ＾３ｉ＝１Ｎ（ｖｉ）‖｛ｖ１，ｖ２，ｖ３｝是Ｇ中使│ｎ＾３ｉ＝１Ｎ（ｖｉ）│≠０｝的无关集｝。本文证明了：设Ｇ是ｎ阶１－坚韧图，如果σ３（Ｇ）≥ｎ，则Ｇ包含长度至少为ｍｉｎ｛ｎ，２ｐ３（Ｇ）＋４｝的圈，为个结果推广了若干已知结果，也解决了Ｂｒｏｅｒｓｍａ－Ｈｅｕｖｅｌ－Ｖｅｌｄ