临界边共色图的构造.pdfVIP

2009年 12月 思茅师范高等专科学校学报 DeC．2009 25卷 第6期 J0um垒 璺 !曼 曼堡：Q!曼 ．———==：— ： 临界边共色图的构造 梁海鹏 (思茅师范高等专科学校数学系，云南 普洱 665000) [摘 要] 通过利用相关知识构造 出两类临界边共色图，并利用无三角形图和线图的临 界关系得到两类临界共色图。 [关键词] 临界 图；临界共色图；临界边共色图；匹配；星 [中图分类号]O157．5 [文献标识码]A [文章编号]1008—8059(2009)06—0026—02 l预备知识 (G—e)≤ (G)不一定成立。例如G= ，n13， 本文考虑的图均为有限的无向简单图。图G 对 G的每一条边eeE(G)，(G—e) (G)，但对 的t一共着色指将 V(G)划分成 t个集合，使得每 任意的具有 (G)i2的图，对 G的每一条边 e， 个集合构成独立集或团，称图G是 t一可共着色 有 (G)一1≤ (G—e)≤ (G)。女口果 (G—e) 的。如果G有一个t一共着色，令 。(G)=rain{t}G (G)，则边 e称为G关于边共色数的临界边； 是t一可共着色的}，称为图G的共色数，这一概 若图G的每一条边都是G关于边共色数的临界 念首先 由Lesniak和 Straight…于 1977年提出。 边，则称G为临界边共色图。进而，若 G是临界 刘信生等人 又提出了边共着色的概念，图C的 边共色图，且 ：(G)=n，则称 G为临界边共色 s一边共着色指将E(G)划分成 s个集合，使得每 图。 个集合构成星或匹配，称图G是 s一可边共着色 (C)表示图G的线 图，△=△(G)表示图G 的，如果G有一个 s一边共着色，令 z(G)：min{ 的最大度，其它的表示和定义见文献[3]和[4]。 ＼图G是 一可边共着色的}，称为图G的边共色 引理 l 若G是偶图，则有 (G)=△； 数。一般地，由于G的边共着色可构成 L(G)的 引理 2_2 若 G是无三角形图，则z(￡(G)) 共着色，所以有z(L(G))≤。(G)。我们约定：当 = (G)； ．s表示星时，．s既表示 图S，又表示构成 S的边集 引理 3 若 G是无三角形图，则G是n一临 合，即E(S)。 界边共色图当且仅当L(G)是n一临界共色图。 任意地具有 (G)t2的图，对G的每一个顶 证明 由引理2知，：(L(C))2(G)．对V 点 ，有 (G)一1≤：(G— )≤ (G)。如果 (G— ∈ ((G))，设 对应 G中的一条边 e，则 z(L ) (G)，则顶点 称为 G关于共色数的临界 (G)一)= (L(G—e))。因为G是无三角形图， 点；若图G的每个顶点都是G关于共色数的临界 所以G—e也是无三角形图，从而 (L(G—e))= 点，则G称为临界共色图。若 G是临界共色图且 (G—e)，于是 ：(L(G)一 )=：(G—e)，故 (￡ (G)=7／,，则称 G为n一临界共色图。图G关于共 (G)～2)。(L(G))当且仅当 (G—e)。(G)。 色数的临界边没有定义，因为对 G的每一条边 e， 下边给出一种求偶图的边共色数的算法： ① [收稿 日期]2009—07—08 [作者简介]梁海鹏(1980～)，男，河北井陉人，思茅师范高等专科学校数学系助教，主要研究方向为图论及最优