Los subconjuntos son una de las ideas más reutilizables del sudoku.
Parejas, Tríos y Cuádruples desnudos y ocultos pueden entenderse con una única regla:
Si N dígitos quedan reservados para exactamente N celdas dentro de una unidad, esos dígitos no pueden utilizarse fuera de esa reserva.
La diferencia entre naked y hidden es únicamente desde qué lado detectas la misma relación.
Regla rápida
Dentro de una fila, columna o bloque:
- identifica N celdas y N dígitos que forman una reserva cerrada;
- si empiezas por las celdas y su unión de candidatos contiene exactamente N dígitos, tienes un subconjunto desnudo;
- si empiezas por N dígitos y sus posiciones posibles están restringidas exactamente a N celdas, tienes un subconjunto oculto;
- usa esa reserva para eliminar candidatos donde corresponda.
Por qué funcionan los subconjuntos de sudoku
Una unidad necesita colocar cada uno de sus dígitos exactamente una vez.
Si tres dígitos, por ejemplo {2,5,8}, solo pueden ocupar tres celdas concretas de una fila, esas tres celdas deben repartirse necesariamente 2, 5 y 8 en algún orden.
Ninguna otra celda de la fila puede usar esos valores.
La demostración no depende de saber cuál de las tres celdas recibe cada dígito; basta con demostrar la reserva 3↔3.
Subconjuntos desnudos: empieza por las celdas
En un Naked Subset, seleccionas N celdas de una unidad y miras la unión de sus candidatos.
Si esa unión contiene exactamente N dígitos, las celdas quedan reservadas para esos valores.
Ejemplo de Naked Triple:
{2,5} {2,8} {5,8}Tres celdas usan únicamente los tres dígitos {2,5,8}. Puedes eliminar 2, 5 y 8 del resto de la unidad.
Subconjuntos ocultos: empieza por los dígitos
En un Hidden Subset, eliges N dígitos y observas dónde pueden aparecer dentro de una unidad.
Si esos N dígitos solo tienen N posiciones posibles, las celdas correspondientes quedan reservadas para ellos.
Los candidatos adicionales escritos dentro de esas celdas pueden eliminarse.
Subconjuntos desnudos y ocultos son dos vistas de una misma reserva
Una reserva de N celdas para N dígitos puede describirse desde dos perspectivas complementarias:
- cell-first: qué valores pueden ocupar estas celdas;
- digit-first: en qué celdas pueden aparecer estos valores.
A veces el mismo estado puede verse como Naked Subset de un lado y Hidden Subset complementario del otro.
Ejemplo resuelto de subconjunto
Pareja desnuda
Dos celdas de una unidad tienen candidatos cuya unión está formada únicamente por dos dígitos {A,B}.
Esas dos celdas deben contener A y B en algún orden, así que A y B se eliminan del resto de la unidad.
Pareja oculta
Dos dígitos solo pueden aparecer en dos celdas de una unidad.
Esas celdas quedan reservadas para los dos valores, por lo que se eliminan de ellas otros candidatos escritos.
Tríos desnudos y ocultos
La misma lógica se amplía a tres celdas y tres dígitos.
Un Naked Triple no exige que cada celda tenga tres candidatos ni listas idénticas. Basta con que la unión de candidatos de las tres celdas contenga exactamente tres valores.
En un Hidden Triple, tres dígitos quedan confinados a tres posiciones aunque esas celdas contengan otros candidatos.
Cuádruples desnudos y ocultos
Los Quads usan cuatro celdas y cuatro dígitos.
Son menos frecuentes y más difíciles de reconocer manualmente, pero no introducen ninguna regla nueva: siguen siendo la misma reserva N↔N.
Cómo encontrar subconjuntos de forma eficiente
1. Empieza por unidades restringidas
Las filas, columnas o bloques con candidatos poco dispersos ofrecen mejores oportunidades.
2. Para Naked Subsets, empieza por celdas con pocos candidatos
Las celdas bivalue y trivalue son buenos puntos de partida para Parejas y Tríos.
3. Para Hidden Subsets, sigue dígitos restringidos
Busca valores que aparezcan en pocas posiciones dentro de una unidad.
4. Detente cuando el conteo deje de cerrar
Si tres celdas necesitan cuatro o cinco dígitos distintos, no tienes un Naked Triple.
5. Vuelve a escanear después de cada eliminación
Un subconjunto puede crear Singles o Locked Candidates inmediatamente.
La prueba exacta de subconjunto
Para un Naked Subset de tamaño N:
La unión de candidatos de N celdas debe contener exactamente N dígitos.
Para un Hidden Subset de tamaño N:
La unión de posiciones posibles de N dígitos debe contener exactamente N celdas.
Esa formulación evita depender de dibujos o listas de candidatos idénticas.
Un subconjunto no exige orden resuelto
No necesitas saber qué celda recibe qué valor.
El poder de la técnica está precisamente en que la reserva es suficiente para eliminar candidatos sin resolver todavía las celdas internas.
Los subconjuntos pueden aparecer en filas, columnas y bloques
Las tres son unidades y la misma lógica se aplica exactamente igual.
No combines celdas de unidades diferentes como si formaran un único subset: todas deben pertenecer a la misma fila, columna o bloque sobre el que haces la eliminación.
Subconjuntos bloqueados y solapamiento con intersecciones
A veces una reserva dentro de un bloque también restringe candidatos en una fila o columna, o viceversa.
Eso puede producir deducciones que recuerdan a Locked Candidates. Las familias se pueden solapar en la práctica, pero la prueba que debes verificar sigue siendo concreta: reserva N↔N para Subsets, o confinamiento bloque-línea para Locked Candidates.
Errores comunes con subconjuntos
Exigir listas de candidatos idénticas
No es necesario. Importa la unión total.
Contar celdas de unidades diferentes
Un subset se demuestra dentro de una sola unidad.
Eliminar dentro de un Naked Subset
En un Naked Subset, los dígitos reservados se eliminan fuera de las celdas del subconjunto dentro de la misma unidad.
Eliminar fuera de un Hidden Subset
En un Hidden Subset, eliminas candidatos extra dentro de las celdas reservadas.
Confiar en candidatos incompletos
Si faltan candidatos legales, puedes inventar un subset que en realidad no existe.
Buscar Quads antes que Parejas evidentes
Mantén el orden de búsqueda de simple a complejo. Los subsets pequeños son más frecuentes y baratos de comprobar.
Subconjuntos frente a Locked Candidates
Locked Candidates restringe un dígito entre un bloque y una línea.
Subsets reserva varios dígitos para varias celdas dentro de una unidad.
Pueden producir eliminaciones parecidas, pero la demostración es distinta.
Subconjuntos frente a Fish
Fish también usa una relación de conteo N↔N, pero entre unidades base y unidades de cobertura para un solo dígito distribuido por el tablero.
Subsets trabaja con N celdas y N dígitos dentro de una misma unidad.
¿Cuándo deberías aprender Quads?
Después de dominar Parejas y Tríos.
Los Quads son una extensión lógica directa, pero su reconocimiento manual tiene mayor coste. No conviene buscarlos de forma rutinaria en sudokus que todavía ofrecen deducciones más pequeñas.
En puzzles reales, la principal dificultad de los Subsets no suele ser ejecutar la eliminación, sino detectar qué conjunto merece ser comprobado. Por eso es útil combinar las dos vistas. Si varias celdas tienen pocos candidatos, prueba una lectura Naked; si varios dígitos aparecen en pocas posiciones dentro de la unidad, prueba una lectura Hidden. Cambiar de dirección evita revisar combinaciones al azar.
Existe además una relación complementaria dentro de una unidad. Si cuatro celdas quedan reservadas para cuatro dígitos, las otras cinco celdas quedan necesariamente reservadas para los otros cinco. En teoría podrías describir muchos estados con el subset complementario, pero en la práctica conviene usar la formulación más pequeña y fácil de verificar. Una Pareja suele ser preferible a describir el mismo estado como un conjunto complementario de siete.
La calidad de los candidatos importa especialmente en Hidden Subsets. Un candidato legal omitido puede hacer parecer que un dígito está restringido a dos o tres posiciones cuando en realidad tiene otra alternativa. Antes de ejecutar una eliminación que depende de una reserva poco evidente, comprueba las posiciones del dígito desde cero en la unidad.
FAQ
¿Qué es un subconjunto en sudoku?
Una reserva de N dígitos para N celdas dentro de una misma unidad que permite eliminar candidatos.
¿Cuál es la diferencia entre un subconjunto desnudo y uno oculto?
El desnudo se detecta empezando por las celdas y sus candidatos; el oculto empezando por los dígitos y sus posiciones posibles.
¿Parejas, Tríos y Cuádruples son todos subconjuntos?
Sí. Son tamaños 2, 3 y 4 del mismo principio general.
¿Un Naked Triple puede contener una celda con solo dos candidatos?
Sí. Lo importante es que la unión de candidatos de las tres celdas contenga exactamente tres dígitos.
¿Los subconjuntos resuelven celdas directamente?
No necesariamente. Su resultado habitual es eliminar candidatos y crear después una colocación más sencilla.
¿Un subconjunto puede usar celdas de diferentes filas o bloques?
Solo si todas pertenecen también a una misma unidad común en la que se demuestra la reserva. No puedes agrupar arbitrariamente celdas sin una unidad compartida.