设为首页 加入收藏 期刊导航 网站地图
  • 首页
  • 期刊
    • 数学与物理
    • 地球与环境
    • 信息通讯
    • 经济与管理
    • 生命科学
    • 工程技术
    • 医药卫生
    • 人文社科
    • 化学与材料
  • 会议
  • 合作
  • 新闻
  • 我们
  • 招聘
  • 千人智库
  • 我要投搞
  • 办刊

期刊菜单

  • ●领域
  • ●编委
  • ●投稿须知
  • ●最新文章
  • ●检索
  • ●投稿

文章导航

  • ●Abstract
  • ●Full-Text PDF
  • ●Full-Text HTML
  • ●Full-Text ePUB
  • ●Linked References
  • ●How to Cite this Article
Pure Mathematics 理论数学, 2011, 1, 60-63
http://dx.doi.org/10.12677/pm.2011.12013 Published Online July 2011 (http://www.hanspub.org/journal/pm/)
Copyright © 2011 Hanspub PM
The Bound on Edge Domination Numbers of Graphs
Jingjing C hen1, Chunxiang Wang2
1International Business Economic College of Wuhan Textile University, Wuhan
2School of Mathematics and Statistics, Huazhong Normal University , Wuhan
Email: wcxiang@mail.ccnu.edu.cn
Received Mar. 18th, 2011; revised May 4th, 2011; accepted May 6th 2011.
Abstract: Let G be a graph without isolated vertices. A function




: 1, 1fEG is called the signed
edge domination function (SEDF) of G if

'eNe



'1fe for every edge ()eEG .

The signed edge
domination number


sG

= min {



GeE
f
ef

|is an SEDF of G}. A function is
called the signed star domination function (SSDF) of G if
 
: 1,1G fE



1
vfe
eE

for every vertex . The
signed star domination number = min {

vVG

G
ss





GeE
f
e


| is an SSDF of G}.We prove that for any
planar graph G of order n,. And we apply the property: If G is a connected cubic graph of
f

G
s

1 n
order n, then

7
16
G

n
, then we obtain that: For any cubic graph G of order n (), 1n

sG

n
8
5
.
Finally for any 4-regular graph G of order n,


1
ss Gn


if n is odd and


ss G

n
if n is even.
Keywords: Bound; Edge Domination Numbers; Cubic Graph
图的边控数的界
陈晶晶1,王春香 2
1武汉纺织大学外经贸学院,武汉
2武汉华中师范大学,武汉
Email: wcxiang@mail. ccnu.edu.cn
收稿日期:2011 年3月18 日;修回日期:2011 年5月4日;录用日期:2011 年5月6日
摘 要:令G是一个没有孤立点的图。函数




:fEG1,1,
1
如果对每条边 ,
,则 称为符号控制函数。

eEG

'eNe


'fef


sG

= min{



eEG
f
e


| 是G的符号边控制函数}
称为符号控制数。函数 如果对每个点
f
 
:fEG1,1,


,vVG



eEv
f
e


1,则称 f为符号
星控制函数。符号星控制函数记为



ss G

= min {



eEG
f
e


|f 是 G 的符号星控制函数}。我们利
用平面图的特性得到:对任何 n阶平面图 G有


s

G


1, 1nn


。同时利用连通 3-正则图中

7
'G

16 n得到:如果 G是n点连通的 3-正则图( ),则1n


sG

n
8
5
。最后,对任何 4-正则图
G有 点,如果 是奇数,则;如果 是偶数,则
n n

1
ss Gn

 n


ss G

n
。
关键词:界;边控数;3-正则图
1. 引入
本文讨论有限、无向、简单图(无环、无重 边)。
在以下论文中若没有出现的记号和术语我们采用文献
集合和边集合。如果
[1]中的记号和术语。V(G)和E(G)分别表示图 G的点

