Fagin定理24中k值的求解
计算复杂性
2016-10-20 v4 计算机科学中的逻辑
摘要
通过使用分析性多逻辑表达式与非确定性图灵机相结合，证明了多项式时间复杂度的确定性图灵计数器机算法可以降阶为非确定性图灵计数器机中的线性时间复杂度算法。此外，研究表明，对于字符串识别，通过从确定性图灵机切换到非确定性图灵机，将多项式时间复杂度降阶为线性时间复杂度，意味着P等于NP。使用高阶逻辑的分析生成函数来求解Fagin定理24中的k值。
引用
@article{arxiv.1012.5804,
title = {Finding of k in Fagin's R. Theorem 24},
author = {Algirdas Antano Maknickas},
journal= {arXiv preprint arXiv:1012.5804},
year = {2016}
}