HackerPapers

arXiv:2108.09269cs.CC

Separation of P and NP

Reiner Czerwinski

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

There have been many attempts to solve the P versus NP problem. However, with a new proof method, P not equal NP can be proved. A time limit is set for an arbitrary Turing machine and an input word is rejected on a timeout. The time limit goes toward infinity. Due to the halting problem, whether a word is accepted can only be determined at runtime. It can be shown by Rice's theorem, if a finite set of words are to be checked, they all have to be tested by brute force.

arXiv comments
Journal reference
DOI
Subjects
cs.CCComputational Complexity

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Aug 2022 to Aug 2022.

Comments linking this paper, per year.

Discussed in comments1 thread

    • It's difficult to trust self-published, non-peer reviewed papers on arxiv. You can just as easily find papers claiming P=/=NP https://arxiv.org/abs/2108.09269

      dontcontactmeView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.