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. Como esos N dígitos deben llenar esas N celdas, no pueden aparecer en ningún otro celda de esa casa. Esto te permite eliminar esos dígitos con seguridad de las celdas restantes.

La palabra "desnudo" significa que los candidatos están totalmente visibles y expuestos. No necesitas buscar dígitos que estén ocultos entre otros candidatos. El subconjunto se anuncia claramente a través de las marcas de lápiz en esas celdas.

Hay cuatro técnicas de subconjuntos desnudos, una por cada tamaño de grupo posible:

- Único desnudo (N=1) -- una celda con un 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 se diferencian en el número de celdas implicadas. Una vez que entiendes el principio central, los subconjuntos más grandes se convierten en extensiones naturales de los más simples.

La lógica detrás de los subconjuntos desnudos se basa en un argumento de conteo fundamental llamado a veces principio del palomar. En lenguaje sencillo: si tienes N espacios y exactamente N elementos para llenarlos, cada elemento va en exactamente un espacio, y ningún otro elemento puede ocupar esos espacios.

Considera una fila con nueve celdas. Cada celda sin resolver tiene un conjunto de dígitos candidatos, las marcas de lápiz que aún podrían ir legalmente en esa celda. Supongamos que encuentras dos celdas en esa fila cuyos candidatos provienen ambos del mismo grupo de dos dígitos, digamos {4, 6}. Una de esas celdas debe contener 4 y la otra debe contener 6. No hay espacio para ninguna otra disposición. Esto significa que ninguna otra celda de la fila puede contener 4 o 6, porque ambos dígitos están totalmente cubiertos por esas dos celdas.

El mismo razonamiento se amplía. Tres celdas cuyos candidatos combinados suman exactamente tres dígitos bloquean esos tres dígitos en esas tres celdas. Cuatro celdas con cuatro candidatos combinados bloquean los cuatro dígitos. En cada celda, los dígitos bloqueados pueden eliminarse de todas las demás celdas de la casa compartida.

Este principio se aplica de forma idéntica tanto si la casa es una fila, una columna o un bloque de 3x3. El único requisito es que las N celdas pertenezcan a la misma casa.

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. Como solo hay un dígito que puede ir legalmente en ese celda, ese dígito es la solución para el celda.

Todo solucionador de Sudoku, ya sea humano o algorítmico, se basa en los solitarios desnudos. Son el paso final en la cadena de eliminación: después de que todas las restricciones de la fila, la columna y el bloque hayan eliminado los dígitos imposibles, el último candidato restante es la respuesta.

Encontrar un único desnudo requiere que sigas con cuidado 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, los candidatos se eliminan:

- Si se coloca un dígito en cualquier lugar de la misma fila, elimínalo de los candidatos del celda.

- Si se coloca un dígito en cualquier lugar de la misma columna, elimínalo de los candidatos del celda.

- Si se coloca un dígito en cualquier lugar del mismo bloque de 3x3, elimínalo de los candidatos del celda.

Cuando estas eliminaciones reducen un celda a un solo candidato, has encontrado un único desnudo.

Considera 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. Este es un único desnudo.

Los solitarios desnudos deberían ser tu primera comprobación después de cada movimiento. Cada vez que colocas un dígito, puede reducir las celdas vecinas a un solo candidato. En los rompecabezas más fáciles, las cadenas de solitarios desnudos pueden resolver grandes porciones del tablero sin ninguna otra técnica. Incluso en los rompecabezas más difíciles, los solitarios desnudos limpian el tablero después de que las técnicas más avanzadas eliminan candidatos.

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 cualquier otra celda en esa casa.

Los pares desnudos son una de las estrategias intermedias de Sudoku más utilizadas. Aparecen con frecuencia y a menudo desbloquean un progreso significativo al eliminar candidatos que bloquean otras técnicas.

Supón que dos celdas en la fila 1 contienen ambas 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. Todavía no sabemos cuál es cuál, pero sabemos con certeza que 4 y 6 están totalmente consumidos por estas dos celdas. Por lo tanto, ninguna otra celda en la fila 1 puede contener 4 o 6.

Si R1C4 tuviera los candidatos {3, 4, 6, 9}, se puede reducir a {3, 9} eliminando 4 y 6. Si R1C8 tuviera los candidatos {2, 6}, se puede reducir a {2}. Esa reducción a un solo candidato es en sí misma un único desnudo, que resuelve la celda de inmediato.

Examina cada casa en busca de 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 están entre las técnicas intermedias más fáciles de detectar.

Un hábito útil: siempre que notes un celda con solo dos candidatos, comprueba de inmediato si alguna otra celda en la misma fila, columna o bloque comparte el mismo par.

Un tripleta desnuda ocurre cuando tres celdas en la misma casa tienen candidatos extraídos enteramente del mismo grupo de exactamente tres dígitos. El conjunto combinado de todos los candidatos de las tres celdas contiene exactamente tres dígitos distintos.

Aquí está la idea clave que pilla desprevenidos a muchos solucionadores: 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 de 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 que contengan cada una 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.

