Definición
Una técnica de reconstrucción que combina los residuos de un entero (o polinomio) respecto a varios módulos coprimos dos a dos para recuperar el entero original (o polinomio) modulo el producto de los módulos, con unicidad garantizada módulo ese producto.
Principio
Principio
Según el Teorema Chino del Resto, un sistema coherente x ≡ r_i (mod m_i) con gcd(m_i,m_j)=1 tiene una solución única modulo M = ∏ m_i; algoritmos constructivos ensamblan los residuos usando inversas modulares o expansión en base mixta para recuperar x mod M.
Demostración
Demostración
Dados los residuos x ≡ 2 (mod 3), x ≡ 3 (mod 5) y x ≡ 2 (mod 7), se calcula la solución única modulo 105 combinando residuos (aquí x ≡ 23 (mod 105)), reconstruyendo la clase entera a partir de sus piezas modulares.
Aplicación incorrecta
Aplicación incorrecta
Aplicar CRT cuando los módulos no son coprimos dos a dos sin comprobar compatibilidad, o creer que CRT reconstruye el entero absoluto en lugar de solo la clase modulo el producto, puede llevar a reconstrucciones erróneas o ambiguas.
Consecuencia
Consecuencia
La reconstrucción CRT bien aplicada posibilita algoritmos modulares: realizar cálculos pesados modulo primos pequeños y combinar resultados para obtener valores modulo grandes módulos compuestos, facilita la paralelización y sustenta la reconstrucción entera/racional.
Inversión
Inversión
La reducción modulo cada módulo es la operación inversa: dada una entera, calcular sus residuos. En algunos algoritmos, se invierte CRT dividiendo el cálculo modular en subcálculos independientes de módulo pequeño por eficiencia.
Límite
Límite
Requiere módulos coprimos dos a dos para el resultado estándar de unicidad; existen generalizaciones para módulos no coprimos pero requieren comprobaciones de compatibilidad y pueden dar múltiples o ninguna solución; también hacen falta cotas para elevar una clase de residuos a un entero canónico.
Tensión semántica
Tensión semántica
Tensión con Hensel lifting y reconstrucción racional: CRT combina datos modulares independientes globalmente, mientras Hensel lifting mejora precisión local p-ádica; la reconstrucción racional puede necesitar tanto CRT como cotas para recuperar racionales pequeños.
Síntesis
Síntesis
La Reconstrucción por el Teorema Chino del Resto es el ensamblaje constructivo de residuos modulares en una única clase modulo el producto de módulos coprimos dos a dos, permitiendo la recuperación global desde cálculos modulares locales y sirviendo de columna vertebral a muchos algoritmos modulares.