论文部分内容阅读
超图是离散数学中最具有一般性的结构,是图的自然推广,然而对于图中的一些结论甚至定义并不是都能轻而易举的推广到超图中的,图中的圈比较直观,但推广到超图中时情况就不一样了。C.Berge首次提出了超图的圈,我们一般称其为超图中经典的圈。中国科学院数学与系统科学研究所的王建方等提出了超图的圈的一个新的定义,并得到了一些重要结果。本文则提出了另一种超图的圈定义即C-圈,也是图中圈的一种推广。
本文基于超图主要讨论在以下六种情形中,ε(H)与X(H)之间的关系,特别地,在情形3与情形4中分别得出了充要条件,以下是六种情形:
1. H是定义在X上的n阶超图,H不含k圈;
2.H是定义在X上的n阶r-一致超图,H不含k圈;
3.H是定义在X上的n阶超图,H不含C-圈;
4. H是定义在X上的n阶r-一致超图,H不含C-圈;
5. H是定义在X上的n阶超图,H不含C-Ck;
6. H是定义在X上的n阶r-一致超图,H不含C-Ck。另外,本文特别讨论了n阶r-一致超图不含K<,p+1>的最大边数。