 The issue of the existence of such problems has been framed as the possible equivalence of the class P of decision problems that can be solved in time polynomial to the input to the class NP of problems for which the solution can be checked in time polynomial to the input. (Garey &amp; Johnson 1979; see also Cook 2000  [OIR]  for a good introduction.) 