QUBO (Quadratic Unconstrained Binary Optimization) è diventato il formato standard per esprimere problemi di ottimizzazione nel mondo del quantum computing. È il 'linguaggio nativo' dei quantum annealer come D-Wave e viene utilizzato anche in algoritmi come QAOA. Capire QUBO significa capire come tradurre problemi industriali reali in calcoli quantistici.
Cos'è QUBO
QUBO è una formulazione matematica dove cerchiamo di minimizzare una funzione quadratica di variabili binarie (0 o 1). Ogni variabile rappresenta una decisione sì/no: includere una città nel percorso? Assegnare un lavoro a questa macchina? La matrice Q codifica costi e interazioni tra le decisioni.
Equivalenza con il modello di Ising
QUBO è matematicamente equivalente al modello di Ising della fisica, dove variabili di spin (+1/-1) interagiscono in una rete. Questa equivalenza è fondamentale: i quantum annealer cercano lo stato di minima energia di un sistema Ising, quindi possiamo sfruttare decenni di ricerca fisica per problemi di ottimizzazione.
Tradurre vincoli in penalità
QUBO è 'unconstrained' - non ha vincoli espliciti. I vincoli del problema reale (es. 'visita ogni città esattamente una volta') vengono incorporati come termini di penalità quadratica. Se il vincolo è violato, la funzione obiettivo aumenta, scoraggiando quella soluzione.
Limiti attuali
Per il TSP con n città servono n² variabili binarie. Con i quantum annealer attuali (migliaia di qubit), possiamo affrontare problemi con ~30-50 nodi. Per supply chain reali con migliaia di nodi, servono approcci ibridi: decomporre il problema e usare il quantum per le parti più critiche.
