Definire
Base, dimensione, vincoli e obiettivo vengono dichiarati prima del calcolo.
Metodo
Prima definiamo. Poi misuriamo.
Un risultato è utile quando si conoscono i dati di partenza, il procedimento e il modo per verificarlo in autonomia.
Quattro passaggi
Dal problema a un risultato che si può ricontare.
Ogni strumento di Lottify segue lo stesso principio: prima si definisce il problema, poi si genera, si misura e infine si verifica in modo indipendente.
Generare
Il metodo produce le colonne ammesse senza nascondere regole o scorciatoie.
Misurare
Quantità, costo, copertura e compromessi diventano indicatori confrontabili.
Verificare
Controlli separati ricalcolano struttura, duplicati e proprietà dichiarate.
Un esempio senza formule
Immagina di preparare una valigia.
Hai dieci oggetti, ma nella valigia ne entrano cinque. “Dieci” è la base; “cinque” è la dimensione della scelta. Ogni gruppo possibile di cinque oggetti è una combinazione. Se decidi che deve esserci sempre almeno una maglia e mai più di due paia di scarpe, hai aggiunto dei vincoli.
Un sistema integrale elencherebbe tutte le valigie ammesse. Un sistema ridotto ne sceglierebbe soltanto alcune cercando di conservare un obiettivo: per esempio, fare in modo che ogni coppia di oggetti compaia almeno una volta. Nessuna valigia prevede il meteo; organizza soltanto meglio le possibilità. La metafora, fortunatamente, non applica supplementi bagaglio.
Perché la verifica è separata
Chi costruisce non dovrebbe essere l’unico a controllare.
Un generatore può produrre un risultato formalmente elegante e comunque contenere un duplicato, una riga non valida o un obiettivo scoperto. Per questo Lottify separa la generazione dalla verifica: il secondo processo rilegge l’output e non si lascia impressionare dal lavoro del primo.
È lo stesso principio con cui si ricontrolla un conto importante. Non significa diffidare della matematica; significa rispettarla abbastanza da non confonderla con l’autocompiacimento del software.