Alberi nr. 53 del 22/02/2016

[Mandi]

Ho trovato particolarmente intricato Alberi n. 53 del 22/02/2016.
Sarebbe possibile avere la soluzione passo passo?

Grazie.

[gabriele]

click col destro sul flash e selezionare "riproduci"



effettivamente è molto difficile, ma almeno il mio solver riesce a risolverlo. Ne ha prodotti molti altri più difficili che non riesce a risolvere se non con la brute force.

ho riguardato il swf, il mio solver qualche volta ha qualche "lapis" e confonde righe con colonne.

[Mandi]

Devi avere pazienza!

Mi sono fermato alle Mosse 15-16-17 del tuo risolutore.
Non capisco come si possa affermare che r5c6 r5c7 r7c6 non hanno albero!

C'è qualcosa di nascosto che non viene evidenziato?

NB.: è solo l'inizio.
Più avanti ci sono altri punti analoghi non comprensibili (almeno per me).
In particolare quando sono presenti le famigerate celle blu!

Hai qualche suggerimento?
Grazie.

[gabriele]

Devi avere pazienza!

Mi sono fermato alle Mosse 15-16-17 del tuo risolutore.
Non capisco come si possa affermare che r5c6 r5c7 r7c6 non hanno albero!

C'è qualcosa di nascosto che non viene evidenziato?

NB.: è solo l'inizio.
Più avanti ci sono altri punti analoghi non comprensibili (almeno per me).
In particolare quando sono presenti le famigerate celle blu!

Hai qualche suggerimento?
Grazie.

purtroppo, come già annunciato, il mio solver ha qualche lapsus.
la situazione del frame 17 dovrebbe essere:
righe 1 - 3 con 6 alberi: 2 stanno nelle righe 1-3 del giardino 1,1; 2 stanno nelle righe 1-3 del giardino 1,11, 1 sta in r2c7.
Ne consegue: r3c5=albero; r4c1,r4c3,r4c5,rac11=prato.
domani ti spiego meglio le 9 fasi in cui appaiono le celle blu

[gabriele]

Ho modificato i commenti nel flash originale.
Spero sia più chiaro.
In caso contrario non esitare a contattarmi.

[Mandi]

Ok! Grazie Gabriele, ora si capisce molto meglio!

Vedo di assimilare il concetto che per me è nuovo ed interessante.
Poi procedo con l'analisi.

[Mandi]

Ok! Grazie Gabriele, ora si capisce molto meglio!

Vedo di assimilare il concetto che per me è nuovo ed interessante.
Poi procedo con l'analisi.

Ciao Gabriele,

tutto chiaro il concetto in base al quale non sono Alberi alcune celle.
Meno chiaro il perché vengono considerate certe righe/colonne.

Cerco di spiegarmi meglio.

Alla mossa 18 scrivi:

"Righe 5-10: 12 Alberi e 8 Giardini.
Le celle esterne degli 8 Giardini (blu) contengono 8x2 - 12 = 4 Alberi.
Se un Albero fosse nelle celle con il 192 non si avrebbero 1 4 Alberi nelle celle blu."

Non fa una piega! Chiarissimo!

Ma in base a quale criterio vengono considerate le righe 5-10?
Perché (cito a caso) non le 4-7 piuttosto che le 3-5?

[gabriele]

il programma fa una scansione completa e si ferma alla prima occorrenza trovata (che non è necessariamente la più evidente per la mente umana).
adopera due cicli:
for rigainizio=1 to 9
for rigafine=rigainizio+1 to 9
.......

questo non è il massimo, molte volte risolvendo personalmente trovo soluzioni molto più semplici ed evidenti.

[gabriele]

qui invece trovate la soluzione di Adolfo.
https://www.argio-logic.net/guide/53.pdf

[Mandi]

Ok! Grazie Gabriele, ora si capisce molto meglio!

Vedo di assimilare il concetto che per me è nuovo ed interessante.
Poi procedo con l'analisi.

Strategia molto potente aperta a molteplici soluzioni ... Soluzione di Mandi

Anche se impegnativo è stato per me molto gratificante.
Grazie Argio.