有向图距离标号边跨度.docVIP

有向图距离标号边跨度 　　摘要将无向图距离标号边跨度的概念引入到有向图.运用图的流（flow）及tension理论，确定了有向树和有向圈的边跨度，以及最长有向路长不超过3的有向二部图边跨度的可达上下界. 　　关键词有向图；距离标号；边跨度 　　中图分类号O 157.5文献标识号A 　　1引言及定义 　　图的距离标号源于频率分配问题，即对每个无线电发射台分配一个频率，使得相互干扰的无线电发射台所分配的频率的间隔在允许的范围之内.关于频率分配问题的研究已有数十年的历史， Hale于1980年在文[1]中首先将此问题归结成图的T-染色问题. 1992年， Griggs和Yeh在文[2]将此问题转化为图的距离标号问题，并且考虑了一般的L（p，q）标号问题.从此，图的L（p，q）标号问题得到了广泛研究，详见综述[3-4]. 2003年， Chang等[5]将无向图上的距离标号的概念引入到有向图上.2000年， Yeh[6]提出了基于图的距离标号下边跨度的概念.本文将无向图距离标号边跨度的概念引入到有向图.运用图的流（flow）及tension理论，确定了有向树和有向圈的边跨度，以及最长有向路长不超过3的有向二部图边跨度的可达上下界. 　　定义1[2]设G是一个无向图， p和q是两个非负整数，图G的一个L（p，q）标号定义为一个函数c ： V （G） 3→{0，1，2，···}，使得对任意u，v∈V （G）满足： 　　（1）若d（u，v） = 1，则|c（u）？c（v）|≥p， 　　（2）若d（u，v） = 2，则|c（u）？c（v）|≥q， 　　其中d（u，v）表示点u和v之间的距离. 　　定义2[6]设c是图G的一个L（p，q）标号，定义βp，q（G，c） = max{|c（u）？c（v）| ： uv∈E（G）}.图G的L（p，q）边跨度βp，q（G）定义为最小的βp，q（G，c），其中c取遍G的所有L（p，q）标号. 　　定义3[5]设D是一个有向图， p和q是两个非负整数，图D的一个L（p，q）标号定义为一个函数c ： V （D） 3→{0，1，2，···}，使得对任意u，v∈V （D）满足： 　　（1）若dD（u，v） = 1，则|c（u）？c（v）|≥p， 　　（2）若dD（u，v） = 2，则|c（u）？c（v）|≥q， 　　其中dD（u，v）表示点u和v之间的有向距离，即点u和v之间最短有向路的长度. 　　定义4设c是有向图D的一个L（p，q）标号，定义β？p，q（D，c） = max{|c（u??？c（v）| ： uv∈E（D）}.有向图D的L（p，q）边跨度β？p，q（D）定义为最小的β？p，q（D，c），其中c取遍D的所有L（p， q）标号. 　　设G是一个图（无向或有向），给图G的每条边分配一个方向（若G是有向图，则所分配的方向不依赖于G原来的方向），所得到的图称为G的一个定向图，记为D.在这种意义下，我们也称G是有向图D的底图. 　　设D是图G的一个定向图.对于图G的一条边e = uv，若e在D中的定向是由u指向v，则称u（或v）是e的尾（或头）.设W = u1u2···ul是G中的一条迹.对于一条边ei = uiui+1（i = 1，···，l？1），若ei在D中的方向是由ui指向ui+1，则称ei是W的前向边，否则称ei是W的后向边.分别用W+和W？表示W的前向边和后向边构成的集合. 　　下面设D是图G的一个定向图，？： E（D） 3→Zk= {0，1，···，k？1}是一个赋权函数. 　　定义5[7]如果有序对（D，？）满足：对于G的每个顶点v，都有？+（v） =？？（v），则称（D，？）是G的一个k-流，其中？+（v）（或？？（v））表示所有以v为尾（或头）的弧的权和. 　　定义6[8]如果有序对（D，？）满足：对于G的每个圈C，都有 　　∑e∈C+？（e） = 　　∑e∈C？？（e），则称（D，？）是G的一个k-tension. 　　给定平面图G上的两条边e1，e2，如果e1和e2同属于某个面的边界且不被一个度为3的点所关联，则称{e1，e2}是G的一个可行边对. 　　引理1[7]设G是一个2连通的简单平面图， k，p，q是三个正整数.则G存在一个边跨度为k？1的L（p，q）标号当且仅当它的对偶图G？存在一个k-流（D？，？）满足下述条件： 　　设{e1，e2}是G？中某个面F的边界上的任意可行边对，则 　　（1）对于G？中的任意一条边e，都有？（e）≥p； 　　（2）在D？中，若e1和e2沿着边界F具有相同定向，则|？（e1）？？（e2）|≥q； 　　（3）在D？中，若e1和e2沿着边界F具有相反定向，则？（e1） +？（e2）≥q. 　　根