Nice Loop
Quando una catena di inferenze alternate si chiude in un anello.
Spiegazione
Un Nice Loop continuo alterna link forti e deboli e torna al candidato di partenza. Poiché l'anello è coerente in entrambe le direzioni, ogni link debole si comporta come uno forte: gli altri candidati in una cella con link debole, e il numero collegato altrove in un'unità con link debole, possono essere tutti eliminati.
Consiglio di pratica
Parti da una cella bivalore o da una coppia coniugata, alterna link forti e deboli e osserva se la catena si richiude su se stessa.
Passaggi di esempio
- Collega i candidati con legami forti e deboli alternati.
- Chiudi la catena sul suo candidato iniziale.
- Rimuovi i candidati extra intorno a ogni legame debole del loop.