Come si legge
Una lettera è utile soltanto dopo che sappiamo che cosa conta.
Nelle formule incontrerai spesso n, k e t. Non sono numeri fissi: sono ruoli. n indica quanti simboli offre la base, k quanti ne usa ogni colonna e t la dimensione del gruppo che vogliamo coprire.
Scrivere C(n,k) è un modo compatto per chiedere quante colonne distinte da k simboli si possono scegliere fra n, senza considerare l’ordine. È una frase compressa, non un incantesimo. Una volta espansa, torna molto più socievole.
Dimensione della base
Quanti simboli sono disponibili per costruire le colonne.
Dimensione della colonna
Quanti simboli distinti contiene ogni combinazione.
Dimensione dell’obiettivo
Quanti simboli contiene il piccolo gruppo di cui misuriamo la copertura.
Parole vicine
Generare, filtrare, ridurre e verificare non sono quattro verbi decorativi.
Generare
Costruire le combinazioni possibili secondo base e k.
Filtrare
Escludere le colonne che non rispettano regole dichiarate.
Ridurre
Scegliere soltanto alcune colonne cercando di conservare un obiettivo.
Verificare
Controllare indipendentemente che il risultato possieda davvero la proprietà dichiarata.
Se una colonna manca, il verbo racconta il motivo: un filtro l’ha esclusa perché violava una regola; una riduzione l’ha sacrificata per rispettare un limite. Sembra una sfumatura linguistica, ma evita ore di investigazione e almeno due leggende metropolitane.
Dizionario consultabile
Cerca il termine. Oppure l’idea che ti è rimasta a metà.
La ricerca considera anche descrizioni ed esempi: puoi scrivere “costo”, “casuale”, “gruppi mancanti” o una lettera come k. Il filtro per categoria serve quando sai già in quale quartiere concettuale stai passeggiando.
44 termini visualizzati su 44.
Base
FondamentiL’insieme dei simboli disponibili per costruire le colonne.
Esempio: Con 1, 4, 7, 10 la base contiene quattro simboli. Da ricordare: Cambiare anche un solo simbolo cambia l’intero spazio delle combinazioni possibili.Baseline
VerificaUna soluzione semplice usata come riferimento per valutare metodi più complessi.
Esempio: Confrontare un algoritmo genetico con il greedy. Da ricordare: Se il metodo sofisticato non supera una baseline chiara, la complessità aggiunta deve ancora giustificare il proprio stipendio.Buco di copertura
MisuraUn gruppo-obiettivo che non compare in nessuna colonna.
Esempio: La terna 2–6–9 è assente dal ridotto. Da ricordare: Elencare i buchi è spesso più informativo della sola percentuale, perché mostra esattamente che cosa manca.Coefficiente binomiale
FondamentiIl numero C(n,k) di combinazioni da k elementi scelte fra n.
Esempio: C(8,5) = 56. Da ricordare: Permette di conoscere la dimensione dell’integrale prima di generare materialmente tutte le colonne.Colonna
FondamentiUna singola combinazione valida di k simboli distinti.
Esempio: 1–4–7–10–12 è una colonna da cinque simboli. Da ricordare: Una colonna è valida soltanto se rispetta dimensione, unicità dei simboli ed eventuali vincoli.Combinazione
FondamentiUna scelta di elementi in cui l’ordine non conta.
Esempio: 1–4–7 e 7–4–1 rappresentano la stessa combinazione. Da ricordare: Riordinare gli stessi elementi non crea una nuova colonna: cambia la grafia, non il contenuto.Copertura
MisuraLa quota dei gruppi-obiettivo presenti almeno una volta nelle colonne.
Esempio: 100 terne coperte su 120 equivalgono all’83,3%. Da ricordare: Descrive ciò che il sistema contiene; non misura la probabilità che quei gruppi compaiano nel prossimo evento.Costo
MisuraLa risorsa associata a una soluzione: colonne, denaro, tempo o memoria.
Esempio: Dodici colonne a un euro costano dodici euro. Da ricordare: Va dichiarata l’unità usata: due soluzioni economiche in denaro possono avere tempi di calcolo molto diversi.Deterministico
VerificaUn procedimento che, con gli stessi input, produce sempre lo stesso output.
Esempio: La generazione lessicografica non cambia fra due esecuzioni. Da ricordare: Facilita debug e confronto; non significa automaticamente che il risultato sia corretto o ottimo.Disposizione
FondamentiUna scelta in cui conta anche l’ordine degli elementi.
Esempio: AB e BA sono due disposizioni diverse. Da ricordare: Va distinta dalla combinazione: usarla per errore può moltiplicare inutilmente il numero dei casi.Euristica
AlgoritmiUna regola pratica che cerca buone soluzioni senza garantire l’ottimo globale.
Esempio: Scegliere ogni volta la colonna con il guadagno maggiore. Da ricordare: Va giudicata confrontando qualità, stabilità e tempo con una baseline, non soltanto perché termina rapidamente.Filtro
CostruzioneUna condizione usata per ammettere o escludere colonne.
Esempio: Conservare soltanto colonne con somma fra 20 e 35. Da ricordare: Il filtro restringe lo spazio prima della scelta: non migliora la probabilità intrinseca delle colonne sopravvissute.Frequenza
FondamentiQuante volte un evento è comparso nei dati osservati.
Esempio: Il simbolo 7 è apparso dodici volte nello storico. Da ricordare: Descrive il campione passato; da sola non crea un credito né un debito per il prossimo evento indipendente.Frontiera di Pareto
AlgoritmiL’insieme dei compromessi non dominati fra obiettivi in conflitto.
Esempio: Più copertura richiede più costo; nessuna soluzione migliora entrambi. Da ricordare: Non sceglie al posto dell’utente: mostra le alternative per cui migliorare un obiettivo richiede sacrificare almeno un altro.Funzione obiettivo
AlgoritmiLa formula che assegna un punteggio alle soluzioni da confrontare.
Esempio: Copertura meno una penalità per il numero di colonne. Da ricordare: Tradurre male le priorità nella formula porta l’algoritmo a ottimizzare con grande efficienza la cosa sbagliata.Garanzia
MisuraUna conseguenza strutturale valida sotto condizioni esplicite.
Esempio: Se tre simboli dell’esito sono nella base e tutte le terne sono coperte, una colonna li contiene insieme. Da ricordare: Una garanzia completa deve sempre dichiarare il livello t, la base di riferimento e la condizione sull’esito.Generazione
CostruzioneIl processo che costruisce le colonne secondo regole definite.
Esempio: La generazione lessicografica produce ogni combinazione una sola volta. Da ricordare: Un generatore corretto deve evitare duplicati e poter spiegare con quali regole ha prodotto l’insieme.Greedy
AlgoritmiUn’euristica che prende al passo corrente la scelta localmente più utile.
Esempio: Seleziona la colonna che copre più terne ancora mancanti. Da ricordare: È rapido e leggibile, ma una scelta conveniente adesso può impedire una combinazione migliore nei passi successivi.k
FondamentiIl numero di simboli distinti contenuti in ogni colonna.
Esempio: In un sistema 5 su 8, k = 5. Da ricordare: Deve essere minore o uguale a n; modificarlo cambia dimensione e costo dell’integrale.Metaeuristica
AlgoritmiUna strategia generale per esplorare lo spazio e sfuggire a soluzioni locali.
Esempio: Algoritmo genetico, simulated annealing o ricerca tabu. Da ricordare: Richiede parametri, più esecuzioni e un rapporto accurato: il nome sofisticato non sostituisce il confronto sperimentale.Metodo esatto
AlgoritmiUn algoritmo capace di dimostrare che la soluzione trovata è ottima.
Esempio: Una ricerca completa con potature matematiche. Da ricordare: La prova di ottimalità è preziosa, ma su problemi grandi può richiedere molto più tempo e memoria.Monte Carlo
VerificaUna tecnica che usa molti scenari casuali per stimare un comportamento.
Esempio: Simulare molte estrazioni per osservare una distribuzione; non sostituisce una prova esatta. Da ricordare: Produce stime con incertezza statistica; numero di prove, seme e intervallo di confidenza devono essere documentati.n
FondamentiIl numero di simboli presenti nella base.
Esempio: Se la base contiene otto numeri, n = 8. Da ricordare: n descrive la quantità degli elementi disponibili, non il valore del simbolo più grande.Obiettivo
MisuraLa proprietà che il sistema cerca di massimizzare, conservare o garantire.
Esempio: Coprire tutte le terne della base. Da ricordare: Va definito prima di scegliere l’algoritmo, altrimenti il risultato rischia di essere una risposta in cerca di domanda.Ordine lessicografico
CostruzioneUn modo deterministico di ordinare le combinazioni come parole in un dizionario.
Esempio: Dopo 1–2–3–4 arriva 1–2–3–5. Da ricordare: Serve a rendere l’output stabile e confrontabile; l’ordine non attribuisce maggiore qualità alle prime colonne.Ottimizzazione
AlgoritmiLa ricerca della soluzione migliore rispetto a obiettivi e vincoli dichiarati.
Esempio: Massimizzare la copertura con non più di venti colonne. Da ricordare: «Migliore» ha significato soltanto rispetto alla funzione obiettivo e ai limiti scelti.Ottimo globale
AlgoritmiLa migliore soluzione fra tutte quelle ammissibili.
Esempio: Nessun altro sistema con lo stesso budget ha copertura maggiore. Da ricordare: Per dichiararlo serve una dimostrazione o un limite matematico, non il semplice fatto che molte prove non abbiano trovato di meglio.Ottimo locale
AlgoritmiUna soluzione che non migliora con piccole modifiche vicine, ma può non essere la migliore in assoluto.
Esempio: Scambiare una sola colonna non aiuta, scambiarne tre sì. Da ricordare: La qualità dipende da che cosa consideriamo una modifica vicina; cambiando il vicinato può cambiare anche il giudizio.Permutazione
FondamentiUn ordinamento di tutti gli elementi disponibili.
Esempio: Con A, B e C esistono sei permutazioni. Da ricordare: Usa tutti gli elementi e considera diverso ogni ordine; non è il modello tipico di una colonna combinatoria.Probabilità
FondamentiLa misura matematica dell’incertezza di un evento.
Esempio: In un evento equo, ogni singola combinazione ha la stessa probabilità. Da ricordare: Non va confusa con frequenza osservata o copertura: risponde a una domanda diversa sul modello dell’evento.Ridondanza
MisuraRipetizione di una copertura già ottenuta che non aggiunge nuovi obiettivi.
Esempio: Una colonna copre soltanto terne già presenti altrove. Da ricordare: Non è sempre inutile, ma deve essere voluta: può aumentare robustezza oppure consumare budget senza nuovi vantaggi.Riproducibilità
VerificaLa possibilità di ottenere nuovamente lo stesso risultato con dati e parametri documentati.
Esempio: Salvare base, k, t, metodo, versione e seme. Da ricordare: Un risultato non riproducibile può essere interessante, ma non è ancora una base solida per confronti o garanzie.Seme casuale
VerificaIl valore iniziale che rende ripetibile una sequenza pseudocasuale.
Esempio: Usando il seme 42 si può ricreare la stessa prova. Da ricordare: Va salvato insieme a versione e parametri: lo stesso seme con un algoritmo diverso può generare un’altra sequenza.Sistema integrale
CostruzioneL’insieme di tutte le colonne ottenibili dalla base con una certa k.
Esempio: Otto simboli presi cinque alla volta producono 56 colonne integrali. Da ricordare: È completo rispetto alla base, ma completezza non significa previsione né convenienza economica.Sistema ridotto
CostruzioneUn sottoinsieme organizzato delle colonne, scelto per conservare un obiettivo con meno costo.
Esempio: Dodici colonne selezionate da un integrale di 252. Da ricordare: Il numero di colonne tolte non basta a valutarlo: bisogna misurare copertura, buchi e condizioni della garanzia.Spazio ammissibile
CostruzioneL’insieme delle colonne rimaste dopo l’applicazione dei vincoli.
Esempio: Dalle 252 colonne integrali, i filtri ne lasciano 96. Da ricordare: È il vero insieme sul quale lavorano riduzione e ottimizzazione dopo che le regole hanno fatto selezione.Storico
FondamentiL’insieme degli eventi passati registrati.
Esempio: Serve per descrivere ciò che è accaduto, non per trasformare il caso in profezia. Da ricordare: È utile per analisi, controlli e simulazioni, purché qualità dei dati e limiti interpretativi siano dichiarati.Stress test
VerificaUna prova vicina ai limiti di dimensione o carico del sistema.
Esempio: Generare la base massima consentita e misurare tempo e memoria. Da ricordare: Non cerca soltanto crash: osserva rallentamenti, consumo di risorse e qualità del comportamento sotto pressione.t
MisuraLa dimensione del piccolo gruppo-obiettivo di cui si misura la copertura.
Esempio: Con t = 3 controlliamo tutte le terne della base. Da ricordare: t non indica quanti risultati si prevedono: stabilisce soltanto quale gruppo strutturale vogliamo coprire.Test di regressione
VerificaUn test che impedisce il ritorno di un errore già corretto.
Esempio: Una colonna duplicata deve continuare a essere rilevata. Da ricordare: Ogni difetto corretto dovrebbe lasciare un test: è il modo più economico per evitare di pagare due volte lo stesso errore.Uniformità
MisuraQuanto simboli o gruppi sono distribuiti senza concentrazioni eccessive.
Esempio: Ogni simbolo compare un numero simile di volte. Da ricordare: Una distribuzione uniforme può essere desiderabile, ma non sostituisce la misura della copertura richiesta.Validazione
VerificaIl controllo che dati e configurazione siano adatti allo scopo previsto.
Esempio: Rifiutare una base con simboli duplicati. Da ricordare: Avviene prima o durante il calcolo e impedisce che input formalmente errati producano risultati dall’aspetto autorevole.Verifica
VerificaIl controllo indipendente di una proprietà dichiarata dal sistema.
Esempio: Ricalcolare tutte le terne coperte dal file finale. Da ricordare: Dovrebbe usare il risultato prodotto come input e non fidarsi dei conteggi dichiarati dal generatore.Vincolo
CostruzioneUna regola che una soluzione deve rispettare.
Esempio: Ogni colonna deve contenere almeno due simboli pari. Da ricordare: Un vincolo dovrebbe essere scritto in modo verificabile; «sembra equilibrata» è un’opinione, non ancora una regola.La mappa completa
Dalla base al rapporto: dove vivono i termini.
| Fase | Domanda | Parole principali |
|---|---|---|
| Definizione | Qual è lo spazio del problema? | Base, n, k, combinazione, integrale. |
| Selezione | Quali colonne sono ammissibili? | Filtro, vincolo, criterio, spazio ammissibile. |
| Riduzione | Che cosa vogliamo conservare? | t, obiettivo, copertura, garanzia, ridondanza. |
| Ricerca | Come scegliamo una buona soluzione? | Ottimizzazione, greedy, euristica, funzione obiettivo. |
| Controllo | La proprietà dichiarata è vera? | Verifica, test, baseline, riproducibilità, stress test. |
Fine della guida, inizio del lavoro
Capire le parole non risolve il problema. Permette finalmente di formularlo bene.
Ora puoi distinguere una copertura da una previsione, una riduzione da un filtro e una buona soluzione da una soluzione dimostrata ottima. È già molto: gran parte degli errori nasce prima dei calcoli, quando domande diverse vengono chiamate con lo stesso nome.
Il passo successivo è usare la guida come percorso circolare. Torna al capitolo necessario, modifica gli esempi e prova a scrivere l’obiettivo in una frase verificabile. Se la frase contiene “magicamente”, probabilmente merita un’altra revisione.
Il linguaggio preciso protegge anche dalle promesse eccessive. Nessun algoritmo elimina l’incertezza di un evento casuale. Mantieni sempre un limite di spesa sostenibile e considera il gioco soltanto intrattenimento.