Abstract
Background
Through transcription and alternative splicing, a gene can be transcribed into different RNA sequences (isoforms), depending on the individual, on the tissue the cell is in, or in response to some stimuli. Recent RNASeq technology allows for new highthroughput ways for isoform identification and quantification based on short reads, and various methods have been put forward for this nontrivial problem.
Results
In this paper we propose a novel radically different method based on minimumcost network flows. This has a twofold advantage: on the one hand, it translates the problem as an established one in the field of network flows, which can be solved in polynomial time, with different existing solvers; on the other hand, it is general enough to encompass many of the previous proposals under the least sum of squares model. Our method works as follows: in order to find the transcripts which best explain, under a given fitness model, a splicing graph resulting from an RNASeq experiment, we find a mincost flow in an offset flow network, under an equivalent cost model. Under very weak assumptions on the fitness model, the optimal flow can be computed in polynomial time. Parsimoniously splitting the flow back into few path transcripts can be done with any of the heuristics and approximations available from the theory of network flows. In the present implementation, we choose the simple strategy of repeatedly removing the heaviest path.
Conclusions
We proposed a new very general method based on network flows for a multiassembly problem arising from isoform identification and quantification with RNASeq. Experimental results on prediction accuracy show that our method is very competitive with popular tools such as Cufflinks and IsoLasso. Our tool, called Traph (Transcrips in gRAPHs), is available at: http://www.cs.helsinki.fi/gsa/traph/ webcite.
Background
Recent RNASeq technology [1,2] opened a new highthroughput, low cost way for isoform identification and quantification, leading to new understanding of gene regulation in development and disease (e.g., [3]). In an RNASeq experiment a set of short reads is produced from mRNA transcripts. The difficulty in assembling these short reads into the transcripts from which they were sampled is nontrivial due to the fact that the transcripts (isoforms) may share exons. As a result, all methods for solving this problem rely on an explicit or implicit graph model. The nodes represent individual reads (overlap graph [4]), or contiguous stretches of DNA uninterrupted by spliced reads (splicing graph [57], connectivity graph [810]), while the edges are derived from overlaps or from spliced read alignments. Each node and edge has an associated observed coverage, and the problem of isoform identification and quantification is seen as separating the coverage of the graph into individual path components, under different models. Furthermore, this problem was also coined under the broad name 'Multiassembly Problem' [11], a hint that it can arise not only with RNASeq data, but also in other biological settings, such as assembling metagenomics reads [12].
Except for Cufflinks [4], all tools mentioned above rely on some optimization engine, whose solving is generally difficult. IsoInfer/IsoLasso [8,9], SLIDE [7], Scripture [10], and CLIIQ [6] exhaustively enumerate all possible candidate paths. For efficiency reasons, each has some restrictions on what a valid candidate path might be, and for each candidate isoform, they define a fitness function. IsoInfer/IsoLasso and SLIDE use a least sum of squares fitness function; IsoLasso and SLIDE both add different shrinkage terms to the fitness function in order to favor isoforms with fewer transcripts, which is computed with a modified LASSO algorithm, or a quadratic program; CLIIQ uses a least sum of absolute differences fitness function, solved by a linear integer program. Cufflinks avoids the problem of exhaustively enumerating all possible paths by returning a minimum path cover, and then assigning expression levels to each path in this cover based on a statistical model. Incidentally, note that computing a minimum path cover (in an acyclic digraph) is done by computing a maximum matching, which can be easily reduced to a flow problem. However, such reduction solves a different (implicitly defined) optimization problem that can be considered as a consensus model in the literature [610], mostly because the fitting of expression levels is separated in the process.
Our contribution
In this paper we propose a radically different and very general method relying on the established field of minimumcost network flow problems [13]. This will not only provide a simple method and a fast polynomial time algorithm for solving it (as opposed to exhaustively enumerating all possible candidate paths, and then solving a quadratic/integer linear program for evaluating the fitness of each candidate isoform), but it can also lean on the ample literature on splitting a (mincost) flow into paths, e.g., [1417].
As in the case of the other tools, our method assumes that a splicing graph has been built for each gene. Each node of the graph corresponds to a stretch of DNA uninterrupted by any spliced read alignment; such sequences are called segments in [9], but for simplicity we just call them exons. Each edge of the graph corresponds to two exons consecutive in some transcript, that is, to some spliced read whose prefix aligns to the suffix of one exon, and whose suffix aligns to the prefix of another exon. Observe that such a graph can be seen as a directed acyclic graph (DAG, for short), the direction of the edges being according to the absolute position of the exons in the genome. For each exon v we can deduct its coverage cov(v) as the total number of reads aligned to the exon divided by the exon length, and the coverage cov(u, v) of an edge (u, v) as the total number of reads split aligned to that junction between exons u and v. An mRNA transcript candidate thus becomes a path from some source node to some sink node. The requirement that the transcripts start in a source node and end in a sink node is no restriction, as we can add dummy source/sink nodes as in/outneighbors to the nodes where we have indication that some transcript might start/end. Indeed, our splicing graph creation tool uses splicing alignments and coverage information to discover such start/end nodes and accordingly indicates them to our tool.
In order to define a fitness function in the broadest possible terms, let us assume that for each node v and edge (u, v) of the graph we have convex cost functions modeling how close that node and edge must be explained by the candidate isoform. Then, we can state the problem of isoform identification and quantification as following problem.
Problem 1 (UTEC) Given a splicing DAG G = (V, E) with coverage values cov(v) and cov(u, v), and cost functions f_{v}(·) and f_{uv}(·), for all v ∈ V and (u, v) ∈ E, the Unannotated Transcript Expression Cover problem is to find a tuple of paths from the sources of G to the sinks of G, with an estimated expression level e(P) for each path , which minimize
For example, if for all nodes v and edges (u, v), f_{v}(x) = x, f_{uv}(x) = x, then we have a least sum of absolute differences model as in CLIIQ. If f_{u}(x) = x^{2}, f_{uv}(x) = x^{2}, then we have a least sum of squares model as in IsoInfer/IsoLasso and SLIDE; this is the model which we also use in the implementation reported in this paper. Another cost function, suggested by [18], is , for all nodes v and edges (u, v). Observe that many of the other biological assumptions of the other tools can be incorporated in the model of Problem UTEC.
We will show that Problem UTEC can be solved in polynomial time, by a reduction to a mincost flow problem with convex cost functions. We will argue that finding the optimal tuple of paths explaining the graph is equivalent to finding the optimal flow in an offset flow network. Moreover, any splitting of this optimal flow into paths attains the minimum of Problem UTEC. In the same way as some of the other tools try to limit the number of paths explaining a splicing graph by a LASSO approach, we can rely on established methods for splitting any flow into few paths (e.g., [1417]). In this paper, we employ only the simple lineartime heuristic of repeatedly removing the heaviest path, see e.g., [15].
We give experimental results to study how well the predictions match the groundtruth on simulated data, and how well it fares on realdata, compared to Cufflinks [4] and IsoLasso [9]; our method is very competitive, providing in many cases better precision and recall. We expect our lead to be even greater once we incorporate pairedend read information.
Methods
We begin by recalling the basic notions of flow and of a mincost flow problem, and refer to the excellent monograph [13] for further details. A flow network (or simply network) is a tuple N = (G, b, q), where G = (V, E) is a directed graph, b is a function assigning a capacity to every arc (u, v) ∈ E, and q is a function assigning an exogenous flow to every node v ∈ V, such that . We say that a function x assigning to every arc (u, v) ∈ E a number is a flow over the network N, if the following two conditions are satisfied:
1. 0 ≤ x_{uv }≤ b_{uv}, for every (u, v) ∈ E,
In a mincost flow problem, one is additionally given flow cost functions c_{uv}(·), for every arc (u, v) ∈ E, and is required to find a flow which minimizes:
It is wellknown that, under the assumption that all the flow cost functions c_{uv}(·) are convex, a mincost flow can be found in polynomial time [19] (see also [20] for the realvalued flow case).
The reduction to a mincost flow problem
We will model Problem UTEC as a mincost flow problem, thus showing that it can be solved in polynomial time. First, we argue that it can be transformed into the following equivalent problem, where the input exon chaining graph has measured coverages only on arcs.
Problem 2 (UTEJC) Given a splicing DAG G = (V, E) with coverage values cov(u, v), and cost functions f_{uv}(·), for all (u, v) ∈ E, the Unannotated Transcript Expression Junction Cover problem is to find a tuple of paths from the sources of G to the sinks of G with an estimated expression level e(P) for each path , which minimize
Given an input G = (V, E) for Problem UTEC, we construct an input for Problem UTEJC by replacing every node v ∈ V with two new nodes, v_{in }and v_{out}, and an arc (v_{in}, v_{out}), with cov(v_{in}, v_{out}) = cov(v), and . Furthermore, for every arc (u, v) ∈ E, we replace arc (u, v) with the arc (u_{out}, v_{in}), with the same coverage as (u, v). It is immediate that optimal solutions for G to Problem UTEC are in bijection with the optimal solutions for the transformed graph to Problem UTEJC.
To solve Problem UTEJC, we build an auxiliary offset network with convex costs of the form c_{uv}(x) = f_{uv}(x). An optimal flow for this network will model the offsets (positive or negative) between the measured coverages of the exon chaining graph and their actual expression levels in an optimal solution. Then, we argue that a mincost flow on this network naturally induces a solution for the UTEJC problem.
Onwards, we denote by the set of outneighbors of v in the directed graph G, that is, the set {w : (v, w) ∈ E(G)}. Similarly, we denote by the set of inneighbors of v in the directed graph G, that is, the set {u : (u, v) ∈ E(G)}. When G is clear from the context, we will skip it as subscript.
Given a splicing DAG G with coverage values cov(u, v), and cost functions f_{uv}, for all (u, v) ∈ E, we construct the offset network N* = (G*, b, q) with cost function c, as follows (see Figure 1 for an example):
Figure 1. Example of an offset network. An input G to Problem UTEJC (a), and the offset network G* (b); arcs are labeled with their capacity, unlabeled arcs having infinite capacity
1. we add to G* all nodes and edges of G, together with
(a) a new source s_{0 }and a new sink t_{0 }with ,
(b) arcs (s_{0}, s), for every source s of G, and arcs (t, t_{0}) for every sink t of G, each with infinite capacity and null cost function,
(c) arc (t_{0}, s_{0}) with infinite capacity and null cost function,
(d) nodes s* and t*, with initial exogenous flow ;
2. for every arc (u, v) ∈ E(G),
(a) b_{uv }:= ∞, c_{uv}(x) : = f_{uv}(x),
(b) we add the reverse arc (v, u) to G* with b_{vu }:= cov(u, v), c_{vu}(x) : = f_{uv}(x);
3. for every v ∈ V(G),
(a) its exogenous flow q_{v }is zero,
(b) if , we add arc (v, t*) to G* where:
(c) if , we add arc (s*, v) to G* where:
The next lemma shows that there exists a mincost flow x* on N*.
Lemma 1 Given a digraph G with arc coverages cov(·,·), the offset network N* = (G*, b, q) constructed as above is a flow network, i.e., .
Proof: Since q_{v }= 0, for all v ∈ V (G*) \ {s*, t*}, it remains to show that . Indeed,
□
From such a flow x*, we construct the function x on the edges G as follows. First, observe that for every arc (u, v) ∈ E(G), at most one of or is nonnull. Indeed, if this were not the case, then a flow y* which coincides with x*, except for and is also a flow on N* and has a strictly smaller cost than x*, contradicting the fact that x* is of minimum cost. Then, for each arc (u, v) ∈ E(G) we set:
From a flow to a set of paths
Theorem 1 below will argue that the above defined function x is a flow on G (points (1), (2)), whose arcs we consider to have unbounded capacities and whose nodes, apart from the sources and sinks, have exogenous flow 0. It is a wellknown result from classical network flow theory that such a flow can be decomposed into paths, that is, there exist paths P_{1 }, . . . , P_{t }from the sources of G to the sinks of G, having weights w_{1}, . . . , w_{t}, respectively, such that, for every (u, v) ∈ E(G) we have
Moreover, a decomposition of x into at most E(G) paths always exists and can be found in time V (G) · E(G). Theorem 1 also shows that the paths of any decomposition of x are an optimal solution for G to Problem UTEJC (point (3)).
Theorem 1 Given an optimal flow x* on G*, the function × on G just constructed satisfies the properties, where S denotes the set of sources of G, and T denotes the set of sinks of G:
(1) for all v ∈ V (G) \ (S ∪ T), ;
(3) any decomposition of × into paths attains the minimum of the objective function of Problem UTEJC, on input G.
Proof: (1): Let v ∈ V (G) \ (S ∪ T); by the definition of x, we can write
Observe that for all edges entering t* (exiting s*), their flow equals their capacity, as we have adjusted the exogenous flow of t* (of s*) at point 3.(b)ii. (and 3.(c)ii.) in the construction of G*. We distinguish three cases.
First, if , then . Since the flow x* uses the arc (v, t*) with its maximum capacity, we have that , which shows that , proving the claim.
Second, if , then . Since the flow x* uses the arc (s*, v) with its maximum capacity, we have that , which again proves the claim.
Finally, if then, by construction there is no edge between v and t* or s*, implying, again by construction, that , from which the claim follows.
(2): From the definition of x, we have
By construction, since q_{s }= 0 for all s ∈ S, we have . Therefore, . Plugging this into (2), we obtain
Similarly,
By construction, since q_{t }= 0 for all t ∈ T, we have . Therefore, . Plugging this into (5), we prove the claim, since by (3) we get
(3): Since any tuple of paths from sources of G to sinks of G, induces a flow on G, where the exogenous flow of all nodes which are not sources nor sinks is zero, and any such flow can be split into paths from sources to sinks, the minimum value of
over all k, all ktuples of paths from a source of G to a sink of G, and over all expression levels e_{i }for each P_{i}, is equal to min_{y }is a flow on G . Since any flow on G induces a flow on G*, and vice versa, the above is equal to
Since
and from minimality, for all arcs (u, v) ∈ E(G), at most one of z_{uv }or z_{vu }is non null, we have that x* also attains the minimum in (7), proving the theorem. □
In our implementation we use the mincost flow engine available in the LEMON Graph Library [21]. If no engine for arbitrary convex cost functions is available, or, more generally, if the cost functions themselves happen not to be convex, one can approximate any cost function with piecewise constant or convex cost functions: e.g., one can replace an arc (u, v) of capacity b_{uv}, with b_{uv} arcs of capacity 1, such that first arc has cost f(1), and the ith arc, i >1, has cost f(i)  f(i  1) (this reduction is only pseudopolynomial but reveals quite effective in practice), see [13] for further details.
Decomposing the mincost flow into few paths
As already shown by the other tools, we are generally interested in parsimoniously explaining an RNAseq experiment, that is, in finding, among the optimal solutions to Problem UTEC, one with a low number of paths. At a closer analysis it can be seen that any flow on a graph G = (V, E) can be decomposed into at most E  V + 2 paths [14]. However, decomposing a flow into a minimum number of paths is an NPhard problem in the strong sense, even when restricted to DAGs [14,15]. To overcome this limitation, various heuristics and approximations have been put forth, see, e.g., [1417] and the references therein. The advantage of our method is that once we have obtained the optimal flow, we can apply any of these methods to split the flow into few paths. For simplicity, in this paper we employ the policy of repeatedly removing the heaviest path, see, e.g., [15]: until the network has null flow, we select a path from the sources to the sinks whose minimum flow on its edges is maximum, report it as transcript, and remove it from the flow network.
Results and discussion
We call our tool Traph (Transcripts in Graphs). We compared Traph to the most used isoform prediction tool Cufflinks [4] and with IsoLasso [9]. We also tried to include SLIDE [7] and CLIIQ [6], but we could not make the former work reliably, and for the latter the publicly available version was not yet available. Full experiment data is available at [22].
We should point out from the start that Traph is not yet employing pairedend read information. Nonetheless, the experiments we report (both simulated and real) are with pairedend reads, Cufflinks and IsoLasso having access to the pairedend information. Moreover, since Traph is not yet employing existing gene annotation information, we ran Cufflinks and IsoLasso without annotation. As already mentioned, we use a least sum of squares model. We experimented in the current implementation with other cost functions, as mentioned in the introduction, , or , respectively, for all nodes and edges z, but they currently give worse results.
Matching criteria
In order to match the predicted transcripts with the true transcripts, we take into account the DNA sequences but also the expression levels. For each gene, we construct a bipartite graph with the true transcripts as nodes in one set of the bipartition, and the predicted transcripts as nodes in the other set of the bipartition. Empty sequences with 0 expression level were added so that both sets of the bipartition had an equal number of nodes.
To define the costs of the edges of this bipartite graph, let us introduce (cf. Normalized Compression Distance [23]) the binary encoding of a true transcript T and its expression level e(T) with respect to a predicted transcript P with expression level e(P)
where γ(x) = 0^{bin(x)1 }1bin(x), bin(x) being the binary encoding of x >0, j is the index of P in the list of predicted transcripts, d is the unit cost (Levenshtein) edit distance of T and P, editsencoded(T, P) lists the edits and gaps between edits using 2bit fixed code for edit type, 2bit fixed code for substituted/inserted symbol, and γ(x+1) for gap (run of identities) of length x, and f(x) is a bijection between {0, 1, 1, 2, 2, . . .} and {1, 2, 3, 4, 5, . . .} defined as f(x) = 2x for x > 0 and f(x) = 2(x) + 1 otherwise.
Then, the edge cost between nodes and is defined as code(T_{i } P_{j}, j)  γ(j). The closer to zero this number is, the better the match between true transcript T_{i}, with true expression level e(T_{i}) and predicted transcript P_{j }with predicted expression level e(P_{j}). The minimum weight perfect matching was then computed; this gives a onetoone mapping between true and predicted transcripts, therefore true transcripts can be ordered in the same order as they match predicted transcripts and code for the index, γ(j), is no longer required. Let edit code length for an edge between T_{i }and P_{j }be γ(d + 1) editsencoded(T_{i}, P_{j}), where d is the edit distance. Let bitscore be edit code length divided by γ(T_{i} + 1) editsencoded(T_{i}, ε); bitscore is asymmetric, and possibly greater than 1 if ε would be a better match to T_{i }than to P_{j}, but minimum weight perfect matching chose otherwise for global minimality. Let us also call relative expression level difference the ratio e(P_{j})e(T_{i})/e(T_{i}). Each matched node pair with relative expression level difference and (edit) bitscore under some given thresholds define a true positive event (TP). The other kind of nodes define false positive (FP) and false negative (FN) events depending on which side of the bipartite graph they reside. Prediction efficiency based on precision, recall and Fmeasure is also employed in [6,9].
Simulated human data
As in the case of the other tools, we deem that validating against simulated data is a prerequisite, since, in general, on real data, we do not have available groundtruth. We designed the following validation experiment, closely following the approaches in [6,9]. We chose a set of genes at random, and looked up the corresponding annotated transcripts from the Ensembl database. Out of these genes, we selected only those having between 2 and 5 transcripts. In all, we had 29 genes. For each transcript, we simulated reads with the RNASeqReadSimulator [24]. This simulator chooses an expression level at random from lognormal distribution with mean 4 and variance 1. For each gene, it simulated pairedend reads, with fragment length mean 300 and standard deviation 20, as follows: a transcript was chosen randomly using its expression level as distribution weight, while the position of the read within the transcript was chosen uniformly. As argued in the case of IsoLasso [9], various error models can be incorporated in these steps, but we chose to compare the performance of the methods in neutral conditions. We mapped the reads with TopHat [25]: these read mapping results were given as input to the tested prediction software, and to a Python program which we wrote to construct the splicing graphs needed for Traph. Cufflinks and IsoLasso were ran with the default parameters, because the parameters they offer relate to RNAseq lab protocol, which was not simulated; we could not see changes to other parameters which could be relevant to the prediction. We use FPKM values as expression levels.
We devised two experiment setups. In the first one, which we call single genes, 300, 000 pairedend reads were generated independently from the transcripts of each of the 29 genes, with the already assigned expression levels. They were independently given to TopHat for alignment, and these independent alignment results were fed to each tool. In the second, more realistic experiment, which we call batch mode, the transcripts and their assigned expression levels were combined into one file, and from this file 29 * 300, 000 pairedend reads were simulated. All these reads were fed to TopHat for alignment, and these combined alignment results were fed to the tools. The fragment length mean and standard deviation were passed to the tools, except for Cufflinks in batch mode, when it was able to infer them automatically.
Table 1 and Figure 2 show selected validation results. The measures reported are precision = TP/(TP+FP), recall = TP/(TP+FN), and Fmeasure = 2 * precision * recall/(precision + recall). We selected to depict two relative expression level differences, 0.1 and 0.9, illustrating opposite expression levels matching criteria. In the first, we require that the predicted expression levels be at most 10% different from the true ones, and in the second they can be at most 90% different from the true ones. Even though not yet employing pairedend information, Traph has better Fmeasure in three out of four scenarios. The lead of Traph is more visible in the batch mode scenario when the predicted expression levels can be at most 90% different from the true ones (Figure 2). This behavior might be due to the upward/downward coverage at the start/end of transcripts, which affects the average coverage Traph is assuming for source/sink nodes (exons). We expect to solve this by giving less weight to such exons in the fitness function. Notice also that out of the false positive transcripts reported by the tools, Cufflinks is reporting 32 transcripts which do not map to the areas of the 29 genes from where reads were simulated, IsoLasso is reporting 150 transcripts outside gene areas, while Traph is reporting only 15.
Table 1. Performance of the three tools
Figure 2. Performance on simulated data. Performance of IsoLasso, Cufflinks, and Traph on simulated data: single genes scenario (a), (b); batch mode scenario (c), (d)
Real human data
We used the same real dataset from the IsoLasso paper [9], Caltech RNASeq track from the ENCODE project [GenBank:SRR065504], consisting of 75bp pairedend reads. Out of these reads, we picked the 2,406,339 which mapped to human chromosome 2. We selected the 674 genes where all three tools made some prediction; these genes have 6075 annotated transcripts.
First, we match the transcripts predicted by each tool with the annotated transcripts, employing the same minimum weight perfect matching method introduced before, this time without taking into account expression levels. A true positive is a match selected by the perfect matching with bitscore under 0.2. Traph predicted in total 2685 transcripts for these genes, out of which 244 match the annotation. Cufflinks predicted in total 1796, out of which 349 match the annotation, while IsoLasso predicted 1362, out of which 343 match the annotation. We also include a histogram (Figure 3) of the lengths of the annotated transcripts of these genes, and of the ones reported by Traph, Cufflinks and IsoLasso. Here we round all transcript lengths to the nearest multiple of 1000. We see that the distribution in the case of Traph is closer to the distribution in the case of the annotated transcripts; than the distributions for Cufflinks and IsoLasso.
Figure 3. Results on real human data. Histogram of the distribution of transcript lengths of the annotation, and of the ones reported by Traph, Cufflinks and IsoLasso
Third, we match the transcripts predicted by one software to the transcripts predicted by the other two, employing the same matching method. As in [9], we depict in Figure 4 a more detailed Venn diagram of the intersections between the sets of transcripts reported by the three tools.
Figure 4. Results on real human data. Venn diagram of the intersections of the sets of reported transcripts
Running times
On the real dataset, Cufflinks finished in 20 min, IsoLasso in 2 min, and Traph in 30 min. We should however stress that for solving the mincost flow problem and for identifying the transcripts, Traph uses in fact 6 min, the rest of the time being spent by our graph creation tool, which is written in Python. We could not make such a detailed analysis in the case of the other two tools. The running time of our Python script is as well included in the last column of Table 1, where we listed the average running time per gene with simulated reads of each tool.
Conclusions
All tools for isoform identification and quantification use an explicit or implicit graph model. Resorting to such a representation, the main contribution of this paper consists in a novel, radically different method based on minimumcost flows, an established problem, for which there exist polynomialtime algorithms and solvers. We implemented this method into our tool Traph. Even though Traph is not using pairedend information at this moment, Traph is competitive with stateoftheart tools.
This leads us to expect that once we incorporate pairedend read information, the performance of Traph will increase significantly. Note also that in the current implementation, each exon equally contributes to the fitness function, independently of its length; we plan to include exon lengths in the fitness function in a future implementation. We also plan to integrate existing gene annotation into a more refined construction of the splicing graph and into the fitness model. Our method is general enough to easily accommodate other biological assumptions. In order to evaluate the tools against real groundtruth data, we have started a process of acquiring long sequencing reads (PacBio) of the true isoforms of a gene.
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
AIT, VM and RR designed the method. VM, AK and AIT designed the experiments. AK evaluated the methods. AIT, VM and AK contributed to the writing. All authors read and approved the final manuscript.
Acknowledgements
We wish to thank Antti Honkela for many insightful discussions on transcript prediction. We would also like to thank Teemu Kivioja and the anonymous reviewers for hinting us related literature on refined cost functions for coverage counts, as well as for constructive comments that improved our experiment setup.
Declarations
Publication of this article was supported by the Academy of Finland under grant 250345 (CoECGR).
This article has been published as part of BMC Bioinformatics Volume 14 Supplement 5, 2013: Proceedings of the Third Annual RECOMB Satellite Workshop on Massively Parallel Sequencing (RECOMBseq 2013). The full contents of the supplement are available online at http://www.biomedcentral.com/bmcbioinformatics/supplements/14/S5.
References

Mortazavi A, Williams BAA, McCue K, Schaeffer L, Wold B: Mapping and quantifying mammalian transcriptomes by RNASeq.
Nature Methods 2008, 5:621628. PubMed Abstract  Publisher Full Text

Pepke S, Wold B, Mortazavi A: Computation for ChIPseq and RNAseq studies.
Nature methods 2009, 6:(11):s22s32. PubMed Abstract  Publisher Full Text

Shah S, et al.: The clonal and mutational evolution spectrum of primary triplenegative breast cancers.
Nature 2012, 486:(7403):395399. PubMed Abstract  Publisher Full Text

Trapnell C, et al.: Transcript assembly and quantification by RNASeq reveals unannotated transcripts and isoform switching during cell differentiation.
Nature Biotechnology 2010, 28:511515. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Heber S, Alekseyev M, Sze SH, Tang H, Pevzner PA: Splicing graphs and EST assembly problem.
Bioinformatics 2002, 18(suppl 1):S181S188. PubMed Abstract  Publisher Full Text

Lin YY, Dao P, Hach F, Bakhshi M, Mo F, Lapuk A, Collins C, Sahinalp SC: CLIIQ: Accurate Comparative Detection and Quantification of Expressed Isoforms in a Population. In Proc Algorithms in Bioinformatics  12th International Workshop, WABI 2012, Volume 7534 of Lecture Notes in Computer Science. Springer; 2012:178189.

