Paired Many-to-Many 2-Disjoint Path Covers in Meshes

In the paired many-to-many
$k$
-disjoint path cover (
$k$
-DPC) problem, given a set of
$k$
pairs of vertices
$(s_{i},t_{i})$
,
$1\leqslant i\leqslant k$
, of a graph
$G$
we want to find
$k$
simple vertex-disjoint paths whose end-vertices are these
$k$
pairs, such that each vertex of
$G$
is covered by a path. This problem is a well-known problem in parallel processing and is a generalization of the well-known Hamiltonian
$(s,t)$
-path problem, which is equal to 1-DPC. In this paper, we consider the paired many-to-many 2-disjoint path cover problem (2-DPC) in meshes (rectangular grids). We give the necessary conditions for existence of such covers, and present a linear-time algorithm to compute them. Although the paired many-to-many
$k$
-disjoint path cover problem is well-known in parallel processing, our motivation to study this problem is its application in solving the Hamiltonian path problem in solid grid graphs. We consider the case where the pairs of vertices are on the outer face of the graph.