Simple Coloring: cadeias de elos fortes
O Simple Coloring segue elos fortes de um único algarismo candidato. Sempre que uma linha, uma coluna ou um bloco tem exactamente duas posições para esse algarismo, uma é verdadeira e a outra é falsa. Alterne duas cores ao longo dos elos fortes ligados. Pode então usar uma contradição de cor ou uma armadilha de cor para retirar candidatos.
Colorir não adivinha qual a cor verdadeira; prova o que se segue em qualquer um dos dois estados alternados.
O que é o Simple Coloring?
Escolha um algarismo e construa uma cadeia de pares conjugados. Dê às duas extremidades do primeiro elo forte cores opostas e, depois, alterne as cores em cada elo forte ligado. Os candidatos da mesma cor representam o mesmo estado de verdade nessa cadeia. As cores são apenas etiquetas e não significam correcto ou incorrecto até uma regra expor uma contradição.
Duas regras de Simple Coloring
- Construir elos fortes de um algarismo. Ligar as unidades em que o algarismo escolhido aparece em exactamente duas células.
- Alternar duas cores. Cada par de elo forte recebe cores opostas ao longo da cadeia ligada.
- Aplicar a regra do wrap. Se dois candidatos da mesma cor se virem, essa cor é falsa em toda a cadeia.
- Aplicar a regra da armadilha. Um candidato sem cor que vê ambas as cores pode ser retirado, porque uma das cores tem de ser verdadeira.
Exemplo: uma armadilha de cor no candidato 3
Uma cadeia de 3 conjugados alterna verde e azul. Um candidato 3 sem cor vê uma célula verde na sua linha e uma célula azul no seu bloco.
- Verificar a cadeia. Cada mudança de cor deve atravessar uma unidade com exactamente dois candidatos para o 3.
- Verificar as duas linhas de visão. O alvo vê pelo menos um candidato de cada cor na mesma cadeia.
- Retirar o alvo. Quer o verde quer o azul sejam verdadeiros, o candidato sem cor entra em conflito com um 3 verdadeiro.
Erros frequentes de coloração
Colorir elos fracos
A alternância só é garantida num elo forte com exactamente dois candidatos numa unidade.
Misturar cadeias separadas
As cores de cadeias desligadas não partilham um estado de verdade.
Assumir cedo que uma cor é verdadeira
Esperar por um wrap, uma armadilha ou outra regra de cadeia válida para justificar uma eliminação.
Lista de prática Simple Coloring
- Escolher um algarismo com vários pares conjugados.
- Manter cada cadeia desligada em separado.
- Procurar primeiro conflitos da mesma cor e depois células que vêem ambas as cores.
Colorir é a contabilidade de uma cadeia de relações «um ou o outro». Mantenha a cadeia num só algarismo, alterne apenas em elos fortes e elimine só quando uma regra nomeada fecha o argumento.
Perguntas frequentes sobre o Simple Coloring
O que é um elo forte?
Para um algarismo, um elo forte liga as únicas duas posições candidatas numa linha, coluna ou bloco; pelo menos uma tem de ser verdadeira.
As cores têm significados fixos?
Não. Apenas etiquetam estados de verdade opostos numa cadeia ligada.
Posso combinar cadeias de cor desligadas?
Não sem um elo lógico adicional. Cada cadeia desligada tem estados de cor independentes.
