Dorn Britta, Hüffner Falk, Krüger Dominikus, Niedermeier Rolf, Uhlmann Johannes
Institut für Softwaretechnik und Theoretische Informatik, TU Berlin, Berlin, Germany.
Algorithms Mol Biol. 2011 Aug 25;6:21. doi: 10.1186/1748-7188-6-21.
We consider the following problem: Given an undirected network and a set of sender-receiver pairs, direct all edges such that the maximum number of "signal flows" defined by the pairs can be routed respecting edge directions. This problem has applications in understanding protein interaction based cell regulation mechanisms. Since this problem is NP-hard, research so far concentrated on polynomial-time approximation algorithms and tractable special cases.
We take the viewpoint of parameterized algorithmics and examine several parameters related to the maximum signal flow over vertices or edges. We provide several fixed-parameter tractability results, and in one case a sharp complexity dichotomy between a linear-time solvable case and a slightly more general NP-hard case. We examine the value of these parameters for several real-world network instances.
Several biologically relevant special cases of the NP-hard problem can be solved to optimality. In this way, parameterized analysis yields both deeper insight into the computational complexity and practical solving strategies.
我们考虑以下问题:给定一个无向网络和一组发送者 - 接收者对,对所有边进行定向,使得由这些对定义的“信号流”的最大数量能够在尊重边方向的情况下进行路由。该问题在理解基于蛋白质相互作用的细胞调节机制方面有应用。由于这个问题是NP难的,到目前为止的研究集中在多项式时间近似算法和可处理的特殊情况上。
我们从参数化算法的角度出发,研究了与顶点或边上的最大信号流相关的几个参数。我们提供了几个固定参数可处理性结果,并且在一种情况下,给出了线性时间可解情况和稍微更一般的NP难情况之间的精确复杂度二分法。我们研究了几个实际网络实例中这些参数的值。
NP难问题的几个与生物学相关的特殊情况可以求解到最优解。通过这种方式,参数化分析既深入洞察了计算复杂度,又提供了实际的求解策略。