Considera estas tres celdas en la columna 5:

- R2C5: {1, 3}

- R4C5: {1, 7}

- R8C5: {3, 7}

Los candidatos combinados son {1, 3, 7}, que son 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. Un celda recibe el 1, otro el 3, otro el 7. Por lo tanto, el 1, el 3 y el 7 pueden eliminarse de cualquier otro celda en la columna 5.

Empieza identificando celdas con dos o tres candidatos. En una casa dada, si encuentras tres celdas cuyos candidatos combinados forman un conjunto de exactamente tres dígitos, tienes un tripleta desnuda.

Un enfoque práctico:

1. En cada casa, enumera todas las celdas sin resolver con tres o menos candidatos.

2. Elige cualquier combinación de tres de esas celdas.

3. Toma la unión de sus candidatos. Si la unión tiene exactamente tres dígitos, es un tripleta desnuda.

Como hay múltiples combinaciones posibles, los tríos desnudos requieren un escaneo más cuidadoso que los pares desnudos. Esto es parte de lo que los convierte en una técnica de mayor dificultad.

Un cuádruple desnudo es el subconjunto desnudo más grande de uso común. Se produce cuando cuatro celdas de una casa tienen candidatos extraídos enteramente del mismo grupo de exactamente cuatro dígitos. Al igual que con los tríos, las celdas individuales no necesitan contener los cuatro dígitos. La condición crítica es que la unión de candidatos de las cuatro celdas sea exactamente 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. Esos dígitos no pueden aparecer en ningún otro lugar de la casa.

Los cuádruples desnudos rara vez se encuentran con un escaneo casual. Con cuatro celdas y cuatro dígitos, hay muchas más combinaciones posibles que comprobar. En una casa con seis celdas sin resolver, hay 15 formas posibles de elegir cuatro de ellas. Comprobar cada combinación mentalmente es tedioso.

La mayoría de los solucionadores que encuentran cuádruples desnudos lo hacen mediante una comprobación sistemática o detectando primero que las celdas restantes forman un subconjunto oculto complementario.

A pesar de su rareza, los cuádruples desnudos aparecen en rompecabezas reales, especialmente en los clasificados de dificultad moderada a desafiante. Tener la técnica en tu repertorio te asegura no quedarte atascado cuando las técnicas más simples se han agotado.

Encontrar subconjuntos desnudos de forma eficiente requiere un enfoque estructurado en lugar de un escaneo aleatorio. Aquí tienes técnicas que usan los solucionadores experimentados:

Empieza con recuentos de candidatos pequeños: las celdas con menos candidatos tienen más probabilidades de participar en subconjuntos desnudos. Un celda con dos candidatos puede formar parte de un par, un trío o un cuádruple. Un celda con cinco candidatos es menos útil porque aporta demasiados dígitos a la unión. Escanea cada casa en busca de celdas con dos candidatos primero. Busca pares coincidentes. Luego observa las celdas con dos o tres candidatos juntas para encontrar tríos.

Trabaja casa por casa: elige una fila, columna o bloque y examina todas sus celdas sin resolver en conjunto. Enumera sus candidatos. Busca grupos de celdas cuyos candidatos se solapen dentro de un pequeño grupo de dígitos.

Usa la comprobación por conteo: para cualquier grupo de N celdas que sospeches que podría formar un subconjunto desnudo, cuenta los dígitos distintos en sus candidatos combinados. Si el conteo es igual a N, has encontrado un subconjunto desnudo. Si el conteo supera N, esas celdas no son un subconjunto desnudo.

Comprueba después de cada eliminación: cuando otra técnica elimina candidatos de un celda, vuelve a comprobar la casa de ese 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.

Busca el complemento: si una casa tiene K celdas sin resolver y sospechas que existe un subconjunto desnudo pero no puedes encontrarlo directamente, intenta mirar el complemento. Encontrar un subconjunto oculto de tamaño M implica automáticamente un subconjunto desnudo de tamaño K - M.

Los subconjuntos desnudos y los subconjuntos ocultos son dos caras de la misma moneda. Comprender su dualidad profundiza tu dominio de la lógica de Sudoku y puede ayudarte a encontrar patrones que de otro modo pasarías por alto.

Un subconjunto oculto se produce 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 quita los candidatos sobrantes de esas N celdas, dejando solo los dígitos ocultos.

En cualquier casa con K celdas sin resolver, si existe 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 que no se solapan.

Por ejemplo, considera 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, de forma equivalente, 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 trío) es más fácil de detectar que un subconjunto oculto grande. A la inversa, si una casa tiene pocas celdas sin resolver, un Par Oculto podría ser más fácil de encontrar que buscar el cuádruple desnudo complementario.

Los solucionadores experimentados alternan entre las perspectivas desnuda y 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.

Las cuatro técnicas de subconjuntos desnudos abarcan varios niveles de dificultad, lo que refleja cuánto más difícil es encontrarlas 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 la búsqueda:

