In this article, we discuss the question of whether P equals NP, we do not follow the line of research of many researchers, which is to try to find such a problem Q, and the problem Q belongs to the class of $\mathcal{NP}$-complete, if the problem Q is proved to belong to $\mathcal{P}$, then $\mathcal{P}$ and $\mathcal{NP}$ are the same, if the problem Q is proved not to belong to $\mathcal{P}$, then $\mathcal{P}$ and $\mathcal{NP}$ are separated. Our research strategy in this article: Select a problem S of $\mathcal{EXP}$-complete and reduce it to a problem of $\mathcal{NP}$ in polynomial time, then S belongs to $\mathcal{NP}$, so $\mathcal{EXP} = \mathcal{NP}$, and then from the well-known $\mathcal{P} \neq \mathcal{EXP}$, derive $\mathcal{P} \neq \mathcal{NP}$.
翻译:暂无翻译