哈密顿环与图同构问题的理论研究及算法设计.pdf

摘 要 哈密顿环问题和图同构问题是两类特殊的NP问题。到目前为止，这两个问题还不 能设计出一个输入规模的多项式时间复杂度的算法。已经找到的算法，在最坏情况下， 其时间复杂度是输入规模的指数阶或阶乘阶的函数。因此，除了继续寻找多项式时间复 杂度的算法外，如何提高现有算法的时间效率，是解决这两个问题的一个有效途径。 作为子图同构，哈密顿环问题在计算复杂性理论，作业调度，计算机布线，车辆路 由，机器人路径控制，印刷电路板钻孔等领域具有广泛的应用价值。图同构问题在计算 复杂性理论，模式识别，计算机视觉处理，信息检索，数据挖掘，VLSI 设计验证，化 学分子结构识别等领域具有广泛的应用价值。尤其在当今“大数据”时代，“大数据挖 掘”是当下最迫切需要解决的实际问题。其中的图数据挖掘是大数据挖掘的核心发展方 向之一，也是计算机学科相关研究中的当下热点。而图匹配（无论是原图匹配还是子图 匹配）技术在图数据挖掘中占有核心地位。 寻找新的判定条件和判定算法，提高已知算法的时间效率，一直是研究这两个问题 的关键所在。本文正是从这两个方面着手开展研究。着重研究了新型的充分必要条件和 必要条件，以及基于这些条件的判定算法。提出的这些条件不仅提供了设计新型算法的 理论基础，指明了提高已知算法的时间效率的有效途径；而且在大多数场合下，是目前 为止效率最好的。证明了这些算法的正确性，分析了这些算法的时间复杂度和空间复杂 度，使用C语言编程实现了这些算法的仿真研究，以及和他人的算法的对比分析。主要 工作包括： 1. 通过分析哈密顿环的合并规律，证明了基于单条公共边连通的基本圈合并法则 的充分必要条件，推导了必要条件计算公式。与已知的仅有的闭包图充分必要条件不同， 本文提出的充分必要条件可以处理所有的哈密顿图。本文提出的必要条件计算公式，既 可以处理已知的仅有的连通分支数必要条件和Grinberg必要条件能处理的情况，也可以 处理他们不能处理的情况，是目前为止效率最好的一个必要条件。此外，该必要条件计 算公式，既可以处理平面图，也可以处理非平面图。当处理平面图时，Grinberg公式是 本文公式的特殊形式。即本文公式是Grinberg公式的推广形式。 2. 哈密顿图的充分条件基本上都是涉及连通性和独立性，都是试图确保将图中的 边尽量“分散”开，从而达到减少边数也能确保哈密顿环的存在。在其证明的过程中， 都是直接寻找到一个哈密顿环。与这些条件采用的证明方法不同，Erdös 的充分条件使 I 用边数的界函数，求出最大非哈密顿图的边数。这个边数揭示了非哈密顿图的数值特征。 通过案例分析，发现了Erdös 条件的不足，研究了违反Chvátal 充分条件的非哈密顿图 的特征，寻找了新的“最大”非哈密顿图的边数的界函数。采用数学分析极值法，获得 了非哈密顿图的一个边数最大值。这个边数最大值证明并修正了Erdös充分条件，给出 了更小的界。同时，也推导出n个顶点、最小度为k的最大非哈密顿图仅有两种类型。 3. C 设计了基于充分必要条件的哈密顿环问题的判定算法，使用 语言编程实现了 该算法的仿真研究，并和他人的算法进行了对比分析。由于染色体编码具有可拼接/可 分解的特征，因此该算法在搜索哈密顿环的过程中，会自适应地调节搜索方向，朝着生 成哈密顿环或最大长度环的方向前进。此外，由于充分必要条件有效地限定了找到可行 解的搜索范围，从而避免了边选择的全排列组合的穷尽搜索，因此该算法是效率非常高 的穷举型搜索算法，即使在最坏情况下也能获得良好的表现，不是输入规模的指数阶或 O( × ×nsc k-1) 阶乘阶的函数。通过算法分析，得到以下结论：空间复杂度为 n am max ，时间 复杂度最坏为O(n×am×nsc k-1)。这里，am为初始种群大小，nsc 为每次迭代中成功 max max 合并的基本圈的选择方案数的最大值，k为生成最大长度基本圈时成功合并基本圈的迭 代次数。它们都与基本圈的数