蕴含可图序列极值问题.doc

蕴含可图序列的极值问题 赖春晖 胡黎莉 (福建漳州师范学院 数学系，漳州363000)  HYPERLINK mailto:laich@ laich@ 所有非负不增的整数序列的集合记为。称序列为可图的，如果是某个阶简单图的度序列，而图称为的一个实现。中所有可图序列的集合记为。称一个可图序列是蕴含的，如果存在的一个实现包含作为子图。称是强迫的，如果的每个实现都包含作为子图。如果有一个实现使得度最大的个顶点导出一个团，则称是蕴含可图的。记，表示不超过的最大整数。我们用记号表示顶点集为而边集为的图。分别表示阶完全图，圈，+1个顶点的树和+1个顶点的路。表示从中删去的边所得到的图（其中是的子图）。 。 给定一个图，我们用表示具有个顶点的不包含作为子图的图的最大边数，这就是Turan数。Erdos[2]在1938年提出了这个问题，他给出了当时的情形，而一般情形由Turan在1941年提出，用可图序列的术语，2+2是使得每个满足的项可图序列是强迫的最小的偶整数。本文考虑下面的变形:决定最小的偶整数,使得每个满足的项可图序列是蕴含的。我们记这个最小的偶整数为。Erdos, Jacobson和Lehel[4]证明了并猜测等式成立，他们证明了当无零项时，对于这个猜想成立，这个猜想在[5]，[10]，[11]，[12]和[13]中得到证实。 Gould, Jacobson 和Lehel[5]证明了当，当。对于，Luo[14]刻画了蕴含可图序列。Lai[7]确定了当的值。Yin, Li 和Mao[17]确定了当的值。Yin和 Li[16]进一步给出了当的值。此外，Yin和 Li[16]给出了蕴含可图序列的两个充分条件以及蕴含可图序列的两个充分条件。Yin[18]给出了当的值。Lai[8, 9]给出了当时,的值。本文证明了以下定理。 定理1. 如果且, 则 . 定理2. 如果, 且, 则 , 这里H是一个k个顶点的图,它包含一棵4个顶点的树,但不包含3圈. 有一些图具有k个顶点,它们包含一棵4个顶点的树,但不包含3圈(例如, k个顶点的圈, k个顶点的树,k个顶点的完全2部图.) 另外两篇文章证明了 定理3.如果,,,,,则 . 定理4. 如果且, 则 . 定理5. 如果,且,则 这里Z是一个k个顶点j条边的图,它包含但不包含4圈. 有一些图具有k个顶点j条边,它们包含但不包含4圈. 3篇论文的网址:  HYPERLINK /abs/math.CO/0603265 /abs/math.CO/0603265  HYPERLINK /abs/math.CO/0603602 /abs/math.CO/0603602  HYPERLINK /abs/math.CO/0608245 /abs/math.CO/0608245  HYPERLINK /abs/math.CO/0305161 /abs/math.CO/0305161