文章快速检索     高级检索
  华东师范大学学报(自然科学版)  2018 Issue (1): 11-16, 23  DOI: 10.3969/j.issn.1000-5641.2018.01.002
0

引用本文  

李艺春, 孙慧, 姚兵. 几种可扩散网络模型的边魔幻偶优美性[J]. 华东师范大学学报(自然科学版), 2018, (1): 11-16, 23. DOI: 10.3969/j.issn.1000-5641.2018.01.002.
LI Yi-chun, SUN Hui, YAO Bing. Edge-magic even-gracefulness of several kinds of spread network models[J]. Journal of East China Normal University (Natural Science), 2018, (1): 11-16, 23. DOI: 10.3969/j.issn.1000-5641.2018.01.002.

基金项目

国家自然科学基金(61163054,61363060,61662066,11461038)

第一作者

李艺春, 女, 硕士研究生, 主要研究方向为复杂网络.E-mail:aspire_lyc@163.com

通信作者

姚兵, 男, 教授, 研究方向为图着色、标号以及复杂网络.E-mail:yybb918@163.com

文章历史

收稿日期:2016-09-14
几种可扩散网络模型的边魔幻偶优美性
李艺春1,2, 孙慧2, 姚兵2,3     
1. 山东大学 数学学院, 济南 250100;
2. 西北师范大学 数学与统计学院, 兰州 730070;
3. 兰州交通大学 电子与信息工程学院, 兰州 730070
摘要:提出了边魔幻偶优美标号的新标号,给出礼花运算(带标号的加叶子运算);并扩散了以完全图K3星图等为核心的网络模型,研究了这几类模型的边魔幻偶优美性;把边魔幻奇、偶优美标号进行关联,得到了具有边魔幻优美标号的网络模型.
关键词边魔幻偶优美标号    复杂网络    无标度图    礼花运算    
Edge-magic even-gracefulness of several kinds of spread network models
LI Yi-chun1,2, SUN Hui2, YAO Bing2,3    
1. School of Mathematics, Shandong University, Jinan 250100, China;
2. College of Mathematics and Statistics, Northwest Normal University, Lanzhou 730070, China;
3. School of Electronics and Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China
Abstract: We present a new definition, called edge-magic even-graceful labeling in this paper, and then we discover a new algorithm, called firework operation, which can add leaves with edge-magic graceful labeling and edge-magic even-graceful labeling. We spread several kinds of network models based on the complete graph K3 and star trees and so on, and then investigate their edge-magic even-graceful properties. A connection between the edge-magic odd-graceful labeling and the edge-magic even-graceful labeling is obtained which produces network models with edge-magic graceful labeling.
Key words: edge-magic even-graceful labeling    complex networks    scale-free graph    firework-operation    
0 引言

随着现代科技的发展, 物联网的研究得到了空前发展, 并且变得越来越复杂.对物联网的深入研究最终归结为数学问题.而图的标号问题是20世纪60年代提出的, 它是图论中具有实际应用背景的研究课题, Rosa于1967年提出著名的优美树猜想:每一棵树都是优美树[1]. Marumuthu于2015年首次提出了图的边魔幻优美标号[2], 文献[3]给出具有完全图核心的网络模型可以演变成无标度图(已知每个复杂网络是具有自组织、自相似、吸引子、小世界、无标度中的部分或全部性质的网络).文献[4-9]也给出了几种图标号研究的成果, 文献[10]是对图标号较为全面的综合报道.

本文定义新的图标号, 叫做边魔幻偶优美标号, 研究了具有此类标号的几类图以及这类标号的可封闭性和包含性.给出一种新的添加叶子法, 叫做礼花运算.通过礼花运算, 得到具有边魔幻偶优美标号的可扩散网络模型, 还使得具有边魔幻偶优美标号的图在添加叶子后仍然是边魔幻偶优美的.最后, 把具有边魔幻奇、偶标号的网络模型进行结合, 得到了具有边魔幻优美标号的网络模型.

1 定义与术语

