《Algorithms》第8章：NP完全问题 学习笔记

/*

* 第0~第8章的全部笔记已经整理在 http://zjsblog.com/ALGO/index.html

* Algorithms 是一本很经典的算法入门书，希望对朋友们有所帮助

*/

Chapter 8：NP-完全问题

8.1 一些搜索问题:

搜索问题定义：

一个搜索问题是由一个算法C描述的，以问题实例I和一个可能的解S为输入，运行在关于|I|的多项式时间内。我们说S是I的一个解，当且仅当C(I,S) = true。

可满足性问题（简称SAT）

问题定义：给定一个采取合取范式的布尔公式，为其找到一个可满足赋值或判定该赋值不存在。

eg：

旅行商问题（TSP）

给定n个顶点和两两之间的距离，以及预算b。我们需要确定一条路线，该路线为一个恰好经过每个顶点一次的环，且总的预算不能超过b，否则报告解不存在。

什么情况下，可以一笔画某个图形？

a）该图是连通的

b）除最多两个顶点外，所有顶点上的边数都为偶数

Euler路径的搜索问题如下：给定一个图，寻找一条恰好包含每条边一次的路径。

Rudrata环路搜索问题如下：给定一个图，求一条经过每个顶点恰好一次的环路，或者报告该环路不存在。

整数线性规划（ILP）

在线性规划中，所有的数值必须都是整数。

问题定义：给定A和b，求一个非负整数值向量x，满足不等式Ax<=b，或者报告该解不存在。