复杂性理论的逻辑强度及有界算术中的 PCP 定理形式化
逻辑
2017-01-11 v2 计算复杂性
摘要
我们提出了计算复杂性中若干定理在有界算术中的已知形式化，并在 PV1 理论中形式化了 PCP 定理（此前尚无该定理的形式化）。这包括在 PV1 中对 (n,d,{\lambda})-图的存在性及其部分性质的形式化。
引用
@article{arxiv.1412.3246,
title = {Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic},
author = {Ján Pich},
journal= {arXiv preprint arXiv:1412.3246},
year = {2017}
}