31 research outputs found

    A Second Step Towards Complexity-Theoretic Analogs of Rice's Theorem

    Get PDF
    Rice's Theorem states that every nontrivial language property of the recursively enumerable sets is undecidable. Borchert and Stephan initiated the search for complexity-theoretic analogs of Rice's Theorem. In particular, they proved that every nontrivial counting property of circuits is UP-hard, and that a number of closely related problems are SPP-hard. The present paper studies whether their UP-hardness result itself can be improved to SPP-hardness. We show that their UP-hardness result cannot be strengthened to SPP-hardness unless unlikely complexity class containments hold. Nonetheless, we prove that every P-constructibly bi-infinite counting property of circuits is SPP-hard. We also raise their general lower bound from unambiguous nondeterminism to constant-ambiguity nondeterminism.Comment: 14 pages. To appear in Theoretical Computer Scienc

    On the structure of intractable sets

    Get PDF
    There are two parts to this dissertation. The first part is motivated by nothing less than a reexamination of what it means for a set to be NP-complete. Are there sets in NP that in a mathematically meaningful sense should be considered to be complete for NP, but that are not NP-complete in the usual sense that every set in NP is ≤q[subscript]spmP-reducible to it? We define a noneffective binary relation that makes precise the notion that the complexity of A is polynomially related to the complexity of B, This relation yields new completeness and hardness notions for complexity classes, and we show that there are sets that are hard for NP that are not NP-hard in the usual sense. We also show that there are sets that must be considered to be complete for E that are not even ≤q[subscript]spTP-complete for E;In a certain way, hardness and completeness with respect to the relation we define is related to the notion of almost everywhere (a.e.) complexity, and so we initiate this study by first investigating this notion. We state and prove a deterministic time hierarchy theorem for a.e. complexity that is as tight as the Hartmanis-Stearns hierarchy theorem for infinitely often complexity. This result is a significant improvement over all previously known hierarchy theorems for a.e. complex sets. We derive similar, very tight, hierarchy theorems for sets that cannot be a.e. complex for syntactic reasons, but for which, intuitively, a.e. complex notions should exit. Similar results are applied to the study of P-printable sets and sets of low generalized Kolmogorov complexity;The second part of this study deals with relativization. Does the fact that DTIME(O (n)) ≠ NTIME(n) help in leading us to a proof that P ≠ NP? Does one imply the other? We seek evidence that this is a hard . We construct an oracle that answers this question in the affirmative, and we construct an oracle that answers this question in the negative. We conclude that the result that DTIME(O (n)) ≠ NTIME(n) does not imply P ≠ NP by recursive theoretic techniques;Finally, we study the relationships between P, NP, and the unambiguous and random time classes UP, and RP. Questions concerning these relationships are motivated by complexity issues to public-key cryptosystems. We prove that there exists a recursive oracle A such that P[superscript]A ≠ UP[superscript]A≠ NP[superscript]A, and such that the first inequality is strong, i.e., there exists a P[superscript]A-immune set in UP[superscript]A. Further, we constructed a recursive oracle B such that UP[superscript]B contains an RP[superscript]B-immune set. As a corollary we obtain P[superscript]B ≠ RB[superscript]B≠ NP[superscript]B and both inequalities are strong. By use of the techniques employed in the proof that P[superscript]A≠ UP[superscript]A≠ NP[superscript]A, we are also able to solve an open problem raised by Book, Long and Selman
    corecore