文中论及的图均为无向、简单图, 没有定义的术语和符号参见文献[4].一个$(p, q)$-图是有$p$个顶点和$q$条边的图.为方便起见, 短记号$[m, n]$表示集合$\{m, m+1, m+2, \cdots, n\}$, 其中$m$$n$均为非负整数; 记号$[s, t]^e$表示偶数集$\{s, s+2, \cdots, t\}$, 这里的偶数$s$和偶数$t$满足$0 \leq s < t$.定义新的图标号如下.

定义1.1  设$(p, q)$-图$G$有一个映射$f:V(G) \cup E(G)\rightarrow [0, 2(p+q-1)]^e$, 其中$p=\mid V(G)\mid $, $q=\mid E(G)\mid $.若存在偶常数$k$, 使对任意边$uv\in E(G)$, 总有$\mid f(u)+f(v)-f(uv)\mid =k$, 则称标号$f$边魔幻偶优美标号(edge-magic even-graceful labeling), $k$魔幻常数(magic constant), 图$G$边魔幻偶优美图(edge-magic even-graceful graph).

定义1.2  设$(p, q)$-图$G_{1}$是初始图.任选图$G_{\mu-1}(\mu-1>1)$的若干片叶子$x_{1}, x_{2}, \cdots, x_{s}$, 给每片叶子$x_{i}$连接新的顶点$y_{i, 1}, y_{i, 2}, \cdots, y_{i, m}$, 得到图$G_{\mu}$.该运算过程叫做礼花运算(firework-operation).在星图上实施多次礼花运算所得到的一类树称为礼花树(firework-tree).

定义1.3  给定$n$个顶点的完全图$K_{n}$和连通图$H_{1}, H_{2}, \cdots, H_{n}$, 允许某些$H_{j}$没有顶点.完全图$K_{n}$的顶点集合为$V(K_{n})=\{u_{1}, u_{2}, \cdots, u_{n}\}$, 且每一个$H_{i}(i\in[1, n])$有一个代表顶点$v_{i}\in V(H_{i})$.对$i\in[1, n]$, 将$H_{i}$的代表顶点$v_{i} $与完全图$K_{n}$的顶点$u_{i}$重合, 所得到的图叫做以$K_{n}$为基的复合图, 记为$C\langle K_{n} \circ (H_{1}, H_{2}, \cdots, H_{n})\rangle$.

完全二分图$K_{n, m}$中的特殊图类$K_{1, m}$叫做星, 除星$K_{1, m}$的中心顶点外, $K_{1, m}$的其余顶点为叶子(度数为1的顶点称为叶子).将星$K_{1, m}$的中心顶点$w_{i}$与完全图$K_{n}$的顶点$u_{i}\in V(K_{n})=\{u_{1}, u_{2}, \cdots, u_{n}\}$重合, 得到一类重要的网络模型$G=C\langle K_{n} \circ (K_{1, m_{1}}, K_{1, m_{2}}, \cdots, K_{1, m_{n}})\rangle $, 当$n$$m_{i}(i\in [1, n])$均在变化时, 网络模型$G$是基于$K_{n}$的网络模型, 其中$K_{n}$构成$G$的核心[3].

2 主要结论及证明

引理2.1  基为$K_{2}$的复合图$C\langle K_{2} \circ (K_{1, m_{1}}, K_{1, m_{2}})\rangle$是边魔幻偶优美的.

证明  设$K_{2}$的顶点分别为$u_{1, 0}, u_{2, 0}$, 并且$V(K_{1, m_{i}})$=$\{w_{i, 0}, u_{i, 1}, u_{i, 2}, \cdots, u_{i, m_{i}}\}$, 其中$i\in [1, 2]$.将顶点$w_{i, 0}$与顶点$u_{i, 0}$重合后, 得到基为$K_{2}$的复合图$C\langle K_{2} \circ (K_{1, m_{1}}, K_{1, m_{2}})\rangle$.该复合图的标号如下: $f(w_{1, 0})=0, f(w_{2, 0})=2(m_{1}+2), f(w_{1, 0}w_{2, 0})=2, f(u_{1, i})=2(m_{1}+i+ 2)$$f(w_{1, 0}u_{1, i})=2+2i, i\in[1, m_{1}]$; $f(u_{2, j})=4(m_{1}+j)+2$$f(w_{2, 0}u_{2, j})=4(m_{1}+j+1), j\in$ $[1, m_{2}]$.经计算, 有

