A 2/3-approximation algorithm for vertex-weighted matching

被引:6
作者
Al-Herz, Ahmed [1 ]
Pothen, Alex [1 ]
机构
[1] Purdue Univ, Comp Sci Dept, W Lafayette, IN 47907 USA
基金
美国国家科学基金会;
关键词
Vertex-weighted matching; Approximation algorithm; Heaviest unmatched neighbor; Augmenting path; Weight-increasing path; APPROXIMATION ALGORITHMS;
D O I
10.1016/j.dam.2019.09.013
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We consider the maximum vertex-weighted matching problem (MVM) for non-bipartite graphs in which non-negative weights are assigned to the vertices of a graph and a matching that maximizes the sum of the weights of the matched vertices is desired. In earlier work we have described a 2/3-approximation algorithm for the MVM on bipartite graphs (Florin Dobrian et al., 2019). Here we show that a 2/3-approximation algorithm for MVM on non-bipartite graphs can be obtained by restricting the length of augmenting paths to at most three. The algorithm has time complexity O(m log + n log n), where n is the number of vertices, m is the number of edges, and is the maximum degree of a vertex. The approximation ratio of the algorithm is obtained by considering failed vertices, i.e., vertices that the approximation algorithm fails to match but the exact algorithm does. We show that there are two distinct heavier matched vertices that we can charge each failed vertex to. Our proof techniques characterize the structure of augmenting paths in a novel way. We have implemented the 2/3-approximation algorithm and show that it runs in under a minute on graphs with tens of millions of vertices and hundreds of millions of edges. We compare its performance with five other algorithms: an exact algorithm for MVM, an exact algorithm for the maximum edge-weighted matching (MEM) problem, as well as three approximation algorithms. The approximation algorithms include a 1/2 approximation algorithm for MVM, and (2/3 - E)-and (1 - E)-approximation algorithms for the MEM. In our test set of nineteen problems, there are graphs on which the exact algorithms fail to terminate in 100 hours. In addition, the new 2/3-approximation algorithm for MVM outperforms the other approximation algorithms by either being faster (often by orders of magnitude) or obtaining better weights. (c) 2019 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).
引用
收藏
页码:46 / 67
页数:22
相关论文
共 33 条
[1]  
Aggarwal G, 2011, PROCEEDINGS OF THE TWENTY-SECOND ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, P1253
[2]  
Al-Herz Ahmed, 2020, P SIAM WORKSHOP COMB
[3]  
[Anonymous], 2002, ACM J EXP ALGORITHMI
[4]  
[Anonymous], LEDA 6 5
[5]  
Applegate David., 1993, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, V12, P557
[6]   A SURVEY OF HEURISTICS FOR THE WEIGHTED MATCHING PROBLEM [J].
AVIS, D .
NETWORKS, 1983, 13 (04) :475-493
[7]   Computing Maximum Cardinality Matchings in Parallel on Bipartite Graphs via Tree-Grafting [J].
Azad, Ariful ;
Buluc, Aydin ;
Pothen, Alex .
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2017, 28 (01) :44-59
[8]   WEIGHTED MATCHING WITH VERTEX WEIGHTS - AN APPLICATION TO SCHEDULING TRAINING SESSIONS IN NASA SPACE-SHUTTLE COCKPIT SIMULATORS [J].
BELL, CE .
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1994, 73 (03) :443-449
[9]   THE NULL SPACE PROBLEM .2. ALGORITHMS [J].
COLEMAN, TF ;
POTHEN, A .
SIAM JOURNAL ON ALGEBRAIC AND DISCRETE METHODS, 1987, 8 (04) :544-563
[10]   Algorithm 915, SuiteSparseQR: Multifrontal Multithreaded Rank-Revealing Sparse QR Factorization [J].
Davis, Timothy A. .
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2011, 38 (01)