第八章-NP完全问题.docVIP

第八章 NP-完全问题 §1 关于问题及算法的描述 为了应用算法复杂性理论，首先要对问题、问题的一般描述、计算模型、算法、算法的复杂性给出严格的定义。但在给出精确定义之前，我们先回顾一下有关概念的粗略解释。 所谓一个问题(problem)是指一个有待回答、通常含有几个取值还未确定的自由变量的一个一般性提问(question)。它由两部分构成：一是对其关于参数的一般性描述；二是对该问题的答案所应满足的某些特性的说明。而一个问题的某个实例则可通过指定问题中所有参数的具体取值来得到。以下用表示某个问题，用表示其实例。 旅行商问题的参数是由所需访问城市的一个有限集合和中每对城市之间的距离所组成。它的一个解是对所给城市的一个排序 使得该排序极小化下面表达式（目标函数）的值 旅行商问题的一个实例是通过指定城市的数目，并指定每两个城市之间的具体距离而得到的。例如： ， 就是旅行商问题的一个实例，这个实例的一个最优解是排序，因为四个城市的这个排序所对应旅行路线是所有可能环游路线中长度最小的，其长度为27。 目前广泛采用的描述问题的方法主要有两种：一是将任一问题转化为所谓的可行性检验问题(feasibility problem)；二是把问题转化为判定问题(decision problem)。实际中几乎所有问题