Li JJ, Jiang CR, Brown JB, Huang H, Bickel PJ: Sparse linear modeling of nextgeneration mRNA sequencing (RNASeq) data for isoform discovery and abundance estimation.
Proc Natl Acad Sci USA 2011, 108(50):1986719872. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Feng J, Li W, Jiang T: Inference of Isoforms from Short Sequence Reads. In RECOMB, Volume 6044 of Lecture Notes in Computer Science. Edited by Berger B. Springer; 2010:138157.

Li W, Feng J, Jiang T: IsoLasso: a LASSO regression approach to RNASeq based transcriptome assembly.
J Comput Biol 2011, 18(11):1693707. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Guttman M, Garber M, Levin JZ, Donaghey J, Robinson J, Adiconis X, Fan L, Koziol MJ, Gnirke A, Nusbaum C, Rinn JL, Lander ES, Regev A: Ab initio reconstruction of cell typespecific transcriptomes in mouse reveals the conserved multiexonic structure of lincRNAs.
Nat Biotechnol 2010, 28(5):503510. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Xing Y, Resch A, Lee C: The multiassembly problem: reconstructing multiple transcript isoforms from EST fragment mixtures.
Genome Res 2004, 14:(3):426441. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Namiki T, Hachiya T, Tanaka H, Sakakibara Y: MetaVelvet: an extension of Velvet assembler to de novo metagenome assembly from short sequence reads.
Nucleic Acids Res 2012, 40:e155. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Ahuja RK, Magnanti TL, Orlin JB: Network Flows: Theory, Algorithms, and Applications. PrenticeHall, Inc; 1993.

