关于不含长导出路的图的一个注记(英文)

一个不含具有ｔ个顶点的导出路的图被称为是Ｐｔ－自由的．一个连通图Ｇ的ｉ－中心是由Ｖ（Ｇ）中所有距其它任何顶点的距离不大于ｉ的顶点组成的集合．对于Ｖ（Ｇ）的两个子集Ｓ和Ｔ,如果对任何ｘ∈Ｔ都有ｙ∈Ｓ,使得ｘ距ｙ的距离不大于ｄ,则称Ｓｄ－支配Ｔ．本文解决了由Ｏ．Ｆａｖａｒｏｎ和Ｊ．Ｌ．Ｆｏｕｑｕｅｔ提出的一个公开问题,即证明了如下结果：对任何Ｐｔ－自由图Ｇ,如果ｉ｜ｔ／２｜且ｐ１,则Ｃｉ（Ｇ）（ｐ＋１）－支配Ｃｉ＋ｐ．     

图的周长

设Ｇ为ｎ阶２连通图，Ｄ（ｘ）＝（ｙ│ｙ∈Ｖ（Ｇ），ｄ（ｘ，ｙ）≤２），（ｄ１，ｄ２，．．．，ｄｊ，．．．，ｄ│Ｄ（ｘ）│为Ｄ（ｘ）中所有顶点的度排成的非减度序列ｄｄ（ｘ）为（ｄ１，ｄ２，．．．，ｄｊ，．．．ｄ│Ｄ（ｘ）│）中当ｊ＝ｄ（ｘ）时的度，δ０＝ｍｉｎ（ｍａｘ（ｄ（ｘ），ｄ（ｙ））ｘ，ｙ∈Ｖ（Ｇ），Ｄ（ｘ，ｙ）＝２），δｉ＝ｍｉｎ（ｄｄ（ｘ）│ｘ∈Ｄ（δｉ－１）│，Ｄ（δｉ－１）＝（ｘ│ｘ     

Ore－型子图对图的Hamilton性的影响

设Ｇ＝（Ｖ，Ｅ）为ｎ阶２－连通的１－坚韧图。将Ｇ的节点分类：ｇ＝｛ｖ∈Ｖ｜ｄＧ（ｖ）≥ｎ／２｝而Ｈ＝（Ｇ＼ｇ）。如果Ｈ满足Ｏｒｅ－条件：ｘ，ｙ∈Ｖ（Ｈ），（ｘ，ｙ）∈Ｅ（Ｈ）ｄＨ（ｘ）＋ｄＨ（ｙ）≥｜Ｖ（Ｈ）｜，则有：（ｉ）Ｇ是Ｈａｍｉｌｔｏｎ的；（ｉｉ）若Ｇ不是偶图，则Ｇ至多丢失长为ｎ－１的圈．     

局部化Fan条件的一个推广

对图Ｇ的任一个导出子图Ｌ,若对↓Ａｘ,ｙ∈Ｖ（Ｌ）,ｄＬ（ｘ,ｙ）＝２＝ｍａｘ｛ｄＧ（ｘ）,ｄＧ（ｙ）│≥│Ｇ│／２,则称Ｌ有局部Ｆａｎ性质,证明了下述结果：设Ｇ是一个２－连通图,若其每个导出子图Ｌ＝Ｋ１．３或Ｚ２在Ｇ中均有局部Ｆａｎ性质,则Ｇ是Ｈａｍｉｌｔｏｎｉａｎ图。     

关于Faudree－Schelp定理的改进

一个图Ｃ＝（Ｖ，Ｅ）是［ｌ，ｍ］－泛连通的，如果在Ｇ的任意一对节点ｘ与ｙ之间有长为Ｋ—１的路Ｐｋ（ｘ，ｙ），Ｋ＝ｌ，ｌ＋ｌ，…，ｍ。Ｇ具有性质Ｐ（Ｋ），如果对Ｇ的任何一对距离为２的节点ｘ和ｙ，有ｄ（ｘ）＋ｄ（ｙ）≥Ｋ。作者探讨了一类产（Ｋ）图的路连通性，改进了Ｆａｕｄｒｅｅ－Ｓｃｈｅｌｐ定理，得到两个定理：定理１设Ｇ＝（Ｖ，Ｅ）是ｎ阶Ｐ（ｎ—１）图。如果Ｇ是［ｎ—１，ｎ］－泛连通的，则Ｇ是［８，ｎ］－泛连通图（ｎ≥８）．定理２设Ｇ是３－连通ｎ阶Ｐ（ｎ）图。如果Ｇ的独立数α（Ｇ）＜ｎ／２，则Ｇ是［５，ｎ］－泛连通图，ｎ≥５．     

Hamilton图的一个充分条件

本文证明了如下结果：Ｇ是简单图满足条件：对Ｇ中任一对不相邻顶点，ｕ，ｖ有ｍａｘ（ｄ（ｕ），ｄ（ｖ））＋／Ｎ（ｕ）∪Ｎ（ｖ）／≥ｎ－１；且对任意Ｔ∈Ｖ（Ｇ），有ω（Ｇ／Ｔ）≤／Ｔ／，则Ｇ是Ｈａｍｉｌｔｏｎ图。     

