超图和超结构若干划分问题的算法研究

来源 :中国科学院大学 | 被引量 : 0次 | 上传用户:guogangw1987
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
图和超图可以用来表示事物间的复杂关联,综合了两者特征的超结构可以表达更为丰富的关联信息。图、超图和超结构的划分在并行计算、数据挖掘、大规模电路设计、交通规划等领域有非常重要的应用价值和发展前景。图划分的研究相对成熟,在此基础上的超图划分研究也非常热门,但是还有一些具有现实意义的超图和超结构划分问题没有得到广泛研究和解决。本文主要研究超图的连通划分、超图的负载均衡划分、超结构的连通均匀负载均衡划分以及超结构的距离均衡划分等四个问题的复杂性理论、模型、算法以及应用。本文的主要贡献在以下四个方面:  第一,研究超图的连通划分问题。主要考虑将一个超图划分为连通部分数最少的连通划分。这个划分问题实质上就是检测超图的连通分支并给出每个连通分支对应的点集的过程。在研究图的连通划分算法的基础上,给出超图连通划分的一种新方法:逻辑和的方法。由于超图的连通分支数与其生成的二部图的连通分支数相等,且连通分支一一对应,因而,本文还提出了一种基于生成二部图的超图连通划分算法。我们在随机生成的点数超过10,000的超图上验证比较了不同的超图连通划分算法,其中基于超图关联矩阵的逻辑和算法能最快给出精确解。  第二,研究超图的负载均衡划分问题。考虑将超图H=(V,H)的顶点集V划分为K个部分:{V1,V2,…,VK},最小化每个部分关联超边数的最大值。本文主要给出超图负载均衡划分目标函数最优值的上下界,以及取到下界的充分条件和必要条件。为了解决原问题,我们将超图负载均衡划分转化为一系列的逆问题,并为逆问题设计近似算法,从而转化为普通超图的负载均衡划分算法。在真实的文本数据集上验证了本文的负载均衡划分算法的有效性。  第三,研究超结构的连通均匀负载均衡划分问题。超结构的连通均匀负载均衡划分问题,是指将超结构的点集划分为K个部分,满足均匀和连通约束,求每个部分关联的最大超边数的最小值。基于超结构相关特性,建立了连通均匀负载均衡划分问题的非线性0-1整数规划模型,证明该问题是NP-难的。根据问题的连通、均匀性质,给出了一种不受限于超结构的点数的精确算法。该算法可以在多项式时间内求解超树的连通均匀均衡划分问题,并且在运行时间和解的准确度上优于现有的通用求解工具。  第四,研究超结构的距离均衡划分问题。超结构的距离均衡划分问题是将超结构的顶点集划分成K部分,每个部分的点数是均匀的,而且要最小化每个部分两点间的距离的最大值。本文定义了超结构中的距离和距离矩阵的概念,并建立了该问题的0-1二次规划模型。提出了一种基于K-means的划分算法,和一种逐次生成划分算法。通过实例验证了所提出算法的有效性。
其他文献
该文主要研究了石油钻井成本控制中的钻井进度趋势和钻井周期的测算两个问题.提出了钻井进度趋势曲线的模型:各井段钻井时间与进段深度的指数方程;用某区块的钻井数据逐段求
该文主要从以下几方面以《理论力学》CAI系统的制作为例概述了多媒体CAI系统的制作过程:CAI系统的软件设计(1)静力学(2)运动学(3)动力学.CAI系统的结构设计.CAI系统素材的编
四元数是William Rowan Hamilton于1843年发现的数学概念,是对复数的扩展,它代表着一个四维空间,而在它基础上的四元数线性正则变换是一种有效的信号处理工具,正日益受到国内外众
将一个图G的所有最大匹配作为顶点集,若两个最大匹配M1与M2的对称差导出一条路(路的长度没有限制),则称M1与M2相邻,由此所得图为图G的新的最大匹配图.本文研究了新的最大匹配图的
若某连通图G的任意两个圈之间至多只有一个公共顶点,我们称图G是仙人掌图.以lmn表示匹配数为m的n阶仙人掌图的集合.显见,n≥2m.在文献[32]中,Li和Zhang得到了n=2m时,lmn中具有最
论文包括三章内容.第一章介绍了吴方法的基本概念和基本定理.重点介绍了余式公式和零点分解定理.第二章介绍了吴方法在天体物理学中的一个应用.先介绍了星体的平面中心构型的
信息社会产生的大量数据包含丰富的知识财富,学者们提出大量的机器学习算法来挖掘这些知识财富,促进形成更加便捷智能的社会。然而由于大量算法,特别是距离相关的算法,忽略了数据
该文引言介绍了完全非线性椭圆型和抛物型方程正则性理论的历史和近期结果.第一章首先引入Holder空间,Campanato空间,粘性解和Pucci极端算子,接着给出完全非线性椭圆型方程的
从一个双曲函数出发的pinching序列,它的极限位于双曲分支的边界上,pinching序列限制在Fatou集和临界轨道上也一致逼近。我们证明如果双曲分支的一个边界点被一个双曲函数序列