基于完备剩余格的双标号转换系统

为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要,根据经典的双标号转换系统,提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下,将传统的互模拟关系推广到格值情形,来度量系统之间的接近程度。通过引入格值Hennessy-Milner逻辑的概念,给出格值互模拟关系的逻辑刻画。     

关于幸福树猜想

树T称为幸福树,如果存在用集合｛0,1,2,…,|E(T)|｝中的不同整数分配给它的顶点的一个标号l,使得由l‘(e)=l(u) l(v)mod|E(T)|定义的导出边标号l‘分配给各条边以不同的标号,目前关于该猜想有一些简单的结果,但是始终没有得到最终解况,本文构造性证明了多类树是幸福树,并提出了任意龙虾树是幸福树的猜想。     

图带宽的若干刻划

本文研究图的带宽的若干等价刻划以及相关的理论结果。     

图P3n的优美标号

定义了图Ｐ＾３ｎ,证明了当ｎ＝６ｋ＋２及ｎ＝６ｋ＋４时,图Ｐ＾３ｎ是优美图,并得到它们的优美标号,其中ｋ是任意自然数。     

一个关于平面图的K-(2,1)-全可选性的结果

设图$G$的一个列表分配为映射$L: V(G)\bigcup E(G)\rightarrow2^{N}$. 如果存在函数$c$使得对任意$x\in V(G)\cup E(G)$有$c(x)\in L(x)$满足当$uv\in E(G)$时, $|c(u)-c(v)|\geq1$, 当边$e_{1}$和$e_{2}$相邻时, $|c(e_{1})-c(e_{2})|\geq1$, 当点$v$和边$e$相关联时, $|c(v)-c(e)|\geq 2$, 则称图$G$为$L$-$(p,1)$-全可标号的. 如果对于任意一个满足$|L(x)|=k,x\in V(G)\cup E(G)$的列表分配$L$来说, $G$都是$L$-$(2,1)$-全可标号的, 则称$G$是 $k$-(2,1)-全可选的. 我们称使得$G$为$k$-$(2,1)$-全可选的最小的$k$为$G$的$(2,1)$-全选择数, 记作$C_{2,1}^{T}(G)$. 本文, 我们证明了若$G$是一个$\Delta(G)\geq 11$的平面图, 则$C_{2,1}^{T}(G)\leq\Delta+4$.     

关于图Cn+Kt的和谐性

本文证明了当n为奇数且(n,t+1)=1时，如果集合M={ni-1|i=1,2,…,t+1},N={(t+1)j|j=0,1,…,n-1}满足M∩N≠?时，图C_n+K_t是和谐图.从而推广了M.Keid的结果:C_n+K₂是和谐图.     

图Km,n∪Kp,q的k优美性

路线等在[3]中证明了当k>1,且min{p,q}≥2时,图St(m)∪Kp,q是k优美图.本文论证了当min{m,n,p,q}≥2时,图Km,n∪Kp,q是k优美图.     

外平面图的L(2,1)-标号

外平面图是没有子图为K₄或K_2,3的剖分的图。设G为一个外平面图,本文证明了G的L(2,1)标号数λ(G)≤Δ(G)+9。     

一类裂变图的$L(^{0,1,2}_{d,d,1})$-标号数上界

将图的标号问题由每个琢真需要一个标号的情况推广到每个顶点需要多个标号的情况，给出裂变图的概念以及赋权图的L（0,1,2↑ d,d,1）-标号的概念，给出R．单位球图对应裂变图的L（0,1,2↑ d,d,1）-标号数的一个上界．