偶图的周长

设Ｇ（Ａ，Ａ２；Ｅ）为２连通偶图，（Ａ１，Ａ２）为顶点二分划，Ｄ（ｘ）＝｛ｙ｜ｙ∈Ｖ（Ｇ）＼｛ｘ｝，ｄ（ｘ，ｙ）＝２｝，ｄ＾＊ｄ（ｘ）表示Ｄ（ｘ）∪｛ｘ｝中所有的度排成的非减度序列（ｄ＾＊１，ｄ＾＊２，…，ｄ＾＊ｊ，…，ｄ＾＊｜Ｄ（ｘ）｜＋１）中当下标ｊ＝ｄ（ｘ）时的度而当｜Ｄ（ｘ）｜＋１＜ｄ（ｘ）时ｄ＾＊ｄ（ｘ）＝ｄ＾＊｜Ｄ（ｘ）｜＋１。δ０＝ｍｉｎ｛ｄ（ｘ）｜ｘ∈Ｖ（Ｇ）｝，δｉ＝ｍｉｎ｛ｄ＾     

X-最长圈的下界估计

设Ｇ是连通图,Ｘ＝Ｖ（Ｇ）,Ｇ〔Ｘ〕是Ｇ的Ｘ生成子图,记σｋ（Ｘ）＝ｍｉｎ｛Σｉ＝１ ｋ ｄ（Ｖｉ）;｛ｖ１,ｖ２,…,ｖｋ｝是Ｇ〔Ｘ〕的顶点独立集｝,得到如下结果,对于ｎ阶的１－坚韧图（ｎ≥３）,Ｘ＝Ｖ（Ｇ）,且σ３（Ｘ）≥ｎ＋ｒ≥ｎ,３│Ｘ│－２ｎ≥８ｔ－６ｒ－１７,则存在一个圈Ｃ满足│Ｃ（Ｘ）│≥｛Ｃ（Ｘ）│≥｛│Ｘ│,│Ｎ（Ｉｔ）∩Ｖ（Ｃ）│｝,其中Ｉｔ是Ｘ中ｔ个顶点的独立集。     

4连通无爪图的最长圈

设Ｇ为ｎ阶４连通远爪图，δ＝ｍｉｎ（ｄ（ｘ）／ｘ∈Ｖ（Ｇ）），则当ｎ≤６δ－１１时Ｇ为Ｈ图，当ｎ≥６δ－１０时，ｃ（Ｇ）≥５δ－７。     

图的循环带宽的Harper型下界

设Ｇ为具有ｎ个顶点的图，Ｚｎ为模ｎ整数加群。从Ｇ的顶点集到Ｚｎ的任一双射ｆ称为Ｇ的一个循环标号。ｆ的循环带宽Ｂｃ（Ｇ，ｆ）定义为ｍａｘｄ（ｆ（ｕ），ｆ（ｖ），其中对任意ｘ，ｙ∈Ｚｎ，ｄ（ｘ，ｙ）＝ｍｉｎ｛｜ｘ－ｙ｜，ｎ－｜ｘ－ｙ｜｝。     

关于Faudree定理的一个注记

假定Ｇ是顶点数的ｎ的２－连通图，Ｇ中顶点数为４且包含爪Ｋ１．３的子图称为爪型子图。本文证明了对Ｇ的任一爪型图Ｆ，任何ｕ，ｖ属于Ｖ（Ｆ），由距离ｄ（ｕ，ｖ）＝２＝│Ｎ（ｕ）ＵＮ（ｖ）│≥２ｎ－１／３，则Ｇ是哈密顿图。     

关于图的泛连通性的几个结果

如果对ａ≤ｉ≤ｂ，图Ｇ的任一对顶点ｕ、ｖ都存在长为ｉ－１的路Ｐｉ（ｕ，ｖ），则称Ｇ是［ａｂ］－泛连通的．文中证明了关于图的泛连通性的下述结果：设Ｇ为ｎ阶连通图，且对Ｇ中任一对距离为２的顶点ｕ，ｖ，有ｄ（ｕ）＋ｄ（ｖ）≥ｎ，则图Ｇ是［５ｎ］－泛连通的当且仅当Ｇ是Ｈ连通的．此结果推广了Ｆａｕｄｒｅｅ和Ｓｃｈｅｌｐ的一个结论．     

Gn的一种完全因子

设ｎ＝２＾λ－１＋ｔ，λ〉２，０≤ｔ〈２＾λ－１。反馈函数ｘｎ＝ｆ（ｘ０，ｘ１，…，ｘｎ－１）＝１＋ｘ０＋Σｉ∈Ｉｔ（ｘｉ＋ｘｎ－ｉ）产生ｎ阶ｄｅ Ｂｒｕｉｊｎ－Ｇｏｏｄ图Ｇｎ的一个完全因子ＰＦλ（２＾λ－１＋ｔ）其中Ｉｔ＝｛ｔ；（ｔｉ）是奇整数，１≤ｉ≤ｔ｝。     

