有理由相信


27

似乎许多人相信,部分原因是因为他们认为分解不是多项式可解的。(Shiva Kintali 在这里列出了其他一些候选问题)。PNPcoNP

另一方面,Grötschel,Lovász和Schrijver写道:“许多人认为。可以在几何算法和组合优化中找到该报价 Schrijver在组合优化中也做出了类似的陈述:多面体和效率这张图片清楚地说明了杰克·埃德蒙兹(Jack Edmonds)在这个问题上的立场。P=NPcoNP

有什么证据支持一个信念,?或支持P = Ñ P Ç ö Ñ PPNPcoNPP=NPcoNP


定义“原因”。确实没有证据表明一种或另一种方式。这不是可以通过实验进行测试的东西。直到我们有一个证明的一种方式或其他的,唯一的“有理由相信”这是直觉,要么在一些问题不是多项式,或某些直觉,他们都是。NPcoNP
jmite


1
许多相同的aaronson想法都适用。不同意jmite。有很多环境证据,包括实验证据,其中一些是aaronson列出的。
vzn13年

5
单向排列和自我见证语言的定理3.1 C. Homan和M. Thakur,计算机与系统科学学报,2003年11月,67(3):608-622。[ as .p​​df ]指出P≠UP∩当且仅当(“最坏情况”)单向排列存在时才发生政变。定理3.2回顾了10个其他假设,这些假设已经证明等效于P≠UP∩coUP。
Thomas Klimpel

9
我认为分解∈P比P = NP∩coNP的可能性高很多很多数量级,因此,这当然不是我相信P = NP∩coNP的原因。
彼得·索尔

Answers:


5

单向排列和自我见证语言定理3.1 C. Homan和M. Thakur,计算机与系统科学杂志,67(3):608-622,2003年11月。[ as .p​​df ]指出当且仅当(“最坏情况”)单向排列存在。定理3.2回顾,已被证明是相当于10个进一步假设P ü P Ç Ò ù PPUPcoUPPUPcoUP

同时,我们有充分的理由来猜想。因此,上述定理和猜想结果在强有理由相信P Ñ P Ç Ò Ñ PUPNPPNPcoNP


免责声明:我已将Mohammad Al-Turkistany对我的答案的编辑对该社区Wiki答案进行了移动。他认为,由于人们普遍相信单向排列的存在,因此它可以完美地回答这个问题。我本人还没有充分理解“最坏情况”和“平均情况”单向函数之间的区别,以声称它确实回答了问题。


0

我相信存在非常节省空间的高质量随机数生成器。尽管有这种信念,我通常在代码中使用Mersenne扭曲器,该扭曲器质量高但空间效率不高。空间效率与NP∩coNP之间缺少联系,这只是一种直觉。


让我尝试给出一个理由,说明我认为可以真正有效地模拟/逼近“真实随机性”的原因。我们知道有可能产生对于所有实际目的(包括密码学)都足够随机的伪随机数。我们还知道,在伪随机数生成器的构造中使用(少量固定)大质数很少是一个坏主意。我们从黎曼猜想中知道,几乎所有素数都包含高度随机性,但是我们也知道我们还不能严格证明这一点。

是否有一个直观的解释,为什么质数表现得像随机数?质数是合成数的补数。行为良好的集合的补码通常比原始集合更复杂。合成数字由质数组成,而质数又给该集合带来了一定的复杂性。


背景我曾经试图理解为什么P≠NP是困难的。我想知道,用幂等组近似问题实例的内部对称组是否不会导致“抽象算法”能够看到问题实例的内部结构。但是后来我意识到,即使计算幂等群的结构也包含分解作为特殊情况。n阶循环群的简单子群的问题等同于确定n的素因子。有限幂零群分类包含与图同构有关的更差的子问题。足以说服我这种方法无济于事。但是我的下一步是尝试理解为什么分解很困难,而上面的答案正是我想出的。足以说服我,所以也许对其他人也很有说服力。(那时我还不知道类群或逆半群,它们可能比幂等群更适合于处理内部对称性。不过,为什么这种方法效率不高的论点保持不变。)


2
我不确定这个答案与问题有什么关系。您能详细说明一下吗?
Matthias

@Matthias答案是我相信P≠NP∩coNP的原因。因此,问题可能不在于与问题的关系,而在于如何解释推理。涉及一种形式的数学柏拉图主义,它假定数学结构能够对这个世界上几乎所有存在的事物进行建模或近似。真正的随机性是可能存在的一部分,答案试图解释为什么会有一种直觉,认为这种随机性已经存在于空间有限的环境中,导致P≠NP∩coNP。(对不起,也许我以后会改进/删除此评论。)
Thomas Klimpel

2

@Matthias我在回答中写道:“ ...空间效率与NP∩coNP之间缺少联系,这只是一种直觉...”。我可以尝试详细说明,但是我担心这不会受到欢迎。实际上,我想您宁愿要指向该方向的独立引用,而不是我自己的解释。在复杂性动物园中,我发现,当且仅当P不等于UP∩coUP [ HT03 ] 时,才存在引用结果“最坏情况”的单向排列。该文件在线,但我还没有读过……
Thomas Klimpel
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.