Dedução por subconjuntos

Nível: Intermediário

Se os candidatos de um número estão contidos nos de outro, confirme pela diferença.

É a técnica de comparar o 'conjunto de casas fechadas vizinhas' de duas casas numeradas vizinhas. Ela vale quando o conjunto de candidatas a mina de uma casa está totalmente contido no conjunto de candidatas da outra.

Por exemplo, se as candidatas de A estão contidas nas de B e, subtraindo o número de minas de A do número de minas exigido por B, o resultado for igual ao 'número de casas da diferença', então toda essa diferença é mina. Se o resultado for 0, todas são seguras.

Os padrões 1-1 e 1-2, na verdade, são casos particulares dessa lógica de subconjuntos. Pensar em termos de relação de inclusão entre conjuntos permite tratar de forma geral até as bordas mais complexas.

Técnicas relacionadas