Cook理论PV中电路上界不可证明性
逻辑
2017-02-15 v3 计算复杂性
摘要
我们无条件地确立，对于每个整数，存在语言使得它与Cook理论PV一致，即。我们的论证是非构造性的，并且不提供该语言的显式描述。
引用
@article{arxiv.1605.00263,
title = {Unprovability of circuit upper bounds in Cook's theory PV},
author = {Jan Krajicek and Igor C. Oliveira},
journal= {arXiv preprint arXiv:1605.00263},
year = {2017}
}