ladners_theorem (231B)
1 # Ladner's theorem 2 3 If [ptime] \neq [nptime] then there is a problem in [nptime] [setminus] [ptime] which is not [np_complete] 4 5 See also: [diagonal_argument], [np_complete], [np_intermediate] 6 7 Up: [theorem] about [np_intermediate]