不是一个“纯粹的”编程问题,但由于它深入参与编程理论,我认为最好在这里提问。
关于P NP问题,摘自http://en.wikipedia.org/wiki/P_versus_NP_problem:“实质上,问题P = NP?问:假设对是或否问题的肯定答案可以快速验证。然后,答案是否可以他们自己也会很快计算出来?“
我想知道,验证答案的速度与生成解决方案的速度有什么关系?
答案 0 :(得分:5)
假设你有很大的并行性 - 无论你想要多少。然后,您可以同时生成所有可能的解决方案,检查哪些是正确的,并输出正确的解决方案。在存在无限并行性的情况下,这是一种生成解的方法。 NP中的一组问题是这个程序可以快速运行的问题,因为它执行的唯一有趣的计算步骤是检查解是否正确,并且这可以有效地解决NP中的问题。请注意,对于其他一些问题,即使这种并行性也不允许我们快速找到解决方案,因为它要求检查解决方案很容易。
但我们没有无限的并行性。我们能以某种方式模拟它,只有多项式的开销吗?如果是这样,我们可以想象运行上述过程,并有效地为每个问题找到解决方案,以便进行验证。这是P与NP的问题。
直观地,似乎很清楚答案是“不”(即P!= NP)。我们怎么可能模拟无限的并行性?几乎每个专家都相信这一点。但如何证明它是一个谜,一个价值100万美元的奖金。
答案 1 :(得分:3)
基本上,在NP的集合或非确定性多项式时间问题中,答案可以在多项式时间内得到验证。问题是在多项式时间内是否所有这些问题都可以确定。
如果P = NP为真,并且发现了许多难以解决但易于验证解决方案的问题,例如证据,就像验证一样容易解决。
答案 2 :(得分:2)
让我们假设我被魔术师解决了一个“硬”问题,我可以很容易地验证这个解决方案是否正确。但是,我可以轻松地自己计算这个解决方案吗? (多项式时间)
这正是问题所在。
答案 3 :(得分:1)
它可能相关也可能不相关。
人们关心NP问题,因为我们希望能够一直快速地解决这些问题,但到目前为止我们还没有找到快速解决问题的方法。我们想知道是否有快速解决方法,或者我们是否应该放弃尝试。
答案 4 :(得分:1)
答案 5 :(得分:0)
他们是否相关是Claypool基金会的“千年问题”之一,并且他们将给予提供适当证据的人一百万美元,这些证据可以在几年的激烈考试中坚持下去。
问题的类型与它们看起来更相关,因为NP问题的另一个定义是可以使用任意并行计算机有效解决的问题。
真正引起人们兴趣的一件事是缺乏证据。有类似问题的证据,但不是这个。这会引起人们的兴趣,特别是数学家,因为证据可能会带来很多其他事物的洞察力。这显然是佩雷尔曼证明庞加莱猜想的另一个千年问题。
另一个问题是这可能带来的影响。目前,很少有人相信有一种解决NP完全问题的有效方法,因此发现P!= NP几乎没有实际影响。发现解决NP完全问题的有效方法将使许多计算机科学发生革命性的变化。它会使很多事情变得更容易,并且会通过简化解密来破坏加密技术。
答案 6 :(得分:0)
P
是可由确定性图灵机在多项式时间内计算的所有语言的类。现代计算机非常像确定性图灵机,除了图灵机基本上具有无限存储器。出于实际目的,这种区别通常被忽略。
NP
是所有语言的类,可以通过非 -deminministic车床在多项式时间内计算出来。非确定性图灵机与任何真实设备都不对应。
计算复杂性的一个基本事实是NP
等同于P
验证问题的语言类。实际上,NP
有时被定义为此类;这两个定义是可以互换的,验证定义的好处是与现实世界中的确定性图灵机类计算机直接相关。
所以NP
是在“真实”机器上的多时间可验证的问题类别,并且在非常相似的理论机器上可以在多时间内解决。因此,可解决性和可验证性问题是相互关联的。
现在,大多数计算机科学家认为P
和NP
不等同于也就是说,存在可由非确定性图灵机在多时间计算的语言,但不存在由确定性图灵机可计算的语言,或者等效于由确定性图灵机在多时间内无法解决但可在多时间验证其解决方案的语言通过确定性的图灵机。
答案 7 :(得分:0)
虽然这里没有直接关系。可能有直观的感觉,验证答案比生成答案更容易,因为任何一代的一部分都是确保答案是正确的。因此,人们可以采用强力方法来尝试不同的解决方案,但这往往导致超出P的指数复杂性,或者这是我多年前从复杂性类中回忆的。
答案 8 :(得分:0)
不,P=/NP。
答案是 Co-NP-Asymmetric-Partially-Complete
在我的网站上查看我的完整答案:
Singularitariantechnologies.wordpress.com
基本上总结一下您的问题的答案,答案是否定的,通常,除非在 P=NP 的情况下,因此 co-np-不对称部分不完整/完整答案。
为此,我使用 Google.com 作为数据库,它可以在多项式时间内为我提供经过验证的答案,然后我想看看答案是否可以根据多项式的最佳公理约简计算得出,该多项式由指数项组成并且本质上,答案是如果有两个以上的变量(在这种情况下是指数),答案是不可计算的,即使我们知道经过验证的答案是什么。
显然,这让黑帽黑客别无选择,因为未来的加密算法不会那么简单。此外,这在技术上只是 P=NP 的一个实例,因为从公理上讲,多项式必须由多个项组成,因此 P=/=NP iff variables >=3 和 P=NP iff variables <= 2。
在我的网站或 Google Drive 上阅读我的完整文档,我还提供了一个电子表格链接,指向我在singularitariantechnologies.wordpress.com 上的工作
这实际上意味着什么?将来不会有黑帽黑客攻击,即使您考虑通过模 2 公理减少加密攻击的尝试,它也不适用于高级加密(复杂的多项式加密,有一些警告和花里胡哨的方法)甚至尝试破解密码或其任何加密数据都更加困难..)