Omnisolver: An extensible interface to Ising spin-glass and QUBO solvers: adding a distributed GPU brute-force plugin

Nel vasto panorama dell'informatica moderna, esiste una classe di problemi così complessi che trovare la singola soluzione migliore sembra come cercare un granello di sabbia specifico in un deserto che raddoppia le sue dimensioni a ogni passo che si compie. Questi sono problemi di ottimizzazione, spesso modellati come reti di parti interagenti dove l'obiettivo è disporre i pezzi per raggiungere lo stato di energia o di costo più basso possibile. Scienziati e ingegneri usano questi modelli per comprendere tutto, dal modo in cui i materiali si comportano a livello atomico a come pianificare il traffico o gestire portafogli finanziari. Per decenni, il modo più affidabile per risolvere questi enigmi è stato controllare ogni singola disposizione possibile, un metodo noto come ricerca esaustiva. Tuttavia, man mano che il numero di pezzi cresce, il numero di possibili disposizioni esplode così rapidamente che anche i supercomputer più potenti del mondo non riescono a completare il lavoro in una vita umana. Ciò crea un divario critico: senza un modo per trovare la risposta assoluta migliore, i ricercatori non possono essere certi se le scorciatoie intelligenti che usano per trovare risposte "abbastanza buone" siano effettivamente vicine alla verità.

Un team di ricercatori dalla Polonia ha ora costruito un nuovo strumento progettato per colmare questo divario per una specifica gamma di problemi difficili. Hanno creato un aggiornamento software che trasforma una normale scheda grafica, quella che si trova nei computer di fascia alta per il gaming e il video, in una macchina capace di controllare ogni possibile disposizione per problemi con fino a sessanta pezzi. Combinando questa potenza di controllo grezza con un sistema che suddivide il lavoro su più computer, sono riusciti a trovare la soluzione perfetta per problemi che prima erano troppo grandi per essere risolti completamente. Questo traguardo fornisce una risposta "gold standard" contro cui possono essere testati altri programmi per computer più veloci, permettendo agli scienziati di verificare se le loro scorciatoie stanno realmente funzionando o se stanno perdendo la soluzione migliore interamente.

Il cuore di questo lavoro è un plugin software chiamato Omnisolver-bruteforce, che agisce come un traduttore universale per diversi tipi di solver informatici. Pensatelo come una chiave maestra che permette ai ricercatori di inserire vari strumenti per affrontare lo stesso problema. I ricercatori hanno preso uno strumento esistente che poteva controllare ogni possibilità su una singola scheda grafica e lo hanno aggiornato per farlo lavorare su una rete di otto potenti schede simultaneamente. Ci sono riusciti scomponendo il massiccio spazio di ricerca in blocchi più piccoli e indipendenti. Immaginate una biblioteca in cui dovete trovare un libro specifico; invece di una sola persona che controlla ogni scaffale, il compito viene diviso in modo che otto persone controllino diverse sezioni contemporaneamente, riferendo solo quando trovano l'obiettivo. In questo caso, la "biblioteca" è l'insieme di tutte le possibili disposizioni del problema, e i "cercatori" sono le schede grafiche che lavorano in parallelo.

I ricercatori hanno testato questo nuovo sistema su un cluster di otto schede grafiche ad alte prestazioni, ciascuna con una grande quantità di memoria. Hanno impostato il sistema per risolvere versioni casuali di questi problemi di ottimizzazione, aumentando gradualmente la dimensione del problema da quaranta pezzi fino a sessanta. I risultati sono stati sorprendenti. Per problemi con sessanta pezzi, il sistema ha impiegato circa tre giorni per controllare ogni singola possibilità e confermare la risposta migliore. Questo potrebbe sembrare molto tempo, ma senza questo nuovo metodo, il compito sarebbe stato impossibile da completare in un tempo ragionevole. Il team ha osservato che per ogni pezzo aggiuntivo aggiunto al problema, il tempo richiesto per risolverlo raddoppiava approssimativamente, un modello che è rimasto valido in tutti i loro test. Questo comportamento prevedibile ha confermato che il loro sistema stava funzionando esattamente come le leggi della fisica e della matematica dettano per questo tipo di ricerca esaustiva.

Una parte significativa dell'innovazione ha riguardato l'assicurazione che il computer non commettesse piccoli errori mentre svolgeva un lavoro così massiccio. Le schede grafiche sono progettate per essere veloci, spesso a scapito di un'estrema precisione, il che può portare a minuscoli errori che si accumulano nel tempo. I ricercatori hanno sviluppato un metodo per correggere automaticamente questi piccoli errori man mano che si verificavano, garantendo che la risposta finale fosse matematicamente esatta. Hanno verificato questo confrontando i loro risultati con una soluzione perfetta nota per problemi più piccoli e hanno scoperto che le risposte corrispondevano fino all'ultimo decimale. Questo livello di affidabilità è cruciale perché lo strumento non è inteso per risolvere problemi quotidiani per le imprese, ma piuttosto per servire come punto di riferimento. Permette agli scienziati di testare nuovi algoritmi più veloci — come quelli ispirati alla fisica quantistica o ai sistemi biologici — per vedere se riescono davvero a trovare la soluzione migliore o se stanno solo tirando a indovinare.

Lo studio ha anche guardato al futuro, a ciò che potrebbe essere possibile con cluster di computer ancora più grandi. I ricercatori hanno calcolato che, se fossero riusciti a collegare duecentodiciassette schede grafiche, avrebbero potuto risolvere un problema con sessanta pezzi in soli trentatré secondi. Hanno inoltre stimato che, con una rete così massiccia, avrebbero potuto teoricamente risolvere problemi fino a settantasei pezzi entro un mese. Tuttavia, sono stati cauti nel notare che queste sono proiezioni basate sui loro dati attuali, e che fattori del mondo reale come i ritardi di comunicazione tra i computer potrebbero cambiare i numeri esatti. L'attuale sistema è limitato a problemi con sessantaquattro pezzi a causa del modo in cui il software gestisce il conteggio delle disposizioni, ma entro questo limite, fornisce una risposta definitiva.

Questo lavoro non pretende di aver risolto tutti i problemi di ottimizzazione, né suggerisce che la ricerca esaustiva sostituirà i metodi più veloci e approssimativi per l'uso quotidiano. Invece, offre un modo per certificare la qualità di quei metodi più veloci. Fornendo una risposta sicuramente corretta per problemi di una certa dimensione, i ricercatori hanno dato alla comunità scientifica un righello per misurare l'accuratezza di nuove tecnologie. Mentre il campo dell'informatica si muove verso sfide più complesse, avere uno strumento che possa definire in modo definitivo "questa è la soluzione migliore possibile" diventa un benchmark essenziale. I ricercatori hanno messo il loro software a disposizione degli altri, invitando la comunità a usare questa nuova capacità per verificare le proprie scoperte e spingere i confini di ciò che è computazionalmente possibile.