临界图.docVIP

ANNALS OF NEW YORK ACADEMY OF SCIENCES Volume 576(1989) 716-722 The Structure of (－Critical Graphs with (V(G)(－2( (G) ＝3 QING-CHUANG ZHU Middle School of Sichuan Boiler Works Jintang, Sichuan The People’s Republic of China (中文译文) (V(G)(－2( (G) ＝3的(-临界图的结构 朱清传 四川锅炉厂中学 金堂，四川 中华人民共和国 摘 要 设G是一个以V(G)为点集和E(G)为边集的简单图，((G)是G的点独立数。图G的一条边e是(-临界的如果 ((G－e) ((G)，G是一个(-临界图如果G的每一条边都是(-临界的。设 ((G)＝(V(G)(－2((G)。1960年Erdos和Callai证明了如果G是一个连通的(-临界图那么((G) ( 0, 并且给出了((G)＝0的(-临界图的结构。Andrasfai在1965年给出了((G)＝1和((G)＝2的(-临界图的结构。在本文中作者通过确定四个基本图和定义一种图的变换，证明了所有 ((G)＝3的(-临界图都可以由这四个基本图经过这种变换得到，从而给出了((G)＝3的(-临界图一个结构特征。 一、引 言 设G是一个具有点集V(G)和边集E(G)的简单图，((G)表示G的点独立数。一点x在G中的度数记为, 用((G)表示G中的点的最小度数，并且用表示在G中与点x相邻的点集。对V(G)的一个子集X，(X)是X中所有点的邻集的并集。图G的一条边e是(-临界的如果((G－e) ((G)，G是一个(-临界图如果G的每一条边都是(临界的。其它未说明的术语和符号参看[2]。设 ((G) ＝ (V(G)(－2((G) ， L＝{G：G是一个连通的((临界图满足((G)＝(}, A*(G)＝{H：H可以由用偶数个点剖分G的每一条边而得到}。 Erdos和Callai证明了如果G是一个连通的((临界图那么((G) ( 0。满足((G)＝0，1和2的((临界图的特征已经由下面的结论给出： 定理1 (Erdos和Callai)：L 0＝{K2}。 定理2 (Andrasfai)：L 1＝{ 奇圈 }＝A *(K3)； L 2＝A *(K4)。 对 ((3，L ( 的结构特征至今尚不知道。下面的有关结果分别属于Lovasz[4]、Surany[6]和Hajnal[3]。 定理3：对每一个给定的正整数(，存在一个常数(0(()，使得只要G( L ( 并且((G) (0((), 那么必有((G)＝2。 定理4：(0(3) ( 11。 定理5：如果G( L (，那么dG (x) ( ( + 1 (x(V(G))。 由定理2可以推出 (0(1)＝0，(0(2)＝1。在本文中我们将给出 (0(3) 的准确值以L 3的一个构造性特征。 二、 主 要 结 论 为了叙述本文的主要结果，我们需要定义一个新的图集。设x (V(G), dG (x) 1 , A(B = NG(x), A(B = (, A、B ( (, x( 、 y( ( V(G)，图G[x,A,B ] 定义为 V(G[x,A,B ]) ＝ V(G) ( { x( , y( }, E(G[x,A,B ]) = ( E(G)－{xy：y(B }) ( {x x(, x( y( } ( {y( y：y(B }。 并且进一步定义 A (G) ＝ A i (G) , 其中 A 0 (G) ＝ {G}, A i+1 (G) ＝ {H [x,A,B ]：H(A i (G)}。 注意图G[x,A,B ] 与x和A、B的选择有关。特别地，当B是一个点 y 时, G[x, NG (x) －{y}, {y} ] ( A *(G), 因此A *(G)