Único desnudo: Solo necesitas revisar una celda. Si tiene un candidato, ya está. No se requiere ninguna búsqueda de combinaciones.

Par desnudo: Necesitas encontrar dos celdas con candidatos coincidentes. En una casa con seis celdas sin resolver, hay 15 pares posibles que revisar. Pero como buscas celdas con exactamente dos candidatos idénticos, el patrón visual es distintivo y fácil de reconocer.

Tripleta desnuda: Necesitas encontrar tres celdas cuyos candidatos combinados sumen tres dígitos. En una casa con seis celdas sin resolver, hay 20 ternas posibles. La búsqueda es más difícil porque las celdas no necesitan tener conjuntos de candidatos idénticos.

Cuádruple desnudo: Necesitas encontrar cuatro celdas entre potencialmente muchas celdas sin resolver. El número de combinaciones crece, 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 un conteo sistemático de candidatos o detectando el Par Oculto complementario.

Las valoraciones de dificultad de los puzzles a menudo dependen de qué técnicas se requieren para resolverlos. Un puzzle que no necesita nada más allá de singles 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.

Error 1: Esperar que todas las celdas contengan todos los dígitos

El error más común con los tríos y cuádruples desnudos es suponer que cada celda del subconjunto debe contener los N dígitos. Esto es incorrecto. Un tripleta desnuda con las celdas {1,3}, {1,7} y {3,7} es perfectamente válido aunque ningún celda contenga los tres dígitos 1, 3 y 7.

Cómo evitarlo: Comprueba siempre la unión de candidatos, no las celdas individuales. Cuenta los dígitos distintos en todas las celdas del grupo. Si la cuenta es igual al número de celdas, es un subconjunto desnudo sin importar cómo se distribuyan los dígitos entre las celdas individuales.

Error 2: Confundir subconjuntos desnudos y ocultos

Un par desnudo tiene N celdas con candidatos limitados a N dígitos. Un Par Oculto tiene N dígitos limitados a N celdas, pero esas celdas pueden tener candidatos adicionales.

Con un par desnudo, eliminas los dígitos del par de otras celdas de la casa. Con un Par Oculto, eliminas los dígitos que no son del par de las propias celdas del par.

Cómo evitarlo: Pregúntate: "¿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 has encontrado.

Error 3: Eliminar de las celdas equivocadas

Cuando encuentras un par desnudo {4, 6} en las celdas R1C2 y R1C7, eliminas 4 y 6 de las otras celdas de la fila 1. No eliminas otros candidatos de R1C2 y R1C7. Los candidatos del par desnudo permanecen intactos en las propias celdas del subconjunto.

Cómo evitarlo: Recuerda la regla: los subconjuntos desnudos eliminan sus dígitos de las celdas fuera del subconjunto. Los subconjuntos ocultos eliminan los dígitos que no son del subconjunto 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, puedes eliminar los dígitos del par de otras celdas de la fila 1 y de otras celdas del bloque 1. No limites tus eliminaciones a una sola casa.

Cómo evitarlo: Por cada subconjunto desnudo que encuentres, comprueba qué casas comparten todas las celdas del subconjunto. Aplica las eliminaciones en cada casa compartida.

Los subconjuntos desnudos deben revisarse en orden de menor a mayor:

1. Primero, los solitarios desnudos. Tras cada colocación, busca nuevos solitarios desnudos. Son gratuitos e inmediatos.

2. Segundo, los pares desnudos. Cuando ya no queden solitarios desnudos, busca pares desnudos en cada fila, columna y bloque. Son la técnica intermedia más común y a menudo desbloquean más solitarios desnudos.

3. Tercero, las ternas desnudas. Cuando los pares no basten, amplía la búsqueda a las ternas. Céntrate en casas donde varias celdas tengan dos o tres candidatos.

4. Por último, las cuaternas desnudas. Busca cuaternas solo cuando los subconjuntos menores y otras técnicas se hayan agotado. Dada su dificultad, considera revisar primero los pares o ternas ocultos, ya que pueden ser más fáciles de encontrar y revelar la misma información mediante el principio de dualidad.

Siguiendo esta progresión, aplicas primero las técnicas más fáciles y productivas, y reservas el esfuerzo mental para cuando de verdad se necesita.

Los subconjuntos desnudos son una familia de cuatro técnicas Sudoku unificadas por un único principio elegante: N celdas en una casa con exactamente N candidatos combinados fijan esos dígitos en su sitio, lo que te permite eliminarlos de todas las demás celdas de la casa.

Desde el humilde único desnudo que resuelve un celda directamente, pasando por los pares y ternas desnudos que despejan candidatos, hasta la esquiva cuádruple desnudo que exige una búsqueda sistemática y cuidadosa, estas técnicas forman la columna vertebral de la resolución lógica de Sudoku. Dominarlas te da herramientas fiables que se aplican a puzzles de todos los niveles de dificultad y construye la base para abordar estrategias aún más avanzadas como los subconjuntos ocultos, los patrones de peces y las cadenas.