# A Proof for P =? NP Problem

Changlin Wan, Zhongzhi Shi

Arxiv ID: 1005.3010•Last updated: 7/2/2020

The P vs. NP problem is an important problem in
contemporary mathematics and theoretical computer science. Many proofs have
been proposed to this problem. This paper proposes a theoretic proof for
P vs. NP problem. The central idea of this proof is a
recursive definition for Turing machine (shortly TM) that accepts the encoding
strings of valid TMs. By the definition, an infinite sequence of TM is
constructed, and it is proven that the sequence includes all valid TMs. Based
on these TMs, the class D that includes all decidable languages and
the union and reduction operators are defined. By constructing a language
Up of the union of D, it is proved that
P=Up and Up=NP, and the result
P=NP is proven.

#### PaperStudio AI Chat

I'm your research assistant! Ask me anything about this paper.