当前位置:
X-MOL 学术
›
arXiv.cs.CC
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Postulate-based proof of the P != NP hypothesis
arXiv - CS - Computational Complexity Pub Date : 2020-11-04 , DOI: arxiv-2011.02868 O.V.German
arXiv - CS - Computational Complexity Pub Date : 2020-11-04 , DOI: arxiv-2011.02868 O.V.German
The paper contains a proof for the P != NP hypothesis with the help of the
two "natural" postulates. The postulates restrict capacity of the Turing
machines and state that each independent and necessary condition of the problem
should be considered by a solver (Turing machine) individually, not in groups.
That is, a solver should spend at least one step to deal with the condition
and, therefore, if the amount of independent conditions is exponentially
growing with polynomially growing problem sizes then exponential time is needed
to find a solution. With the postulates, it is enough to build a natural (not
pure mathematical) proof that P != NP.
中文翻译:
P != NP 假设的基于假设的证明
该论文包含在两个“自然”假设的帮助下对 P != NP 假设的证明。这些假设限制了图灵机的容量,并指出问题的每个独立和必要条件应由求解器(图灵机)单独考虑,而不是成组考虑。也就是说,求解器应该至少花费一个步骤来处理条件,因此,如果独立条件的数量随着多项式增长的问题规模呈指数增长,则需要指数时间来找到解决方案。有了这些假设,就足以建立一个自然的(不是纯数学的)证明 P != NP。
更新日期:2020-11-06
中文翻译:
P != NP 假设的基于假设的证明
该论文包含在两个“自然”假设的帮助下对 P != NP 假设的证明。这些假设限制了图灵机的容量,并指出问题的每个独立和必要条件应由求解器(图灵机)单独考虑,而不是成组考虑。也就是说,求解器应该至少花费一个步骤来处理条件,因此,如果独立条件的数量随着多项式增长的问题规模呈指数增长,则需要指数时间来找到解决方案。有了这些假设,就足以建立一个自然的(不是纯数学的)证明 P != NP。