Local Search Algorithms for the Maximum Carpool Matching Problem

• Published in: Algorithmica Vol. 82; no. 11; pp. 3165 - 3182
• Main Authors: Kutiel, Gilad, Rawitz, Dror
• Format: Journal Article
• Language: English
• Published: New York Springer US 01.11.2020; Springer Nature B.V
• Subjects: Algorithm Analysis and Problem Complexity; Algorithms; Approximation; Car pools; Computer Science; Computer Systems Organization and Communication Networks; Data Structures and Information Theory; Graph theory; Graphs; Matching; Mathematical analysis; Mathematics of Computing; Passengers; Search algorithms; Theory of Computation; Weighting functions; Local search; Approximation algorithms; Star packing; Submodular maximization
• ISSN: 0178-4617; 1432-0541
• DOI: 10.1007/s00453-020-00719-1

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 → N , and a weight function w : A → R + , a carpool matching is a subset of arcs, M ⊆ A , such that every v ∈ V satisfies: (1) d M in ( v ) · d M out ( v ) = 0 , (2) d M in ( v ) ≤ c ( v ) , and (3) d M out ( v ) ≤ 1 . A vertex v for which d M out ( v ) = 1 is a passenger , and a vertex for which d M out ( v ) = 0 is a driver who has d M in ( 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 ∈ V has a size s ( u ) ∈ N , and the constraint d M in ( v ) ≤ c ( v ) is replaced with ∑ u : ( u , v ) ∈ M s ( u ) ≤ c ( v ) . We show that Maximum Carpool Matching can be formulated as an unconstrained submodular maximization problem, thus it admits a 1 2 -approximation algorithm. We show that the same formulation does not work for Maximum Group Carpool Matching , nevertheless, we present a local search ( 1 2 - ε ) -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 ( 1 2 + 1 2 c max - ε ) -approximation algorithm. We also provide an APX-hardness result, even if the maximum degree and c max are at most 3.