 Research
 Open Access
 Published:
Exploiting bounded signal flow for graph orientation based on cause–effect pairs
Algorithms for Molecular Biology volume 6, Article number: 21 (2011)
Abstract
Background
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 NPhard, research so far concentrated on polynomialtime approximation algorithms and tractable special cases.
Results
We take the viewpoint of parameterized algorithmics and examine several parameters related to the maximum signal flow over vertices or edges. We provide several fixedparameter tractability results, and in one case a sharp complexity dichotomy between a lineartime solvable case and a slightly more general NPhard case. We examine the value of these parameters for several realworld network instances.
Conclusions
Several biologically relevant special cases of the NPhard problem can be solved to optimality. In this way, parameterized analysis yields both deeper insight into the computational complexity and practical solving strategies.
Background
Current technologies [1] like twohybrid screening can find protein interactions, leading to proteinprotein interaction (PPI) networks, but cannot decide the direction of the interaction. This can be complemented by gene knockout experiments which constitute a way to determine causal relations in these networks, thus providing additional information on possible directions of information flow in them [2]. Given a list of socalled cause–effect pairs, the challenge consists in deducing an orientation of the PPI network which takes into account the causal relations of as many of these pairs as possible. Medvedovsky et al. [3] formalize this in terms of a graph theoretical problem as follows.
Problem Formalization
Let G = (V, E) be an undirected graph. An orientation$\overrightarrow{G}$ of G is a directed graph $\overrightarrow{G}$ = (V, $\overrightarrow{E}$) obtained from G by replacing every undirected edge {u, v} ∈ E by a directed one, i. e., either by (u, v) ∈ $\overrightarrow{E}$ or by (v, u) ∈ $\overrightarrow{E}$. Let P ⊆ V × V be a set of ordered source–target pairs, which we sometimes refer to as "signals". In order to distinguish pairs from edges or arcs, we use the notation [a, b] ∈ P to denote the pair starting in a and ending in b. We say that a pair [a, b] ∈ P is satisfied by a given orientation $\overrightarrow{G}$ if there exists a directed path from a to b in $\overrightarrow{G}$. The central problem considered in this work is to find an orientation of a given graph maximizing the number of satisfied pairs. As pointed out by Medvedovsky et al. [3], we can assume that the given graph is a tree: it is clearly optimal to orient the edges of a cycle to form a directed cycle, and hence one can repeatedly contract a cycle to a single vertex, obtaining a tree. Note that this process will always produce the same tree independent of the order of contractions, since two vertices will be merged eventually if and only if they are in the same bridge block, where a bridge block is a connected component of the graph that is obtained by deleting all bridges (edges whose deletion increases the number of connected components). Further, bridge blocks can be found in linear time [4, 5]. Thus, formalized as a decision problem, MAXIMUM TREE ORIENTATION is defined as follows.
Maximum Tree Orientation (MTO)
Input: An undirected tree T, a set P of ordered pairs of vertices of T, and an integer k ≥ 0.
Question: Is there an orientation of T such that at most k pairs in P are not satisfied?
We also consider the weighted version, called WEIGHTED MAXIMUM TREE ORIENTATION (WMTO), where every pair [a, b] ∈ P is associated with a rational weight ω([a, b]) ≥ 0, and the goal is to maximize the sum of weights of the satisfied pairs. Throughout this work, n denotes the number of vertices in the given MTO instance, if not stated otherwise.
As sketched before, MTO is motivated from the inference of causal relations in biological networks [6, 7] such as PPI networks, but it also has applications in the context of communication networks, where several oneway connection request pairs are given. Since each link between two network nodes can only be used in one direction, one has to orient the links in such a way that as many communication requests as possible can be fulfilled.
Previous Work
MTO was introduced by Medvedovsky et al. [3]; they showed that the problem is NPcomplete even when the underlying tree is a star (that is, a diametertwo tree) or a tree with maximum vertex degree three. Moreover, they provided a cubictime algorithm for MTO restricted to paths. Seeing MTO as the task to maximize the number of satisfied pairs, Medvedovsky et al. also provided polynomialtime approximation algorithms with approximation factor 1/ 4 in the case of stars and O(1/ log n) in the case of general nvertex trees. The latter approximation factor was recently improved to O(log log n/ log n) by Gamzu et al. [8], who furthermore extended the studies of MTO to "mixed graphs" where some of the edges are already oriented based on causal relations known in advance. Besides these theoretical investigations, Medvedovsky et al. [3] also provided some experimental results based on a yeast PPI network and some synthetic data. Silverbush et al. [9] recently formulated a polynomialsize integer linear program for the generalization of mixed graphs and did some experiments with it. Also recently, Gitter et al. [10] considered graph orientation with the objective of maximizing the weight of all satisfied paths between sources and targets with length at most some constant k. They used approximation algorithms to discover pathways in biological networks. In an earlier work, Hakimi et al. [11] studied the special case of MTO where the list of pairs to be satisfied contains all possible pairs; they developed a quadratictime algorithm for this case.
Our Contributions
We mainly continue and complement previous work on MTO [3, 8] by starting a parameterized and multivariate complexity analysis of MTO. That is, we try to better understand the border between tractable and intractable cases of MTO while sticking to optimal (instead of approximate) solutions. In particular, our focus is on the "amount of signal flow" over vertices and edges, respectively, and how this influences the computational complexity of MTO.

We show that WMTO can be solved in $O\left({\mathsf{\text{2}}}^{{m}_{v}}\cdot \leftP\right+{n}^{\mathsf{\text{4}}}\right)$ time on an nvertex tree, where m_{ v }denotes the maximum number of connecting paths (onetoone corresponding to the input vertex pairs) over any tree vertex. In other words, WMTO is fixedparameter tractable with respect to the parameter m_{ v }.

We introduce the concept of cross pairs and show that crosspairfree instances of WMTO can be solved in quadratic time, as a corollary also improving the cubictime algorithm of Medvedovsky et al. [3] for MTO on paths to quadratic time.

We additionally show that WMTO is fixedparameter tractable with respect to the parameter q_{ v }which is the maximum number of cross pairs over any vertex; namely, it can be solved in $O\left({\mathsf{\text{2}}}^{{q}_{v}}\cdot {n}^{2}\cdot {q}_{v}\right)$ time.

Shifting the focus from "maximum vertex signal flow" to "maximum edge signal flow", we show a sharp complexity dichotomy: WMTO can be solved in linear time if no tree edge has to carry more than two signals, but if this maximum edge signal flow is three, MTO already becomes NPhard.

