Cadenas de múltiples dígitos

Cadenas de múltiples dígitos

Maestro

Técnicas asociadas

Enlaces fuertes y débiles en el contexto de múltiples dígitos

Las cadenas de múltiples dígitos utilizan 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 pares conjugados conectan el mismo dígito en dos celdas cuando estas son las únicas dos posiciones en una casa. Los enlaces fuertes de bivalores Celda conectan los dos candidatos dentro de un bivalores Celda: si uno es falso, el otro debe ser verdadero. Los enlaces débiles conectan candidatos que no pueden ser verdaderos al mismo tiempo, 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 que una cadena cambie de dígito manteniéndose lógicamente válida.

Cadena XY: Recorrido a través de celdas bivaluadas

Cada Celda bivalente. Celdas consecutivas comparten una casa y un dígito. Si los dígitos inicial y final coinciden, al menos un extremo debe contener ese dígito. Elimine de las celdas que ven ambos extremos.

Un tres-Celda Cadena XY 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 utilizar enlaces entre candidatos del mismo dígito, entre los dos candidatos en un Celda bivalente, o entre candidatos que entran en conflicto dentro de un 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, por lo tanto, elimine ese dígito de las celdas que ven ambos extremos.

Tipo 2: Los extremos de la cadena son dígitos diferentes en el mismo Celda. Al menos un extremo debe ser verdadero, por lo tanto, elimine todos los otros candidatos de ese Celda.

Bucle discontinuo: La cadena se cierra con dos enlaces del mismo tipo en un mismo candidato. Dos enlaces fuertes que se encuentran obligan a que ese candidato sea verdadero; dos enlaces débiles que se encuentran hacen que ese candidato sea falso.

Nivel 12 (Extremo).

Cadena XY frente a AIC

Cadena XY: solo celdas bivaluadas, los cambios de dígitos ocurren dentro de esas celdas bivaluadas, y el resultado común es una eliminación de punto final de Tipo 1. Nivel 10.

AIC: puede usar enlaces conjugados, enlaces bivaluados-Celda, enlaces agrupados y otras conflictos de candidatos. Puede producir eliminaciones de punto final, reducciones Celda, colocaciones y eliminaciones de bucle discontinuo. Nivel 12.

Cadena XY es un caso especial de Celda de AIC. AIC es estrictamente más potente pero mucho más difícil de encontrar manualmente.

Cómo encontrar cadenas XY y AICs

Cadenas XY: Identifique las celdas bivaluadas, construya un mapa de adyacencia a través de candidatos compartidos y busque cadenas cuyos extremos contengan el mismo dígito.

Cadenas AIC: Comience con enlaces fuertes confiables, como pares conjugados y celdas bivaluadas. Extienda la cadena alternando los tipos de enlace y verifique constantemente si los extremos producen una eliminación o si la cadena se cierra en una discontinuidad útil. Los solucionadores informáticos a menudo buscan directamente el grafo de candidatos de 729 nodos.

¿Por qué las AICs son la técnica definitiva?

Muchas técnicas más sencillas son casos especiales de AIC o se pueden expresar naturalmente como AIC: Pico XY, Escalera, W-ala, Pares remotos, y muchos argumentos de coloración. Un solucionador que implementa una búsqueda amplia de AIC puede reproducir muchas técnicas nombradas. Sin embargo, las técnicas nombradas son más rápidas de encontrar, más fáciles de explicar y mejores para la resolución humana, por lo que generalmente se aplican primero.

Resumen

Cadena XY (Nivel 10) atraviesa las celdas bivaluadas y es mejor comprendido como un AIC restringido. AIC (Nivel 12) opera sobre el grafo completo de candidatos y puede cambiar dígitos, utilizar muchos tipos de enlaces fuertes y producir varios tipos de deducción. Juntos representan la culminación de la resolución basada en cadenas.

Técnicas asociadas