Conjuntos quase fechados

O que é um Conjunto Quase Trancado?

Um ALS é de N células em uma única casa com exatamente N+1 candidatos distintos. É quase fechado - remova um candidato e ele se torna um subconjunto nu. O ALS mais simples é um par de valores Célula (1 Célula, 2 candidatos). Todas as células devem compartilhar uma casa.

O que é um Candidato Comum Restrito?

O RCC é um dígito que aparece em ambos os ALS A e ALS B, onde cada instância em A vê todas as instâncias em B. Isso significa que o dígito só pode estar em um dos dois ALSs, fazendo com que o outro fique bloqueado. Um segundo dígito compartilhado Z pode então ser eliminado das células que veem todas as suas instâncias em ambos os ALSs.

Regra de Interação ALS-XY: A Regra Original de ALS

Dois ALSs compartilham um RCC (X) e outro dígito comum (Z). X só pode ir para um ALS, bloqueando o outro. Z deve acabar em pelo menos um ALS. Elimine Z das células que veem todos os Zs em ambos. Nível 9 (Mestre).

ALS-XZ: A Técnica Two-ALS Aperfeiçoada

Mesma lógica que o ALS-XY, com validação mais rigorosa. O algoritmo enumera todos os ALSs e verifica cada par quanto a RCCs. Nível 10 (Mestre).

Cadeia ALS: Conectando múltiplos Conjuntos quase fechados

Uma sequência de ALSs ligados por RCCs (cada par consecutivo usando um dígito RCC diferente). O alvo de eliminação aparece em ambos os ALSs inicial e final. Nível 11 (Extremo). Abrange como casos especiais as técnicas de dois ALSs.

Sue de Coq: Padrão de Interseção ALS

Aproveita a interseção de um bloco com uma linha ou coluna. Dois conjuntos auxiliares (um da linha, outro do bloco) com candidatos disjuntos que juntos cobrem os candidatos da interseção. Nível 9 (Mestre).

Flor da Morte: A Técnica ALS de Caule e Pétala

Um esterno Célula com N candidatos conecta-se a N ALSs de pétala, um por candidato. Cada candidato é o RCC com sua pétala. Um dígito que aparece em todas as pétalas pode ser eliminado das células que veem todas as suas instâncias nas pétalas. Nível 11 (Extremo).

Como encontrar padrões ALS

Catalogue os ALSs em cada casa. Procure pares que compartilham candidatos com RCCs válidos. Para Sue de Coq, concentre-se nas interseções bloco-linha. Para Flor da Morte, comece pelas células-tronco com poucos candidatos.

Avaliações de Dificuldade

ALS-XY: Nível 9, Mestre Sue de Coq: Nível 9, Mestre ALS-XZ: Nível 10, Mestre Cadeia ALS: Nível 11, Extremo Flor da Morte: Nível 11, Extremo

Resumo

As técnicas ALS baseiam-se em dois conceitos: o Conjunto Quase Trancado (N células, N+1 candidatos) e o Candidato Comum Restrito. Cinco técnicas aplicam isso em diferentes configurações, formando uma das famílias mais poderosas para resolver os quebra-cabeças mais difíceis.