Subconjuntos desnudos

¿Qué son los subconjuntos desnudos en Sudoku?

Un subconjunto desnudo es un grupo de N celdas dentro de una misma casa (fila, columna o bloque) cuyos candidatos combinados contienen exactamente N dígitos distintos. Dado que esos N dígitos deben llenar esas N celdas, no pueden aparecer en ninguna otra Celda de esa casa. Esto permite eliminar con seguridad esos dígitos de las celdas restantes. La palabra "desnudo" significa que los candidatos son completamente visibles y expuestos. No necesitas buscar dígitos ocultos entre otros candidatos. El subconjunto se anuncia claramente mediante las marcas de lápiz en esas celdas. Existen cuatro técnicas de subconjunto desnudo, una para cada posible tamaño de grupo: - Único desnudo (N=1) -- una Celda con un solo candidato - Par desnudo (N=2) -- dos celdas cuyos candidatos combinados son exactamente dos dígitos - Tripleta desnuda (N=3) -- tres celdas cuyos candidatos combinados son exactamente tres dígitos - Cuádruple desnudo (N=4) -- cuatro celdas cuyos candidatos combinados son exactamente cuatro dígitos Estas cuatro técnicas forman una familia. Comparten la misma lógica subyacente y solo difieren en el número de celdas implicadas. Una vez que entiendes el principio fundamental, los subconjuntos más grandes se convierten en extensiones naturales de los más simples.

El principio fundamental: ¿Por qué los subconjuntos desnudos funcionan?

La lógica detrás de los subconjuntos desnudos se basa en un argumento fundamental de conteo conocido a veces como el principio del palomar. En lenguaje sencillo: si tienes N huecos y exactamente N elementos para llenarlos, cada elemento va en un solo hueco, y ningún otro elemento puede ocupar esos huecos. Considera una fila con nueve celdas. Cada Celda no resuelto tiene un conjunto de dígitos candidatos, los trazos de lápiz que aún podrían ir legalmente en esa Celda. Supón que encuentras dos celdas en esa fila cuyos candidatos provienen ambos del mismo conjunto de dos dígitos, por ejemplo {4, 6}. Una de esas celdas debe contener el 4 y la otra debe contener el 6. No hay espacio para ninguna otra disposición. Esto significa que ninguna otra Celda en la fila puede contener el 4 o el 6, porque ambos dígitos ya están completamente asignados a esas dos celdas. El mismo razonamiento se aplica a escalas mayores. Tres celdas cuyos candidatos combinados suman exactamente tres dígitos fijan esos tres dígitos en esas tres celdas. Cuatro celdas con cuatro candidatos combinados fijan todos los cuatro dígitos. En cada Celda, los dígitos fijos pueden eliminarse de todas las demás celdas en la casa compartida. Este principio se aplica de forma idéntica ya sea que la casa sea una fila, una columna o un bloque de 3x3. El único requisito es que las N celdas pertenezcan a la misma casa.

Único desnudo: La base para resolver Sudoku

Un Único desnudo es el subconjunto desnudo más simple posible. Ocurre cuando un Celda tiene solo un candidato restante en sus marcas de lápiz. Dado que solo hay un dígito que puede ir legalmente en ese Celda, ese dígito es la solución para el Celda. Cada solucionador de Sudoku, ya sea humano o algorítmico, depende de los simples desnudos. Son el último paso en la cadena de eliminación: después de que todas las restricciones de fila, columna y bloque hayan eliminado los dígitos imposibles, el último candidato restante es la respuesta. Encontrar un Único desnudo requiere seguir cuidadosamente las marcas de lápiz de cada Celda. Un Celda comienza con hasta nueve candidatos posibles. A medida que colocas dígitos en otras partes del tablero, se eliminan candidatos: - Si un dígito se coloca en cualquier parte de la misma fila, elimínalo de los candidatos del Celda. - Si un dígito se coloca en cualquier parte de la misma columna, elimínalo de los candidatos del Celda. - Si un dígito se coloca en cualquier parte del mismo bloque 3x3, elimínalo de los candidatos del Celda. Cuando estas eliminaciones reducen un Celda a un solo candidato, has encontrado un Único desnudo. Considera el Celda R5C3 en un rompecabezas parcialmente resuelto. Las restricciones de fila, columna y bloque eliminan los siguientes dígitos: - La fila 5 ya contiene: 1, 3, 5, 8 - La columna 3 ya contiene: 2, 6, 9 - El bloque 4 (el bloque central-izquierdo) ya contiene: 7 Combinados, los dígitos 1, 2, 3, 5, 6, 7, 8 y 9 están todos eliminados. El único candidato restante es el 4. Celda R5C3 debe ser 4. Esto es un Único desnudo. Los simples desnudos deben ser tu primera comprobación después de cada movimiento. Cada vez que colocas un dígito, puede reducir celdas vecinas a un solo candidato. En rompecabezas más fáciles, cadenas de simples desnudos pueden resolver grandes porciones del tablero sin ninguna otra técnica. Incluso en rompecabezas más difíciles, los simples desnudos limpian el tablero después de que técnicas más avanzadas eliminen candidatos.

