Una técnica que identifica una cantidad, paridad, expresión algebraica u otra característica que permanece inalterada (invariante) bajo un conjunto especificado de transformaciones o movimientos permitidos, y utiliza esa invariancia para probar imposibilidades, clasificar resultados o restringir configuraciones alcanzables.

Principio

Encontrar una medida conservada o de signo definido bajo los movimientos del problema; mostrar que los estados inicial y final difieren en esa medida o que las transformaciones requeridas cambiarían el invariante, demostrando así la imposibilidad de la transformación o limitando los estados alcanzables.

Demostración

En un rompecabezas de piezas móviles o un enlosado geométrico, calcular una paridad o residuo de área orientada que se preserve por cada movimiento legal; si la configuración objetivo tiene un residuo distinto, el invariante prueba que es inalcanzable, estableciendo una imposibilidad.

Aplicación incorrecta

Declarar un invariante sin probar que se conserva bajo cada movimiento permitido, o usar una cantidad que solo se conserva aproximadamente, conduce a conclusiones incorrectas; asimismo, confundir un monovariable (cantidad estrictamente monótona) con un invariante preservado desvirtúa el argumento.

Consecuencia

Cuando se identifica y verifica correctamente, un invariante proporciona obstrucciones inmediatas y clasificaciones nítidas: reduce problemas complejos de alcanzabilidad dinámica o combinatoria a simples comprobaciones aritméticas o algebraicas.

Inversión

Monovariantes o funciones tipo Lyapunov que cambian monotónicamente bajo los movimientos y se usan para mostrar terminación o cotas en lugar de cantidades preservadas; aportan direccionalidad en lugar de conservación.

Límite

Requiere que las operaciones permitidas estén bien especificadas y que se pueda demostrar rigurosamente la preservación; no es aplicable si no existe ninguna cantidad preservada no trivial o cuando solo existen invariantes aproximados o estadísticos.

Tensión semántica

Tensión con monovariantes y funciones de potencial: los invariantes impiden ciertas transiciones por conservación, mientras que los monovariantes muestran progreso o terminación por cambio estricto — ambos están relacionados pero cumplen roles estructurales diferentes en las demostraciones.

Síntesis

El Método de Invariantes aísla una característica rigurosamente conservada bajo movimientos permitidos y aprovecha esa conservación para obstruir transformaciones, clasificar estados alcanzables o probar imposibilidades.