Guías / AIC (Cadena estándar)
AIC (Cadena estándar)
> Requisito previo: [Chain basics](learning://chains)
Master
AIC (Cadena estándar)
Requisito previo: Chain basics
1. Descripción general
AIC (Cadena de Inferencia Alternativa) es el tipo de cadena "más general":
- puede mezclar los componentes básicos de X-Chain (vínculos fuertes de un solo dígito en una fila/columna/cuadro) y XY-Chain (ya sea o dentro de una celda bivalor)
- Mientras la cadena siga alternando fuerte/débil, la inferencia puede propagarse
Su uso más común es la eliminación:
Si un AIC implica que los dos puntos finales no pueden ser ambos falsos, entonces cualquier candidato que haga que ambos puntos finales sean falsos no puede ser verdadero, por lo que puede eliminarse.
2. Tutorial
En la imagen:
- los dos puntos finales son candidato 6 en r7c7 y candidato 7 en r4c7 (azul)
- la eliminación es candidato 7 en r7c7 (rojo)
- debido a que r7c7 es tanto un punto final como una celda de eliminación, lo resaltamos con el fondo rojo
¿Por qué podemos eliminar 7 en r7c7? Una breve contradicción es suficiente:
Hecho clave: en una cadena alterna fuerte/débil, si un punto final es falso, la inferencia se propaga y eventualmente obliga a que el otro punto final sea verdadero.
Por lo tanto, los dos puntos finales no pueden ser ambos falsos (al menos uno debe ser verdadero).Ahora supongamos que el candidato rojo r7c7 = 7 es verdadero:
- misma celda ⇒ el candidato 6 en r7c7 es falso
- misma columna ⇒ el candidato 7 en r4c7 es falso
Esto hace que ambos puntos finales sean falsos, lo que contradice el paso 1.
Entonces la suposición es imposible: el candidato 7 en r7c7 puede ser eliminado.
3. Ejemplos
Aquí hay dos ejemplos más de AIC. Intenta detectar el patrón primero:
- puntos finales azules
- alternancia de enlaces fuertes/débiles
- un candidato rojo que entra en conflicto con ambos puntos finales
4. Cómo detectar AIC
En una oración: conecte segmentos de vínculo fuerte y segmentos de dos valores en una cadena alterna, luego busque un candidato que fuerce ambos extremos a ser falsos.
Lista de verificación práctica:
- Encuentre fuentes de vínculos fuertes (líneas continuas verdes):
- un dígito tiene exactamente dos candidatos en una fila/columna/cuadro (par conjugado)
- o una celda bivalor proporciona un vínculo fuerte "ya sea X o Y" dentro de la celda
- Conéctelos con enlaces débiles (líneas discontinuas amarillas):
- conflictos del mismo dígito (misma fila/columna/cuadro)
- diferentes dígitos en la misma celda
- Mantenga el patrón alterno fuerte/débil
- Busque una eliminación roja: un candidato que entra en conflicto con ambos puntos finales