NP

最新推荐文章于 2024-08-29 02:16:37 发布

zhoujunr1

最新推荐文章于 2024-08-29 02:16:37 发布

阅读量322

点赞数

CC 4.0 BY-SA版权

分类专栏：数据结构

本文链接：https://blog.youkuaiyun.com/zhoujunr1/article/details/77477455

数据结构专栏收录该内容

19 篇文章

订阅专栏

deterministic
P
NP
NP-complete problems
- - reducibility of algorithm
- NP-complete

NP (for nondeterministic polynomial time) is a complexity class used to describe certain types of decision problems.

deterministic

一个 deterministic 的算法，由一连串的步骤唯一地确定，也就是说，给定一个输入，和执行过程中的一步，那么由该算法确定的下一步是唯一的。

In computer science, a deterministic algorithm is an algorithm which, given a particular input, will always produce the same output, with the underlying machine always passing through the same sequence of states. Deterministic algorithms are by far the most studied and familiar kind of algorithm, as well as one of the most practical, since they can be run on real machines efficiently.[wikipedia]

例如：图灵机
图灵机是什么

一个 nondeterministic 的算法，在做决定的时候，可以make a guess，猜一下。

怎么使得一个算法变得 non-deterministic
1. 使用外部变量，例如全局变量，用户输入，随机变量等
2. 它是时间敏感的，例如多处理器同时向一个空间写，结果将取决于顺序
3. 硬件出错

P

一个P问题：使用deterministic algorithms可以在多项式时间内解决

NP

NP: 使用 non-deterministic algorithms可以在多项式时间内解决

Informally, NP is the set of all decision problems for which the instances where the answer is “yes” have efficiently verifiable proofs. More precisely, these proofs have to be verifiable by deterministic computations that can be performed in polynomial time.

NP-complete problems

https://www.zhihu.com/question/27039635

reducibility of algorithm

可以认为各个问题的难度是不同的，表现形式为，如果我可以把问题A中的一个实例转化为问题B中的一个实例，然后通过解决问题B间接解决问题A，那么就认为B比A更难。

A problem P1 is reducible to another problem P2 if there is a way of encod- ing instances x of P1 as instances y = r(x) of P2 using a reduction function r ex- ecuted with a reduction algorithm; that is, for each x, x is an instance of P1 if y = r(x) is an instance of P2.

The reason for the reduction is that if the value r(x) for any x can be found ef- ficiently (in polynomial time), then an efficient solution for y can be efficiently trans- formed into an efficient solution of x. Also, if there is no efficient algorithm for x, then there is no efficient solution for y.