1. 介绍
单峰型问题是组合学中基本的研究课题之一,而对数凹性又是单峰型问题的重要组成部分。1989年,Stanley用多种方法证明了一个序列具有对数凹性或者单峰性,并对于每种方法给出了例子 [1]。1989年,Brenti对组合学中对数凹序列、单峰序列和Pólya频率序列进行了研究 [2],并在1994年,更新了对代数、组合学和几何中的对数凹序列和单峰序列的研究 [3]。2014年,Brändén研究了组合学中的实根性、对数凹性和单峰性,对已经提出的一些新方法以及已经解决的问题和猜想进行了补充综述 [4]。
目前,有很多学者研究了图多项式的对数凹性。1990年,Hamidoune证明了无爪图的独立k子集数具有对数凹性,从而具有单峰性 [5]。2012年,Bahls证明了路径图的独立多项式具有对数凹性 [6]。2012年,June Huh对Read和Rota-Heron-Welsh关于色多项式系数的绝对值构成对数凹数列的猜想给与肯定答案 [7]。2016年,祝宝宣证明了一些图的团覆盖积的独立多项式具有对称性、单峰性、对数凹性和实根性,并解决了一些单峰型猜想和问题 [8]。
边覆盖多项式的概念是由Akbari和Oboudi首先提出的 [9],他们证明了这类多项式有一些有趣的性质,发现在某种程度上,边覆盖多项式与其他著名的多项式相关,包括色多项式、匹配多项式、独立多项式、Tutte多项式等。2013年,Akbari和Oboudi刻画了所有边覆盖多项式恰好有一个或两个不同的根的图,并证明了这些多项式的根包含在{−3, 2, 1, 0}中 [9]。2011年,Csikvári和Oboudi指出,边覆盖多项式的根有一个常数界,进一步证明了如果图G的每个块是K2或一个圈,则E(G, x)的所有实根都在区间(4, 0]中 [10]。
目前,已经有学者给出了一些图的独立多项式,并进一步研究了这些多项式的单峰性 [11] [12] [13] [14]。本文我们给出一些图的边覆盖多项式并研究其对数凹性,包括蜈蚣图,毛虫图,脊椎图,爆竹图及其变化图等。下面介绍一些基本概念。
设
表示在
上的所有简单标记图的集合。对于
,图G有m条边,图G的一个边覆盖是能够使得图G的每个顶点都至少与集合中一条边相连的一组边。图G的边覆盖多项式定义为
,
其中,
表示边数为i的图G的边覆盖数,
表示图G的边覆盖的最小可能数。如果图G有一个孤立的顶点,那么它的边覆盖多项式为0 [9]。
一个系数为正的多项式
,如果存在
,使得
,则称这个多项式具有单峰性。如果对于任意
,都有
,则称这个多项式具有对数凹性 [15]。
2. 一些图的边覆盖多项式及其对数凹性
定义2.1 蜈蚣图
(见图1)是一个树图,定义为
,它的顶点集是
,边集是
,其中,
,
,
。
定理2.2 蜈蚣图
的边覆盖多项式为
。蜈蚣图
的边覆盖多项式具有对
数凹性。
证明:蜈蚣图
共有
条边。点
分别只能与点
有边相连,显然,边
是蜈蚣图
的最小边覆盖,即蜈蚣图
最少被n条边覆盖。可再从剩下的
条边中选出i条边,与这n条边形成新的边覆盖,其中,
。
因此,蜈蚣图
的边覆盖多项式为
。
要证明蜈蚣图
的边覆盖多项式的对数凹性,即证
,
其中,
。
根据蜈蚣图
的边覆盖多项式,
,
,
要证
,
即证
,
化简,得到
,
显然得证。 □
定义2.3 由蜈蚣图
定义一个毛虫图
(见图2),定义为
,它的顶点集是
,边集是
,其中,
,
,
。
定理2.4毛虫图
的边覆盖多项式为
。毛虫图
的边覆盖多项式具有
对数凹性。
证明:毛虫图
共有
条边。点
只能与点
有边相连,点
只能与点
有边相连,
,点
只能与点
有边相连,显然,边
是毛虫图
的最小边覆盖,其中,
,即毛虫图
最少被2n条边覆盖。可再从剩下的
条边中选出i条边,与这n条边形成新的边覆盖,其中,
。
因此,毛虫图
的边覆盖多项式为
。
由此,同定理2.2,很容易得到
的对数凹性。 □
定义2.5 由蜈蚣图
定义一个脊椎图
(见图3),定义为
,它的顶点集是
,边集是
,其中,
,
,
。
![](//html.hanspub.org/file/5-2621779x90_hanspub.png?20210908084001117)
Figure 3. Vertebrate graph
图3. 脊椎图
定理2.6 脊椎图
的边覆盖多项式为
。毛虫图
的边覆盖多项式具有
对数凹性。
证明:脊椎图
共有
条边。点
只能与点
有边相连,点
只能与点
有边相连,
,点
只能与点
有边相连,显然,边
是脊椎图
的最小边覆盖,其中,
,即脊椎图
最少被3n条边覆盖。可再从剩下的
条边中选出i条边,与这n条边形成新的边覆盖,其中,
。
因此,脊椎图
的边覆盖多项式为
。
由此,同定理2.2,很容易得到
的对数凹性。 □
定义2.7 由蜈蚣图
定义一个脊椎图
(见图4),定义为
,它的顶点集是
,边集是
,其中,
,
,
。
![](//html.hanspub.org/file/5-2621779x122_hanspub.png?20210908084001117)
Figure 4. Vertebrate graph
图4. 脊椎图
定理2.8 脊椎图
的边覆盖多项式为
。脊椎图
的边覆盖多项式具有
对数凹性。
证明:脊椎图
共有
条边。点
只能与点
有边相连,点
只能与点
有边相连,
,点
只能与点
有边相连,显然,边
是是脊椎图
的最小边覆盖,其中,
,即脊椎图
最少被tn条边覆盖。可再从剩下的
条边中选出i条边,与这n条边形成新的边覆盖,其中,
。
因此,脊椎图
的边覆盖多项式为
。
由此,同定理2.2,很容易得到
的对数凹性。 □
定义2.9 在蜈蚣图
的每条边
中插入一个顶点
,其中,
,得到图
(见图5)。
,它的顶点集是
,边集是
,其中,
,
,
,
,
,
。
定理2.10 图
的边覆盖多项式为
。图
的边覆盖多项式具有
对数凹性。
证明:图
共有
条边。点
分别只能与点
有边相连,显然,图
的边覆盖一定包括边
。要符合边覆盖,就要再从边
中选出
条边,从边
中选出
条边,
,从边
中选出
条边,其中,
,并且,
,
。对于每个
,有两种边的选取,对于每个
,只有一种边的选取,其中,
。因此,当
时,图
有最小的边覆盖,即被
条边覆盖,共有
种边的选取可能。再从剩下的
条边中选出i条边,其中,
,与这n条边形成新的边覆盖,每多加一条边,边覆盖的选取可能数就要除以2。
因此,图
的边覆盖多项式为
。
要证明图
的边覆盖多项式的对数凹性,即证
,
其中,
。
根据图
的边覆盖多项式,
,
,
要证
,
即证
,
化简,得到
,
显然得证。 □
定义2.11 在毛虫图
的每条边
中插入一个顶点 ,其中,
,得到图
(见图6)。
,它的顶点集是
,边集是
,其中,
,
,
,
,
,
。
定理2.12 图
的边覆盖多项式为
。图
的边覆盖多项式具有
对数凹性。
证明:图
共有
条边。点
只能与点
有边相连,点
只能与点
有边相连,
,点
只能与点
有边相连,显然,图
的边覆盖一定包括边
,其中,
。要符合边覆盖,就要再从边
中选出
条边,从边
中选出
条边,
,从边
中选出
条边,其中,
,并且,
,
。对于每个
,有两种边的选取,对于每个
,只有一种边的选取,其中,
。因此,当
时,图
有最小的边覆盖,即被
条边覆盖,共有
种边的选取可能。再从剩下的
条边中选出 条边,其中,
,与这n条边形成新的边覆盖,每多加一条边,边覆盖的选取可能数就要除以2。
因此,图
的边覆盖多项式为
。
由此,同定理2.10,很容易得到
的对数凹性。 □
定义2.13 在脊椎图
的每条边
中插入一个顶点
,其中,
,得到图
(见图7)。
,它的顶点集是
,边集是
,其中,
,
,
,
,
,
。
定理2.14 图
的边覆盖多项式为
。图
的边覆盖多项式具有
对数凹性。
证明:图
共有
条边。点
只能与点
有边相连,点
只能与点
有边相连,
,点
只能与点
有边相连,显然,图
的边覆盖一定包括边
,其中,
。要符合边覆盖,就要再从边
中选出
条边,从边
中选出
条边,
,从边
中选出
条边,其中,
,并且,
,
。对于每个
,有两种边的选取,对于每个
,只有一种边的选取,其中,
。因此,当
时,图
有最小的边覆盖,即被
条边覆盖,共有
种边的选取可能。再从剩下的
条边中选出i条边,其中,
,与这n条边形成新的边覆盖,每多加一条边,边覆盖的选取可能数就要除以2。
因此,图
的边覆盖多项式为
。
由此,同定理2.10,很容易得到
的对数凹性。 □
定义2.15 在脊椎图
的每条边
中插入一个顶点
,其中,
,得到图
(见图8)。
,它的顶点集是
,边集是
,其中,
,
,
,
,
,
。
定理2.16 图
的边覆盖多项式为
。图
的边覆盖多项式具
有对数凹性。
证明:图
共有
条边。点
只能与点
有边相连,点
只能与点
有边相连,
,点
只能与点
有边相连,显然,图
的边覆盖一定包括边
,其中,
。要符合边覆盖,就要再从边
中选出
条边,从边
中选出
条边,
,从边
中选出
条边,其中,
,并且,
,
。对于每个
,有两种边的选取,对于每个
,只有一种边的选取,其中,
。因此,当
时,图
有最小的边覆盖,即被
条边覆盖,共有
种边的选取可能。再从剩下的
条边中选出i条边,其中,
,与这n条边形成新的边覆盖,每多加一条边,边覆盖的选取可能数就要除以2。
因此,图
的边覆盖多项式为
。
由此,同定理2.10,很容易得到
的对数凹性。 □
定义2.17 爆竹图
(见图9),定义为
,它的顶点集是
,边集是
,其中,
,
,
,
,
,
。
![](//html.hanspub.org/file/5-2621779x374_hanspub.png?20210908084001117)
Figure 9. Firecracker graph
图9. 爆竹图
定理2.18 爆竹图
的边覆盖多项式为
。
证明:显然,爆竹图
的边覆盖多项式为
。
分两种情况计算爆竹图
的边覆盖多项式:
(1) 爆竹图
的边覆盖不包括边
,爆竹图
的边覆盖多项式为
,
(2) 爆竹图
的边覆盖包括边
,
① 包括边
或边
,爆竹图
的边覆盖多项式为
,
② 不包括边
和边
,爆竹图
的边覆盖多项式为
,
综上,爆竹图
的边覆盖多项式为
□
定义2.19 图
(见图10)定义为
,它的顶点集是
,边集是
,其中,
,
,
。
图
(见图11)定义为
,它的顶点集是
,边集是
,其中,
,
,
。
定理2.20 图
的边覆盖多项式为
,图
的边覆盖多项式为
。
证明:很容易能写出,
,
。
分两种情况计算图
的边覆盖多项式:
(1) 图
的边覆盖不包括边
,图
的边覆盖多项式为
,
(2) 图
的边覆盖包括边
,
① 包括边
或边
或边
,图
的边覆盖多项式为
,
② 不包括边
,
,
,图
的边覆盖多项式为
,
综上,图
的边覆盖多项式为
。
分两种情况计算图
的边覆盖多项式:
(1) 图
的边覆盖不包括边
,图
的边覆盖多项式为
,
(2) 图
的边覆盖包括边
,
① 包括边
或边
或边
,
(i) 包括边
或边
或边
,图
的边覆盖多项式为
,
(ii) 不包括边
,边
,边
,图
的边覆盖多项式为
,
② 不包括边
,边
,边
,
(i) 包括边
或边
或边
,图
的边覆盖多项式为
,
(ii) 不包括边
,边
,边
,图
的边覆盖多项式为
,
综上,图
的边覆盖多项式为
。 □
3. 结论
本文应用Akbari和Oboudi给出的边覆盖多项式的定义,归纳写出以上几个图的边覆盖多项式,并研究其对数凹性,证明了图1~8的边覆盖多项式具有对数凹性。