Solucionador de Sudoku

Extreme

Ciclo-Y (Discontinuo)

Una cadena de celdas bivaluadas que forma un bucle con una "ruptura", probando que el candidato inicial es imposible.

Ciclo-Y (Discontinuo) es una estrategia lógica avanzada similar al Ciclo-XY (Discontinuo) y Cadena-XY. Involucra verificar un candidato específico en una celda específica para ver si una cadena de consecuencias lleva a una contradicción.

Si asumir "Celda A es 1" eventualmente prueba que "Celda A NO es 1", entonces la asunción original era imposible.

[!NOTE] Ejemplo Real Pendiente: Esta estrategia es una variante específica de la familia Ciclo/Cadena-XY. Actualmente estamos esperando un ejemplo puro en nuestra base de datos. Lo siguiente es una explicación teórica.

Interactive Example

1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9

Click "Apply Logic" to see the strategy in action.

La Lógica: El "Bucle de Contradicción"

Imagina una cadena de celdas bivaluadas (celdas con exactamente 2 candidatos) que regresa al inicio:

  1. Inicio: Celda A {1, 2}. Asume A = 1.
  2. Enlace: Celda B {2, 3}. Si A=1 → entonces ... (lógica de cadena)
  3. Enlace: Celda C {3, 4}.
  4. ...
  5. Retorno: La cadena eventualmente fuerza a Celda A a ser 2.

La Contradicción: - Empezamos asumiendo A = 1. - La lógica probó que esto lleva a A = 2 (lo que significa A ≠ 1). - Por lo tanto, A no puede ser 1. - Eliminación: Elimina 1 de Celda A.

Guía Visual

``` Paso 1: Asume INICIO es 1 [INICIO] {1,2} = 1 (ENCENDIDO) ↓ [Celda B] {1,3} = 3 (Implicado) ↓ [Celda C] {3,4} = 4 (Implicado) ↓ [Celda D] {4,2} = 2 (Implicado) ↓ [INICIO] {1,2} = 2 (Implicado) -> NO 1 (APAGADO)

RESULTADO: Inicio=1 implica Inicio≠1. CONCLUSIÓN: Inicio NO es 1. ```

¿Por Qué "Discontinuo"?

  • Bucle Continuo: Todos los enlaces representan relaciones "fuertes". Puedes empezar donde sea, ir en cualquier dirección, y funciona perfectamente.
  • Bucle Discontinuo: Hay una "ruptura" o "debilidad" en la lógica que crea una contradicción específica en un punto (la discontinuidad).

En este caso, la discontinuidad está en la celda Inicio/Final. La cadena funciona bien en todas partes más, pero "choca" cuando intenta reconectarse al inicio.

Tabla de Comparación

Estrategia Componentes de Cadena Tipo de Lógica Eliminación
Ciclo-X Dígito Único (Enlaces Fuerte/Débil) Contradicción Basado en enlaces de dígito específicos
Cadena-XY Celdas Bivaluadas Inferencia de Extremos En inicio/final solamente
Ciclo-Y (Disc.) Celdas Bivaluadas Auto-Contradicción En la celda inicial misma

Cómo Detectarlo

  1. Resalta Celdas Bivaluadas: Esta estrategia usa exclusivamente celdas con 2 candidatos.
  2. Elige un Inicio: Elige una celda bivaluada y "prueba" un candidato mentalmente.
  3. Sigue la Cadena: Rastrea las implicaciones forzadas (Si esto es A, aquello debe ser B...).
  4. Busca Retorno: ¿Curva la cadena de regreso a tu celda inicial?
  5. Verifica Resultado: Si regresa como el valor opuesto, encontraste un Ciclo-Y Discontinuo.

Consejos para Principiantes

  • No Adivines Aleatoriamente: Solo sigue movimientos forzados (enlaces fuertes). Si una celda tiene 3 opciones, no puedes asumir cuál sigue.
  • Usa Coloreado: Dibuja la cadena físicamente o usa una herramienta de coloreado.
  • La Paridad Importa: Estos bucles esencialmente verifican pasos "Impar vs Par". Un conflicto en paridad crea la eliminación.

Errores Comunes

  • Asumir Continuidad: Pensar "¡Encontré un bucle!" significa que puedes eliminar en todas partes. Solo bucles Continuos permiten eliminaciones externas. Bucles Discontinuos solo permiten verificar el punto de contradicción específico.
  • Enlaces Rotos: Usar una celda con 3 candidatos como un enlace. Esto rompe la certeza de "Si A entonces B" requerida para la cadena.

Estrategias Relacionadas