Este trabajo les proporcionó el Premio Turing, por haber presentado un concepto tan fundamental en complejidad computacional.