Finally, we briefly discuss some practical aspects of exactly solving the so far very few considered realworld instances and conclude that these can be already solved to optimality within milliseconds (via at least three different strategies). However, we also make the point that with the future availability of further realworld data, our new algorithms could be of significant practical relevance beyond so far known or straightforward approaches.
Preliminaries, Basic Facts, and Simple Observations
For ease of presentation, for a WMTO instance (T, P, ω), we always assume that ω([s, t]) = 0 for all pairs s, t ∈ V with [s, t] ∉ P. Moreover, subsequently mostly referring to MTO, the presented concepts and definitions clearly apply to WMTO as well. Note that in a tree T = (V, E), for each ordered pair [a, b] of vertices, there exists a uniquely determined path connecting these vertices. We will therefore often write the path defined by the pair [a, b] when we refer to the unique path in the tree starting in vertex a and ending in vertex b, or talk about pairs and paths interchangeably. Sometimes, we also talk about paths in the tree which do not necessarily correspond to pairs. We denote the undirected path connecting vertices v and w in T by path_{ T }(v, w). Moreover, P_{ v } : = {[s, t] ∈ P  v ∈ V (path_{ T }(s, t))} denotes the set of paths passing through a vertex v (note that this includes paths of which v is an endpoint). An MTO instance is called rooted if the underlying tree T is rooted. In a rooted tree T = (V, E), if vertex a ∈ V is an ancestor of vertex b ∈ V, then we use the notation a ≺ b. The subtree of T rooted at v ∈ V is denoted T_{ v } .
Let (T = (V, E), P) be an MTO instance, and let x, y ∈ P be two pairs. We say that x conflicts with y if there exists no orientation of T for which both x and y are satisfied. From an nvertex MTO instance, we build a so called conflict graph in which each vertex corresponds to an input pair of the MTO instance, and where there is an edge between two pairs if and only if they conflict with each other. More formally, given an MTO instance (T = (V, E), P), the corresponding conflict graph G_{ c } (T, P) is defined G_{ c } (T, P):= (P, E_{ c } ) where E_{ c } : = {{u, v}  u, v ∈ P ∧ u conflicts with v}.
The computation of the conflict graph can be done in Θ(n^{4}) time. It clearly cannot be done faster, because up to O(n^{4}) conflicts are possible. To achieve the desired bound, we thus need to decide in constant time whether two pairs conflict with each other. This is done using an appropriate data structure and two simple observations: First, in a rooted tree, least common ancestors (LCAs) can be calculated in constant time after some linear time preprocessing [12]. Second, two pairs are in conflict if and only if their paths run in different directions through an edge incident on the lower one of the two LCAs of the two pairs. Clearly, for an orientation of (T, P), in G_{ c } there are no edges (that is, conflicts) between the vertices corresponding to the satisfied source–target pairs, and hence the vertices corresponding to the nonsatisfied source–target pairs form a vertex cover for G_{ c } , that is, a vertex set V' ⊆ P such that for every edge e ∈ E_{ c } at least one endpoint of e is in V'. This yields the following useful observation.
Proposition 1. Finding a minimumweight vertex cover in the conflict graph G_{ c } (T, P) onetoone corresponds to determining a minimumweight set of pairs that cannot be satisfied in (T, P).
It is generally assumed that the fact that a problem is NPhard implies that there is no algorithm that finds an optimal solution and has running time bounded by a polynomial of the size of the input. Parameterized complexity is a twodimensional framework for the analysis of computational complexity [13–15]. One dimension is the input size n, and the other one is the parameter (usually a positive integer). A problem is called fixedparameter tractable (fpt) with respect to a parameter x if it can be solved in f(x) ⋅ n^{O}^{(1)} time, where f is a computable function only depending on x. If a problem is fixedparameter tractable with respect to x, we can hope for efficient optimal solutions as long as the parameter is not too large. Due to Proposition 1 we can immediately conclude that MTO and WMTO are fixedparameter tractable with respect to the parameter "number of pairs" p, since the conflict graph has p vertices and we can find a minimumweight vertex cover by trying all possibilities in 2 ^{p} ⋅ n^{O}^{(1)} time. Further, since minimumweight vertex covers can be found in O(1. 379 ^{k} + kn) time [16], we have fixedparameter tractability with respect to the parameter "number of unsatisfied pairs", and if all weights are at least one, also with respect to the parameter "total weight of unsatisfied pairs".
Treedecompositionbased algorithms have been successfully applied in the area of computational biology, for instance, in the context of structure–sequence alignment [17]. Informally speaking, the treewidth[15] measures the "treelikeness" of a graph, and a tree decomposition is the "embedding" of a graph into a tree depicting the treelike structure of the graph.
We recall the following definitions from literature [18]: A tree decomposition of a graph G = (V, E) is a pair $\u3008\left\{{X}_{i}i\in I\right\},\mathcal{T}\u3009$, where each X_{ i } is a subset of V called bag, and $\mathcal{T}=(I,F)$ is a tree with node set I and edge set F. The following must hold:

1.
${\bigcup}_{i\in I}{X}_{i}=V$;

2.
for every edge {u, v} ∈ E, there is an i ∈ I such that {u, v} ⊆ X_{ i } ; and

