Asas ALS-XZ
Construções de conjuntos quase bloqueados ligadas por candidatos comuns restritos: Asa XY até TUVWXYZ-Asa, mais as formas de anel duplamente ligadas.
Asa XY
Três células bivaloradas usando três dígitos distintos formam uma construção ALS-XZ com uma prova AIC equivalente.
Continuar Lendo
XYZ-Asa
Uma célula trivalorada e duas células bivaloradas formam uma construção ALS-XZ com o dígito a eliminar presente como candidato nas três.
Continuar Lendo
WXYZ-Asa
Dois ALS abrangendo quatro células distintas e quatro dígitos candidatos distintos, ligados por um RCC.
Continuar Lendo
WXYZ-Anel
Dois ALS abrangendo quatro células distintas e quatro dígitos candidatos distintos, ligados por dois RCCs.
Continuar Lendo
Asa VWXYZ
Dois ALS abrangendo cinco células distintas e cinco dígitos candidatos distintos, ligados por um RCC.
Continuar Lendo
VWXYZ-Anel
Dois ALS abrangendo cinco células distintas e cinco dígitos candidatos distintos, ligados por dois RCCs.
Continuar Lendo
UVWXYZ-Asa
Dois ALS abrangendo seis células distintas e seis dígitos candidatos distintos, ligados por um RCC.
Continuar Lendo
Anel UVWXYZ
Dois ALS abrangendo seis células distintas e seis dígitos candidatos distintos, ligados por dois RCCs.
Continuar Lendo
Asa TUVWXYZ
Dois ALS abrangendo sete células distintas e sete dígitos candidatos distintos, ligados por um RCC.
Continuar Lendo
Anel TUVWXYZ
Dois ALS abrangendo sete células distintas e sete dígitos candidatos distintos, ligados por dois RCCs.
Continuar LendoConjuntos quase bloqueados ligados por comuns restritos
Um conjunto quase bloqueado (ALS) é um fragmento de casa de N células com N+1 candidatos. Quando dois desses conjuntos compartilham um candidato comum restrito (RCC) — um dígito que não pode aparecer em ambos os conjuntos ao mesmo tempo — a ausência do RCC força cada conjunto a travar em seus outros dígitos, permitindo retirar um dígito comum a ambos de células que veem todas as suas posições possíveis. Todas as asas nomeadas são instâncias desta única regra ALS-XZ com tamanhos de conjunto crescentes — cada asa nomeada fixa N células que transportam exatamente N dígitos distintos através de seus dois ALS.
Num par duplamente ligado, os dois conjuntos compartilham dois RCCs, produzindo eliminações extras e consequências de conjunto bloqueado. O nome Anel, como em WXYZ-Anel, significa exatamente isso — dois RCCs — não uma AIC fechada. Uma célula visualmente central nos guias é apenas um auxiliar para encontrar; os operandos da prova são os conjuntos ALS, o RCC e a condição de visibilidade universal de cada alvo.