Razonamiento por subconjuntos

Nivel: Intermedio

Si los candidatos de un número están incluidos en los de otro, se confirma por la diferencia.

Es la técnica de comparar los 'conjuntos de casillas cerradas adyacentes' de dos casillas con número vecinas. Se cumple cuando el conjunto de candidatas a mina de una casilla está totalmente incluido en el de la otra.

Por ejemplo, si los candidatos de A están incluidos en los de B, y el número de minas que B necesita menos el de A coincide con la 'cantidad de casillas de la diferencia', esa diferencia son todas minas. A la inversa, si es 0, todas son seguras.

Los patrones 1-1 y 1-2 son en realidad casos especiales de esta lógica de subconjuntos. Si piensas en términos de relaciones de inclusión entre conjuntos, podrás manejar de forma general incluso los límites complejos.

Técnicas relacionadas