Vatinlen B, Chauvet F, Chrétienne P, Mahey P: Simple bounds and greedy algorithms for decomposing a flow into a minimal set of paths.
European Journal of Operational Research 2008, 185(3):13901401. Publisher Full Text

Hartman T, Hassidim A, Kaplan H, Raz D, Segalov M: How to split a flow?
In INFOCOM Edited by Greenberg AG, Sohraby K, IEEE. 2012, 828836.

Koch R, Skutella M, Spenke I: Maximum kSplittable s, tFlows. [http://dx.doi.org/10.1007/s0022400790688] webcite
Theory of Computing Systems 2008, 43:5666. Publisher Full Text

Salazar F, Skutella M: Singlesource ksplittable mincost flows.
Oper Res Lett 2009, 37(2):7174. Publisher Full Text

Van Der Heijden PG, Cruyff M, Van Houwelingen HC: Estimating the Size of a Criminal Population from Police Records Using the Truncated Poisson Regression Model.
Statistica Neerlandica 2003, 57(3):289304. Publisher Full Text

Minoux M: Solving integer minimum cost flows with separable convex cost objective polynomially. [http://dx.doi.org/10.1007/BFb0121104] webcite
In Netflow at Pisa, Volume 26 of Mathematical Programming Studies Edited by Gallo G, Sandi C. Springer Berlin Heidelberg; 1986, 237239.

Weintraub A: A Primal Algorithm to Solve Network Flow Problems with Convex Costs. [http://EconPapers.repec.org/RePEc:inm:ormnsc:v:21:y:1974:i:1:p:8797] webcite
Management Science 1974, 21:8797. Publisher Full Text

Lemon Graph Library[http://lemon.cs.elte.hu/trac/lemon/] webcite

Traph source code and experiment data[http://cs.helsinki.fi/gsa/traph/] webcite

Cilibrasi R, Vitányi PMB: Clustering by compression.
IEEE Transactions on Information Theory 2005, 51(4):15231545. Publisher Full Text

RNASeqReadSimulator[http://www.cs.ucr.edu/~liw/rnaseqreadsimulator.html] webcite

Trapnell C, Pachter L, Salzberg SL: TopHat: discovering splice junctions with RNASeq.
Bioinformatics 2009, 25(9):11051111. PubMed Abstract  Publisher Full Text  PubMed Central Full Text