Adaptive versus nonadaptive queries to NP and P-selective sets

被引:3
|
作者
Naik, AV
Selman, AL
机构
[1] Viewlog Syst Inc, Cupertino, CA 95014 USA
[2] SUNY Buffalo, Dept Comp Sci, Buffalo, NY 14260 USA
基金
美国国家科学基金会;
关键词
p-selective sets; nonadaptive reductions; adaptive reductions; function classes; computational complexity;
D O I
10.1007/s000370050026
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We prove that P = NP follows if for some k > 0, the class PFttNP of functions that are computable in polynomial time by nonadaptively accessing an oracle in NP is effectively included in PFNP[k[log n]-1], the class of functions that are computable in polynomial time by making at most k[log n] - 1 queries to an oracle in NP. We draw several observations and relationships between the following two properties of a complexity class C: whether there exists a truth-table hard p-selective language for C, and whether polynomially-many nonadaptive queries to C can be answered by making O(log n)-many adaptive queries to C tin symbols, whether PFttC subset of or equal to PFC[O(log n)]). Among these, we show that if there exists an NP-hard p-selective set under truth-table reductions, then PFttNP subset of or equal to PFNP[O(log n)]. However, if C superset of or equal to ZPP(NP), then these two properties are equivalent.
引用
收藏
页码:169 / 187
页数:19
相关论文
共 50 条