Par desnudo: Dos celdas, dos candidatos, eliminaciones poderosas

Un par desnudo ocurre cuando dos celdas en la misma casa contienen exactamente los mismos dos candidatos y ningún otro candidato. Dado que esos dos dígitos deben ir en esas dos celdas, puedes eliminar ambos dígitos de cada una de las otras Celda en esa casa. Los pares desnudos son una de las estrategias intermedias más comúnmente aplicadas. Aparecen con frecuencia y a menudo permiten avances significativos al eliminar candidatos que bloquean otras técnicas. Supongamos que dos celdas en la fila 1 contienen ambos los candidatos {4, 6} y ningún otro candidato: - R1C2 tiene candidatos: {4, 6} - R1C7 tiene candidatos: {4, 6} Una de estas celdas será 4 y la otra será 6. Aún no sabemos cuál es cuál, pero sabemos con certeza que 4 y 6 están completamente ocupados por estas dos celdas. Por tanto, ninguna otra Celda en la fila 1 puede contener 4 ni 6. Si R1C4 tuviera candidatos {3, 4, 6, 9}, podría reducirse a {3, 9} eliminando 4 y 6. Si R1C8 tuviera candidatos {2, 6}, podría reducirse a {2}. Esa reducción a un solo candidato es en sí misma una Único desnudo, que resuelve inmediatamente la Celda. Escanea cada casa para encontrar celdas con exactamente dos candidatos. Cuando encuentres dos celdas en la misma casa con conjuntos idénticos de dos candidatos, tienes un Par desnudo. Dado que las celdas con solo dos marcas de lápiz destacan visualmente, los pares desnudos son entre las técnicas intermedias más fáciles de detectar. Un hábito útil: cada vez que notes un Celda con solo dos candidatos, verifica inmediatamente si alguna otra Celda en la misma fila, columna o bloque comparte el mismo par.

Tripleta desnuda: Tres celdas, tres candidatos, un giro sutil

Un Tripleta desnuda ocurre cuando tres celdas en la misma casa tienen candidatos extraídos exclusivamente del mismo conjunto de exactamente tres dígitos. El conjunto combinado de todos los candidatos en las tres celdas contiene exactamente tres dígitos distintos. Aquí está la clave que sorprende a muchos resolutores: cada Celda individual no necesita contener los tres dígitos. Un Tripleta desnuda válido puede incluir celdas con solo dos de los tres dígitos. Lo que importa es que la unión de todos los candidatos en las tres celdas sume exactamente tres valores distintos. Muchos jugadores aprenden primero los pares desnudos y luego asumen que los tríos desnudos requieren tres celdas cada una con los mismos tres candidatos, como {1, 3, 7} en las tres celdas. Aunque esa es una forma válida de un Tripleta desnuda, no es la única ni siquiera la más común. Considere estas tres celdas en la columna 5: - R2C5: {1, 3} - R4C5: {1, 7} - R8C5: {3, 7} Los candidatos combinados son {1, 3, 7}, que es exactamente tres dígitos en tres celdas. Este es un Tripleta desnuda válido, aunque ningún Celda individual contenga los tres dígitos. La lógica es la misma que con los pares desnudos. Estos tres dígitos deben llenar estas tres celdas en algún orden. Una Celda obtiene el 1, otra el 3, otra el 7. Por tanto, el 1, el 3 y el 7 pueden eliminarse de cada otra Celda en la columna 5. Comience identificando celdas con dos o tres candidatos. En una casa dada, si encuentra tres celdas cuyos candidatos combinados forman un conjunto de exactamente tres dígitos, tiene un Tripleta desnuda. Un enfoque práctico: 1. En cada casa, liste todas las celdas no resueltas con tres o menos candidatos. 2. Elija cualquier combinación de tres de esas celdas. 3. Tome la unión de sus candidatos. Si la unión tiene exactamente tres dígitos, es un Tripleta desnuda. Dado que hay múltiples combinaciones posibles, los tríos desnudos requieren una inspección más cuidadosa que los pares desnudos. Esto es parte de lo que los convierte en una técnica de mayor dificultad.

