On simple and creative sets in NP (Q1099614): Difference between revisions

Two structurally defined types of NP-sets are studied. k-simple sets are defined and shown to exist in NP. Other properties of these sets are investigated. k-creative sets, as previously defined by \textit{D. Joseph} and \textit{P. Young} [ibid. 39, 225-237 (1985; Zbl 0597.68042)], are next considered. A new condition is given which implies that a set is k- creative. Several previously considered NP-complete sets are proved to be k-creative.