关于NP的一些推论

用户名

这是我在这个网站上的第一个问题。

我最近正在研究NP。我对此主题有些困惑,想提出我的推论并验证我。

I)每个NP问题都可以在指数时间内解决。

II)如果P = NP,则NP = NP完全。

III)分解为2个素数因子的问题是NP。

IV)如果问题X可以简化为已知的NP-HARD问题,则X必须是NP-HARD。

任何人都可以验证我的推论并了解我?‌

什么

I)每个NP问题都可以在指数时间内解决。

是的,这是因为它可以在非确定性机器(NP的定义)上在多项式时间内求解,因此可以在确定性机器上以指数时间求解。

II)如果P = NP,则NP = NP完全。

是的,因为如果P = NP,则所有NP问题的“是”和“否”答案都相当容易实现,因此针对“是”问题运行多项式时间算法,然后像这样回答。假设存在这样的多项式时间机器,结果总是正确的,并且以多项式时间运行。

III)分解为2个素数因子的问题是NP。

是的。给定一个数字及其素因分解-可以很容易地验证这是否是正确的答案(这是NP中问题的等效定义)。

IV)如果问题X可以简化为已知的NP-HARD问题,则X必须是NP-HARD。

不,应该相反。您需要将一个已知的NP-Hard问题简化X,然后可以X标记为NP-Hard。
记住NP中的每个问题都会归结为SAT(Cook Levin定理),而P!= NP-Complete(或者至少我们认为)

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章

来自分类Dev

关于NP的一些推论

来自分类Dev

关于引发异常的一些困惑

来自分类Dev

关于setMnemonic的一些问题

来自分类Dev

关于扩展方法的一些理解

来自分类Dev

关于CSS溢出的一些困惑

来自分类Dev

关于优化器的一些知识

来自分类Dev

关于FASM的一些问题

来自分类Dev

关于sipp的一些问题

来自分类Dev

关于泛型的一些困惑

来自分类Dev

关于nohup的一些困惑

来自分类Dev

关于 matplotlib.pyplot.matshow 和 np 矩阵对象的一些相关问题: plotting "None"/"nan", and x axis offset

来自分类Dev

一些std :: make_pair的怪异行为,带有string_view的推论

来自分类Dev

关于“一对多”关系的一些困惑

来自分类Dev

关于“一对多”关系的一些困惑

来自分类Dev

关于Redigo和并发的一些问题

来自分类Dev

关于余弦相似度的一些问题

来自分类Dev

关于数据包的一些困惑

来自分类Dev

关于PHPExcel图表的一些问题

来自分类Dev

需要一些关于日期和文化的建议

来自分类Dev

关于C ++中的数组的一些问题

来自分类Dev

关于指针作为数组有一些疑问吗?

来自分类Dev

木筏:关于只读查询的一些问题

来自分类Dev

java关于一些使用问题?“超级水果”

来自分类Dev

一些关于Rust内存顺序的困惑

来自分类Dev

关于体积渲染的一些新手问题

来自分类Dev

关于“ su-”和“ su”的一些困惑

来自分类Dev

关于/ dev / fd / 3的一些特别之处

来自分类Dev

关于剑道网格数据绑定的一些困惑

来自分类Dev

关于指针作为数组有一些疑问吗?