Prossimo verificatore... o almeno spero :)

Ciao a tutti,

sto lavoricchiando a tempo perso ad una nuova versione del verificatore ma ho bisogno del vostro aiuto.

In particolare vorrei sapere quali sono le cose che avete apprezzato di più dei due verificatori attuali, cosa preferite del verificatore 1 rispetto al 2 e viceversa.

E soprattutto quali funzionalità pensate sia il caso di aggiungere o migliorare.

Ovviamente non posso sbilanciarmi sui tempi di sviluppo anche perché ultimamente sono davvero oberato di lavoro.

Fatemi sapere

Grazie, ciao.

Giovanni

Ciao Gianni,

grazie per la risposta. Comunque sì, è possibile incollare colonne nel verificatore 2 ... è sufficiente fare un click nello spazio dove c'è la griglia con le colonne e poi usare il classico CTRL+V oppure usando Incolla dal menù "Modifica sistema" in alto.

Per quanto riguarda i tempi di elaborazione cercherò di ottimizzare il più possibile.

Pensavo comunque di mantenere i valori massimi dei parametri v, k, ed m uguali a quelli della versione 2, ovvero 60, 14 e 20.

Anche se mi piacerebbe sapere se qualcuno abbia mai verificato un sistema con V=60 ed M=20 che genera 4.191.844.505.805.496 combinazioni

Ciao Giovanni.
il verificatore 1 riduce le colonne anche in presenza di colonne con quantità inferiori di numeri, mentre il 2 non lo permette.

Ciao e grazie.

Edited by TarulliG - 9/10/2020, 07:34

Ciao Ros,

intendi dire quando fai la ricerca miglior copertura con la funzione "pic" ? Anche se mi sfugge l'utilità di questa operazione

Perché la verifica non la fa se ci sono colonne malformate, dico bene?

Se nel verificatore 1 facendo una elaborazione in decine, se a due numeri qualsiasi sostituisci dei numeri superiori a 30, la verifica e la riduzione parte lo stesso e fino a quando non ripremi su verifica sistema, ma solo su ricerca copertura, la verifica e la copertura continua.

Naturalmente selezionando il pic solo a 1.



Una volta finita l'elaborazione così impostata, si porta il pic a 2 e la copertura continua, spesso migliorando quella precedente.

Ciao

ci sto lavorando anche in questo momento... sarà dura ma ci proverò a farlo uscire entro Natale...

Sicuramente sarà molto più veloce a verificare i sistemi, ho fatto di tutto per migliorare le prestazioni e al momento, rispetto alla v2, ci mette poco più di 1/3 del tempo.

Sul mio pc ad esempio, da 31' 56'' 494 sono sceso a 12' 20'' 802.

Spero di riuscire a migliorare le prestazioni anche per le altre funzionalità ma temo sarà più difficile.

Adesso sto lavorando sull'analisi della copertura.

Buona domenica a tutti

E' un 32, 9, 9, 19 da 2.600 colonne che ho scaricato da lottodesigns.

Non 36 minuti comunque ma 31 minuti e 56 secondi... lo sto facendo rigirare sulla v2 per conferma...

Appena finisce posto un altro messaggio...

Ciao Carlo,

in effetti è vero, i programmatori sono una razza strana... l'unica cosa che hanno in comune è che sono fulminati e vivono in una sorta di mondo parallelo

Comunque considera che io lavoro praticamente solo su gestionali web, principalmente in ambito assicurativo quindi con la sistemistica non c'entro nulla. Non ricordo nemmeno come ci sono arrivato a fare un verificatore di sistemi

Il simulated annealing non so nemmeno cosa sia! Tutto quello che fa il verificatore sono miliardi di operazioni sui bit.

Per farla semplice, in un sistema v=10 e k=4, una colonna composta da questi numeri

01 03 07 08

è rappresentata da questo numero intero (leggendolo da destra a sinistra)

0011000101

dopodiché si tratta di fare operazioni bitwise in AND, OR, XOR ecc ecc

Se ho un v=2 e devo mettere la colonna precedente a confronto con la colonna

01 02 03 04

dovrò fare una operazione in AND fra i due interi

0011000101
AND
0000001111
=
0000000101 <- ci sono 2 bit a 1, quindi la condizione v=2 è rispettata (il numero dei bit in questo caso deve essere >= 2)

In questo momento il pc di mio figlio sta verificando con la V3 un sistema 48, 10, 5, 15 da 44 colonne (Paramini-Jurcovich).

Le colonne totali da verificare sono 1.093.260.079.344, ne ha già macinate circa 600 miliardi, entro sera dovrebbe finire.

La nuova versione del verificatore si basa sul framework .net 4.5.2 in linguaggio C#, quindi (preso dal sito Microsoft) dovrebbe essere utilizzabile sui seguenti sistemi operativi

Windows 7 Service Pack 1
Windows 8
Windows 8.1
Windows Server 2008 R2 SP1
Windows Server 2008 Service Pack 2
Windows Server 2012
Windows Server 2012 R2
Windows Vista Service Pack 2
Windows 10

Se qualcuno usa ancora XP (o precedente) temo non potrà usarlo

Purtroppo sono ben lontano dall'aver finito, anzi, la parte difficile deve ancora venire. Verifica e analisi copertura sono quasi a posto e sono molto più veloci di prima... Mancano ancora ricerca colonne a maggior copertura e ricerca miglioramenti copertura

Se qualcuno ha voglia e tempo di fare da beta tester mi mandi un messaggio privato

Ciao.
Giovanni

Ciao Marco,

la versione che ho installato io è la V. 2.2 e la verifica mi pare funzionare.

Con queste 3 colonne ad esempio

01 02 03 04 05 06 07 08 09 10
23 24 25 26 27 28 29 30 31 32
11 12 13 14 15 16 17 18 19 20

il 32, 10, 5, 15 viene verificato.

Quello che non funziona sicuramente in questo caso è l'analisi della copertura perché ogni colonna copre troppe colonne del sistema integrale e va out of memory ed è un problema che mi si è ripresentato anche nella V3. Nella V3 però comparirà un messaggio che farà presente il problema.

Se hai un sistema diverso da provare, rispondimi qui che provo anche io.

Grazie

Ciao.