论 Baker-Gill-Solovay 预言机图灵机与相对化壁垒
计算复杂性
2023-11-14 v7
摘要
本工作针对 Baker-Gill-Solovay 预言机图灵机分析了所谓的“相对化壁垒”。我们表明，对角化技术是一种有效的数学证明技术，但在涉及“相对化壁垒”时它有一些前提条件。
引用
@article{arxiv.2112.03677,
title = {On Baker-Gill-Solovay Oracle Turing Machines and Relativization Barrier},
author = {Tianrong Lin},
journal= {arXiv preprint arXiv:2112.03677},
year = {2023}
}
备注
10 pages