$ \begin{align*} \mid f(w_{1, 0})+f(u_{1, i})-f(w_{1, 0}u_{1, i})\mid &=\mid f(w_{2, 0})+f(u_{2, j})-f(w_{2, 0}u_{2, j})\mid \\ &=\mid 0+2(m_{1}+i+2)-2-2i\mid=2(m_{1}+1). \end{align*} $

进而导出$f(V(C) \cup E(C))=[0, 2(p+q-1)]^e$.因此, $f$是一个边魔幻偶优美标号, 复合图$C\langle K_{2} \circ (K_{1, m_{1}}, K_{1, m_{2}})\rangle$的边魔幻偶优美性得证.

引理2.2  基为$K_{3}$的复合图$G=C\langle K_{3} \circ (K_{1, m_{1}}, K_{1, m_{2}}, K_{1, m_{3}})\rangle$是边魔幻偶优美的.

证明  设$K_{3}$的顶点分别为$u_{1, 0}, u_{2, 0}, u_{3, 0}$, 并且$V(K_{1, m_{i}})\!=\!\{w_{i, 0}, u_{i, 1}, u_{i, 2}, \cdots, u_{i, m_{i}}\}$, 其中$i\in [1, 3]$.将顶点$w_{i, 0}$与顶点$u_{i, 0}$重合后, 就得到基为$K_{3}$的复合图$G=C\langle K_{3} \circ (K_{1, m_{1}}, K_{1, m_{2}}, K_{1, m_{3}})\rangle$.设$\mid V(G) \mid=n $, 则$\mid E(G)\mid=n $, $m_{1}+m_{2}+m_{3}=n-3$.定义复合图$G$的标号$g$如下: $g(w_{1, 0})=0, g(w_{2, 0})=4, g(w_{3, 0})=8, g(w_{1, 0}w_{2, 0})=2, g(w_{2, 0}w_{3, 0})=10$, $ g(w_{1, 0}w_{3, 0})=6=s$, $g(u_{1, 1})=2s, g(w_{1, 0}u_{1, 1})=2(s+1)$, $g(u_{2, 1})=3s, g(w_{2, 0}u_{2, 1})=3s+2$, $ g(u_{3, 1})=3s-2, g(w_{3, 0}u_{3, 1})=3s+4$, $g(u_{1, i})=4(4+i)$, $g(w_{1, 0}u_{1, i})=4(4+i)+2, i\in[2, m_{1}];$ $g(u_{2, j})=4(m_{1}+j+3)$, $g(w_{2, 0}u_{2, j})=4(m_{1}+j+3)+2, j\in[2, m_{2}]$.计算得

$ \begin{align*} \mid g(u)+g(v)-g(uv)\mid &=\mid 4+4(m_{1}+j+3)-4(m_{1}+j+3)-2\mid \\ &=\mid 4+4(4+i)-4(4+i)-2\mid =2. \end{align*} $

进而导出$g(V(G) \cup E(G))=[0, 2(p+q-1)]^e$.因此, $g$是一个边魔幻偶优美标号, 复合图$G= C\langle K_{3} \circ (K_{1, m_{1}}, K_{1, m_{2}}, K_{1, m_{3}})\rangle$的边魔幻偶优美性得证(图 1左图是个边魔幻偶优美的基为$K_3$的复合图).

图 1 左图解释引理2.2, 右图解释引理2.4 Fig.1 Left is for illustrating Lemma 2.2, Right is for illustrating Lemma 2.4

