哈密顿图判定问题的多项式时间算法.pdfVIP

哈密顿图判定问题的多项式时间算法 姜新文 等** （） Abstract: 本文给出一个称为问题的定义及其多项式时间判定算法。已经证明包括哈密顿图判定问题在 内的众多完全问题可以多项式归结到问题。问题的多项式时间判定算法就是完全问题的多项 式判定算法。本文结果暗示。本文涉及的内容属于简单的图论问题算法设计的入门性范畴，被计算 机、数学和信息安全等类专业本科以上知识背景覆盖。相关专业本科甚至专科以上学生通过适当求教算法 设计、计算复杂性、图论、运筹学和密码算法相关教师和权威可以阅读本文。 Key words: Algorithm, problem, problem, complete problem 1 问题引入及若干定义 哈密顿图判定问题是完全问题。为了求解该问题，我们需要对问题进行转化。为缩短证明长度，以 分段确认，分割围歼，综合众多意见，我们提出问题，并将注意力集中在问题多项式时间判定上。 算法是一堆动作的有序集合。为一个问题设计算法是容易的，将一些动作凑在一起即可。设计算法的 困难性和严肃性在于，你的算法是否实现了你的计算目标？于是需要证明。而如何证明常常让人无从着手。 问题是一个人工构造的问题，它的特别的结构特性，使我们容易找到时间复杂性为关于问题规模 的多项式函数算法并证明其正确性。该问题的定义已经可以在很多文章中查到。为了本文的完整性，我们 首先转述对问题的定义。 定义1 称,,,,是加标多级图(labeled multistage graph)，如果满足以下条件： 1. 为顶点集合， ∪ ∪ ∪⋯∪ ， ∩ ∅，0,，。如果∈，0， 称所在级为级，也称是级的顶点。 称为的级。 2. 为边的集合，中的边均为有向边，它用三元组 〈,,〉 表示。如果〈,, ∈〉 ，1，则∈ ， ∈。称 〈,,〉为的第l 级的边。 3. 和都只包含唯一顶点。称 中的唯一顶点为源点，记为，称 中的唯一顶点为汇点，记为。 4. 对每个顶点∈，都有一个边集()作为标记，()⊆ 。称()为的边集。 例如，图1所示的两个图，都是加标多级图。各个顶点的边集的一组可能的取值定义如下。对左边的图， ( ) ( ) ( ) ( ) ( ) ( ) 1 ， 2 ， 3 , , , ， 4 , , ， 5 , , ， 6 , , , ， ( ) ( ) ( ) ( ) ( ) ( ) 7 ， 8 , , , ， , , , , 。对右边的图, 1 ∅， 2 ∅， 3 ∅， ( ) ( ) ( ) ( ) ( ) 4 , , ， 5 , , ， 6 , , ， 7 (7) , , , ， 8 , , , ， ( ) ∅。 定义2 设,,,,是一个加标多级图， ⋯ ⋯ (1， )是中一 ** Please visit /u/1423845304 for revision information