NEXP更强下界一致性
计算机科学中的逻辑
2025-11-26 v4 计算复杂性
逻辑
摘要
最近，阿特森、布斯和 Mueller 证明了标准复杂性理论猜想 NEXP 不在 P / poly 与相对强的有界算术理论 V^0_2 相容，该理论能够证明复杂性理论的大部分内容。我们注意到，他们的方法可以扩展，以显示更强的猜想 NEXP 不在 EXP / poly 和 NEXP 不在 coNEXP 与更强的理论相容，该理论包括所有真实的通用数码排序句子。
引用
@article{arxiv.2504.03320,
title = {On the consistency of stronger lower bounds for NEXP},
author = {Neil Thapen},
journal= {arXiv preprint arXiv:2504.03320},
year = {2025}
}