Cuádruple desnudo: Cuatro celdas, cuatro candidatos, máxima complejidad

Un Cuádruple desnudo es el mayor subconjunto desnudo comúnmente utilizado. Ocurre cuando cuatro celdas en una casa tienen candidatos extraídos únicamente del mismo grupo de exactamente cuatro dígitos. Al igual que con los tríos, las celdas individuales no necesitan contener todos los cuatro dígitos. La condición clave es que la unión de candidatos entre las cuatro celdas sea exactamente de cuatro valores distintos. La lógica es idéntica a la de los subconjuntos desnudos más pequeños. Cuatro dígitos deben llenar cuatro celdas. Estos dígitos no pueden aparecer en ninguna otra parte de la casa. Los cuartetos desnudos rara vez se encuentran mediante inspección casual. Con cuatro celdas y cuatro dígitos, hay muchas más combinaciones posibles que revisar. En una casa con seis celdas sin resolver, hay 15 formas posibles de elegir cuatro de ellas. Revisar mentalmente cada combinación es tedioso. La mayoría de los solucionadores que encuentran cuartetos desnudos lo hacen mediante una revisión sistemática o al detectar primero que las celdas restantes forman un subconjunto oculto complementario. A pesar de su rareza, los cuartetos desnudos sí aparecen en acertijos reales, especialmente en los clasificados como moderados a desafiantes. Tener esta técnica en tu repertorio asegura que no te quedes atascado cuando se agotan técnicas más sencillas.

Cómo detectar subconjuntos desnudos: Consejos prácticos para escanear

Encontrar subconjuntos desnudos de manera eficiente requiere un enfoque estructurado en lugar de una búsqueda aleatoria. Estas son las técnicas que utilizan los resolutores experimentados: Comience con pocos candidatos: Las celdas con menos candidatos son más propensas a formar parte de subconjuntos desnudos. Una Celda con dos candidatos puede formar parte de un par, triple o cuádruple. Una Celda con cinco candidatos es menos útil porque aporta demasiados dígitos a la unión. Busque primero en cada casa las celdas con dos candidatos. Verifique los pares coincidentes. Luego, examine las celdas con dos o tres candidatos juntas para encontrar triples. Trabaje casa por casa: Elija una fila, columna o bloque y examine todas sus celdas sin resolver juntas. Liste sus candidatos. Busque agrupaciones de celdas cuyos candidatos se superpongan dentro de un pequeño conjunto de dígitos. Use la verificación por conteo: Para cualquier grupo de N celdas que sospeche que forman un subconjunto desnudo, cuente los dígitos distintos en sus candidatos combinados. Si el recuento es igual a N, ha encontrado un subconjunto desnudo. Si el recuento supera N, esas celdas no forman un subconjunto desnudo. Verifique después de cada eliminación: Cuando otra técnica elimina candidatos de una Celda, vuelva a revisar la casa de esa Celda. La eliminación puede haber creado un nuevo subconjunto desnudo que no era visible antes. Muchos pares desnudos surgen como efecto secundario de eliminaciones anteriores. Busque el complemento: Si una casa tiene K celdas sin resolver y sospecha que existe un subconjunto desnudo pero no puede encontrarlo directamente, intente buscar el complemento. Encontrar un subconjunto oculto de tamaño M implica automáticamente un subconjunto desnudo de tamaño K - M.

La relación entre subconjuntos desnudos y subconjuntos ocultos