3.
for all i, j, l ∈ I, if j lies on the path between i and l in T, then X_{ i } ∩ X_{ l } ⊆ X_{ j } .
The width of $\u3008\left\{{X}_{i}i\in I\right\},\mathcal{T}\u3009$, is max{X_{ i }   i ∈ I}  1. The treewidth of G is the minimum width over all tree decompositions of G.
Methods and Results
Bounded Signal Flow Over Vertices
In this subsection, we investigate how the vertexwise structure of the source–target pairs influences the computational complexity of MAXIMUM TREE ORIENTATION. More specifically, first we consider the parameter m_{ v } denoting the maximum number of source–target paths passing through a vertex. We show that MTO can be solved in O(2 ^{mv} ⋅ P + n^{4}) time. In other words, MTO is fixedparameter tractable with respect to the parameter m_{ v } . Motivated by this positive result, we explore in more depth the structure of the source–target paths that pass through a vertex. To this end, we introduce the concept of "cross pairs" and show that for crosspairfree instances MTO can be solved in O(n^{2}) time. Informally speaking, an instance is crosspairfree if the input tree can be rooted such that for each source–target pair one endpoint is an ancestor of the other one. Then, for a rooted MTO instance a cross pair is a source–target pair such that none of its endpoints is the ancestor of the other endpoint. By refining the solving strategy for crosspairfree instances, we show that MAXIMUM TREE ORIENTATION can be solved in $O\left({\mathsf{\text{2}}}^{{q}_{v}}\cdot {n}^{2}\cdot {q}_{v}\right)$ time, where q_{ v } denotes the maximum number of cross pairs passing through a vertex.
All algorithms in this subsection are based on dynamic programming, and, hence, since source–target pair weights can easily be incorporated, extend to WMTO.
Parameter "Maximum Number of Pairs Per Vertex"
Here, we show that WMTO is fixedparameter tractable for the parameter m_{ v } denoting the maximum number of source–target pairs passing through a vertex. To this end, we prove in Theorem 1 that we can construct in polynomial time a tree decomposition of the conflict graph of treewidth at most m_{ v } . Recall that (weighted) MTO is equivalent to (weighted) VERTEX COVER on the conflict graph (see Proposition 1). Thus, the running time follows by the fact that (weighted) VERTEX COVER can be solved in O(2^{tw}n) time, given a tree decomposition of width tw [15]. □
Theorem 1. On nvertex trees, WEIGHTED MAXIMUM TREE ORIENTATION is solvable in O(2 ^{m}v⋅ P + n^{4}) time, where m_{ v } denotes the maximum number of source–target pairs passing through a vertex.
Proof. First, we show how to construct a tree decomposition of width m_{ v } of the conflict graph in polynomial time. Let (T = (V, E), P) denote an MTO instance and let G_{ c } = (P, E_{ c } ) denote the associated conflict graph. The basic idea is that we can use T as the underlying tree of a tree decomposition of G_{ c } = (P, E_{ c } ). More specifically, the tree decomposition is given by 〈{P_{ v }  v ∈ V}, T〉 for all v ∈ V. Recall that P_{ v } denotes the set of source–target pairs passing through v. Observe that each vertex p ∈ P of the conflict graph appears exactly in the bags X_{ v } for all v ∈ V (path_{ T }(p)). Moreover, note that if two source–target pairs p = [s, t] and p' = [s', t'] are in conflict (and hence are adjacent in the conflict graph), then path_{ T }(s, t) and path_{ T }(s', t') have at least one edge and thus at least two vertices in common. Hence, every edge of the conflict graph is contained in at least one of the X_{ v } 's. Thus, all conditions of a tree decomposition are fulfilled. Moreover, the width of this tree decomposition is clearly m_{ v }  1. The conflict graph, the sets P_{ v } , and the tree decomposition can be computed in O(n^{4}) time. Thus, the overall running time follows by the fact that WEIGHTED VERTEX COVER can be solved in O(2^{tw} P) time, given a tree decomposition of width tw of G_{ c }[15].
Cross Pairs
In Theorem 1, we have shown that WMTO is fixedparameter tractable with respect to the parameter m_{ v } . In the following, we will strengthen this result by showing that WMTO is fixedparameter tractable with respect to the parameter "number of a special type of source–target pairs (the socalled cross pairs) passing through a vertex". The idea is to identify a "trivial" (that is, polynomialtime solvable) special case of the problem and then to investigate instances that are close to these trivial instances, their closeness measured in terms of a certain parameter which is referred to as distance from triviality[19, 20].
In the following, we will always consider rooted trees. Informally speaking, a crosspairfree instance only contains source–target pairs whose corresponding paths are directed either towards the root or towards the leaves, but do not change their direction. Crosspairfree instances of WMTO are of special interest since they constitute our "trivial instances".
Definition 1. Let (T = (V, E), P, ω) be an instance of WMTO where T is a rooted tree. A source–target pair p = [a, b] ∈ P is called cross pair if neither a is an ancestor of b nor b an ancestor of a. An instance of WMTO is called crosspairfree if T can be rooted such that P does not contain any cross pairs.
Crosspairfree Instances
Now, we devise a dynamicprogrammingbased algorithm solving WMTO in quadratic time on crosspairfree instances.
Theorem 2. On nvertex trees, WEIGHTED MAXIMUM TREE ORIENTATION for crosspairfree instances with given root can be solved in O(n^{2}) time.
Proof. Algorithm. We present a dynamic programming algorithm with quadratic running time solving a crosspairfree WMTO instance (T = (V, E), P, ω) with root r. For the presentation of the algorithm, we use the following notation. For v ∈ V, let T_{ v } be the subtree of T rooted at v. For all v, w ∈ V with v ≺ w (that is, v is an ancestor of w) let ${T}_{w}^{v}$ denote the subtree of T induced by ${V}_{w}^{v}:=V\left({T}_{w}\right)\cup V\left(\mathsf{\text{pat}}{\mathsf{\text{h}}}_{T}\left(v,w\right)\right)$.
For ease of presentation, let ${V}_{w}^{w}:=V\left({T}_{w}\right)$. Moreover, let ${P}_{w}^{v}:=\left\{\left[s,t\right]\in Ps,t\in {V}_{w}^{v}\right\}$. That is, ${T}_{w}^{v}$ is the tree consisting of the path path_{ T }(v, w) and the subtree T_{ w } rooted at w, and ${P}_{w}^{v}$ are the pairs with both endpoints in ${T}_{w}^{v}$. Finally, the weight of an orientation ${\overrightarrow{T}}_{w}^{v}$ of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$ is the sum of the weights of the pairs in ${P}_{w}^{v}$ satisfied by ${\overrightarrow{T}}_{w}^{v}$.
The algorithm maintains an n × n dynamic programming table S, containing for each v, w ∈ V with v ≺ w or v = w the two entries S(v, w) and S(w, v). The goal of the dynamic programming procedure is to fill S in accordance with the following definition.
For all v, w ∈ V with v ≺ w, entry S(v, w) is the maximum weight of an orientation of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$ among all orientations of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$ orienting the path between v and w from v to w (that is, away from the root). Analogously, S(w, v) is the maximum weight of an orientation of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$ among all orientations of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$ orienting the path between v and w from w to v (that is, towards the root). Note that in the case v = w we have that S(v, v) is the weight of an optimal orientation of the subtree rooted at v.
Next, we describe how our algorithm computes the entries of S in accordance with this definition. The weight of an optimal orientation of (T, P) can then be found in S(r, r).
To compute the entries of S, visit all vertices w ∈ V in a bottomup traversal. Then, for each w consider all vertices v ∈ V with v = w or v ≺ w and set (omit the sum if w is a leaf):
Herein, A(v, w) denotes the sum of the weights of the source–target pairs with both endpoints on path_{ T }(v, w) that are satisfied when orienting the path between v and w from v to w, that is,
Analogously, A(v, w):= ω ({[s, t ∈ P  s, t ∈ V (path_{ T }(v, w)) ∧ t ≺ s}). Moreover, for ease of presentation we assume that A(v, v) = 0.
Correctness. For the correctness of the algorithm note the following. For a leaf w and an ancestor v of w, the tree ${T}_{w}^{v}$ is identical to the path path_{ T }(v, w). Hence, the sum of the weights of pairs that can be satisfied by orienting the path either from v to w or from w to v is A(v, w) and A(w, v), respectively. Next, consider the case that w is an inner vertex and let v be an ancestor of w. Moreover, let u_{1},…, u_{ ℓ } denote the children of w. We argue that the maximum weight of an orientation of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$ orienting the edges on path_{ T }(v, w) towards w equals
and, hence, S(v, w) is computed correctly. To this end, consider a maximumweight orientation ${\overrightarrow{T}}_{w}^{v}$ of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$ orienting the edges on path_{ T }(v, w) towards w. If, for a child u_{ i } , ${\overrightarrow{T}}_{w}^{v}$ contains the arc (u_{ i } , w), then the contribution of the source–target pairs in ${P}_{w}^{v}$ with at least one endpoint in ${T}_{{u}_{i}}$ to the weight of ${\overrightarrow{T}}_{w}^{v}$ is S(u_{ i } , w); note that no source–target pair of ${P}_{w}^{v}$ with exactly one endpoint in ${T}_{{u}_{i}}^{w}$ is satisfied by ${\overrightarrow{T}}_{w}^{v}$, and thus the contribution of these pairs is S (u_{ i } , w) (a smaller contribution would contradict the optimality of ${\overrightarrow{T}}_{w}^{v}$). Moreover, if for a child u_{ i } the oriented tree ${\overrightarrow{T}}_{w}^{v}$ contains the arc (w, u_{ i } ), then it follows by a similar argument that the contribution of the paths in ${P}_{w}^{v}$ with at least one endpoint in $V\left({T}_{{u}_{i}}\right)$ is S(v, u_{ i } )  A(v, w). The only difference is that the contribution of the source–target pairs with both endpoints in V (path_{ T }(v, w)) is already considered in the above formula, and, hence, must be subtracted from S(v, u_{ i } ).
Running time. For the running time bound, we show that A can be computed in O(n^{2}) time in a preprocessing step. Then, the overall running time is clearly bounded by
since ∑ _{ w∈V } deg_{ T }(w) = 2(n  1) in trees. Clearly for v, w ∈ V with v ≺ w the matrix entries A(v, w) and A(w, v) can be computed by setting
and
where x is the neighbor of v and y is the neighbor of w on path_{ T }(v, w). This assumes, however, that all the entries of A for pairs with distance l  1 are known before computing the entries of the pairs with distance l. This can be ensured by using a queue (firstinfirstout data structure) as follows. For the computation of A, first, for all edges {v, w} ∈ E with v ≺ w set A(v, w):= ω([v, w]) and A(w, v):= ω([w, v]) (let ω([s, t]):= 0 if [s, t] ∉ P) and append the pair (v, w) at the tail of the queue. After each edge has been processed, proceed as follows. Until the queue is empty, let (x, w) denote the next element at the head of the queue and let v denote the parent of x and let y denote the parent of w in T (if x = r remove (x, w) from the head position of the queue and do nothing else). It is easy to verify that the entries for the pairs (x, w) and (v, y) have already been computed and, hence, can be used to compute A(v, w) and A(w, v) as described above. Finally, we remove (x, w) from the head position of the queue and append (v, w) at the tail of the queue. Clearly, for every pair v, w of vertices with v ≺ w, we need a constant number of operations to compute the two table entries A(v, w) and A(w, v), resulting in an overall running time bound of O(n^{2}). □
Note that if the root of a crosspairfree WMTO instance is not known, it can be calculated in O(nP) time by trying all roots and then checking for each pair if the least common ancestor is one of the two endpoints.
As an immediate consequence of Theorem 2, we can improve the cubictime algorithm for MTO on paths by Medvedovsky et al. [3] to quadratic time. Herein, we use that every path rooted at one of its endpoints results in a crosspairfree instance of MTO.
Corollary 1
WEIGHTED MAXIMUM TREE ORIENTATION on nvertex paths can be solved in O(n^{2}) time.
Parameter "Maximum Number of Cross Pairs Passing Through a Vertex"
Next, we show that WMTO is fixedparameter tractable with respect to the parameter q_{ v } by extending the dynamic programming algorithm for crosspairfree instances. Formally, q_{ v } is defined as follows. For a rooted WMTO instance (T = (V, E), P) with root r, let Q denote the set of cross pairs. Moreover, for v ∈ V let Q_{ v } := P_{ v } ∩ Q be the set of cross pairs passing through v. With respect to the root r the maximum number q_{ v } (r) of cross pairs passing through a vertex is given by max_{ v∈V }Q_{ v } . Then, q_{ v } is the minimum value of q_{ v } (r) over all possible choices r to root T.
Theorem 3. On nvertex trees, WEIGHTED MAXIMUM TREE ORIENTATION with given root can be solved in O( 2 ^{qv} ⋅ q_{ v } ⋅ n^{2}) time, where q_{ v } denotes the maximum number of cross pairs passing through a vertex.
Proof. The basic idea of the algorithm is to incorporate the cross pairs by trying for every vertex all possibilities to satisfy the cross pairs passing through this vertex. To this end, we extend the matrix S by an additional dimension. As a consequence, the dynamic programming update step becomes significantly more intricate.
Let (T = (V, E), P, ω) be a rooted WMTO instance with root r. For the presentation of the algorithm we use the same notation as in the proof of Theorem 2. In addition, we employ the following definitions.
Let w ∈ V. A possibility to satisfy the cross pairs in Q_{ w } is represented by a coloring c_{ w } : Q_{ w } → {0, 1}, meaning that a cross pair q ∈ Q_{ w } must be satisfied iff c_{ w } (q) = 1. Let C_{ w } denote the set of all 0/1colorings of Q_{ w } . Note that $\left{C}_{w}\right={2}^{\left{Q}_{w}\right}$. To incorporate the cross pairs, for every v, w ∈ V with v ≺ w or v = w and for every coloring c_{ w } , the dynamic programming table S contains two entries S(v, w, c_{ w } ) and S(w, v, c_{ w } ). Informally speaking, S(v, w, c_{ w } ) denotes the maximum weight of an orientation of ${T}_{w}^{v}$ under the assumption that all cross pairs q ∈ Q_{ v } with c_{ w } (q) = 1 are "satisfiable" and the edges in path_{ T }(v, w) are oriented from v towards w. Entry S(w, v, c_{ w } ) is defined analogously, but here we assume that the edges in path_{ T }(v, w) are oriented from w towards v. For a precise description, we use the following notation.
Clearly, we are interested only in colorings c_{ w } of Q_{ w } such that any two cross pairs q, q' ∈ Q_{ w } with c_{ w } (q) = c_{ w } (q') = 1 are not in conflict. We call such a coloring locally feasible. Moreover, we extend the notion "feasible" as follows. As informally described above, we distinguish the two cases that the edges on path_{ T }(v, w) are oriented

