Nuovo metodo accelerato da GPU garantisce la ricerca del minimo globale per funzioni non lineari su larga scala

È stato sviluppato un nuovo approccio numerico che sfrutta l'analisi per intervalli e l'architettura GPU per racchiudere rigorosamente i minimi globali di funzioni non lineari con vincoli di limitazione. Il metodo elimina sistematicamente le regioni del dominio di ricerca dove il minimo globale non può esistere, lasciando solo regioni candidate finite. L'analisi per intervalli garantisce il rigore matematico, assicurando l'inclusione anche con errori di arrotondamento computazionale. Per l'efficienza, la tecnica impiega uno stile di programmazione parallela single program, single data basato su GPU per superare i colli di bottiglia delle prestazioni GPU. Una tecnica di ciclizzazione variabile riduce ulteriormente i costi computazionali nella minimizzazione di funzioni non lineari su larga scala. La validazione ha coinvolto la minimizzazione di 11 funzioni benchmark. Il metodo è stato documentato nella preprint arXiv 2507.01770v4 con tipo di annuncio replace-cross.