第二章P类16k.docVIP

第二章　P类、NP类及NPC类 在计算机科学发展进程中，自从上个世纪七十年代初库克（S.Cook）首次提出NP（nondeterministic polynornial）完全性概念以来，在理论和实践上，人们发现了成千上万的NP完全问题。至今尚未找到解答这类问题的多项式时间算法。一旦有一个NP完全问题有多项式时间算法，则所有NP完全问题都有多项式时间算法。因此人们猜想NP完全问题不存在多项式时间算法，但至今无人能证明它。在三十多年的时间里，计算机科学和智能科学虽然都有很大发展，但这类NP完全问题的难解性仍然深深困扰着它们的研究进程。本章我们讨论NP完全性理论，这是计算机算法研究中最重要的理论结果。对从事计算机科学技术的研究人员有着重要的指导意义。 2.1 问题与算法 当用计算机解题时，首先需要设计出解决有关问题的算法（algorithm）。在计算机科学中，所谓问题（problem），是一个要求给出解答的一般性提问。它由两个要素组成，第一个要素是描述所有参量，称之为实例；第二个要素是陈述解答应当满足的性质，称之为询问。 所谓算法是一个过程，这个过程是若干语句的集合。而每个语句都由明确指定操作顺序的规则构成。只要按照规则一步步地执行这些语句，便可求出问题的解答。 定义2-1 算法是一步一步求解问题的通用程序。 　　 通常算法被认为是确定的，即当输入相同时，不论何时执行该算法，其输出都将是完全相同的，人们熟知的图灵机便是在这样一种假设下构造的计算模型。计算机程序可以看成是算法的描述形式。在本书中不至于引起混淆处，常常将程序和算法两个词混用。如果一个算法能应用于问题的任何实例，并保证得到解答，那么称这个算法解答了该问题。问题的实例又称为算法的输入，而问题的询问又称为算法的输出。通常，问题的两个要素又称为输入和输出。 问题就形式而言可以分成两类，其中一类是优化问题，要求从其可行解集合中搜索出最优解；另一类是判定问题，要求其解答或者为“YES”或者为“NO”。下面给出货郎问题（TSP）的两种形式： 货郎问题的优化形式： 实例：有限城市集合及任意两个城市之间的距离，其中。 询问：求C中城市的排列使得，其中是1,2,…,m的一个全排列。 货郎问题的判定形式： 实例：有限城市集合及任意两个城市之间的距离，其中，以及界值。 询问：求C中城市的排列使得，其中是1,2,…,m的一个全排列。 从这里可以看出如何将一个优化问题转化为相应的判定问题，而且判定问题不比相应的优化问题难解。 当然除上述问题的两种形式外，还有求值问题、计数问题等形式。从可计算性理论看，又将问题分成两大类：一类是可解类（递归函数类），另一类是不可解类。我们所涉及到的问题均属于可解类，即问题本身存在解答它们的算法。 给定一个问题，解答它的算法一般是不唯一的，算法的时间复杂性也会不同。从时间复杂性观点看，算法大体上可分成两类：多项式时间算法和指数时间算法。所谓多项式时间算法，是指该算法的时间复杂性函数，其中n是问题的输入长度，P是n的多项式函数；所谓指数时间算法是指该算法的时间复杂性函数写不成的形式。对算法这样分类是很有意义的，见图1-4，各种不同的时间复杂性函数的算法，对于问题输入长度n取不同值，运行所需时间差别非常大。人们通常将多项式时间算法称为好算法或有效算法，称能用有效算法解答的问题为易解的。而将找不出有效算法的问题（包括从理论上证明找不到有效算法和虽然未被证明但至今找不到有效算法的问题）称之为难解的。例如，货郎问题就是难解的。 2.2 确定型图灵（Turning）机与P类 研究可解问题类的难易性是计算复杂性理论的课题。这涉及到问题复杂性的形式定义。为此，我们引进确定型单带图灵机作为计算模型。确定型单带图灵机构造如下图。 … 　-4 -3 -2 -1 0 1 2 3 4 … …… …… ↑读写头 有限状态控制器 图2-1 确定型单带图灵机 DTM 是由有限状态控制器、读写头和一条带组成。在这条带上分成无限多个方格，顺序标记着……， -2，-1，0，1，2， ……。 一个DTM程序由三部分组成： 有限带符号集合，其中是输入符号集，b是空白符号。 有限状态集合,其中是起始状态，是停机状态。 转换函数,其中 表示读写头左移一格；S表示读写头不动；R表示读写头右移一格。转换函数可写成：，其中。 将问题的实例输入DTM后，经过DTM程序的运行，可输出其解答。 定义2-2 如果把问题л的任意实例I输入给DTM，都能经过DTM程序的有限步计算到达停机状态，则称问题л是图灵可计算的，否则称为图灵不可计算的。