(1)
from v to w (for entry S(v, w, c_{ w } )), or

(2)
from w to v (for entry S(w, v, c_{ w } )).
For the case (1), a locally feasible coloring c_{ w } is called feasible if for each cross pair [s, t] ∈ Q_{ w } with c_{ w } ([s, t]) = 1 orienting the edges on path_{ T }(v, w) from v to w and the edges on path_{ T }(s, t) from s to t is simultaneously possible. Analogously, a locally feasible coloring c_{ w } is feasible for case (2) when orienting the edges on path_{ T }(s, t) from s to t does not contradict the orientation of the edges on path_{ T }(v, w) from w to v.
For a coloring c_{ w } of Q_{ w } , we must ensure that in the considered orientations of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$ all cross pairs q ∈ Q_{ w } with c_{ w } (q) = 1 are satisfiable. Therefore, we call an orientation of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$consistent with a cross pair [s, t] ∈ Q_{ w } (note that $\left[s,t\right]\in P\backslash {P}_{w}^{v}$ is allowed) if the common edges of ${T}_{w}^{v}$ and path_{ T }(s, t) are oriented from s to t. Finally, we call an orientation of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$consistent with a coloring c_{ w } of Q_{ w } if the orientation is consistent with each cross pair q ∈ Q_{ w } with c_{ w } (q) = 1.
With these notations, we can formally define the meaning of the entries of S. For every two vertices v, w ∈ V with v ≺ w or v = w and for every 0/1coloring c_{ w } ∈ Q_{ w } the entry S(v, w, c_{ w } ) is ∞ if the coloring c_{ w } is not feasible for case (1). Otherwise, S(v, w, c_{ w } ) denotes the maximum weight of an orientation of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$ among all orientations of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$ fulfilling the following constraints:

the edges on path_{ T }(v, w) are oriented from v to w, and

