×
简·克拉契克;阿兰·斯凯利;尼尔·萨彭

有界算法低片段中的NP搜索问题。 （英语） Zbl 1118.03051号

J.塞姆。日志。 72，第2号，649-672（2007）.
本文研究了一些有界算法片段的（所有Sigma^b_1）-结果（即可定义的NP搜索问题）。根据反射原理或归纳公理的Herbranding化，（Sigma^b_1（T^i_2））对（i\geq2）的已知表征是相当人为的，并且缺乏直接的组合吸引力，这对于分离理论和其他应用很有用。作者提供了在（T^2_2）和（T^3_2）中定义的NP搜索问题的几个组合描述。具体地说，（Sigma^b_1（T^2_2））的特征是被称为有色PLS的多项式局部搜索问题（PLS）的泛化，在简洁表示中指数长分辨率证明的反射原理，或所谓可验证递归（VR）程序的总体声明\（Sigma^b_1（T^3_2））的特点类似于罗马的反射原理{PK}_1=R（n）\）证明系统，或VR-寿命问题的变体。
审核人：埃米尔·杰亚贝克（普拉哈）

引用于18文件

MSC公司：

30楼03号 一阶算法和片段
20层03 证明的复杂性

关键词：

有界算术;搜索问题;分辨率
PDF格式BibTeX公司 XML格式引用
\textit{J.Krajíck}等人，J.Symb。日志。72，第2号，649--672（2007；Zbl 1118.03051）
全文： 内政部 链接

参考文献：

[1] 计算机与系统科学杂志48页498–532–（1994）
[2] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36第29–46页–（1990）
[3] 第31届IEEE计算机科学基础研讨会论文集II pp 794–801–（1990）
[4] 《数理逻辑季刊》50页577–586–（2004）
[5] 《纯粹与应用逻辑年鉴》75页，第79–88页–（1995）
[6] 第七届ACM计算理论年会会议记录第83–97页–（1975）
[7] 数学逻辑档案38第123–138页–（1999）
[8] 有界算术和搜索问题中的见证函数63 pp 1095–1115–（1998）
[9] 伦敦数学学会会刊69第1–21页–（1994）
[10] 有界算术（1986）
[11] 《计算机与系统科学杂志》57页，第3-19页，1998年
[12] 计算机与系统科学杂志，64页，843–872–（2002）·Zbl 1051.03049号
[13] 《数学与人工智能年鉴》第6卷第107–126页（1992年）
[14] 随机结构和算法7 pp 15–39–（1995）
[15] 《数学基础》170第123–140页（2001年）
[16] 恒深命题证明的大小下限59 pp 73–86–（1994）·Zbl 0798.03056号
[17] 《计算机与系统科学杂志》37页79–100页–（1988年）
[18] 《数学逻辑》第48季第375–377页–（2002年）
[19] 计算机科学与逻辑学报553 pp 308–312–（1992）
[20] 计算复杂性3第97–308页（1993）
[21] 鸽子洞原理的可证明性和无限多素数的存在性53 pp 1235–1244–（1988）
[22] 内政部：10.1007/BFb0075316·doi:10.1007/BFb0075316
[23] 第20届ACM计算理论研讨会，第229–234页，1988年
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。