完美匹配树谱半径的进一步排序

用图的谱对图进行分类和排序是图谱理论的研究方向之一.主要研究了完美匹配树依谱半径排序的问题.事实上,到目前为止,具有前七大谱半径的完美匹配树已经排出,且具有第八大至第二十大谱半径的完美匹配树的范围也已经确定,但它们之间的大小顺序还没有具体给出.借助图的移接变形和图的特征多项式等工具,完整地解决了这一问题,具体排出了具有第八大至第二十大谱半径的完美匹配树.     

具有n-3个悬挂点的树的距离无符号拉普拉斯谱半径(英文)

一个连通图G的距离无符号拉普拉斯谱半径是G的距离无符号拉普拉斯矩阵的谱半径.G的距离无符号拉普拉斯矩阵定义为Q(G)=Tr(G)+D(G),这里Tr(G)是G的顶点传递的对角阵,且D(G)是G的距离矩阵.研究了所有n阶具有n-3个悬挂点的树的距离无符号拉普拉斯谱半径的极小值,并刻画了一类n阶具有n-3个悬挂点的树的距离无符号拉普拉斯谱半径的极大值与极小值.     

树的最小Laplace谱半径的排序

袁西英等运用树的一些结构变换和运算，排出了具有最小Laplace谱半径的前7棵n阶树.基于此，进一步运用图的嫁接、剖分和收缩等运算，继续这个顺序，将具有最小Laplace谱半径的n阶树从第8棵排至第11棵，从而得到了Laplace谱半径最小的前11棵n阶树．     

给定独立数的树的最大拉普拉斯谱半径

图的拉普拉斯矩阵最大特征值定义为图的拉普拉斯谱半径,它是刻画图结构性质的重要参数。本文主要介绍了在所有给定独立数为α的n阶树中具有最大拉普拉斯谱半径的唯一极图,其中[|n/2|]≤α≤(n-1)。     

关于图的拉普拉斯谱半径

对图的拉普拉斯谱半径研究状况做了一个梳理,主要介绍了近几年来对图的拉普拉斯谱半径和拟拉普拉斯谱半径的界的研究所取得的成果,同时指出一些未曾解决的问题和今后的研究方向。     

一类图的谱

设K_m是m阶完全图,将n+1个m阶完全图通过固定的方式连结,得到(mn+m)阶完全关联图H_n,K_m。在利用商矩阵及秩的相关结论后,给出了完全关联图H_n,K_m的邻接矩阵、拉普拉斯矩阵和无符号拉普拉斯矩阵的特征值,从而确定了完全关联图H_n,K_m的邻接谱、拉普拉斯谱和无符号拉普拉斯谱。同时,基于对Brualdi-Solheid谱半径问题的研究,并将这类谱半径问题推广到图的拉普拉斯谱半径和无符号拉普拉斯谱半径的研究中,给出了H_n,K_m(所有点数为N的完全关联图构成的集合,其中N=m(n+1))中邻接谱半径的上界,拉普拉斯谱和无符号拉普拉斯谱半径的上、下界;并刻画了H_n,K_m中邻接谱半径达到上界的极图,以及拉普拉斯谱和无符号拉普拉斯谱半径达到上、下界时的极图。     

关于双圈图的拟拉普拉斯谱半径的一个猜想的证明

令q(G)表示图G的拟拉普拉斯谱半径.何春阳和郭曙光(2014)研究了不含三圈的n阶双圈图中拟拉普拉斯谱半径的排序问题,他们猜想"若n≥7,则q(G_(10))q(G_9)",其中图G_9和G_(10)如图1所示.若该猜想成立,则其最终可以确定不含三圈的n≥12阶双圈图中排在前12位的拟拉普拉斯谱半径,该文证明了该猜想.     

一定条件下图的拉普拉斯矩阵的谱半径

研究给定阶、边独立数和圈数的类树图的拉普拉斯矩阵谱半径的精确上界,确定达到上界的所有的图,从而推广树、单圈图和双圈图拉普拉斯矩阵谱半径的结论.     

三类图的拉普拉斯谱半径的极限点

