Maximum Weighted Independent Set: Effective Reductions and Fast Algorithms on Sparse Graphs

被引:0
作者
Xiao, Mingyu [1 ]
Huang, Sen [1 ]
Chen, Xiaoyu [2 ]
机构
[1] Univ Elect Sci & Technol China, Chengdu, Peoples R China
[2] Nanjing Univ, Nanjing, Peoples R China
基金
中国国家自然科学基金;
关键词
Maximum weighted independent set; Exact algorithms; Measure-and-conquer; Graph algorithms; Reduction rules;
D O I
10.1007/s00453-023-01197-x
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The maximum independent set problem is one of the most important problems in graph algorithms and has been extensively studied in the line of research on the worst-case analysis of exact algorithms for NP-hard problems. In the weighted version, each vertex in the graph is associated with a weight and we are going to find an independent set of maximum total vertex weight. Many reduction rules for the unweighted version have been developed that can be used to effectively reduce the input instance without loss the optimality. However, it seems that reduction rules for the weighted version have not been systemically studied. In this paper, we design a series of reduction rules for the maximum weighted independent set problem and also design a fast exact algorithm based on the reduction rules. By using the measure-and-conquer technique to analyze the algorithm, we showthat the algorithm runs in O*(1.1443((0.624x-0.872)n)') time and polynomial space, where n' is the number of vertices of degree at least 2 and x is the average degree of these vertices in the graph. When the average degree is small, our running-time bound beats previous results. For example, on graphs with the minimum degree at least 2 and average degree at most 3.68, our running time bound is better than that of previous polynomial-space algorithms for graphs with maximum degree at most 4.
引用
收藏
页码:1293 / 1334
页数:42
相关论文
共 34 条
  • [1] Branch-and-reduce exponential/FPT algorithms in practice: A case study of vertex cover
    Akiba, Takuya
    Iwata, Yoichi
    [J]. THEORETICAL COMPUTER SCIENCE, 2016, 609 : 211 - 225
  • [2] Dynamic map labeling
    Been, Ken
    Daiches, Eli
    Yap, Chee
    [J]. IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2006, 12 (05) : 773 - 780
  • [3] Beigel R, 1999, SODA, P856
  • [4] Bourgeois N, 2008, LECT NOTES COMPUT SC, V5018, P55, DOI 10.1007/978-3-540-79723-4_7
  • [5] Fast Algorithms for max independent set
    Bourgeois, Nicolas
    Escoffier, Bruno
    Paschos, Vangelis T.
    van Rooij, Johan M. M.
    [J]. ALGORITHMICA, 2012, 62 (1-2) : 382 - 415
  • [6] Vertex Cover: Further observations and further improvements
    Chen, J
    Kanj, IA
    Jia, WJ
    [J]. JOURNAL OF ALGORITHMS, 2001, 41 (02) : 280 - 301
  • [7] Labeled search trees and amortized analysis: Improved upper bounds for NP-hard problems
    Chen, JN
    Kanj, IA
    Xia, G
    [J]. ALGORITHMICA, 2005, 43 (04) : 245 - 273
  • [8] Counting models for 2SAT and 3SAT formulae
    Dahllöf, V
    Jonsson, P
    Wahström, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 332 (1-3) : 265 - 291
  • [9] Dahllöf V, 2002, SIAM PROC S, P292
  • [10] Fomin FV, 2006, LECT NOTES COMPUT SC, V4288, P16