推论2.3 ⅰ)存在基为$K_{3}$的复合图$G=C\langle K_{3} \circ (K_{1, m}, K_{1, m}, K_{1, m})\rangle$是边魔幻偶优美图.

ⅱ)存在基为$K_{3}$的复合图$G=C\langle K_{3} \circ (K_{1, m}, K_{1, m+d}, K_{1, m+2d})\rangle(d\!>\!0)$是边魔幻偶优美图.

ⅲ)存在基为$K_{3}$的复合图$G=C\langle K_{3} \circ (K_{1, m}, K_{1, mq}, K_{1, mq^2})\rangle$$(q>0)$是边魔幻偶优美图.

ⅳ)存在基为$K_{3}$的复合图$G=C\langle K_{2} \circ (K_{1, m_{1}}, K_{1, m_{2}}, K_{1, m_{3}})\rangle$($m_{1}m_{2}m_{3}=0, m_{1}+m_{2}+m_{3}\neq 0)$是边魔幻偶优美图.

引理2.4  图$K_{1, n}$是边魔幻偶优美的.

证明  对任意的$k\!\geq\! 5$, 设星图$K_{1, n}$的中心点为$x$, 叶子上的顶点为$y_{i}$, 点集合$V(K_{1, n}) =\{x, y_{i}\mid i\in [1, n]\}$, 边集合$E(K_{1, n})=\{xy_{i}\mid i\in [1, n]\}$.现给出星图$K_{1, n}$的一个标号如下: $h(x)=0$; $h(y_{i})=k+2i, i\in [1, n]$; $h(xy_{i})=2i, i\in [1, n]$.由式子$\mid h(x)+h(y_{i})-h(xy_{i})\mid =\mid k+ 2i-2i\mid =k$可导出$h(V(K_{1, n}) \cup E(K_{1, n}))=[0, 2k]^e$.所以, $h$是星图$K_{1, n}$的一个边魔幻偶优美标号, 引理得证(如图 1右图, 图$K_{1, 8}$是边魔幻偶优美的).

图 2 解释推论2.3 ⅰ)、ⅱ)、ⅲ)的例子 Fig.2 Examples for illustrating Corollary2.3 ⅰ), ⅱ) and ⅲ
图 3 左图解释推论2.3的结论ⅳ), 右图解释引理2.1 Fig.3 Left is for illustrating the results ⅳ) of Corollary 2.3, Rightis for illustrating Lemma 2.1

结合礼花运算, 在上述引理的基础上, 可以发现:由基为$K_{3}$的复合图$G$和星图$K_{1, n}$扩散而得到的网络模型具有边魔幻偶优美标号.故有如下的定理.

定理2.5  存在基为$K_{3}$的复合图$G=C\langle K_{3} \circ (K_{1, m_{1}}, K_{1, m_{2}}, K_{1, m_{3}})\rangle$的可扩散网络模型具有边魔幻偶优美性.

证明  任意选择复合图$G$(不妨设图$G$为图$G_{1}$)的若干片叶子$x_{1}, x_{2}, \cdots, x_{s}$, 给每片叶子$x_{i}$连接新的顶点$y_{i, 1}, y_{i, 2}, \cdots, y_{i, m}$, 重复任意次, 得到新图$G_{\mu}$.下证新图$G_{\mu}$具有边魔幻偶优美性.由引理2.2可知, 图$G_{1}$是边魔幻偶优美的.按照礼花运算, 任意选择图$G_{\mu-1}$的若干片叶子$x_{1}^{\mu-1}$, $x_{2}^{\mu-1}$, $ \cdots $, $ x_{s_{l}}^{\mu-1}$, 给每片叶子$x_{s_{r}}^{\mu-1}$($r\in [1, l]$)连接新的顶点$y_{r, 1}^{\mu}$, $y_{r, 2}^{\mu}$, $ \cdots, y_{r, m}^{\mu}$.此时, 每片叶子$x_{s_{r}}^{\mu-1}$($r\in [1, l]$)所连接新的顶点个数$N_{\mu }=\frac{1}{2}[g_{\mu }(x_{s_{r}}^{\mu-1}y_{r, 1}^{\mu})-g(y_{r, 1}^{\mu})]$$k(k\geq5)$决定, 则得到图$G_{\mu}$.设由图$G_{1}$$G_{2}$一直到$G_{\mu-1}$的过程中, 每次连接了$N_{a}$($a\in [2, \mu-1]$)个新的顶点, 设图$G_{\mu-1}$的边和点的个数和为$P_{\mu-1}+Q_{\mu-1}$, 则$P_{\mu-1}+Q_{\mu-1}=\sum_{a=2}^{\mu-1}2N_{a}+k+1$.

