Cadenas multidígito
Cadenas multidígito
Enlaces fuertes y débiles en el contexto de múltiples dígitos
Las cadenas de múltiples dígitos usan el mismo lenguaje de enlaces fuertes y débiles que las cadenas de un solo dígito, pero los nodos son candidatos individuales en lugar de celdas completas.
Los enlaces fuertes de par conjugado conectan el mismo dígito en dos celdas cuando esas son las únicas dos posiciones en una casa. Los enlaces fuertes de celda bivaluada conectan los dos candidatos dentro de una celda bivaluada: si uno es falso, el otro debe ser verdadero. Los enlaces débiles conectan candidatos que no pueden ser ambos verdaderos, ya sea porque son el mismo dígito en una casa compartida o dígitos diferentes en la misma celda.
Esto es lo que permite a una cadena cambiar de dígito y seguir siendo lógicamente válida.
Cadena XY: hilando a través de celdas bivaluadas
Cada celda bivaluada. Las celdas consecutivas comparten una casa y un dígito. Si los dígitos de inicio y fin coinciden, al menos un extremo debe contener ese dígito. Elimina de las celdas que ven ambos extremos.
Un Cadena XY de tres celda es un Pico XY. Nivel 10 (Maestro).
AIC: la técnica de cadena más general
Un Cadena de inferencia alternante opera sobre los 729 nodos candidatos posibles: 81 celdas por 9 dígitos. Alterna enlaces fuertes y débiles, y puede usar enlaces entre candidatos del mismo dígito, entre los dos candidatos de una celda bivaluada, o entre candidatos que entran en conflicto dentro de una celda.
Los resultados útiles comunes incluyen:
Tipo 1: Los extremos de la cadena son el mismo dígito en celdas diferentes. Al menos un extremo debe ser verdadero, así que elimina ese dígito de las celdas que ven ambos extremos.
Tipo 2: Los extremos de la cadena son dígitos diferentes en la misma celda. Al menos un extremo debe ser verdadero, así que elimina todos los demás candidatos de esa celda.
Bucle discontinuo: La cadena se cierra con dos enlaces del mismo tipo en un candidato. Dos enlaces fuertes que se encuentran fuerzan que ese candidato sea verdadero; dos enlaces débiles que se encuentran hacen que ese candidato sea falso.
Nivel 12 (Extremo).
Cadena XY vs AIC
Cadena XY: solo celdas bivaluadas, los cambios de dígito ocurren dentro de esas celdas bivaluadas, y el resultado común es una eliminación de extremo de Tipo 1. Nivel 10.
AIC: puede usar enlaces conjugados, enlaces de celda bivaluada, enlaces agrupados y otros conflictos de candidatos. Puede producir eliminaciones de extremo, reducciones de celda, colocaciones y eliminaciones de bucle discontinuo. Nivel 12.
Cadena XY es un celda especial de AIC. AIC es estrictamente más potente, pero mucho más difícil de encontrar manualmente.
Cómo encontrar XY-Chains y AIC
XY-Chains: Identifica celdas bivaluadas, construye un mapa de adyacencia mediante candidatos compartidos y busca cadenas cuyos extremos contengan el mismo dígito.
AICs: Comienza con enlaces fuertes fiables como pares conjugados y celdas bivaluadas. Extiende la cadena alternando tipos de enlace y comprueba constantemente si los extremos producen una eliminación o si la cadena se cierra en una discontinuidad útil. Los solucionadores informáticos suelen buscar directamente en el grafo de candidatos de 729 nodos.
Por qué las AIC son la técnica definitiva
Muchas técnicas más simples son casos especiales de AIC o pueden expresarse naturalmente como AIC: Pico XY, Skyscraper, W-ala, Pares remotos y muchos argumentos de coloreado. Un solucionador que implemente una búsqueda amplia de AIC puede reproducir muchas técnicas con nombre. Sin embargo, las técnicas con nombre son más rápidas de encontrar, más fáciles de explicar y mejores para la resolución humana, por lo que suelen aplicarse primero.
Resumen
Cadena XY (Nivel 10) recorre las celdas bivaluadas y se entiende mejor como un AIC restringido. AIC (Nivel 12) opera sobre el grafo completo de candidatos y puede cambiar dígitos, usar muchos tipos de enlaces fuertes y producir varios tipos de deducción. Juntas representan la culminación de la resolución basada en cadenas.