Um Crane é uma cadeia curta em um dígito: forte–fraco–forte. Skyscrapers, Two-String Kites e Cranes são basicamente da mesma família — desenhos diferentes da X-Chain / AIC útil mais curta.
Antes desta: Da mesma família turbot de Skyscraper e Two-String Kite.
Por que funciona
Elos fortes significam “exatamente um é verdadeiro”. Elos fracos significam “os dois não podem ser verdadeiros”. Alterná-los leva a uma conclusão útil nas pontas: pelo menos uma ponta é verdadeira, então as células que veem as duas pontas não podem ter o dígito.
Se você entende o Skyscraper, já entende o Crane — mesma lógica, outra geometria.
Demonstração
Para um dígito, siga um elo forte, depois um elo fraco, depois outro elo forte.
As células verdes formam um Crane em 5 — um pequeno turbot / X-Chain.
A cadeia diz que pelo menos uma ponta tem que ser verdadeira para 5. As vizinhas em comum das duas pontas não estão seguras de jeito nenhum.
Elimine 5 das células que veem as duas pontas (vermelho).
Exemplo 1
Encontre uma cadeia curta forte–fraco–forte em um dígito.
Este Crane envolve 3.
Remova 3 das células que veem as duas pontas (vermelho). Uma das pontas tem que ser verdadeira.
Exemplo 2
Encontre uma cadeia curta forte–fraco–forte em um dígito.
Este Crane envolve 1.
Remova 1 das células que veem as duas pontas (vermelho). Uma das pontas tem que ser verdadeira.