xy
E(G),则称 x和y相邻。对
于G的子图 H,NH示x在H中的邻点集合,
且
)(x表




HH
dx Nx在H中的度。如果上下文不表示 x
发生混淆,


Nx和


dx分别代替


H
Nx
和


H
dx
。
陈晶晶 等图的边控数的界61
|
G中剖分一条
–e + vx + v通过剖分边
在图 边exy是指在 G中加入一个新点
v,令 'G=G,我们称是 e
得到的图。对于

,
y

'G
A
B,E(A, B)表示一个端点
在A中另一个端点在 B中的边的集合。 e(A, B)=|E(A,
B)|. 令e(G)表示图 。当 A = {a},e(a, B)(=

B
da) = e(A, B)。对于
V
中的边
G
G数
令


euv EG ,

G
Ne{

'eEG|'e和e有一个公共的端点}称为
G中的边的边邻域。

e在图




G
e e称
G中
G
Ne为
G域。如果 )(GVv,则
 

|
GvuvEGvVG 的开
邻域。

N
e在图
e
E
边
在图 中的闭的边邻

称为

G
Ne和


G
Ev分别简记为


Ne和


。 Ev
令图 G = (V, E),
M
E
G的
饱和
,如果 M中任何两条边
不相邻,则 为匹配。如果 关联 M称M图点 v匹配
中某个边,则称匹配 M点v,或点v被M-饱和,
否则 v称为M-不饱和点。如果G中所有点都是M-饱
和的,则匹配 M称为完美匹配。如果G中没有匹配'
M
使得 ,MM 
则M称为图 G的最大匹配。记


G'

为图 G中最大匹配 M中的边数。
定义 G是一个图,函数

:
1 [2]令
f
EG

1 , 1, 如果对每条边


eEG
数。
,

eN

'1fe,则 f称为符号控
m
e'

sG

=
制函
in{


eeN
f
e|f是G的符号 数}
制数。
义2 [3 没有孤立点的图。函数
 
:1, 1,fEG 如果

控
令个
对

的符号
]
边控制函
称为图 G
定G是一
每个点


GVv,
() () 1
Evfe
,则称 f为符号星控制函数。符号星
= min{


eEG
e

控制函数记为


ss G


f
e


|f是G的
提出下列猜想
1。
图
符号边控制函
符
在文献[3] ogen Xu:
猜想 G是n点图
号星控制
3-正
2. 主
引理
函数}
1 令
。
中,B
)
T是 则

