Description:
<jats:p>
For a directed graph
<jats:italic>G</jats:italic>
with vertex set
<jats:italic>V</jats:italic>
we call a subset
<jats:italic>C</jats:italic>
⊆
<jats:italic>V</jats:italic>
a
<jats:italic>k-(All-)Path Cover</jats:italic>
if
<jats:italic>C</jats:italic>
contains a node from
<jats:italic>any</jats:italic>
path consisting of
<jats:italic>k</jats:italic>
nodes. This paper considers the problem of constructing small
<jats:italic>k</jats:italic>
-Path Covers in the context of road networks with millions of nodes and edges. In many application scenarios the set
<jats:italic>C</jats:italic>
and its induced overlay graph constitute a very compact synopsis of
<jats:italic>G</jats:italic>
which is the basis for the currently fastest data structure for personalized shortest path queries, visually pleasing overlays of subsampled paths, and efficient reporting, retrieval and aggregation of associated data in spatial network databases. Apart from a theoretical investigation of the problem, we provide efficient algorithms that produce very small
<jats:italic>k</jats:italic>
-Path Covers for large real-world road networks (with a posteriori guarantees via instance-based lower bounds).
</jats:p>