计算复杂性的方案理论方法 II. P和NP在$mathbb{C}$、$mathbb{R}$和$mathbb{Z}$上的分离

摘要:确定二次系统在$ \mathbb{C} $,$ \mathbb{R} $和$ \mathbb{Z} $上的可行性问题需要指数时间。这在BCSS计算模型中将P和NP在这些域/环中区分开来。

作者:Ali c{C}ivril

论文ID:2107.07387

分类:Computational Complexity

分类简称:cs.CC

提交时间:2023-05-10

PDF 下载: 英文版 中文版pdf翻译中