Local Search Algorithms for the Maximum Carpool Matching Problem.

The Maximum Carpool Matching problem is a star packing problem in directed graphs. Formally, given a directed graph $$G = (V, A)$$, a capacity function $$c: V \rightarrow {\mathbb {N}}$$, and a weight function $$w: A \rightarrow {\mathbb {R}}^+$$, a carpool matching is a subset of arcs, $$M \subseteq A$$, such that every $$v \in V$$ satisfies: (1) $$d^{\text {in}}_{M}(v) \cdot d^{\text {out}}_{M}(v) = 0$$, (2) $$d^{\text {in}}_{M}(v) \le c(v)$$, and (3) $$d^{\text {out}}_{M}(v) \le 1$$. A vertex v for which $$d^{\text {out}}_{M}(v) = 1$$ is a passenger, and a vertex for which $$d^{\text {out}}_{M}(v) = 0$$ is a driver who has $$d^{\text {in}}_{M}(v)$$ passengers. In the Maximum Carpool Matching problem the goal is to find a carpool matching M of maximum total weight. The problem arises when designing an online carpool service, such as Zimride (Zimride by enterprise. https://zimride.com/), which tries to connect between users based on a similarity function. The problem is known to be NP-hard, even in the unweighted and uncapacitated case. The Maximum Group Carpool Matching problem, is an extension of the Maximum Carpool Matching where each vertex represents an unsplittable group of passengers. Formally, each vertex $$u \in V$$ has a size $$s(u) \in {\mathbb {N}}$$, and the constraint $$d^{\text {in}}_{M}(v) \le c(v)$$ is replaced with $$\sum _{u:(u,v) \in M} s(u) \le c(v)$$. We show that Maximum Carpool Matching can be formulated as an unconstrained submodular maximization problem, thus it admits a $$\frac{1}{2}$$-approximation algorithm. We show that the same formulation does not work for Maximum Group Carpool Matching, nevertheless, we present a local search $$(\frac{1}{2} - \varepsilon )$$-approximation algorithm for Maximum Group Carpool Matching. For the unweighted variant of both problems when the maximum possible capacity, $$c_{\max }$$, is bounded by a constant, we provide a local search $$(\frac{1}{2}+ \frac{1}{2c_{\max }} - \varepsilon )$$-approximation algorithm. We also provide an APX-hardness result, even if the maximum degree and $$c_{\max }$$ are at most 3.