Solver

Tecniche di soluzione

Solver

Messaggioda gabriele » ven 25 set 2015, 18:06

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)
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano

Re: Solver

Messaggioda gabriele » sab 26 set 2015, 18:17

risolto anche il:
# 17 difficoltà 703
# 26 difficoltà 10803
fermo sul
# 34 difficoltà 11302
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano

Re: Solver

Messaggioda gabriele » mar 29 set 2015, 16:32

risolto il #34
introdotto il "brute force"
inizio gli schemi con 1 albero e 8 giardini
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano

Re: Solver

Messaggioda gabriele » sab 3 ott 2015, 17:31

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
:bur2 :bur2 :bur2
mi accorgo che tutto quello che ho fatto per 1 albero
non vale, devo cambiare approccio.
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano

Re: Solver

Messaggioda gabriele » mar 6 ott 2015, 17:47

c'è voluto un po' ma finalmente sono riuscito a fare il contatore di soluzioni (brute force) per i 2 alberi.
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano

Re: Solver

Messaggioda gabriele » dom 11 ott 2015, 10:35

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
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano

Re: Solver

Messaggioda gabriele » dom 11 ott 2015, 11:29

gabriele ha scritto: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
:bur2 :smm :smm :smm :bur2
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano

Re: Solver

Messaggioda gabriele » ven 16 ott 2015, 19:41

ci sono voluti ben 5 giorni ma, alla fine, ho anche risolto il successivo
difficoltà 31900
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano

Re: Solver

Messaggioda gabriele » sab 31 ott 2015, 14:04

è 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.
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano

Re: Solver

Messaggioda gabriele » ven 6 nov 2015, 17:52

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)?

Immagine
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano

Re: Solver

Messaggioda Mandi » lun 23 nov 2015, 2:46

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: 84Eliminazione Podere/Linea
Avatar utente
Mandi
 
Messaggi: 154
Iscritto il: sab 21 nov 2015, 1:35
Località: Pordenone

Re: Solver

Messaggioda lenzo » lun 23 nov 2015, 9:20

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. :ciao
Lorenzo o, come dicevan tutti, Lenzo
Avatar utente
lenzo
 
Messaggi: 1053
Iscritto il: mar 7 giu 2011, 9:02
Località: provincia di Ancona

Re: Solver

Messaggioda gabriele » mer 16 dic 2015, 17:17

A partire dal 24/12 saranno inseriti ogni tanto degli schemi
1x7, 1x8, 1x9
quindi
ATTENZIONE AL NUMERO DI ALBERI
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano


Torna a Alberi

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite