多部图的最大匹配算法

匹配理论是图论中一个重要的分支,已被广泛地应用于许多领域,如组合优化、线性规划、人工智能和矩阵论等.给出一个求解多部图的最大匹配算法,并用仿真例子说明其实用性和有效性,此算法为解决复杂的指派问题开辟了新途径.     

一些特殊矩阵Moore-Penrose逆

给出了计算无圈二分图的对应的矩阵的广义逆的求解方法,求所有最大匹配与所有SDR的算法,并给出了单圈二分图或者共圈二分图的矩阵广义逆的计算公式.     

关于简单图最大匹配的矩阵算法研究

定义了简单图匹配边的匹配优先指数、竞争集、匹配余集及匹配余图等重要概念,从最大匹配的定义及匹配边与非匹配边的竞争关系着手,在图的关联矩阵基础上,提出了求无权简单图最大匹配的一种操作简单、编程容易的新算法——"表单作业法".     

考虑板坯设计的组炉优化模型

针对炼钢生产中的组炉优化问题,建立了一种考虑板坯设计的混合整数规划模型,并提出了一种基于非二分图匹配算法、二分图匹配算法、装箱算法、网络最大流算法的启发式求解算法。该算法首先使用非二分图匹配算法确定炉次,然后使用二分图匹配算法和装箱算法将剩余合同匹配到已有炉次中,最后使用网络最大流算法调整炉次中合同对应的板坯重量。实验结果表明利用该算法可以在较短的时间内给出较优的组炉方案,为计划员提供足够的决策支持。     

二部图的完备匹配及其实际应用举例

二部图的完备匹配的定义,二部图存在完备匹配的两个充分必要条件,求二部图的完备匹配的算法,二部图的完备匹配的实际应用.     

Kv的完备匹配Mi的算法

给出了边矩阵的定义,提出了求解完备匹配Mi的2种算法.其中算法A是利用边矩阵K2n的△(G)一边着色求Mi,算法B是利用边矩阵K2n的2×2子矩阵划分及完全图Kn的n-1个完备匹配Mi的求解,再求Mi.介绍了用算法A构造循环赛图K(i)20的过程和用算法B构造循环赛图K(i)20的过程.     

三部图的K3-匹配问题

文章就三部图的匹配问题进行了研究,描述了K3 匹配的定义,提出2-匹配的概念,给出三部图存在K3 匹配的充要条件及有关三部图的2-匹配的性质,为解决复杂的指派问题奠定了一定的理论基础。     

一类多出发点多旅行商问题规划算法

提出了一种基于K-means聚类算法的多出发点多旅行商问题求解的新方法.算法定义了节点的吸引度,通过节点吸引度矩阵进行子环游节点集的归类,并对各子环游应用单旅行商启发式算法进行求解.实例表明,此规划算法能很好地求解多出发点多旅行商问题.     

一类工件带有优先约束的分批排序问题

本文对工件带有“扩充链”优先约束的分批排序问题进行了研究,其目标函数为最大完工时间．优先约束为：在一个扩充链上包含有n个工件,另外有m个孤立点工件（即工件之间无任何优先约束）．讨论了时问题的最优算法,把这一问题多项式转化成了组合优化中求解非二部图赋权匹配问题,并相应地给出了一个运算次数为的多项式算法．     

圈块图的最小Hosoya指数

给出了圈块图的定义:一个图G的Hosoya指标是指图G所有的匹配的个数.如果一个图G的所有的块都是圈,那么这样的图称为圈块图.研究了圈块图的Hosoya指标并找出含有最小Hosoya指标的圈块图.     

图的极大匹配能(英文)

Gutman和Wagner(The matching energy of a graph,Discrete Appl.Math.2012(160):2177-2187)首次提出了匹配能的定义,即:图的匹配多项式的所有特征根的绝对值之和称为图的匹配能.他们证明了在n个顶点的图中,完全图Kn有最大匹配能.本文完全刻画了具有第二大至第十六大匹配能的图.     

具有最小匹配能量的广义仙人掌图

为了研究具有最小匹配能量的广义仙人掌图的结构,利用一些图形变换对图的匹配能量产生影响的相关方法,得到了具有最小匹配能量的广义仙人掌图的结构:在所有顶点数、边数、块为圈的数目和块为双圈图的数目都固定的广义仙人掌图中,G﹡(n,m,r,s)是匹配能量最小的图;在所有顶点数和边数都固定的广义仙人掌图中,G﹡(n,m,1,(m-n)/2)或G﹡(n,m,0,(m-n+1)/2)是匹配能量最小的图。     

不含三圈的双圈图的谱半径

Nikiforov等人最近将图谱研究与极值图论相结合,提出了谱Turán型问题:给定一个图F,设G是一个不含子图与F同构的n阶图,那么图G的谱半径至多是多少?双圈图是边数等于顶点数加1的简单连通图。近期,部分学者对双圈图的谱半径进行了研究,确定了双圈图谱半径的第1~10大值和相应的极图。受此启发,研究了不含三圈的双圈图,确定不含三圈的双圈图的谱半径的上界,并刻画了相应的极图。     

一个匹配是导出匹配的条件

称图G的一个匹配M是导出的,如果M是由M所覆盖的顶点导出的子图的边集．分别给出二部图的一个匹配是导出匹配的条件及存在一个最大匹配是导出匹配的条件．     

门槛图中的一些优化问题

门槛图是一类结构比较特殊的图,本文给出了它的一个标准表示形式,并在此基础上建立了一个好的算法来构造它的中心树。利用中心树的结构性质,用多项式时间算法解决了这类图的一些优化问题,包括最大团、最大独立子集问题,染色问题,最小边割集问题和哈密尔顿性问题。     

一类稠密图的匹配唯一性

讨论简单无向图G的匹配唯一性,利用匹配多项式的特征标、最大实数根及其代数性质证明了:当n≥1时,T(1,1,n,4,1)匹配唯一的充要条件是n≠1,4,7,解决了该类图的匹配唯一性.     

一种判定树同构的BULT算法

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

求最大权伪对集的一个算法

图的可以含有环的对集称为图的伪对集。William 和 Anderson 给出了求图的最大基数伪对集的一个算法。本文给出了求图的最大权伪对集的一个算法,它是 Edmonds 算法的一个推广。     

含一个割点的连通图的最小特征值

一个图的无符号拉普拉斯最小特征值在某个图类中的所有图中达到最大时常称为极大图;通过利用特征向量方程研究特征值的方法,对只含有一个割点的连通图的无符号拉普拉斯最小特征值进行了研究,且得到了最小特征值的值,从而得到了只含有一个割点的具有相同阶数的所有的连通图中最小特征值的极大值,并且刻画了最小特征值取到极大值时所对应的极大图的结构.