eET
a
(1n
n点树,

有s


它的任何
1

Gn
在这篇文章中,我们证明这个猜想对于平面和
则图是成立的。
要结论
数f都满足
f
en

。
证明 我们定义树 T的函数,



:1, 1,fET
令

1,
 
f
eeT的EfT,显然是符号边控制函数
且


1
eET
f
en
。因此,对 T
函数

1

f有
的任何符号边控制


TeE
f
en。
面图 G,有不等式定理 2 任何n点平




1
sGn




成立。
证明 不失一般性,假定G连通。否
G的每个
则我们考虑
连通分支。令 G有

个面。如果 1


,由 引
理1,结论显然成立。下面设 2

。令

01 1
,,,fff



是一个面的序列满足 i
f和

10,1,,,1i

 
有公共边
2

i
f


1

0,1, ,2,
i
ei


,其中 1
e


是0
f
和
1
f


的公共边。如果 1


是偶数,令

1,3, ,2.
jj
Ce




如果 1


是奇数,令


1,3, ,1.
jj


Ce显然 1
2
C


。
定义函数




:1fEG,1,令


1,
f
eeC和




' \'1,
f
eeEG

C .对任何点 vVG,令


E
v






,e EG和|1efe




v efe|1,E




eEG
此对任何点
。既然任何一个面至多 赋–1有一条边 ,因


vVG,则 有
 
E
–1 的边,有


1
eNefe

v Ev

。从 而对
任何一条赋

成立,对任何
赋1的边,有



fe1
eNe

成立。因此 f是G的符
号边控制函数。故

 
sG eG

21
eG C


式
既
然G是平面图,由 有

2neG

.故欧拉公


1
sGn



。
引理 3 [4] 如果 G是n点连通则的 3-正则图,

7
'16
如果 n图
Gn


定理 4G是点连通的 3-正则 ,则
。
(1n)

5
8 是G
sGn

。
证明 令M的极大匹配。由引理3,
7
16 n。定义 G的函数



,1,1:

GEf
M
令


1,
f
eeM和


, '\'1
f
eeEGM 。如果
Me

,则




'' ''
eNe
fe
4 131

。如果


\eEGM,则

''eNe
fe


''3 21

。因此,f
符号边控 ,故 是G的制函数。既然 G是3-正则图
 


13
xVG
eGx n


。
从而
22
d

375
2
2168
sGn n

 
引理 5 每一个2-边连通的 3-正则图有完美匹配。
6 如果 G是n阶3-正则图 且至多一
条割
n。
定理 (1n)
边,则

1
2
sGn

。
证明 分下列两种情形:
Copyright © 2011 Hanspub PM
陈晶晶 等图的边控数的界
62 |
G的函数 1,令
情形 1. G有完美匹配 P。
定义
 
:1, fEG

1,
f
eeP和
 
'1, '\
f
eeEGP 。如果
4131Pe,则

eNe


fe

 。如

\eEGP,则
果



321。因此,
[]eNe


fe

f
是G的符号边控制函数。从而
31
2
22
s1
2
nn


由引理 5,G有割边,设割边
Gn

情形 2. G没有完美匹配。
xy
e

12
,,xx y
,由条件知,
图G割边唯一。令 和
 
Nx


Ny


1
,,
2
y
yx。用 21

,
x
yxy 取代

Ne中边

21
,
x
xy
'
y使得
完美匹配所得图 'G
'
是3-正则的2-边连通 G图。 则
P
。定义'G的符号边控制函数



': 'fEG 1,1,令

'1,'
f
ee

数
P和fe
G的一个函
''1,' 

' \eEG'P,则得到




:1,,1fEG 令




'
f
efe


21
,\eEG
x
xy

2
fxy和x

2
'
f
xy ,


1
fyy


1
'
f
xy 。既 然'G是3-正则的2-边连通图,因此 'G有
完美匹配 '
P
,由情形 1知,

311
 
'2
22
2
sGn nn

。
既然
 
2
eEG eEG


n
fefe


 ,故我们只需证
的符 。
断言 f是G的符号边控制函数。
三种情形:
子情形 2.1 ,或,属于
明f是G号边控制函数
证明:分
1 2
xyyy (1
xx yx2)'
P
。
从上面的运算可知,


f
uvf uv

对所有的边



uvE GNe
 
fyy fyy
,且
 
12
fxx fxx
当

2
1fxx
。

,
12
1


11 E G

',ePxyyy
321
。

时,则 

''eNe


fe


fNxy321,






12
x4131,fNxxfNx



1
fNyy




232fNyy 1。因此 控制函数。f是G的符号边
子情 1
形2.2 ,或,属于
1
xx 2
yy (xy yx2)'
P
。
由上面的运算, ,

1
 
12
1fxx fyy

,
  
21fxx fxy fyy
f
uvf uv

,对所
有的边



uvE GNe。令



:
M
uvE G
的完美匹配,这与情形 2


1fuv ,则 M是G中
G没有完美匹配相矛盾。
子情形 2.3
xy
属于 。
从上面的运算可知,
'P




121
fxx fyyfyy


21fxx

,


1fxy

,

f
uv 

'
f
uv ,对uv





EG Ne。令
 


:1MuvEGfuv

,则 M
函数。
是G
因此

的完美匹配, 中G这与情形 2没有完美匹配相矛盾。
的符号边控制从上面的断言可知,f是G
1
2

如果 G
s

Gn。

是通过剖分边 ',ee 得到的图,剖分点记为
x
和'x,且


,
G
dxx k


,则我们称两条边,ee

的距
离为


e

,1k
G
de

。
(n推论 7
条边 'e
n点1) 3-正则图G,如果任何两 对于
e和 足满


,5dee


则1
2
Gn

。
定理 (
s
1) k-正则8

对于 有不等n点n图G, 式

4
sk


e
2k
成立。
Gn
任
G的符证明 令f是号边控制函数。对 何边
uv

,既然



e
1
eNe
f


,则在e的闭邻域中至
多




1
k1
2
dudv




条边赋值为–1。如果我们记
数所有边的闭邻域,则赋值为–1 的边至多出现

1
2
nk k

次。但是,的边重复记数为 12赋值为–1

k
此至多

次,因


1
22
nk k
k1


条边 –1赋值为 ,故




1k
2
222142kk

snk
G

nk
 kn


推论 9 对于n图G,有

3
1
sGn

。 点3-正则 0
引理 10 [3] 任何 n点图 有 满足

G

1,

2
ss n
G







。
G有完美
则有
定理 11 对n点3-正则图 G,如果 , 匹配

2
n
G
ss 


。
定理 12 n点4-正则 n是奇对 图G,如果 数,有


1n;如果n是偶数

ss Gn

。
ss G




4dv

证明 既然 ,,与
至多一条边赋值为 一条边相邻两
点,
对所有点
–1。既然

vVGv相
个
邻的边中
则至多 2
n





条边赋值为–1,因此,

22
2
n




,
ss n
G


Copyright © 2011 Hanspub PM
陈晶晶 等 | 图的边控数的界
Copyright © 2011 Hanspub PM
63
n;如果
偶数 。
参考文献 (References)
[1] Graph theory with applications.
altham: Acess, 1976.
189.
crete Mathematics, 1982, 42:
[2] B. Xu. On signed edge domination numbers of graphs. Discrete
Mathematics, 2 001, 239(1-3): 179-
即:如果 是奇数,有

1
ss Gn

 n是

ss Gn


J. A. Bondy, U. S. R. Murty.
Wademic Pr
[3] B. Xu. On edge domination numbers of graphs. Discrete Ma-
thematics, 2005, 294(3): 311-316.
[4] A. M. Hobbs, E. Sch meichel. On the maximum number of inde-
pendent edges in cubic graphs. Dis
317-320.

版权所有:汉斯出版社 (Hans Publishers) Copyright © 2012 Hans Publishers Inc. All rights reserved.