Nice Loops: feche uma cadeia de inferências alternadas
Na notação por candidatos, um ciclo contínuo alterna ligações fortes e fracas em toda a volta, incluindo o fecho. Não escolhe um dos vértices como verdadeiro. Um ciclo descontínuo alterna exceto num candidato: duas ligações fracas que se encontram nesse candidato excluem-no; duas ligações fortes tornam-no verdadeiro. É necessário justificar cada ligação.
Ideia-chave
Num ciclo contínuo, cada ligação fraca ganha também uma inferência forte: pelo menos uma das suas extremidades tem de ser verdadeira. Elimine candidatos que entrem em conflito com ambas as extremidades.
Veja a jogada, passo a passo
Percorra um ciclo de quatro nós para o candidato 7 nas linhas 1 e 4.
Passo 1 de 4
Escolha uma rede de candidatos
Concentre-se no candidato 7 e procure pares conjugados que possam ser ligados através de unidades comuns.
Passo 2 de 4
Alterne ligações fortes e fracas
Os quatro candidatos dos vértices formam um ciclo fechado: ligações fortes ao longo de cada linha e fracas ao longo de cada coluna.
Passo 3 de 4
Use a consequência do ciclo
R5C1 vê os dois estados possíveis do ciclo através da coluna 1, pelo que o candidato 7 não pode permanecer nessa célula.
Passo 4 de 4
Mantenha o ciclo e elimine o candidato exterior
O ciclo continua por resolver, enquanto R5C1 perde o candidato 7.
Experimente no sudoku de hoje
Uma ligação forte significa que pelo menos uma extremidade é verdadeira; uma ligação fraca significa que, no máximo, uma é verdadeira. Neste exemplo, ou R1C1 e R4C3 contêm 7, ou R1C3 e R4C1 contêm 7. R5C1 vê um 7 na coluna 1 em ambos os casos, pelo que perde o candidato 7, enquanto os vértices continuam por resolver. Regressar à hipótese inicial não é, por si só, uma contradição; siga as implicações, não a paridade do número de ligações fracas.
Jogar hoje