假设图$G_{\mu}$是边魔幻偶优美的, 即有图$G_{\mu}$的边魔幻偶优美标号$g_{\mu}$, 使得: $g_{\mu}(y_{r, {1}}^{\mu})=2(P_{\mu-1}+Q_{\mu-1})$, $g_{\mu}(x_{s_{r}}^{\mu-1}y_{r, 1}^{\mu})=\mid g_{\mu}(x_{s_{r}}^{\mu-1})+2(P_{\mu-1}+Q_{\mu-1})-k\mid $, $r\in [1, l]$; $g_{\mu}(y_{r, m}^{\mu})=2(P_{\mu-1}+Q_{\mu-1}+m)$, $g_{\mu}(x_{s_{r}}^{\mu-1}y_{r, m}^{\mu})=g_{\mu}(x_{s_{r}}^{\mu-1}y_{r, 1}^{\mu})+2m$, $m\in [1, N_{\mu}]$.

下证由图$F_{\mu}$进行礼花运算得到的图$F_{\mu+1}$是边魔幻偶优美的.任意选择图$G_{\mu}$的若干片叶子$y_{1}^{\mu}, y_{2}^{\mu}, \cdots, y_{t_{j}}^{\mu}$, 给每片叶子$y_{t_{w}}^{\mu+1}, w\in [1, j]$, 连接新的顶点$z_{w, 1}^{\mu+1}, z_{w, 2}^{\mu+1}, \cdots, z_{w, h}^{\mu+1}$, 每片叶子$y_{t_{w}}^{\mu+1}, w\in [1, j]$, 所连接新的顶点个数$N_{\mu+1}=\frac{1}{2}[g(y_{t_{w}}^{\mu}z_{w, 1}^{\mu+1})-g(z_{w, {1}}^{\mu+1})]$也由$k(k\geq5)$决定, 得到图$G_{\mu+1}$.

设由图$G_{1}$$G_{2}$一直到$G_{\mu}$的过程中, 每次连接了$N_{a}$($a\in [2, \mu]$)个新的顶点, 设图$G_{\mu}$的边和点的个数和为$P_{\mu}+Q_{\mu}$, 则$P_{\mu}+Q_{\mu}=\sum_{a=2}^{\mu}2N_{a}+k+1$.现给出图$G_{\mu+1}$的一个标号: $g_{\mu+1}(z_{w, {1}}^{\mu+1})= 2(P_{\mu}+Q_{\mu}+1)$, $g_{\mu+1}(y_{t_{w}}^{\mu}z_{w, 1}^{\mu+1})$=$\mid g_{\mu+1}(u_{t_{w}}^{\mu})+2(P_{\mu}+Q_{\mu}+1)-k\mid$, $w\in [1, j]$; $g_{\mu+1}(z_{w, h}^{\mu+1})=2(P_{\mu}+Q_{\mu}+h) $, $g_{\mu+1}(y_{t_{w}}^{\mu}z_{w, h}^{\mu+1})=g_{\mu+1}(y_{t_{w}}^{\mu}z_{w, 1}^{\mu+1})+2h$, $h\in [1, N_{\mu+1}]$, 对图$G_{\mu+1}$中由每片叶子与所连顶点得到的任意边$uv\in E(G_{\mu+1})$以及$w\in [1, j]$, 计算出

