loop-invariant
¿Qué es un invariante de bucle?
Estoy leyendo "Introducción al Algoritmo" CLRS. y los autores están hablando de invariantes de bucle, en el capítulo 2 (Ordenación por inserción). No tengo idea de lo que significa.
Invariante de bucle de búsqueda lineal
Como se ve en la Introducción a los Algoritmos ( http://mitpress.mit.edu/algorithms ), el ejercicio establece lo siguiente:
... ariante de bucle. ¿Entendí algo mal? Solo puedo pensar en algo obvio como (es NIL o entre 0 y n). Muchas gracias de antemano!