Abstract:The minimum path cover problem asks us to find a minimum-cardinality set of paths that cover all the nodes of a directed acyclic graph (DAG). We study the case when the size k of a minimum path cover is small, that is, when the DAG has a small width . This case is motivated by applications in pan-genomics , where the genomic variation of a population is expressed as a DAG. We observe that classical alignment algorithms exploiting sparse dynamic programming can be extended to the sequence-against-DAG case by mimicking the algorithm for sequences on each path of a minimum path cover and handling an evaluation order anomaly with reachability queries . Namely, we introduce a general framework for DAG-extensions of sparse dynamic programming. This framework produces algorithms that are slower than their counterparts on sequences only by a factor k . We illustrate this on two classical problems extended to DAGs: longest increasing subsequence and longest common subsequence . For the former, we obtain an algorithm with running time O ( k | E |log | V |). This matches the optimal solution to the classical problem variant when the input sequence is modeled as a path. We obtain an analogous result for the longest common subsequence problem. We then apply this technique to the co-linear chaining problem, which is a generalization of the above two problems. The algorithm for this problem turns out to be more involved, needing further ingredients, such as an FM-index tailored for large alphabets and a two-dimensional range search tree modified to support range maximum queries. We also study a general sequence-to-DAG alignment formulation that allows affine gap costs in the sequence. The main ingredient of the proposed framework is a new algorithm for finding a minimum path cover of a DAG ( V , E ) in O ( k | E |log | V |) time, improving all known time-bounds when k is small and the DAG is not too dense. In addition to boosting the sparse dynamic programming framework, an immediate consequence of this new minimum path cover algorithm is an improved space/time tradeoff for reachability queries in arbitrary directed graphs.

Finding a Shortest $M$-link Path in a Monge Directed Acyclic Graph

Faster Approximation Algorithms for Restricted Shortest Paths in Directed Graphs

A Theory of Alternating Paths and Blossoms from the Perspective of Minimum Length

Multi-Source Shortest Path Query with Assembly Points on Large Graphs

The K Shortest Paths Problem with Application to Routing

On Minimum Link Monotone Path Problems

New Menger-like dualities in digraphs and applications to half-integral linkages

Faster Multi-Source Directed Reachability via Shortcuts and Matrix Multiplication

Extended Dijkstra algorithm and Moore-Bellman-Ford algorithm

Efficient Enumeration of Markov Equivalent DAGs

Finding the Anti-Block Vital Edge of a Shortest Path Between Two Nodes

Minimum Chain Cover in Almost Linear Time

New formulations and branch-and-cut procedures for the longest induced path problem

Removing Sequential Bottleneck of Dijkstra's Algorithm for the Shortest Path Problem

Near Optimal Bounds for Replacement Paths and Related Problems in the CONGEST Model

Constructing a Distance Sensitivity Oracle in $O(n^{2.5794}M)$ Time

A Faster Deterministic Algorithm for Mader's $\mathcal{S}$-Path Packing

A $\frac{4}{3}$-Approximation for the Maximum Leaf Spanning Arborescence Problem in DAGs

Targeted multiobjective Dijkstra algorithm

Advances in quantum algorithms for the shortest path problem

Sparse Dynamic Programming on DAGs with Small Width