the orientation is consistent with c_{ w }.
This definition ensures that the orientation is not conflicting with the realization implied by the coloring c_{ w } and the fixed orientation of path_{ T }(v, w). The entry S(w, v, c_{ w } ) is defined analogously with the difference that here we assume that the edges on path_{ T }(v, w) are oriented from w to v. Note that the cross pairs having only one endpoint in ${T}_{w}^{v}$ are not contained in ${P}_{w}^{v}$, and hence do not contribute to the weight of an orientation of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$. Observe that ${{\displaystyle max}}_{{c}_{r}\in {C}_{r}}S(r\mathrm{,}r\mathrm{,}{c}_{r})$ is the maximum weight of an orientation of the whole instance (T, P, ω) since ${T}_{r}^{r}=T$ and we build the maximum over all colorings of the cross pairs in Q_{ r } . Next, we provide a strategy to compute the entries of S in accordance with this definition. In the update step, we need to adjust the tables of a vertex w with the tables of its children. Doing so, we have to ensure that we only consider colorings that are not contradictory to each other. Let c_{ u } denote a coloring of Q_{ u } and c_{ w } denote a coloring of Q_{ w } . We use c_{ u } c_{ w } to denote that c_{ u } and c_{ w } agree in the coloring of the cross pairs in Q_{ u } ∩ Q_{ w } , that is, for all q ∈ Q_{ u } ∩ Q_{ w } it holds that c_{ u } (q) = c_{ w } (q). Finally, let W_{LCA}(w, c_{ w } ) denote the sum of the weights of the cross pairs [s, t] ∈ Q_{ w } with c_{ w } ([s, t]) = 1 that have w as their least common ancestor.
For the computation of S, visit each vertex w ∈ V in a postorder traversal of T. For each w consider all vertices v ∈ V with v ≺ w or v = w. Moreover, let u_{ℓ}, …, u_{ l } denote the children of w (if w is not a leaf). Then, for each coloring c_{ w } ∈ C_{ w } , set S(v, w, c_{ w } ):= ∞ if c_{ w } is infeasible for case (1), otherwise set (omit the sum if w is a leaf)
where
and S(w, v, c_{ w } ):= ∞ if c_{ w } is infeasible for case (2), otherwise set (omit the sum if w is a leaf)
where
Herein, A is defined exactly as in the proof of Theorem 2.
Correctness. For the correctness, we argue that for v, w ∈ V with v ≺ w and for a coloring c_{ w }∈ C_{ w } that is feasible for case (1), the maximum weight of an orientation of $\left({T}_{w}^{v},{P}_{w}^{v}\right)$ consistent with c_{ w } that orients the edges on path_{ T }(v, w) from v to w is $A\left(v,w\right)+{W}_{\mathsf{\text{LCA}}}\left(w,{c}_{w}\right)+{\sum}_{i=1}^{\ell}M\left({u}_{i},v,w,{c}_{w}\right)$, and, hence, S(v, w, c_{ w } ) is computed correctly. To this end, first consider the case that w is a leaf. Then, ${T}_{w}^{v}$ is identical to path_{ T }(v, w) and Q_{ w } = ∅. Hence, in this case exactly the source–target pairs $\left[s,t\right]\in P\backslash {P}_{w}^{v}$ with s ≺ t are satisfied whose total weight per definition is A(v, w). Second, consider the case that w is an internal vertex with children u_{1}, …, u_{ℓ}. Moreover, let ${\overrightarrow{T}}_{w}^{v}$ be an optimal orientation consistent with c_{ w } that orients the edges on path_{ T }(v, w) from v to w. Assume that this orientation contains for a child u_{ i } the arc (u_{ i } , w). Then, with respect to w and u_{ i } , the subgraph of ${\overrightarrow{T}}_{w}^{v}$ induced by the vertices in ${V}_{{u}_{i}}^{w}$ is an orientation of ${T}_{{u}_{i}}^{w}$ consistent with a coloring ${c}_{{u}_{i}}$ that clearly agrees with c_{ w } . Thus, the contribution of u_{ i } to the weight of ${\overrightarrow{T}}_{w}^{v}$ is the maximum $S\left({u}_{i},w,{c}_{{u}_{i}}\right)$ over all ${c}_{{u}_{i}}\in {Q}_{{u}_{i}}$ that agree with c_{ w } . Similarly, if ${\overrightarrow{T}}_{w}^{v}$ contains the arc (w, u_{ i } ) for a child u_{ i } , the subgraph of ${\overrightarrow{T}}_{w}^{v}$ induced by the vertices in ${V}_{{u}_{i}}^{w}$ is an orientation of ${T}_{{u}_{i}}^{w}$ consistent with a coloring ${c}_{{u}_{i}}$ that clearly agrees with c_{ w } . Thus, the contribution of the pairs in ${P}_{w}^{v}$ with at least one endpoint in ${T}_{{u}_{i}}$ is the maximum of $S\left(v,{u}_{i},{c}_{{u}_{i}}\right)A\left(v,w\right)$ over all ${c}_{{u}_{i}}\in {\mathcal{C}}_{{u}_{i}}$ that agree with c_{ w } (here, we have to subtract the number of satisfied pairs with both endpoints on path_{ T }(v, w) that are already accounted for by the term A(v, w) in (8)). Finally, observe that the contribution of the cross pairs q in ${P}_{w}^{v}$ with c_{ w } (q) = 1 for which w is the least common ancestor are not taken into account in the contributions of the u_{ i } 's. This is done by the term W_{LCA} in (8). The argumentation for the correctness of the computation of S(w, v, c_{ w } ) follows analogously.
Running time. Next, we analyze the running time. We use the following notation and implementation details. For w ∈ V let ${Q}_{w}=\left\{{p}_{1}^{w},\dots ,{p}_{{n}_{w}}^{w}\right\}$. A coloring c_{ w } : Q_{ w } → {0, 1} is realized by a tuple $\left({c}_{1},\dots ,{c}_{{n}_{w}}\right)\in {\left\{0,1\right\}}^{{n}_{w}}$ with ${c}_{w}\left({p}_{i}^{w}\right)={c}_{i}$ for all 1 ≤ i ≤ n_{ w } . Moreover, the dynamic programming table S is realized by two tables ${S}_{v,w}^{up}$ and ${S}_{v,w}^{down}$ for every pair v, w ∈ V with v ≺ w or v = w with an entry for every coloring $c\in {\left\{0,1\right\}}^{{n}_{w}}$ where ${S}_{v,w}^{up}\left(c\right)=S\left(w,v,c\right)$ and ${S}_{v,w}^{down}\left(c\right)=S\left(v,w,c\right)$. The table A is computed exactly as in the proof of Theorem 2 in O(n^{2}) time in a preprocessing step. Moreover, note that after O(n) preprocessing time, least common ancestors of the source–target pairs can be found in constant time [12].
To prove the running time, we show that for every pair v, w with v ≺ w or v = w the computation in (8) and (10) can be done in $O{(2}^{{q}_{v}}\cdot {q}_{v}\cdot {{\displaystyle deg}}_{T}(w))$ time. We focus on the computation of (8). The running time analysis for (10) follows by the same arguments. The crucial observation is that the summands in the sum in (8) are independent of each other in the sense that the determination of the maximum for one child u_{ i } (the computation of M(u_{ i } , v, w, c_{ w } )) does not depend on the decision made for a different child. Hence, for the computation of the entries of ${S}_{v,w}^{down}$ proceed as follows. Consider each child u of w one after another. Let ${Q}_{w}=\left\{{q}_{1},\dots ,{q}_{s},{q}_{1}^{\prime},\dots ,{q}_{x}^{\prime}\right\}$ and ${Q}_{u}=\left\{{q}_{1},\dots ,{q}_{s},{q}_{1}^{\prime \prime},\dots ,{q}_{y}^{\prime \prime}\right\}$, that is, {q_{1}, …, q_{ s } } = Q_{ w } ∩ Q_{ u } . The crucial point is that we assume that the tables ${S}_{w,u}^{up}$ and ${S}_{v,u}^{down}$ are sorted in lexicographical order of the colorings ${\left\{0,1\right\}}^{{n}_{u}}$. This ensures that the colorings of u that agree with a coloring $c\in {\left\{0,1\right\}}^{{n}_{w}}$ are ordered consecutively in ${S}_{w,u}^{up}$ and ${S}_{v,u}^{down}$. Since the tables ${S}_{w,u}^{up}$ and ${S}_{v,u}^{down}$ contain each at most ${2}^{{q}_{v}}$ entries, the sorting can be achieved in time $O\left({2}^{{q}_{v}}\right)$ using bucket sort. Then, for each fixed v, w, and u all the values M(v, w, u, c) can be computed in $O\left({2}^{{q}_{v}}{q}_{v}\right)$ time in one iteration over ${S}_{w,u}^{up}$ and ${S}_{v,u}^{down}$ and, hence, for all children of w the running time is bounded by $O{(2}^{{q}_{v}}\cdot {q}_{v}\cdot {{\displaystyle deg}}_{T}(w))$. Thus, the overall running time is bounded by
since O(∑ _{ w∈V } deg_{ T }(w)) = O(n) in trees. □
Bounded Signal Flow Over Edges
Let m_{ e } be the maximum number of paths that pass through an edge. We consider MTO instances where m_{ e } is limited. We show that the problem is lineartime solvable for m_{ e } ≤ 2, but NPhard for m_{ e } ≥ 3, thereby establishing a dichotomy on the complexity of MTO with respect to m_{ e } .
For the polynomialtime algorithm, we employ the following lemma.
Lemma 1. If m_{ e } ≤ 2, then the treewidth of G_{ c } (T, P) is at most two.
Proof. We make use of the following characterization of graphs of treewidth at most two [21]. A graph has treewidth at most two if it can be reduced to the empty graph by the exhaustive application of the following data reduction rules:

