Resource Bounded Immunity and Simplicity

Revisiting the thirty years-old notions of resource-bounded immunity and simplicity, we investigate the structural characteristics of various immunity notions: strong immunity, almost immunity, and hyperimmunity as well as their corresponding simplicity notions. We also study limited immunity and simplicity, called k-immunity and feasible k-immunity, and their simplicity notions. Finally, we propose the k-immune hypothesis as a working hypothesis that guarantees the existence of simple sets in NP.Comment: This is a complete version of the conference paper that appeared in the Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science, Kluwer Academic Publishers, pp.81-95, Toulouse, France, August 23-26, 200

On inefficient special cases of NP-complete problems

AbstractEvery intractable set A has a polynomial complexity core, a set H such that for any P-subset S of A or of Ā, S∩H is finite. A complexity core H of A is proper if H⊆A. It is shown here that if P≠NP, then every currently known (i.e., either invertibly paddable or k-creative) NP-complete set A and its complement Ā have proper polynomial complexity cores that are nonsparse and are accepted by deterministic machines in time 2cn for some constant c. Turning to the intractable class DEXT=∪c>0DTIME(2cn), it is shown that every set that is ⩽pm-complete for DEXT has an infinite proper polynomial complexity core that is nonsparse and recursive