Solver

[gabriele]

terrò questo post come una specie di diario.
ho creato un solver,
per ora solo 1 albero e 9 giardini.
risolto lo schema # 4, che però è molto facile :
difficoltà stimata dal generatore di Adolfo = 604 ( in un range da 600 a 6061501)

[gabriele]

risolto anche il:
# 17 difficoltà 703
# 26 difficoltà 10803
fermo sul
# 34 difficoltà 11302

[gabriele]

risolto il #34
introdotto il "brute force"
inizio gli schemi con 1 albero e 8 giardini

[gabriele]

ho quasi finito il solver per 1 albero con giardini fino a 9.
Mi mancano alcune tecniche più sofisticate,
decido di passare ai 2 alberi e

mi accorgo che tutto quello che ho fatto per 1 albero
non vale, devo cambiare approccio.

[gabriele]

c'è voluto un po' ma finalmente sono riuscito a fare il contatore di soluzioni (brute force) per i 2 alberi.

[gabriele]

mamma mia, che fatica.....
la mia mente, ormai, va in confusione spesso e volentieri.
sono riuscito a risolvere il primo schema 2 alberi, 9 giardini,
difficoltà 31501

[gabriele]

mamma mia, che fatica.....
la mia mente, ormai, va in confusione spesso e volentieri.
sono riuscito a risolvere il primo schema 2 alberi, 9 giardini,
difficoltà 31501

ahimè
è stato solo un caso fortunato

[gabriele]

ci sono voluti ben 5 giorni ma, alla fine, ho anche risolto il successivo
difficoltà 31900

[gabriele]

è con viva e vibrante soddisfazione che annuncio la creazione del primo schema da parte di camillo.
La facilità dello schema è voluta.
Il processo di creazione è comunque molto precario e lontano dall'assumere una forma minimamente soddisfacente.

[gabriele]

pensavo che il mio generatore proponesse schemi abbastanza semplici ed invece non è così.
Quello di domani 7 novembre è abbastanza ostico.
se qualcuno lo risolve senza usare i tentativi, è pregato di avvisarmi.
però, visto che in pochi lo aprono ed che pochissimi lo risolvono, anche se si tratta di schemi abbastanza semplici, ho deciso, almeno fino a quando non diventerà un puzzle popolare, di eliminare gli schemi impegnativi.
intanto provate a risolvere il seguente quiz:
perché la cella gialla non può contenere un albero (le celle blu danno un indizio)?

[Mandi]

Innanzitutto ti pregherei di non eliminare gli schemi impegnativi perché sono quelli più stimolanti (grazie).

Poi, dove trovo lo schema del 7 novembre?


Per quanto riguarda il quiz prima di rispondere devo fare una premessa per poterci capire:

considererò:
i Poderi numerati da "A" ad "n" a partire dal primo in alto a sinistra e procedendo verso destra fino all'ultima riga
le righe da "1" ad "n" e le colonne da "a" ad "n".

Detto questo la soluzione è la seguente:
(-g3) {(+g3?) [(-f2:h2 -f3 -h3 -f4:h4) +e3 (-d2:e2 -d3 -d4:e4) = [B/2A!? (+c1 +e1) & C/1A (+e3)] / [C/2A (+e3 +f1?/+g1?) & B/1A (+c1?/+d1?/+e1?)]}

Mi spiego meglio:

g3 non può essere Albero!
se g3 fosse Albero allora eliminerebbe (-f2:h2 -f3 -h3 -f4:h4)
sarebbe Albero +e3 che eliminerebbe (-d2:e2 -d3 -d4:e4)

con il risultato che
il podere B avrebbe 2 Alberi (+c1 +e1) ed il podere C 1 Albero solo (+e3)

oppure

il podere C avrebbe 2 Alberi (+e3 +f1?/+g1?) ed il podere B 1 Albero solo (+c1?/+d1?/+e1?)

Questa tecnica si chiama: 84 – Eliminazione Podere/Linea

[lenzo]

Vorrei dare una spiegazione più semplice, nella gialla non va un albero perchè avremmo nel podere a sinistra un albero in r3c5 e un altro in r1 (c5 o c7).
L'albero in r3c5 forza nel podere alla sua sinistra due alberi in r1, quindi ci sarebbero 3 alberi in r1.

[gabriele]

A partire dal 24/12 saranno inseriti ogni tanto degli schemi
1x7, 1x8, 1x9
quindi
ATTENZIONE AL NUMERO DI ALBERI