极小连通图的临界性.pdfVIP

西安统计学院学报 1988年第2期 极 小连通 图的 临界性 张 社 民 本文将证明以下两个结果： (1)顶点个数不超过 2k的极小k一连通图一定是临界k一 连通图； (2 如果x是极小k一连通图G的非临界点，则dG(x)=k，并且N(x)是G的k一 独立集．这里 ．N(x)是】在【G中的邻集．本文仅讨论有限简单图． 一 、 引言和基本概念 本文所采用的术语和记号均来自Bollobas(见参考文献 1)．图G=(V，E)称为k 连通图．如果对每一AcV且 lA lk，G—A是连通的．G的连通度定义为： K(G)=max(klG是k一连通图 ) 图G=(V，E)称为临界k一连通 图，如果 K (G)：k，并且对每一x∈V， K(G—x) = k— 1．图G称 为极小 k一连通图，如果 K(G)=k，并且 对 G的每 一 边 e∈E， K(G—e)=k一 1．点X∈V称为G的临界点，如果 K(G—x)= K(G)一 1，否则称x为 G 的非临界点．设 x∈V，称集N(x)=(YIY∈V且xy∈E)为点x在G 中的 邻集 ，集 AcV称为G的独立集，如果对任意的x∈A，Y∈A，都有zy E：若 IA l=k，则称A 为G的k一独立集． 设G是连通的，T(==V称为G的割．如果图G一，r是不连通的或者是平凡图，若lTI=：t， 就称T为G的t一割． 设AcV，则 由A导出的G的子图用G (A]表示． 下面关于极小连通 图的两个结果来 自参考文献 1 定理A．任一极小k一连通图至少有k个度为k的顶点． 定理B．若G是极小k一连通图，则6(G)=k。 参考文献2中指出，极小k一连通 图和临界k一连通图是相互独立的，而我们下一 节 的 结果却是有趣的． 二一、、主工要镉结不果 引理2．1．如果G是极小k一连通图，xy∈E，S是G—xy的一个 (k— 1)一割 ，则图 G—xy—S仅有两个分支，并且其中一个分支含有x，另一个含有y． 引理2．2．任一极小k一连通 图的k一连通子图仍是极小k一连通 图． 以上二引理都是显然的．我们略去证明． 定理2．3．如果图G=(V，E)是极小k一连通图，并且IVI≤2k，则G是临界k一连通图． 证明。当k≤2时结论是显然的 ，所 以我们下面只讨论k≥3的情形。 ～ 63— 由定理B，8fG)=k。设X=(XIxEV且dG(x)=k)；Y=V＼X．由定理A知， lXI≥k，如果 lXIk，则由IVI≤2k知G 中任一点都至少和X中一点邻接 ，从而G 是临界k一连通图。所以我们可以假定 1xI=k，此时如果 IVI2k，则 IYlk．同 样，G的任一顶点都至少和X中一点邻接 ，G是临界k一连通图。所以，我们可以设 lVI= 2k，IXl=lY l=k．显然，对任一y∈Y，dG(y)≥k+1，所以y至少和X中一点邻接， 从而y是G的临界点。 下边我们证明X中任一点也是G的临界点 ，用反证法 。 设x∈X是G的非临界点，那未X不能和X中任一点邻接 ，所 以X恰好和Y中的全部k个点 邻接 ．而对于Y中任一点Y，Y至少和Y中一个点邻接 ． 设XoEY．XoYEE。考虑图G—xoy。由G的极小连通性和引理2．1知，存在G—xoY的 (k一 1)一割T，使G—xoy—T仅有两个分支，并且 X。和 Y分别属于这两个分支中 ，显 然 xET，否则 ，由XXoEE，xyEE可 以推 出T不是G—XoY的(k一 1)一割 ，导 致 矛 盾 ， 所以．T＼ 【x)是G—xoy—x的一个(k一2)一割，即 K(G—X0y—x)≤k一2 (1) 另一方面，由假设知， K(G—x)≥k．但G—x的最小度为k，因此 KG—x)