Polynomial Terse Sets

Abstract Let A be a set and k ∈ N be such that we wish to know the answers to x1 ∈ A?, x2 ∈ A?, …, xk ∈ A? for various k-tuples 〈x1, x2, …, xk〉. If this problem requires k queries to A in order to be solved in polynomial time then A is called polynomial terse or pterse. We show the existence of both arbitrarily complex pterse and non-pterse sets; and that P ≠ NP iff every NP-complete set is pterse. We also show connections with p-immunity, p-selective, p-generic sets, and the boolean hierarchy. In our framework unique satisfiability (and a variation of it called kSAT is, in some sense, “close” to satisfiability.

[1]  Klaus W. Wagner,et al.  More Complicated Questions About Maxima and Minima, and Some Closures of NP , 1986, Theor. Comput. Sci..

[2]  Mihalis Yannakakis,et al.  The complexity of facets (and some facets of complexity) , 1982, STOC '82.

[3]  Andreas Blass,et al.  On the Unique Satisfiability Problem , 1982, Inf. Control..

[4]  Leslie G. Valiant,et al.  NP is as easy as detecting unique solutions , 1985, STOC '85.

[5]  Jin-Yi Cai,et al.  The Boolean Hierarchy: Hardware over NP , 1986, SCT.

[6]  Yaacov Yesha,et al.  On Certain Polynomial-Time Truth-Table Reducibilities of Complete Sets to Sparse Sets , 1983, SIAM J. Comput..

[7]  Klaus Ambos-Spies Inhomogeneities in the Polynomial-Time Degrees: The Degrees of Super Sparse Sets , 1986, Inf. Process. Lett..

[8]  Klaus W. Wagner More Complicated Questions About Maxima and Minima, and Some Closures of NP , 1987, Theor. Comput. Sci..

[9]  Clyde P. Kruskal,et al.  Searching, Merging, and Sorting in Parallel Computation , 1983, IEEE Transactions on Computers.

[10]  Klaus W. Wagner,et al.  The Difference and Truth-Table Hierarchies for NP , 1987, RAIRO Theor. Informatics Appl..

[11]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[12]  C. Jockusch Semirecursive sets and positive reducibility , 1968 .

[13]  Gerd Wechsung,et al.  On the Boolean closure of NP , 1985, FCT.

[14]  Christos H. Papadimitriou,et al.  The Complexity of Facets Resolved , 1988, J. Comput. Syst. Sci..

[15]  Uwe Schöning,et al.  Complexity and Structure , 1986, Lecture Notes in Computer Science.

[16]  Alan L. Selman,et al.  Analogues of Semicursive Sets and Effective Reducibilities to the Study of NP Complexity , 1982, Inf. Control..

[17]  Nancy A. Lynch,et al.  Comparison of polynomial-time reducibilities , 1974, STOC '74.

[18]  F. R. Drake,et al.  Recursion Theory: its Generalisations and Applications , 1980 .

[19]  R.E. Ladner,et al.  A Comparison of Polynomial Time Reducibilities , 1975, Theor. Comput. Sci..

[20]  Mark W. Krentel The complexity of optimization problems , 1986, STOC '86.

[21]  Klaus Ambos-Spies,et al.  Diagonalizations over Polynomial Time Computable Sets , 1987, Theor. Comput. Sci..

[22]  Marc Snir,et al.  On Parallel Searching , 2011, SIAM J. Comput..

[23]  Alan L. Selman,et al.  Complexity Measures for Public-Key Cryptosystems , 1988, SIAM J. Comput..