一种对称无向图的同构判定算法

文章在电路模拟法的基础上提出了一种对称无向图的同构判定算法。电路模拟法对随机图的同构判定问题非常有效,但是对于处理对称度较高的图,判定效率明显降低甚至失效。该文提出的算法针对对称无向图的特性,在电路模拟法的基础上结合Dijkstra算法,综合得到顶点属性和最短距离序列来搜索顶点之间的映射关系,能够有效判定这类图的同构问题。     

基于图论技术的FPGA资源管理算法

在对可重构硬件上的空闲资源进行管理时,采用平面划分算法寻找最大空闲矩形存在冗余计算和重复计算的问题.为此,文中提出了一种基于虚拟无向图的计算最大空闲矩形的算法.该算法基于FPGA二维区域模型,利用无向图与FPGA模型之间的相互映射关系,通过在虚拟无向图中寻找有效回路和通路间接完成寻找最大空闲矩形的任务,使空闲区域划分过程大大简化.最后,文中通过仿真实验对比了该方法与已有的SL算法的性能,结果表明,KAMER_VU算法有效降低了系统硬件布局时间,提高了为任务分配硬件资源的成功率.     

基于遗传算法的二部图判定算法

应用遗传算法来判定二部图的具体过程是首先将无向图G的节点随机分配到两个不同社区中,然后用遗传算法进行进化操作,优化无向图G的模块化函数Q,当Q取最小值且无向图G的边只存在于两个社区之间,则无向图G为二部图.实例分析结果验证了算法的有效性.     

基于稀疏矩阵存储结构的H-矩阵迭代判定算法的实现

本文针对文献[1]中的H-矩阵迭代判定算法,提出了适用于此算法的稀疏矩阵的存储结构,并用C语言实现了基于该存储结构的稀疏—矩阵判定算法.运用该存储结构的迭代算法判定大型稀疏矩阵节省了存储空间,提高了运算速度.     

生成无向图全部树的一种新算法

本文提出一种生成无向图G全部树的算法。它应用图的邻接下三角矩阵L$为图的数据结构,通过L$矩阵的一系列变换而完成。算法的时间复杂度为o(K(n-1)),空间复杂度是O((n-1)~2),式中n和K分别表示G的结点数和计算林树梢个数。此外文章还报道了一个图论性质的猜测,文章最后讨论了选择结点序列加速算法过程的方法。     

Hamilton图的充要条件及圈的矩阵算法

利用矩阵方法得到了一个简单无向图为H am ilton图的充要条件等一些结论以及圈的矩阵算法.一个n阶简单无向图是H am ilton图的充要条件是其n阶长路矩阵是一个对角线元素全不为0的对角阵,且对角线上每一个元素均为H am ilton圈之和.     

具有通信约束的多智能体系统有限时间一致性

针对存在通信约束的多智能体系统的有限时间一致性问题,提出了一类连续的非线性一致性算法.利用李雅普诺夫有限时间稳定性理论和矩阵理论,证明了当系统个体间的通信网络拓扑结构为连通图的情况下,该算法使得系统具有通信约束时能够在有限时间内达到一致.进一步给出了系统收敛时间的上界,该时间上界由选取的李雅普诺夫函数、无向图的拉普拉斯矩阵以及系统的初始状态决定.仿真示例验证了所提出算法的有效性.     

关于n部图的无向不同构图计算

通过建立一个新的向量映射关系,并在该向量映射关系下应用图论、有限群对集合的作用、轨道及等价关系等对三部图中无向不同构图的计算结果进行推广,研究了n部图的无向不同构图的计算问题,并给出了计算公式.     

一种立体像对极线矫正的新方法

提出一种无相机标定的立体像对矫正算法,该算法只需要图像对间的匹配点信息.首先,寻找一个投影矩阵H′将右图的对极点e′映射到无穷远点,此时该图上的对极线被映射为平行于x轴的直线;然后,基于矫正后立体像对的对应极线相同的原理,推导出应用在左图上的矫正矩阵H;最后,根据得到的投影矩阵H和H′重新采样对应的图像,达到最终的矫正目的.尤其对摄像机对的角度进行分析,摄像机主轴夹角越小,对极点则离图像平面越远,矫正效果也越好.通过两种无需计算基本矩阵的非线性最优化矫正方法进行实验对比,实验结果表明,该算法实现简单、矫正速度快、并且有效地消除了垂直误差.     

一种判定树同构的BULT算法

将判定两棵树的同构问题转化成"图的同构"问题和"两棵树根结点之间的对应关系"问题的判定.基于图与树的关系,提出一种自底向上分层遍历图结点(Bottom-Up Layer Traversing)的方法,简称 BULT方法,解决以上两个问题,从而得到一种线性的时间复杂度与空间复杂度的树同构判定算法,并给出了算法正确性证明.该算法很容易扩展为图同构的判定算法.     

基于改进遗传算法的无向加权图的k点连通扩充

加权图的连通扩充问题已被证明是NP完全问题，作者提出一种改进遗传算法来解决无向加权图的k点连通扩充问题，通过改进遗传算法中的交叉和变异操作有效地改善了群体的效果，有助于搜索解空间中新的区域，能以较大概率搜索到全局最优，仿真结果表明，该算法在原来简单遗传算法上做了进一步改善，为解决加权图的扩充问题提供了新的方法。     

一个求外平面图最小反馈点集的多项式时间算法

如果从一个图中去掉某些顶点后得到的导出子图是无圈图，则所去的那些顶点组成的集合就是原图的反馈点集。本文讨论外平面图的反馈点集并给出了一个求外平面图最小反馈点集的多项式时间算法。     

循环图及单圈图的有效控制集与完美控制集

图的完美控制集和有效控制集是两类特殊的控制集．通常要判断一个图是否存在有效控制集是困难的．该文证明了无向循环图一定存在有效控制集．此外，给出了单圈图的完美控制数与其阶数的关系．     

无向图同构的快速算法

规范标记算法和顶点划分算法是判断无向图同构的两种重要途径,其缺点是要么无法对图进行规范标记,从而不能进行判断；要么必须进行不断地回溯和试探,从而造成指数阶时间开销.对于任何两个同构的无向图,各自新增一个顶点和若干条关联边,可获得父图.当且仅当新增顶点的邻接点在原同构图中保持同构关系时,父图同构.根据这个充要条件,文中使...     

多维时间序列Granger因果图Markov性

文章利用Granger因果图表示多维时间变量序列间的因果关系,图中的顶点集由序列的各个分量组成,顶点间的有向边表示分量序列间的Granger因果关系,无向边表示分量间的同期因果关系.建立Granger因果图的p-分离准则,研究Granger因果图的Markov性.     

关于半二面体群边传递的图

运用图的自同构理论,获得了关于半二面体群边传递的图Г的完全分类.     

有向强正则图

有向的强正则图以及参数和特征值性质,与无向的强正则图有很多类似的地方.而强正则图的性质学者们早已进行了深入的研究.第二节运用群的理论,点的传递性提出了一类特殊的有向强正则图Cayley图,构造源于shaw的工作.并描述了Cayley图成为有向强正则图的必要条件.     

3度非对称的点传递图的性质

设X为3度连通的简单无向图,X称为具有非平凡点稳定子群的非对称的点传递图,若X的全自同构群A在X的顶点集合上作用是传递的,而且X的任意顶点在A中的稳定子群在该点的邻域上的作用是非传递的、非平凡的.本文考察了这种图,我们给出了这类图的一些性质.     

无向简单图P─中心的求法

本文提出一种方法──把减边法与矩阵法结合起来，可较简便地寻求无向简单图Ｐ－中心。