Prossimo verificatore... o almeno spero :)

Ciao,
ho fatto alcune prove col nuovo verificatore 3.1
Faccio un resoconto perché potrebbe essere utile a altri.

Inizialmente stavo provando a installarlo su un PC con windows XP, ma poi mi sono reso conto che non è possibile perché il programma necessita di Frameworks 4.5.2 (che si possono scaricare e installare solo su Windows Vista, 7...e successivi)

Quindi ho trovato un PC con windows 7 (versione Home Premium 64-bit, con 3Gb ram)
Dopo l'installazione, , un messaggio avvisa che si deve attendere per il primo avvio. Dopo un paio di minuti circa il verificatore è pronto. Poi le volte successive non si deve attendere.

A mio avviso il programma ha i seguenti punti a favore

- si può caricare il sistema e successivamente specificare i parametri
(nelle versioni precedenti il programma rifiutava di caricare le combinazioni se v e k non coincidevano coi quelli nelle caselle, i quali dovevano essere impostati necessariamente prima di selezionare il file)

- Riesce a verificare alcuni sistemi che altri programmoi non riescono a trattare.
Ad esempio con il Quick Cover Test se si tenta di verificare un 34,05,02,15=5 come il seguente
01 02 03 04 05
06 07 08 09 10
11 12 13 14 15
16 17 18 19 20
21 22 23 24 25
il programma non lo verifica e da errore di memoria, mentre il verificatore 3.1 completa la verifica in circa 2 minuti.

C'è anche da dire però che con altri parametri la situazione può essere a favore del QCT,
infatti 8per esempio) per verificare il 26,10,09,10=80131 il verificatore impiega più di 12 minuti, mentre il QCT ci mette molto meno.
Però come già detto, fattore non trascurabile, il QCT offre solo la verifica, mentre poi col verificatore si possono poi fare tante altre cose.

- E' Molto veloce

- Interessanti le nuove funzioni introdotte (accessibili col pulsante "Experimental tools")
molto immediata l'utilità dei pulsanti "Delete covering blocks" e ""View covering blocks"
che appaiono accanto a ciascuna combinazione dopo l'uso della funzione "multicovered blocks"
per vedere e maipolare le combinazioni che coprono la stessa colonna.

Le altre funzioni presenti anche nelle versioni precedenti erano già eccezionali e presenti solo in questo programma.

CONTRO:
penso davvero che ci sia molto poco da dire a sfavore del programma.
Se vogliamo cercare il pelo nell'uovo, giusto per completare una sorta di recensione, posso dire che alcuni dati mi hanno lasciato con la curiosità insoddisfatta perché non ho capito a quale valore siano riferiti. Forse perché sono dati sperimentali (ad esempio non ho capito cosa sia il 'Weight' che appare in vari riquadri e non capisco neppure i valori della tabella superiore del rapporto che salta fuori premendo "System analysis"

In più ho forse notato un piccolo bug e se sono previste versioni successive magari si potrà correggere:
modificando il contenuto della casella 't' tramite immissione da tastiera (dunque senza agire sulle freccine col mouse, ma facendo click sulla casella e digitando il numero) e successivamente premendo il tasto TAB (con l'intenzione di passare a modificare il valore di m) il programma va in crash.
Ciò succede sul PC delle mie prove e potrebbe essere un caso isolato.

Direi che abbiamo un'arma in più contro i sistemi apparentemente intrattabili

Grazie, molto esaustivo.
Questi dati assumono per me un aspetto davvero interessante.
Tempo fa, ispirato dalla teoria covering 3D di Gianni e dal funzionamento del verificatore 1.1, avevo cercato di studiare la copertura analizzando esclusivamente i numeri in comune tra le combinazioni (senza dover calcolare le colonne coperte da ciascuna combinazione).
Poi, come ha confermato Nino, mi sono reso conto che è molto complicato, ma resto dell'idea che sia una cosa fattibile.
Se vuoi puoi dare un'occhiata ai post da questo #entry420712545 ,sino ai due successivi.

In pratica sono convinto che sì, c'entrano i numeri in comune tra le combinazioni, ma resta da stabilire 'quali' siano i numeri coinvolti per poter ricorrere a delle tabelle precalcolate e infine ricavare la copertura di una determinata colonna.

Se qualcuno avesse voglia di ragionarci un po' su potremmo aprire una discussione riservata e separata per questo argomento. Se riuscissimo a descrivere l'algoritmo per risolvere in questo modo otterremmo un software rivoluzionario (e non esagero...).
Il programma, per girare, dovrebbe ricorrere a tabelle predisposte a priori (come fanno il Cover32 e il QCT d'altronde) le quali non mi meravglierei se dovessero richiedere un calcolo separato e una preparazione di diverse nottate di calcolo.
Penso di avere anche alcuni esempi già pronti per iniziare a fare due conti. Avevo abbandonato il discorso e poi mi sono perso in altre cose. E da solo non so andare avanti.

Stefano

Secondo me si può riuscire a verificare un sistema solo esaminando i numeri che ciascuna colonna ha in comune con le altre.
Ad esempio nel 20,10,07,10 una colonna di un sistema copre ovviamente 16526. Mentre se se ne aggiunge una seconda, questa coprirà 16526 solo se ha da 0 a 3 numeri in comune con la prima, mentre per gli altri casi (4,5,6,7,8,9 e 10) numeri in comune coprirà una quantità determinata di combinazioni (non coperte anche dalla prima).
La difficoltà inizia quando si aggiunge una terza colonna. Però sono convinto che anche questo caso è prevedibile solo analizzando i numeri che questa ha in comune con la prima e poi con la seconda.
La complessità di questa verifica, se non sbaglio, sarebbe nell'ordine di N(n-1), quindi lineare e i tempi, come si intuisce, scenderebbero incredibilmente.
Comunque il discorso è complicato e non voglio impegnarti. Magari lo riprendiamo con calma.

Spero di riuscire domani a provare ancora un po' il nuovo verificatore.

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