Accelerating ILP Solvers for Minimum Flow Decompositions Through Search Space and Dimensionality Reductions
Loading...
Access rights
openAccess
publishedVersion
URL
Journal Title
Journal ISSN
Volume Title
A4 Artikkeli konferenssijulkaisussa
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Date
Major/Subject
Mcode
Degree programme
Language
en
Pages
Series
22nd International Symposium on Experimental Algorithms, SEA 2024, Leibniz International Proceedings in Informatics, LIPIcs ; Volume 301
Abstract
Given a flow network, the Minimum Flow Decomposition (MFD) problem is finding the smallest possible set of weighted paths whose superposition equals the flow. It is a classical, strongly NP-hard problem that is proven to be useful in RNA transcript assembly and applications outside of Bioinformatics. We improve an existing ILP (Integer Linear Programming) model by Dias et al. [RECOMB 2022] for DAGs by decreasing the solver's search space using solution safety and several other optimizations. This results in a significant speedup compared to the original ILP, of up to 34× on average on the hardest instances. Moreover, we show that our optimizations apply also to MFD problem variants, resulting in speedups that go up to 219× on the hardest instances. We also developed an ILP model of reduced dimensionality for an MFD variant in which the solution path weights are restricted to a given set. This model can find an optimal MFD solution for most instances, and overall, its accuracy significantly outperforms that of previous greedy algorithms while being up to an order of magnitude faster than our optimized ILP.Description
Publisher Copyright: © Andreas Grigorjew.
Other note
Citation
Grigorjew, A, Dias, F H C, Cracco, A, Rizzi, R & Tomescu, A I 2024, Accelerating ILP Solvers for Minimum Flow Decompositions Through Search Space and Dimensionality Reductions. in L Liberti (ed.), 22nd International Symposium on Experimental Algorithms, SEA 2024., 14, Leibniz International Proceedings in Informatics, LIPIcs, vol. 301, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, International Symposium on Experimental Algorithms, Vienna, Austria, 23/07/2024. https://doi.org/10.4230/LIPIcs.SEA.2024.14