arXiv 1005.20052010-05-12math.LO

nested PLS

Toshiyasu Arai

发表信息：: Archive for Mathematical Logic vol.50(2011), pp. 395-409

英文摘要：

In this note we will introduce a class of search problems, called nested Polynomial Local Search (nPLS) problems, and show that definable NP search problems, i.e., $Σ^b_1$-definable functions in $T^2_2$ are characterized in terms of the nested PLS.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。