$ \begin{align*} &\mid g_{\mu+1}(u)+g_{\mu+1}(v)-g_{\mu+1}(uv)\mid\\ =&\mid g_{\mu+1}(u_{t_{w}}^{\mu})+2(P_{\mu}+Q_{\mu}+h) -[g_{\mu+1}(u_{t_{w}}^{\mu})+2(P_{\mu}+Q_{\mu}+h)-k]\mid \\ =&\mid g_{\mu+1}(u_{t_{w}}^{\mu})-g_{\mu+1}(u_{t_{w}}^{\mu})+2(P_{\mu}+Q_{\mu}+h)-2(P_{\mu}+Q_{\mu}+h)+k \mid =k, \end{align*} $

得到$g_{\mu+1}(E(G_{\mu+1}) \cup V(G_{\mu+1}))=[0, 2(p+q-1)]^e$, 其中$p=\mid V(G_{\mu+1})\mid $, $q=\mid E(G_{\mu+1})\mid $.所以, $g_{\mu+1}$是一个边魔幻偶优美标号, 即图$G_{\mu+1}$是边魔幻偶优美的.

综上, 由数学归纳法可知, 对任意偶数$k(k\!\geq\!5)$, 图$G_{\mu}$的边魔幻偶优美性得证.

定理2.6  存在具有边魔幻偶优美的礼花树$F_{\mu}$.

证明  对任意偶数$k(k\geq5)$, 当${\mu}=1$时, 礼花树$F_{1}$就是星树$K_{1, n}$, 由引理2.4可知, $f_{1}(x)=0$; $f_{1}(y_{i})=k+2i, i\in [1, n]$; $f_{1}(xy_{i})=2i, i\in [1, n]$.则有

$ \mid f_{1}(x)+f_{1}(y_{i})-f_{1}(xy_{i})\mid =\mid k+2i-2i\mid =k. $

这证得$f_{1}(V(K_{1, n}) \cup E(K_{1, n}))=[0, 2k]^e$.则礼花树$F_{1}$是边魔幻偶优美的.类似地, 由定理2.5, 用数学归纳法可证明, 任意选择礼花树$F_{\mu-1}$的若干片叶子$x_{1}^{\mu-1}$, $x_{2}^{\mu-1}$, $\cdots $, $ x_{s_{l}}^{\mu-1}$, 给每片叶子$x_{s_{r}}^{\mu-1}$($r\in [1, l]$)连接新的顶点$y_{r, 1}^{\mu}$, $y_{r, 2}^{\mu}$, $ \cdots$, $y_{r, m}^{\mu}$.此时, 每片叶子$x_{s_{r}}^{\mu-1}$($r\in [1, l]$)所连接新的顶点个数$N_{\mu }=\frac{1}{2}[f_{\mu }(x_{s_{r}}^{\mu-1}y_{r, 1}^{\mu})-f(y_{r, 1}^{\mu})]$$k(k\geq5)$决定, 则得到边魔幻偶优美的礼花树$F_{\mu}$(图 4右图是一个边魔幻偶优美的礼花树).

图 4 左图解释定理2.5, 右图解释定理2.6 Fig.4 Left is for illustrating Theorem 2.5, Right is for illustrating Theorem 2.6

定理2.7  设$k(k\geq5)$是任意给定常数, $K_{1, n}$是具有边魔幻奇优美标号的星图, 作$K_{1, n}$的拷贝$K'_{1, n}$的边魔幻偶优美星图, 连接两颗星树的中心$x_{1}$$x_{2} $, 所得到的新树具有边魔幻优美标号.任意选择新树的若干叶子进行多次礼花运算所得网络模型也是边魔幻优美的.

证明  由引理2.4可知, 先给出连接星树$K_{1, n}$$K'_{1, n}$的中心$x_{1}$$x_{2} $, 所得到的新树$T$的标号如下: $h(x_{1})=1, h(x_{2})=k+1, h(x_{1}x_{2})=2, h(y_{1, i})=k+i+1$$h(x_{1}y_{1, i})=i+2, i\in[1, k-2]$; $h(y_{2, j})=2(k+j-1)$$h(x_{2}y_{2, j})=2(k+i)-1, j\in[1, k-2]$.计算得

