4连通图的去边与4连通图的构造.pdfVIP

r 30579 7 4连通图的可去边与4连通图的构造 尹 建华 摘 要本文引进4连通图可去边的概念，并给出4连通图G中不存在可去边的充分 必要条件是G=C；或碟，同时给出了n阶4连通图的一个构造。 关键词连通图．可去边，收缩边，z循环图 §1引 言 奉文仅考虑有限无向简单图。苦无持别说明．有关图论的术语和记号见[1]。 设G是一个3连通图，。=xy∈￡口机Holton等在[2]中宅义图Gez，如下： (i)著do)≥4，矗(，)≥4，列Gexy=G—xy； 当”，。在G中相邻时。Gexy=G—z． Y的处理类似予(ii)中z． G至少有1条可去边；在[4]中，苏健基教授证明了：当IGI≥5，且G≠Ⅳ：，Ⅳ。时，G中至 少有(3 JGJ+18)／7条可去边。而且下界最好． 本文引进4连通图可去边的定义如下： 设G是4连通图，。=x5,∈E(c)，我们考虑下运算； (i)从G中去掉c得图G—f； (ii)如果c的某个端点在【j一，中的度为3．则去掉此端点，再两两联接此端点在G—c 中的3个邻点． (i11)如果通过运算(ii)以后有多重边出现，贝!『用单边代替它们，使此图为简单图． 最后得到的图记为G9 c。若Gee仍4连通。则称e是G的可去边；否则c是G的不 可去边．引进4连通图可去边的目的，是为了探讨4连通图的新的构造方法，并寻求用归纳 法证明4连通图的一些有趣性质的新途径．G的所有可去边集记为岛(G)，G的所有不可 去边寨记为E，(G)． 本文证明了：4连通图G中不存在可去边的充要条件是G=C；或c：．其中，c：表示一 阶2循环图． 在[5]中。Tutte给出了极为出色的3连遥囝的结构为：G是3连通图当且仅当G是一 个轮，或是从一个轮重复使用下二种运算推群的图tcI)3J口边．f2)拆点．并指出4连通目的鳍 l 构比3连通图结构复杂得多。 本文引进加点去边和扩点运算，其定义见后。并得到；G是4连通图当且仅当G是一个 2循环图或G是从一个2循环图重复使用下四种运算推得的图：(1)加边，(z)拆点，(3)加点 去边，(4)扩点。 · 离分解。G／xy表示G收缩边zy后得到的图，若G／a：y仍4连通，则称zy是可收缩边，否则 E一(G)。 zy为不可收缩边。G的可收缩边的垒体记为Ec(G)，并记H(G)一E。(G)U §2主要定理及其证明 定理l设G是4连通图．1Gl≥7，则c=：；y∈E(G)是不可去边的充分必要条件是 证明必要性。设一是不可去边，即Gee非4连通．因1GI≥7，故IG@e1≥5．所 以存在S￡V(Ge e)￡V(G)，』SJ=3．使得(G@e)一s不连通，从而也必然使得G— e—S不连通。因为G是4连通的，IsI=3，所以G—e—S恰有2个分支，设为A和B． @e)，从而(Ge e)一S是连通的，矛盾。因此只有jAI≥2。同理I丑I≥2， 充分性。设存在S￡V(G)，IS『=3．使得G一￡一S恰有z个分支．4和占，1．4I≥ V(G)，所以Goe—S必有2个分支且7∈A，B 7￡丑，且A’U{z)=A，B’U{y}= e是不可去边。 ∈A，y∈B。如果lA『≥3，则对于任意的“∈S，f=z“是G的可击边。 证明设厂=z“是不可去边，则存在G的一个分离分解(，，T；C，D)，z∈C，“∈D； 令 x，=(Sc)U(5 D)， n N丁)U(An丁)，X。；(A