Método efectivo

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

Un método efectivo (también llamado procedimiento de decisión o procedimiento efectivo) para una clase de problemas es un método para el cual cada paso en el método puede ser descrito como una operación mecánica y que, si es seguido rigurosamente y, tanto como sea necesario, está limitado a que:

  • siempre da alguna respuesta;
  • siempre da la respuesta correcta y nunca da una respuesta errónea;
  • siempre es completado en un número finito de pasos;
  • trabaja para todas las instancias de problemas de la clase.