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.
机构:
Univ Auckland, Dept Comp Sci, Auckland, New Zealand
Isaac Newton Inst Math Sci, Cambridge, EnglandUniv Auckland, Dept Comp Sci, Auckland, New Zealand
Calude, Cristian S.
Calude, Elena
论文数: 0引用数: 0
h-index: 0
机构:
Massey Univ, Inst Nat & Math Sci, Auckland, New ZealandUniv Auckland, Dept Comp Sci, Auckland, New Zealand