$ \begin{align*} \mid h(x_{1})+h(y_{1, i})-h(x_{1}y_{1, i})\mid=\mid h(x_{2})+h(y_{2, j})-h(x_{2}y_{2, j})\mid=\mid 1+k+i+1-i-2 \mid=k. \end{align*} $

新树$T$的边魔幻优美性得证.任选新树$T$的若干叶子$y_{1, m}$, $y_{2, n}$$(m\in[1, k-2], n\in[1, k-2])$, 给每片叶子连接新的顶点, 进行礼花运算, 同定理2.5的证明, 可证得该网络模型具有边魔幻优美标号(图 5是一个$k=5$的边魔幻优美的网络模型).

图 5 解释定理2.7的一个例子 Fig.5 An example for illustrating Theorem2.7

为更好地理解本文的定理, 给出以下2个例子(见图 6图 7).

图 6 解释本文结论的一个例子 Fig.6 An example for illustrating the results of the article
图 7 解释本文结论的另一个例子 Fig.7 Another example for illustrating the results of the article

$ \mbox{gph} D^{(2)}S(\widehat{\mu}, \widehat{x}, \widehat{w}, \widehat{v})=T^{(2)}(\mbox{gph}S, (\widehat{\mu}, \widehat{x}), (\widehat{w}, \widehat{v})). $

因此, $D(DS(\widehat{\mu}, \widehat{x}))(\widehat{w}, \widehat{v})=D^{(2)}S(\widehat{\mu}, \widehat{x}, \widehat{w}, \widehat{v})$.同理, $D(DK(\widehat{\mu}, \widehat{x}))(\widehat{w}, \widehat{v})=D^{(2)}K(\widehat{\mu}, \widehat{x}, \widehat{w}, \widehat{v})$.那么, (5)式成立.由于(6)式证明过程与引理3.2相似, 此处省略.

注2.2   (ⅰ)从定理2.3和定理2.4不难发现一个有趣的结论:集值隐函数的相依导数和二阶相依导数仍为相应的集值隐函数.并且从定理2.3到定理2.4能够推得(1)式的集值隐函数的高阶相依导数在相似条件下可以求得.

(ⅱ) $\mbox{gph} S$的凸性可以通过$\mbox{gph} f$的凸性得到.

参考文献
[1] ROSA A. On certain valuations of the vertices of a graph[C]//Theory of Graphs, International Symposium. 1967, 349-355.
[2] MARUMUTHU G. Super edge magic graceful labeling of generalized Petersen graphs[J]. Discrete Mathematics, 2015, 48: 235-241.
[3] 王宏宇, 姚兵, 陈祥恩. 探讨几类具有完全图核心的网络模型的优美性[J]. 数学的实践与认识, 2014, 44(2): 210-215.
[4] BONDY J A, MURTY U S R. Graph Theory with Applications[M]. London: The Macmillan Press, 1976.
[5] SEDLÁČEK J. Problem 27[M]//Theory of Graphs and its Applications:Proc Symp Smolenice. Praha:Academia, 1963:163-164.
[6] KOH K M, ROGERS D G, TAN T. On graceful trees[J]. Nanta Math, 1977, 10(2): 27-31.
[7] ZHOU X Q, YAO B, CHEN X E, et al. A proof to the even-gracefulness of all lobsters[J]. Ars Combinatoria, 2012, 103: 13-18.
[8] YAO B, CHENG H, YAO M, et al. A note on strongly graceful trees[J]. Ars Combinatoria, 2009, 92: 155-169.
[9] CHENG H, YAO B, CHEN X E, et al. On graceful generalized spiders and caterpillars[J]. Ars Combinatoria, 2008, 87: 181-191.
[10] GALLIAN J A. A dynamic survey of graph labelling[J]. The Electronic Journal of Combinatorics, 2011(18): #DS6