(1)
deleting vertices of degree 0 or 1,

(2)
deleting a degree2 vertex whose two neighbors are adjacent, and

(3)
adding an edge between the two neighbors of a degree2 vertex v if the neighbors are nonadjacent, and subsequently deleting v.
We show that if m_{ e } ≤ 2, then in the conflict graph G_{ c } (T, P) we can find a vertex to which one of the above rules applies. Further, we show that the modified smaller conflict graph is still a conflict graph of some MTO instance. Thus, the claim follows by induction.
Clearly, if Rule (1) or (2) applies to a vertex v in the conflict graph, then we can just delete the corresponding pair in the MTO instance, and the conflict graph of the resulting MTO instance is identical to the graph that results by deleting v.
Next, we show that if neither Rule (1) nor Rule (2) applies, then we can find a vertex v in the conflict graph to which Rule (3) applies. To this end, let (T, P) with T = (V, E) denote an MTO instance and assume that T is rooted at an arbitrarily chosen inner vertex r. Moreover, among all vertices that are the least common ancestors of a pair in P, let x be one with maximum distance to the root r (that is, a deepest least common ancestor). We distinguish two cases based on whether x is an endpoint of a pair with both endpoints in T_{ x } .
First, consider the case that x is the endpoint of a pair [s, t] ∈ P with s, t ∈ V (T_{ x } ). Let y be the child of x that is contained in the path between s and t. Observe that by the choice of x there is no pair with both endpoints in T_{ y } . Hence, for every pair that is in conflict with [s, t], the corresponding path contains the edge {x, y}. Thus, since m_{ e } = 2, the pair [s, t] is in conflict with at most one other pair, and therefore the corresponding vertex has degree at most one in the conflict graph: a contradiction to the fact that neither Rule (1) nor (2) apply.
Second, consider the case that x is not an endpoint of any pair with both endpoints in V(T_{ x } ). Moreover, let p = [s, t] ∈ P be an arbitrarily chosen pair with s, t ∈ V (T_{ x } ). Let y_{1} and y_{2} denote the two children of x such that (without loss of generality) s ∈ V (T_{ y1 } ) and t ∈ V (T_{ y2 } ). Let v_{[s,t]}denote the vertex of G_{ c } corresponding to [s, t]. First, note that by the assumption that Rule (1) does not apply, v_{[s,t]}has degree at least two. Moreover, by the choice of x there is no pair with both endpoints in V (T_{ y1 } ) or in V (T_{ y2 } ). Thus, every pair that is in conflict with [s, t] uses either the edge {x, y_{1}} or the edge {x, y_{2}}. Thus, since m_{ e } ≤ 2 and ${deg}_{{G}_{c}}\left({v}_{\left[s,t\right]}\right)\ge 2$, there are exactly two pairs p' = [s', t'], p'' = [s'', t''] ∈ P that are in conflict with [s, t]. Assume without loss of generality that t' ∈ V (T_{ y1 } ) and s'' ∈ V (T_{ y2 } ) (see Figure 1 for an illustration). Since Rule (2) does not apply to v_{[s,t]}, we can assume that p' and p'' are not in conflict with each other. Hence, Rule (3) can be applied to v_{[s,t]}. Let ${G}_{c}^{\prime}$ denote the graph that results by first making the two neighbors of v adjacent and subsequently deleting v. It remains to show how to transform the MTO instance such that the conflict graph of the new instance is identical to ${G}_{c}^{\prime}$. To this end, consider the MTO instance that results by deleting the vertices in V (T_{ y1 } ) ∪ V (T_{ y2 } ), removing the pairs [s, t], [s', t'], and [s'', t''] and subsequently adding a vertex y', making y' adjacent to x, and adding the pairs [s', y'] and [y', t''] (see Figure 1 for an illustration). Clearly, [s', y'] and [y', t''] are in conflict. Moreover, since only the pairs p, p', and p'' have endpoints in V (T_{ y1 } ) ∪ V (T_{ y2 } ), this transformation does not change the conflicts with the other pairs. Further, we have that m_{ e } ≤ 2 in the resulting MTO instance.
Since widthtwo tree decompositions can be constructed in linear time [21] and weighted VERTEX COVER can be solved in linear time on graphs with constant treewidth [15], this yields lineartime solvability for WEIGHTED MAXIMUM TREE ORIENTATION with m_{ e } ≤ 2.
Theorem 4. If m_{ e } ≤ 2, then WEIGHTED MAXIMUM TREE ORIENTATION can be solved in linear time.
Proof. To be able to determine the path between a pair [s, t] in O(n) time, we root the tree arbitrarily and calculate in linear time a data structure that allows least common ancestor queries in constant time [12]; the path can then be found by going upwards from s and t until hitting their least common ancestor, and then joining the two partial paths. We then construct the conflict graph by marking for each path the corresponding edges with the pair and the direction, and then registering a possible conflict for each tree edge. Since there can be only linearly many markings and conflicts, the construction takes O(n) time. A tree decomposition of width two can then be found in linear time [21], and, as mentioned above, solving weighted VERTEX COVER on a graph with treewidth at most two takes only linear time, too [15]. □
We can further prove that for m_{ e } ≥ 3, MTO is NPhard even on stars, that is, on trees where all leaves are attached to the same vertex. The proof is by reduction from MAX DI CUT.
Theorem 5. MAXIMUM TREE ORIENTATION on stars with m_{ e } ≥ 3 is NPcomplete.
Proof. As Medvedovsky et al. [3] pointed out, the NPhard MAX DI CUT problem, defined as follows, can be reduced to MTO on stars.
MAX DI CUT
Given a directed graph G = (V, A) and a nonnegative integer k, is it possible to find a subset of vertices C ⊆ V such that there are at least A  k arcs (v, w) ∈ A with v ∈ C and w ∉ C?
From a MAX DI CUT instance (G = (V, A), k), one constructs an equivalent MTO instance (T = (V', E), P, k) by setting V':= V ∪ {r}, E := {{v, r}  v ∈ V}, and P := A, where r ∉ V is a new root vertex [3]. Clearly, if a MAX DI CUT instance has maximum degree three, then it reduces to an MTO instance with m_{ e } ≤ 3. Thus, it remains to show that MAX DI CUT with maximum degree three is NPhard. (Unfortunately, there seems to be no apt reduction from the undirected version MAX CUT, which is NPhard for maximum degree three [22].)
MAX DI CUT can also be formulated as the problem to delete up to k arcs to obtain a graph where every vertex is only startpoint or only endpoint of arcs. We can characterize such graphs by a forbidden substructure consisting of three vertices u, v, w connected by the arcs (u, v) and (v, w) (the arcs (u, w) and (w, u) may or may not be present). Thus, if we ignore graphs with multiple arcs between two vertices, we have three forbidden induced subgraphs on three vertices. In this way, MAX DI CUT is similar to the TRANSITIVITY DELETION problem [23], which given a directed graph, asks for up to k arc deletions to make it transitive, that is, to fulfill for all u, v, w ∈ V that (u, v) ∈ A ∧ (v, w) ∈ A ⇒ (u, w) ∈ A. Transitive graphs are characterized by two of the three forbidden subgraphs for MAX DI CUT; the subgraph with {(u, v), (v, w), (u, w)} ⊆ A is not forbidden. However, if we examine the directed graphs that are produced in the reduction from 3SAT that proves NPhardness of TRANSITIVITY DELETION [23, Sect. 3.1], we notice that this substructure does not occur, and cannot be created by arc deletions. Thus, solving TRANSITIVITY DELETION and MAX DI CUT on these directed graphs is equivalent. Since the constructed instances also have degree at most three, we obtain the NPhardness of MAX DI CUT with maximum degree three. It is easy to see that MTO is contained in NP, so we obtain the claimed theorem. □
Observations on Protein Interaction Networks
The goal in this section is to explore the space of practically meaningful parameterizations, here focusing on biological applications. We first performed experiments based on the same data as used by Medvedovsky et al. [3]. The network is a yeast proteinprotein interaction network from the Database of Interacting Proteins (DIP) [24], containing 4,737 vertices and 15,147 edges. The cause–effect pairs were obtained from gene knockout experiments by Yeang et al. [2] and contain 14,502 pairs. After discarding small connected components and contracting cycles, we obtained a tree with 1,278 vertices and 5,569 pairs. (These numbers differ slightly from the ones stated by Medvedovsky et al. [3]. We do not use the additional kinasesubstrate data, which is only meaningful to evaluate the orientations obtained, and which requires an arbitrary parameter choice not documented by Medvedovsky et al. [3].)
The resulting tree is, as already observed by Medvedovsky et al. [3], very starlike: there is one vertex of degree 1,151 and 1,048 degreeone vertices attached to it. The remaining 229 vertices have degree 1 to 4. All paths connecting causeeffect pairs pass through the central vertex.
We first note that this MTO instance is actually fairly easy to solve exactly. The Integer Linear Program (ILP) by Medvedovsky et al. [3, Sect. 3.1] and VERTEX COVER on the conflict graph solved by either an ILP or a simple branching strategy with data reduction all solve the instance in less than a second. More precisely, the running times are 0.09 s, 0.02 s, and 0.13 s, respectively, on a 2.67 GHz Intel Xeon W3520 machine, using GLPK 4.44 for the ILPs, and with the branching strategy implemented in Objective Caml. The branching strategy finds a vertex v of maximum degree and branches into the two cases of taking v into the vertex cover or taking all neighbors of v into the vertex cover. Before each branch, degree1 vertices are eliminated by taking their neighbor into the vertex cover. The search in the second branch is cut short when the accumulated vertex cover is larger than that of the first branch.
Note that all three algorithms do not require the parameter k (number of unsatisfied pairs) as input, but will determine the minimum k such that there is a solution.
The reason that these strategies work so well is probably due to the low value of the parameter k: only 77 causeeffect pairs cannot be satisfied. This limits the size of the branchandbound tree that underlies all three methods.
In Table 1, we examine several other parameters. Since there are still p_{ t } = 5,569 pairs left after contracting all cycles in the network, using this parameter for a fixedparameter algorithm seems infeasible. Unfortunately, since all paths run through a single vertex, the parameter m_{ v } is not any more useful. Only about 5% of the pairs are cross pairs after the data reduction, so q is already a more promising parameter. However, with a value of q = 417, this parameter seems not very helpful. Even if we eliminate pairs that do not conflict with any other pairs, leaving only n_{ c } = 1,287 pairs, we still find at least 306 cross pairs (parameter q'). Again, because all paths run through a single vertex, considering cross pairs per vertex does not help here. In summary, for this particular instance the number of unsatisfiable pairs k is clearly the most useful parameter.
To examine the effect of the sparseness of the input instance on the various parameters, we investigated another yeast protein interaction network assembled by Nir Yosef from various sources (see references in [25]). In this network, each edge is annotated with a probability of interaction. Thus, by thresholding, we can obtain graphs of different sparseness. The results are shown in Table 2.
We see that, here, the parameter k is not always a clear winner. When the network becomes sparser, the components that will be shrunk to a single vertex by the cycle contraction will be smaller, leaving fewer pairs with both endpoints on the same tree vertex, and thereby increasing the number of potential conflicts. Only for very high thresholds, the parameter becomes small again, since then the original instance is already much smaller. Still, all instances can be solved in less than one second by the three algorithms mentioned above, which exploit low values of k.
We also see that for denser graphs, the parameter values based on the number of cross pairs are quite low, e.g. ${q}_{v}^{\prime}$ = 3 for the whole graph. Thus, it seems likely that these instances can be quickly solved by the algorithm from Theorem 3, running in $O\left({2}^{{{q}^{\prime}}_{v}}\cdot {n}^{2}\cdot {q}_{v}^{\prime}\right)$ time. One possible explanation for the low value for these parameters is that the networks exhibit a linear structure. For example, if each protein can be assigned a distance to the nucleus, and interactions mostly transport information to or from the nucleus, then we would expect to have only few cross pairs.
The parameter m_{ v } could be expected to be not too high in biological networks, since otherwise this would make the network less robust, since elimination of one vertex would disrupt too many paths. However, one vertex in the tree under consideration can actually correspond to a very large component in the original graph, which weakens this effect. Therefore, this parameter is more useful in sparser graphs, where not too many graph vertices are joined into a tree vertex. However, for the given instances, it seems small enough to be exploited only for fairly small instances, where other parameters would give good results, too.
The parameter m_{ e } could similarly be expected to be low in sparse networks; however, the NPhardness result already for m_{ e } ≥ 3 (Theorem 5) makes practical use of this parameter unlikely.
Conclusions
We started a parameterized complexity analysis of (WEIGHTED) MAXIMUM TREE ORIENTATION, obtaining a more finegrained view on the computational complexity of this NPhard problem. In this line, there are still several challenges for future investigations. For instance, it is open whether MTO is fixedparameter tractable with respect to the parameter "number of satisfied pairs" (n  k). Further, in the spirit of "distancefromtriviality parameterization" [19, 20] it would be interesting to study the parameterized complexity of MTO with respect to the parameter "number of all possible pairs minus the number of input pairs"recall that for parameter value zero MTO is polynomialtime solvable [11]. MTO restricted to stars is still NPhard, but then at least one quarter of all input pairs can always be satisfied [3]. Hence, it would be interesting to study above guarantee parameterization [15, 20] with respect to the number of satisfied pairs. MTO can be translated into a vertex covering problem (see Proposition 1) on a graph class that is K_{4}freethis motivates to study whether vertex covering on this graph class can be done faster than on general graphs. Clearly, MTO brings along numerous further parameters and parameter combinations which can make a more comprehensive multivariate complexity analysis [20] very attractive. Often, it is desirable to not only list a single solution, but to enumerate all optimal solutions. Our dynamicprogrammingbased algorithms seem suitable for this. Following Gamzu et al. [8] and extending the studies for MTO as pursued here to the more general case of mixed graphs with partially already oriented edges is of high interest. First steps in this direction have very recently been undertaken by Silverbush et al. [9] and Elberfeld et al. [26]. Finally, it seems promising to examine the parameters based on cross pairs in other networks such as communication networks, and to try to exploit these parameters for other hard network problems.
References
 1.
Werther M, Seitz H, : Proteinprotein interaction. 2008, 110: Advances in Biochemical Engineering/Biotechnology. Springer
 2.
Yeang CH, Ideker T, Jaakkola T: Physical network models. Journal of Computational Biology. 2004, 11 (23): 243262. 10.1089/1066527041410382
 3.
Medvedovsky A, Bafna V, Zwick U: An algorithm for orienting graphs based on causeeffect pairs and its applications to orienting protein networks. Proc 8th WABI. 2008, 5251: 222232. LNBI, Springer
 4.
Karzanov AV: Èkonomnyj algoritm nahoždeniâ bikomponent grafa [in Russian: An efficient algorithm for finding the bicomponents of a graph]. Trudy tret'ej zimnej školy po matematičeskomû programmirovaniu i smežnym voprosam [Proceedings of the 3rd Winter School on Mathematical Programming and Related Problems]. 1970, 343347. Moscow Engineering and Construction Institute (MISI)
 5.
Tarjan RE: Depthfirst search and linear graph algorithms. SIAM Journal on Computing. 1972, 1 (2): 146160. 10.1137/0201010
 6.
Alm E, Arkin AP: Biological networks. Current Opinion in Structural Biology. 2003, 13 (2): 193202. 10.1016/S0959440X(03)000319
 7.
Sharan R, Ideker T: Modeling cellular machinery through biological network comparison. Nature Biotechnology. 2006, 24: 427433. 10.1038/nbt1196
 8.
Gamzu I, Segev D, Sharan R: Improved orientations of physical networks. Proc 10th WABI. 2010, 6293: 215225. LNBI, Springer
 9.
Silverbush D, Elberfeld M, Sharan R: Optimally orienting physical networks. Proc 15th RECOMB. 2011, 6577: 424436. LNBI, Springer
 10.
Gitter A, KleinSeetharaman J, Gupta A: Discovering pathways by orienting edges in protein interaction networks. Nucleic Acids Research. 2011, 39 (4): e22 10.1093/nar/gkq1207
 11.
Hakimi SL, Schmeichel EF, Young NE: Orienting graphs to optimize reachability. Information Processing Letters. 1997, 63 (5): 229235. 10.1016/S00200190(97)001294
 12.
Harel D, Tarjan RE: Fast algorithms for finding nearest common ancestors. SIAM Journal on Computing. 1984, 13 (2): 338355. 10.1137/0213024
 13.
Downey RG, Fellows MR: Parameterized Complexity. 1999, Springer
 14.
Flum J, Grohe M: Parameterized Complexity Theory. 2006, Springer
 15.
Niedermeier R: Invitation to FixedParameter Algorithms. 2006, No. 31 in Oxford Lecture Series in Mathematics and Its Applications, Oxford University Press
 16.
Niedermeier R, Rossmanith P: On efficient fixedparameter algorithms for weighted vertex cover. Journal of Algorithms. 2003, 47 (2): 6377.
 17.
Song Y, Liu C, Huang X: Efficient parameterized algorithms for biopolymer structure–sequence alignment. IEEE/ACM Trans Comput Biology Bioinform. 2006, 3 (4): 423432.
 18.
Bodlaender HL: A partial karboretum of graphs with bounded treewidth. Theoretical Computer Science. 1998, 209 (12): 145. 10.1016/S03043975(97)002284
 19.
Guo J, Hüffner F, Niedermeier R: A structural view on parameterizing problems: distance from triviality. Proc 1st IWPEC. 2004, 3162: 162173. LNCS, Springer
 20.
Niedermeier R: Reflections on multivariate algorithmics and problem parameterization. Proc 27th STACS. 2010, 5: 1732. Leibniz International Proceedings in Informatics, Schloss Dagstuhl  LeibnizZentrum für Informatik
 21.
Arnborg S, Proskurowski A: Characterization and recognition of partial 3trees. SIAM Journal on Algebraic and Discrete Methods. 1986, 7 (2): 305314. 10.1137/0607033
 22.
Yannakakis M: Edgedeletion problems. SIAM Journal on Computing. 1981, 10 (2): 297309. 10.1137/0210021
 23.
Weller M, Komusiewicz C, Niedermeier R: On making directed graphs transitive. Journal of Computer and System Sciences. 2011
 24.
Salwinski L, Miller CS, Smith AJ: The database of interacting proteins: 2004 update. Nucleic Acids Research. 2004, D449D451. 32 Database
 25.
Bruckner S, Hüffner F, Karp RM: Topologyfree querying of protein interaction networks. Journal of Computational Biology. 2010, 17 (3): 237252. 10.1089/cmb.2009.0170
 26.
Elberfeld M, Segev D, Davidson CR: Approximation algorithms for orienting mixed graphs. Proc 22nd CPM. 2011, 6661: 416428. LNCS, Springer
Acknowledgements
A preliminary version of this work appeared in the proceedings of the 1st International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems (TAPAS '11), volume 6595 in Lecture Notes in Computer Science, pages 104115, Springer 2011.
JU and partly FH were supported by the Deutsche Forschungsgemeinschaft (DFG), research project PABI (NI 369/7).
Major parts of the work were done while BD and DK were with the Universität Tübingen, FH was with the HumboldtUniversität zu Berlin, and RN and JU were with the FriedrichSchillerUniversität Jena. We are grateful to two anonymous referees whose insightful remarks helped to improve the presentation of our work.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
All authors contributed more or less equally, RN initiating the study of MTO under the viewpoint of multivariate complexity analysis and JU coming up with the major algorithmic ideas which have been worked out in more detail by DK. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
About this article
Received
Accepted
Published
DOI
Keywords
 Tree Decomposition
 Target Pair
 Conflict Graph
 Target Path
 Mixed Graph