Implementazione open-source deterministica parallela branch-and-bound per il risolutore MIP HiGHS

È stata sviluppata una versione open-source innovativa per facilitare il branch-and-bound parallelo deterministico per il risolutore di programmazione mista intera HiGHS. Questo metodo affronta le sfide dell'eterogeneità computazionale e la necessità di determinismo rigoroso in settori commerciali come la pianificazione della produzione e la schedulazione logistica. La programmazione mista intera migliora la programmazione lineare integrando sia variabili decisionali continue che intere, classificandola come NP-difficile e tipicamente non risolvibile in modo ottimale in tempo polinomiale. Il nuovo framework data-parallel replica l'intero stato del risolutore attraverso i thread dei lavoratori e rimuove gli elementi di sincronizzazione non deterministici. Un sistema di bilanciamento del carico basato sull'intelligenza artificiale che utilizza una pre-distribuzione del carico di lavoro multi-stadio garantisce una parallelizzazione efficace. Questo rappresenta la prima implementazione completamente open-source di branch-and-bound parallelo deterministico per HiGHS, un risolutore MIP ad alte prestazioni. I risultati sono stati condivisi su arXiv con l'identificatore 2604.09556v1, classificato come annuncio incrociato. Il branch-and-bound è un metodo esatto fondamentale per affrontare le sfide MIP.