独立数和最小度与f—因子

对图存在ｆ－因子涉及到独立数和最小度条件进行了研究，得到了下列结果：设ａ，ｂ为整数且ｈ≥ａ１，ｂ≥２，Ｇ是一个有ｎ个顶点的连通图且ｎ≥（ａ＋ｂ）＾２／ａ，ｆ（ｘ）是定义在Ｖ（Ｇ）上的非负整数函数，满足Σｘ∈ＶＧ）ｆ（ｘ）是偶数且α≤ｆ（ｘ）≤ｂ。     

图的循环带宽的Harper型下界

设Ｇ为具有ｎ个顶点的图，Ｚｎ为模ｎ整数加群．从Ｇ的顶点集到Ｚｎ的任一双射ｆ称为Ｇ的一个循环标号．ｆ的循环带宽Ｂｃ（Ｇ，ｆ）定义为ｍａｘ（ｕ，ｖ）∈Ｅ（Ｇ）ｄ（ｆ（ｕ），ｆ（ｖ）），其中对任意ｘ，ｙ∈Ｚｎ，ｄ（ｘ，ｙ）＝ｍｉｎ｛｜ｘ－ｙ｜，ｎ－｜ｘ－ｙ｜｝．Ｇ的循环带宽Ｂｃ（Ｇ）是指对Ｇ的所有循环标号ｆ的循环带宽的最小值．借鉴关于带宽的已有结论，深入讨论循环带宽的Ｈａｒｐｅｒ型下界，所得结果将有助于确定一些特殊图的循环带宽     

哈密尔顿图、Katona和Kleitman定理的推广

让ＮＣ＝ｍｉｎ｛│Ｎ（ｘ）∪Ｎ（ｙ）││ｘ,ｙ∈Ｖ（Ｇ）,ｘｙ∈Ｅ（Ｇ）｝,在文「１」中,Ｒ．Ｊ．Ｆａｕｄｒｅｅ等得到ＮＣ≥ｎ－δ,则Ｇ是哈密尔顿图。作者进一步研究ＮＣ≥ｎ－δ－１的哈密尔顿性,推广和深刻了文「１」中的结果。     

领域并与点泛圈偶图

设Ｇ是连通偶图，（Ｘ１，Ｘ２）是其顶点的二分类，│Ｘ１│＝│Ｘ２│＝ｎ，δ（Ｇ）≥ｔ≥３。证明了若任意ｕ，ｖ∈Ｘｉ→│Ｎ（ｕ）∪Ｎ（ｖ）│≥ｎ－〔ｔ－１／２〕，ｉ＝１，２，则Ｇ是点泛圈图。     

与几类子图2-正交的(g,f)-因子分解

设ｇ和ｆ分别是定义在图Ｇ的顶点集合Ｖ（Ｇ）上的整数值函数且对每个ｘ∈Ｖ（Ｇ）有ｇ（ｘ）≥２。本文证明了：若Ｇ是一个（ｍｇ＋ｍ－１,ｍｆ－ｍ＋１）－图,则对于Ｇ中任意给定的子图２Ｋ１,ｍ或２ｍ－星或２ｍ－对集,Ｇ有一个（ｇ,ｆ）－因子分解与之２－正交。     

几类图的色多项式问题

定义１设图Ｇ为含有 ｐ个顶点的标定图 ,对其进行ｘ———正常染色的方法数是ｘ的一个函数 ,可表示成ｘ的一个多项式 ,称为图Ｇ的色多项式 ,记为ｆ（Ｇ ,ｘ）。引理１给定图Ｇ ,设ｕ、ｖ∈Ｖ（Ｇ） ,ｅ＝（ｕ ,ｖ）∈Ｅ（Ｇ）则ｆ（Ｇ ,ｘ）＝ｆ（Ｇ -ｅ ,ｘ） -ｆ（Ｇｏｅ ,ｘ）引理２设Ｇ是含ｑ条边ｋ个分图的 ｐ阶图 ,则①ｆ（Ｇ ,ｘ）是ｐ次多项式 ;②ｆ（Ｇ ,ｘ）中ｘｐ的系数为１;③ｆ（Ｇ ,ｘ）ｘｐ -１的系数为 - ｑ;④ｆ（Ｇ ,ｘ）中常数项为０;⑤ｆ（Ｇ,ｘ）＝∏ｆ（Ｇｉ,ｘ） ,式中Ｇｉ 是Ｇ的第ｉ个分图 ;⑥ｆ（Ｇ,ｘ）中 ,系…     

无爪图周长的一个下界

本文主要证明了下面两个结论：（一）设Ｇ是３－连通无爪图，若存在顶点ｘ∈ｖ（Ｇ）使，则Ｇ是Ｈ－图。（二）设Ｃ是ｎ阶尽连通无爪图（ｋ≥２），则ｃ的周长ｃ（Ｇ）≥。