计算复杂性5之P、NP、NP-hard、NP-complete

目录：
1.P NP NP-hard NP-complete的相关概念
2.多项式时间规约
3.三类常见的NP-c问题的规约

1.P、NP、NP-hard、NP-complete问题

P：在确定性图灵机上多项式时间可解的判定性问题（decision problem）
NP：在非确定图灵机上多项式时间可解的判定性问题
NP-hard：任何的NP类问题都可以在多项式时间规约到NP-hard类问题
NP-complete：即是NP-hard问题，又是NP问题

2.多项式时间规约

3.三类常见的NP-complete问题的规约

3.1 SAT（Satisfiability）问题（可满足性问题）
	给定一个合取范式F，判断它（F）是否可满足（是否存在一组取值使得F=1）

3.2 IS（independent set）问题 （独立集问题）
	给定一个图G，和一个正整数k，判断它能否找到k个顶点的独立集

3.3 VC（vertex cover）问题（点覆盖问题）
	给定一个图G，和一个正整数k，判断它能否找到k个顶点的点覆盖

3.3 SAT----->IS

解释：