关于 P 与 NP 问题：不等性的证明
计算复杂性
2018-02-16 v1
摘要
本文的分析基于一个著名的 NP 完全问题，即可满足性问题（SAT）。由 SAT 导出一个新的 NP 完全问题，其由一个称为核心函数的布尔函数描述。本文证明了核心函数的最小实现代价随 n 呈指数增长。由于核心函数的综合是一个 NP 完全问题，该结果等价于证明 P 与 NP 不重合。
引用
@article{arxiv.1802.05484,
title = {On the P vs NP question: a proof of inequality},
author = {Angelo Raffaele Meo},
journal= {arXiv preprint arXiv:1802.05484},
year = {2018}
}