## [Método de Invariantes](/es/node/62802) Definición 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 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 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 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 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 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 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 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 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.