Los subconjuntos desnudos y los subconjuntos ocultos son dos caras de la misma moneda. Comprender su dualidad profundiza tu comprensión de la lógica de Sudoku y puede ayudarte a descubrir patrones que de otro modo podrías pasar por alto. Un subconjunto oculto ocurre cuando N dígitos en una casa aparecen solo dentro de N celdas específicas. Los dígitos están "ocultos" porque esas celdas también pueden contener otros candidatos. La eliminación consiste en quitar los candidatos extra de esas N celdas, dejando solo los dígitos ocultos. En cualquier casa con K celdas sin resolver, si hay un subconjunto desnudo de tamaño N, automáticamente existe un subconjunto oculto de tamaño K - N. Los dos subconjuntos son complementarios: dividen las celdas sin resolver y los dígitos restantes en dos grupos no superpuestos. Por ejemplo, considere una fila con 6 celdas sin resolver. Si dos de esas celdas forman un Par desnudo, las cuatro celdas restantes forman un Cuádruple oculto (o, equivalentemente, existe un Cuádruple desnudo entre los dígitos excluidos de esas cuatro celdas). Puedes encontrar cualquiera de los dos y aplicar las eliminaciones correspondientes. Esta dualidad significa que tienes dos caminos hacia la misma eliminación. Si una casa tiene muchas celdas sin resolver, un subconjunto desnudo pequeño (par o triple) es más fácil de detectar que un subconjunto oculto grande. Por el contrario, si una casa tiene pocas celdas sin resolver, un Par Oculto podría ser más fácil de encontrar que buscar el subconjunto Cuádruple desnudo complementario. Los resolutores experimentados cambian entre la perspectiva desnuda y la oculta según cuál sea más práctica en una situación dada. La capacidad de ver ambos lados te da una ventaja significativa.

Progresión de dificultad: De principiante a avanzado

Las cuatro técnicas de conjunto desnudo abarcan varios niveles de dificultad, reflejando lo mucho más difíciles que resultan de encontrar a medida que aumenta el tamaño del grupo: Único desnudo (N=1): Nivel 2, Fácil Par desnudo (N=2): Nivel 3, Fácil Tripleta desnuda (N=3): Nivel 4, Moderado Cuádruple desnudo (N=4): Nivel 5, Desafiante El aumento de dificultad no se debe a la lógica, que es idéntica en cada Celda, sino a la complejidad de búsqueda: Único desnudo: Solo necesitas comprobar una Celda. Si tiene un solo candidato, ya estás listo. No se requiere búsqueda de combinaciones. Par desnudo: Debes encontrar dos celdas con candidatos idénticos. En una casa con seis celdas sin resolver, hay 15 pares posibles que revisar. Pero como estás buscando celdas con exactamente dos candidatos idénticos, el patrón visual es distintivo y fácil de reconocer. Tripleta desnuda: Debes encontrar tres celdas cuyos candidatos combinados sumen tres dígitos. En una casa con seis celdas sin resolver, hay 20 combinaciones posibles de tres. La búsqueda es más difícil porque las celdas no necesitan tener conjuntos de candidatos idénticos. Cuádruple desnudo: Debes encontrar cuatro celdas entre posiblemente muchas celdas sin resolver. El número de combinaciones aumenta, y las uniones de cuatro dígitos son más difíciles de calcular mentalmente. La mayoría de los cuádruples se encuentran de forma indirecta, ya sea mediante conteo sistemático de candidatos o al detectar el complemento de Par Oculto. Las clasificaciones de dificultad de los puzzles a menudo dependen de qué técnicas se requieren para resolverlos. Un puzzle que solo necesita simples y pares desnudos se clasifica como fácil. Un puzzle que requiere triples desnudos entra en territorio moderado. Un puzzle que exige un Cuádruple desnudo es al menos desafiante.

Errores comunes y cómo evitarlos

