Riformulazione di Programmazione Lineare per il Controllo di Conformità Ottimale
Un nuovo articolo su arXiv introduce un programma lineare (LP) totalmente unimodulare per il controllo di conformità basato su allineamenti, riformulando il problema sul grafo di raggiungibilità del prodotto sincrono. L'approccio sfrutta la struttura del flusso di rete per garantire soluzioni ottimali intere tramite rilassamento LP, evitando variabili intere e ricerca branch-and-bound. La valutazione empirica su oltre 2,1 milioni di istanze da benchmark reali e sintetici mostra che il metodo LP complementa la ricerca euristica standard basata su A*, in particolare per tracce lunghe o deviazioni sostanziali dove A* mostra tempi di esecuzione esponenziali.
Fatti principali
- L'articolo introduce un LP totalmente unimodulare per il controllo di conformità basato su allineamenti.
- La riformulazione è definita sul grafo di raggiungibilità del prodotto sincrono.
- Garantisce una soluzione ottimale intera di punto estremo tramite rilassamento LP.
- Il metodo evita il sovraccarico combinatorio delle variabili intere e del branch-and-bound.
- La valutazione empirica copre oltre 2,1 milioni di istanze di controllo di conformità.
- I dataset includono benchmark reali e sintetici.
- L'approccio LP complementa la ricerca euristica basata su A*.
- A* può mostrare tempi di esecuzione esponenziali per tracce lunghe o deviazioni sostanziali.
Entità
Istituzioni
- arXiv