$P$和$NP$的线性相关
摘要：$P\overset{?}{=}NP$或$P$与$NP$的线性相关性问题是计算复杂性理论的核心问题。在本文中，我们提出了一个基于推导矩阵和系统的线性相关性定义，并讨论了$P$和$NP$的线性相关性。我们得出结论：$P$是线性相关的，而存在一个线性无关的$NP$，并以一个属于$NP$的3SAT实例为例，即$P \neq NP$。
作者：Bojin Zheng and Weiwu Wang
论文ID：2303.03958
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-03-08