Error 1: Esperando que todas las celdas contengan todos los dígitos El error más común con los triples y cuádruples desnudos es suponer que cada Celda en el subconjunto debe contener todos los N dígitos. Esto es incorrecto. Un Tripleta desnuda con celdas {1,3}, {1,7} y {3,7} es perfectamente válido aunque ninguna Celda contenga todos los dígitos 1, 3 y 7. Cómo evitarlo: Siempre verifique la unión de candidatos, no las celdas individuales. Cuenta los dígitos distintos entre todas las celdas del grupo. Si el recuento es igual al número de celdas, se trata de un subconjunto desnudo, independientemente de cómo se distribuyan los dígitos entre las celdas individuales. Error 2: Confundir subconjuntos desnudos con subconjuntos ocultos Un Par desnudo tiene N celdas cuyos candidatos están limitados a N dígitos. Un Par Oculto tiene N dígitos limitados a N celdas, aunque esas celdas puedan tener candidatos adicionales. Con un Par desnudo, elimine los dígitos de la pareja de otras celdas en la casa. Con un Par Oculto, elimine los dígitos no-pareja de las celdas propias de la pareja. Cómo evitarlo: Pregúntese: "¿Estoy mirando celdas con candidatos restringidos (desnudo) o dígitos con ubicaciones restringidas (oculto)?" La dirección de la restricción determina qué tipo de subconjunto ha encontrado. Error 3: Eliminar de las celdas equivocadas Cuando encuentra un Par desnudo {4, 6} en las celdas R1C2 y R1C7, elimine el 4 y el 6 de las otras celdas de la fila 1. No elimine otros candidatos de R1C2 y R1C7. Los candidatos del Par desnudo permanecen intactos en las celdas del subconjunto. Cómo evitarlo: Recuerde la regla: los subconjuntos desnudos eliminan sus dígitos de celdas fuera del subconjunto. Los subconjuntos ocultos eliminan los dígitos no-pareja de las celdas dentro del subconjunto. Error 4: Olvidar comprobar todas las casas compartidas Dos celdas pueden compartir más de una casa. Por ejemplo, R1C1 y R1C3 comparten tanto la fila 1 como el bloque 1. Si forman un Par desnudo, puede eliminar los dígitos de la pareja de otras celdas en la fila 1 y de otras celdas en el bloque 1. No limite sus eliminaciones solo a una casa. Cómo evitarlo: Para cada subconjunto desnudo que encuentre, verifique qué casas comparten todas las celdas del subconjunto. Aplicar eliminaciones en cada casa compartida.

Cuándo usar subconjuntos desnudos en su flujo de resolución

Los subconjuntos desnudos deben verificarse en orden desde el más pequeño al más grande: 1. Primero los solitarios desnudos. Después de cada colocación, escanee para nuevos solitarios desnudos. Son gratuitos e inmediatos. 2. Segundo, los pares desnudos. Una vez que ya no queden solitarios desnudos, escanee pares desnudos en cada fila, columna y bloque. Son la técnica intermedia más común y con frecuencia desbloquean nuevos solitarios desnudos. 3. Tercero, los tríos desnudos. Cuando los pares no sean suficientes, amplíe su búsqueda a tríos. Enfóquese en casillas donde varias celdas tengan dos o tres candidatos. 4. Por último, los cuádruples desnudos. Busque cuádruples solo cuando se hayan agotado subconjuntos más pequeños y otras técnicas. Dada su dificultad, considere verificar primero pares o tríos ocultos, ya que podrían ser más fáciles de encontrar y revelar la misma información mediante el principio de dualidad. Siguiendo esta progresión, aplica primero las técnicas más fáciles y productivas, ahorrando esfuerzo mental para cuando realmente sea necesario.

Resumen

Los subconjuntos desnudos son una familia de cuatro técnicas Sudoku unificadas por un solo principio elegante: N celdas en una casa con exactamente N candidatos combinados bloquean esos dígitos en su lugar, permitiéndote eliminarlos de todas las demás celdas en la casa. Desde el humilde Único desnudo que resuelve un Celda de inmediato, pasando por pares y tríos desnudos que eliminan candidatos, hasta el esquivo Cuádruple desnudo que exige una búsqueda sistemática cuidadosa, estas técnicas forman la columna vertebral de la resolución lógica de sudokus. Dominarlas te proporciona herramientas confiables que se aplican a acertijos de todos los niveles de dificultad y construye la base para enfrentar estrategias aún más avanzadas como subconjuntos ocultos, patrones de pescado y cadenas.