将图的结构与对应的拉普拉斯矩阵相结合,研究其拉普拉斯特征多项式。根据拉普拉斯特征多项式的特征求出了图的拉普拉斯谱半径的极限点。利用图经粘连运算后的拉普拉斯特征多项式以及图的拉普拉斯谱半径的上界和下界,证明了三类图的拉普拉斯谱半径的极限点的存在性,证明了n→∞时图类的拉普拉斯谱半径是某方程的最大根。     

树的邻接矩阵和Laplacian矩阵谱半径的新下界

利用代数方法、图的边变换,以及树的邻接矩阵谱与Laplacian谱的关系,研究树和完美树的邻接矩阵谱半径和Laplacian谱半径的下界,给出达到下界的所有极树,得到的新结果改进了文献[2]的结论.     

具有完美匹配且直径不大于7的强优美树

一棵具有n个顶点且有完美匹配M的树T,若有一个优美标号f使得对T的每条边uv∈M都有f(u)+f(v)=n-1,则称树T是强优美的.证明所有直径不大于7且有完美匹配的树都是强优美的,并给出了一种构造大的强优美树的方法.     

智能CAA中基于语法树的程序正确性验证研究

基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.文章在介绍基于语法树的程序正确性验证方法的基础上,借鉴了无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出了一种新的XML路径查询模型和树匹配算法,在理论和方法上对这个方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法切实可行的解决方案.     

不同时间戳的地图差异匹配改进算法

本论文首先分析了SVG格式地图差异算法的研究现状,在现有的差异算法的基础上,分析了现有算法存在的不足,提出了一种改进的SVG格式地图差异匹配算法I-DiffS。该改进算法定义了节点集元素,即节点集元素可能包含一个或多个元素节点、属性节点和值节点构成的一个路径节点集合,定义了SVG格式解析结构树的标号规则,减少了结构树对应数组的元素个数,也减少了差异脚本中操作类型的数目,缩短了匹配过程。匹配结果为差异脚本,该脚本记录了前一个时间戳到后一个时间戳的更新操作。I-DiffS算法相比于现有的最新DiffS算法,时间复杂度更低。应用验证证明该算法是有效的。     

k元n方体的最优条件匹配排除集

设E是图G的一个边子集,若G-E中既不包含孤立点,也没有完美匹配和几乎完美匹配,则称E为G的一个条件匹配排除集.边数最少的条件匹配排除集,称为最优条件匹配排除集.文章给出了k元n方体的最优条件匹配排除集.     

按匹配顶点分类的完美匹配数递推求法

先把图2-nZ₆,2-nXT₃的完美匹配按匹配某个顶点进行分类, 求出一组相互联系的完美匹配数递推关系式, 再由这组递推关系式给出这两类图的完美匹配数计算公式.     

2类图完美匹配计数公式的嵌套递推求法

把图2-nD_8和2-nD_6的完美匹配按饱和某个顶点的完美匹配进行分类,求出每一类完美匹配数目的递推关系式,再利用这些递推式之间的相互关系,得到这两类图的完美匹配数目的递推关系式,最后从递推式中解出这两类图的完美匹配数目的计算公式.     

2类图完美匹配数的计算

一般图的完美匹配计数问题是NP-难问题。本文用划分、求和及嵌套递推的方法给出了2类特殊图完美匹配数目的显式表达式,所用的方法也开辟了得到一般的有完美匹配图的所有完美匹配数目的可能性。σ（n）和g（n）分别表示图3-nC6．3和2-nK3.3的完美匹配的数目。证明σ（n）3＋√3/6·（4＋2√3）^n,g（n）=41＋5√41/82,（7＋√41/2）^n＋（41-5）√41/82·（7-√41/2）^n.     

无爪双临界偶匹配可扩图的结构

图G是有完美匹配的简单连通图．称图G是偶匹配可扩的，是指G的每一个偶匹配都可以扩充成为G的一个完美匹配．在本章中，我们得到若干无爪双临界偶匹配可扩图的结构性质。     

循环图C_(2n)(1,3)的2-偶匹配可扩性

设图G是一简单的且有完美匹配的连通图,称图G是k-偶匹配可扩的,是指G的每一个基数不大于k(1≤k≤(│V(G)│-2)/2)的偶匹配M都可以扩充为G的一个完美匹配.刻画了循环图C2(n1,3)的2-偶匹配可扩性,得到结论:对于任意的n(n≥3),C2(n1,3)是2-偶匹配可扩性的.