Tvinga nätverk

Framtvingande nät utökar Tvingande kedjor genom att följa alla konsekvenser från varje kandidat samtidigt, inte bara enskilda kedjor. Detta skapar ett grenande konsekvensnät som kan hitta djupare motsägelser och gemensamma resultat.

Teknik

1. Hitta en Cell med flera kandidater.
2. Antag varje kandidat i sin tur och följ ALLA resulterande konsekvenser (inte bara en kedja).
3. Om en antagande leder till en motsägelse (omöjligt tillstånd), eliminera den kandidaten.
4. Om alla antaganden tvingar samma slutsats, är denna slutsats giltig.

Tips

• Tvingande nät är kraftfullare än Tvingande kedjor eftersom de följer varje konsekvens, inte bara en väg.
• De är beräkningsmässigt kostsamma och används vanligtvis som sista utväg innan bruteforce.
• Det grenade karaktären gör dem svåra att följa manuellt.