最小流量分解(MFD)是一个NP硬性问题,要求将网络流分解为最小路径集(以及相关的权重)。它的变体是生物信息学(例如RNA组装)中多重组问题的强大模型。由于其硬度,实用的多重组装工具使用启发式方法或解决问题的更简单,多项式可溶解的版本,这可能会产生并非最小的解决方案或无法完全分解流。在这里,我们基于整数线性编程(ILP),在无环网络上提供第一个快速,精确的求解器。我们方法的关键是仅使用二次变量数量的所有解决方案路径编码。我们还将ILP公式扩展到许多实用变体,例如合并更长或配对的读数或最小化流误差。在模拟和实现剪接图上,我们的方法求解了<13 sec-onds中的任何实例。我们希望我们的配方能够属于未来实用的RNA组装工具的核心。我们的实现可在GitHub上免费获得。
主要关键词