28 agosto

[liù]

LOOP, trovata contraddizione, r7c5
* Se r7c5=4 allora
* r7c5 <> 2
* r6c5 = 2
* r6c5 <> 8
* r6c4 = 8
* r1c4 = 5
* r9c4 = 4
* r7c5<>4
CONTRADDICE L'IPOTESI QUINDI
* deleting 4 from r7c5

[Aurora]

Ciao Liù,
grazie, grazie, grazie per il tuo aiuto che mi porta a scoprire ogni giorno qualcosa di nuovo nelle tecniche del sudoku.
Guardando la soluzione del 28/8 ho trovato un termine che non conosco: LOOP. Ho cercato dappertutto nelle tue precedenti spiegazioni, senza trovare nulla a proposito. E guardando lo schema odierno, non riesco a capire come funziona questa "regola".
Potresti illuminarmi a proposito?
Aurora riconoscente

[Aurora]

Capito!
Grazie Liù
Aurora

[liù]

Mi scuso per non aver messo la sequenza del loop, ho corretto.
Il loop, cercherò di darti solo qualche cenno comprensibile, implica un discorso sui legami che affronteremo a breve ed a parte.
Si tratta di una catena che parte da un candidato ed ipotizza un certo percorso cercando delle contraddizioni all'ipotesi fatta.
In questo percorso si toccano celle anche con più di due candidati, in alcuni casi esiste un forte legame fra i candidati (cioè sono solo due in un gruppo), in altri no. Devi sempre poi tornare alla cella di partenza.
Vediamo l'esempio del 28:
prendiamo in ipotesi che la cella r7c5 contenga il 4 come nr. certo.
Se è così vuol dire che in quella cella non avremo il 2 e, essendoci solo un altro candidato, il 2 sarà in cella r6c5.
Se r6c5 è 2 non può essere 8, sarà invece 8 la cella r6c4, quin di r1c4 sarà 5 e di conseguenza dovrebbe essere 4 r9c4.
Qui però troviamo la contraddizione, se r9c4 è 4 non può esserci il 4 in r7c5 e lo elimino.