简单图的判定.docVIP

图序列判定的三个简单方法 综合理科062班 张芳芳 摘要：图的度序列是图论研究中的一个重要课题，至今有很多学者对其性质及应用进行了一系列的研究和探索，而简单图的度序列是图论研究中的一个难点，本文具体介绍了两个图序列的判定和例题应用，并给出了图序列的另外6个判定。 关键词：图；度序列；图序列 1．引言 图论是一门应用十分广泛，内容非常丰富的数学分支，这里所讨论的图并不是几何学中的图形，而是客观世界中某些具体事物间联系的一个数学抽象。下面给出图的定义： 定义1 用顶点（小圆点）代表事物，用边表示各事物间的二元关系，若所讨论的事物之间有某种二元关系，我们就把相应的顶点连成一条边，这种由顶点及连接这些顶点的边所组成的图就是图论中所研究的图。 定义2 度序列： 设图，其顶点的集合为，的度为，则称非负整数序列为图的度序列；若图是简单图，则称之为图序列或可图序列。 图序列问题及判定 首先不妨设，若，则记为条件（1），而一个边数为的图，其各点的度数的和，显然是偶数。所以对给定的一个非负整数序列，若，则一定不是度序列，从而不是图序列，记为条件（2），且对于一个简单图而言，必有 记为条件（3），将记为条件（4）。 本文在以上条件成立的基础上进行讨论，将其称为前提条件。对于这些条件成立的图的度序列对应的图的一个实现有很多，例如，图1所示的的度序列均是。 图1 简单图的度序列称为图序列，已知一个序列，若存在简单图，使得是图的度序列，则称是可图的，而图就是度序列的一个实现。图序列的讨论或判断要比度序列的讨论困难得多。下面定理1是和在1960年给出的图序列的一个判别方法： 定理1[1] 设，非负整数序列是图序列当且仅当是偶数，且对一切整数，，有。 例题应用： 例1 证明非负整数序列和不是图序列。 证：对序列，，为偶数，当时，， ，不满足，所以序列不是图序列。 序列，为偶数，当时，，，不满足，所以序列不是图序列。 定理2 利用分配——减点法得出的判定条件简单叙述。以下给出利用分配——减点法得出的判定条件的过程： 定义3 对进行变换，令： 记，因为，不妨记为，不妨将重新自小到大排列，并记为：。这样由变换为的方法即为分配——减点法；并且我们称为的一个分配——减点子列。更一般的为的分配——减点子列。 定义4 准简单图序列 正整数序列满足简单图序列的前提条件，对其进行次的分配——减点操作，得到的1次，2次，……次，次分配——减点子列，分别为，，……，，若，满足条件（1），（2），则称这样的正整数序列为准简单图序列。 引理1 ， 若，则一定不是图序列。 引理2 任意正整数序列与其分配——减点子列有相同的简单图化性质，即：是图序列的充要条件为是图序列。 由引理1与引理2易知一个推论：设是的次分配——减点子列，则是图序列的充要条件为是图序列。 证明：分别对进行1次，2次……次，次分配——减点操作，则分别得其1次，2次……次，次分配——减点子列，，……，，。由引理2知：是图序列是图序列是图序列，……，是图序列是图序列，根据等价的传递性知：是图序列是图序列。 设是一正整数序列，且满足条件（3），（4），是图序列的充要条件是是准简单图序列，且其次的分配——减点子列 满足：。 证明：需证准简单图正整数序列是图序列的充要条件为的其次的分配——减点子列满足。 由引理的推论知：是图序列的充要条件为的分配——减点子列是图序列。而满足：。若，则对应着2阶完全图；若，则对应着2阶空图，显然均是图序列。因此，是图序列。 进行定理证明。是准简单图序列，且次的分配——减点子列满足：，则由上面的证明可知是图序列。 例题应用：任意一正整数序列，判断其是否为图序列。 解： 满足图序列的前提条件， 对其进行8次分配——减点操作，其各次分配——减点子列如下： 由以上操作可知：是准简单图序列且满足判定的条件，所以是图序列。 如下图为对应的一个简单图 图2 对定理2有一个更简单直接的判定方法即： 定理3 非负整数序列，且是偶数，，它是图序列的充要条件为是图序列。 例题应用：任然用方法一中的例题的第二个序列，对序列， ，对原序列有，为偶数，且，新产生的序列，对其求和为，是奇数，不是图序列，所以序列不是图序列。 下面给出图序列的另外几个判定： 基本定义： （1） 设，是两个非负整数序列，若与经重排为与，有，其中当时取等号，则称优超，记作。同理，表示，当时等号成立。 （2） 对非负整数序列，记，，当时，且当，其中，则与分别是的共