Two-goal Local Search and Inference Rules for Minimum Dominating Set
IJCAI, pp. 1467-1473, 2020.
EI
Keywords:
minimum dominating setBest from Multiple Selectionsmassive graphlocal search algorithmgoal localMore(11+)
Weibo:
Abstract:
Minimum dominating set (MinDS) is a canonical NP-hard combinatorial optimization problem with applications. For large and hard instances one must resort to heuristic approaches to obtain good solutions within reasonable time. This paper develops an efficient local search algorithm for MinDS, which has two main ideas. The first one is a n...More
Code:
Data:
Introduction
- One typical problem is to find a smallest group of influential individuals or a set of initial seeds in a social network, so that all participants can be reached with only one hop from the seeds.
- This problem is equivalent to finding a minimum dominating set (MinDS) for the network.
- The main focus of such algorithms is on theoretical aspects
Highlights
- Given an undirected graph G = (V, E), a dominating set D is a subset of vertices such that each vertex in V \ D has at least one adjacent vertex in D
- A number of works have been done on exact algorithms for minimum dominating set, which mainly focus on improving the upper bound of running time
- We propose a new local search framework for minimum dominating set (Algorithm 1)
- To improve the performance of local search for minimum dominating set on large instances, we propose three inference rules, which can fix a considerable portion of the vertices for massive graphs
- We develop a local search algorithm for minimum dominating set named FastDS (Algorithm 3), which is based on our two-goal framework and employs inference rules
- We proposed a two-goal local search framework for minimum dominating set and proposed three inference rules
Methods
- The authors evaluate FastDS on 7 benchmarks, including 4 standard benchmarks in the literatures and 3 massive benchmarks.
UDG: This is a widely used standard benchmark for MinDS [Hedar and Ismail, 2010; Potluri and Singh, 2011; Potluri and Singh, 2013; Chalupa, 2018]. - T1: This data set consists of 520 instances where each instance has two different weight functions [Jovanovic et al, 2010].
- The authors select these original graphs where the weight of each vertex is set to 1.
- There are 52 families, each of which contains 10 instances with the same size.
- The authors do not report the results on graphs with 50 vertices
Results
- Results on Standard Benchmarks
Results on UDG, T1 and BHOSLIB benchmarks are reported in Tables 1, 2 and 3 respectively. - The DIMACS instances are so easy that CC2FS, FastMWDS and FastDS find the.
- Cit-HepPh 3078(3078.6) 3192(3209.3) 3087(3088.9) 3078(3078.9).
- Cit-HepTh 2935(2935.7) 2985(2993.4) 2944(2948.6) 2936(2936.1).
- CC2FS is dominated by FastMWDS on all the instances and not reported in Tables 5 and 6.
- FastDS performs best for all the massive benchmarks.
- It obtains the best solutions for 19 SNAP instances, 28 DIMACS10 instances and 63 Repository bn-human-B*1 1189968 (1189990) (1190752) (1190256) (1189877.3).
Conclusion
- The authors proposed a two-goal local search framework for MinDS and proposed three inference rules.
- The resulting algorithm FastDS is robust and efficient on standard benchmarks and massive benchmarks, and significantly outperforms state-ofthe-art algorithms on massive benchmarks.
- The authors would like to study the ideas for other subset problems
Summary
Introduction:
One typical problem is to find a smallest group of influential individuals or a set of initial seeds in a social network, so that all participants can be reached with only one hop from the seeds.- This problem is equivalent to finding a minimum dominating set (MinDS) for the network.
- The main focus of such algorithms is on theoretical aspects
Methods:
The authors evaluate FastDS on 7 benchmarks, including 4 standard benchmarks in the literatures and 3 massive benchmarks.
UDG: This is a widely used standard benchmark for MinDS [Hedar and Ismail, 2010; Potluri and Singh, 2011; Potluri and Singh, 2013; Chalupa, 2018].- T1: This data set consists of 520 instances where each instance has two different weight functions [Jovanovic et al, 2010].
- The authors select these original graphs where the weight of each vertex is set to 1.
- There are 52 families, each of which contains 10 instances with the same size.
- The authors do not report the results on graphs with 50 vertices
Results:
Results on Standard Benchmarks
Results on UDG, T1 and BHOSLIB benchmarks are reported in Tables 1, 2 and 3 respectively.- The DIMACS instances are so easy that CC2FS, FastMWDS and FastDS find the.
- Cit-HepPh 3078(3078.6) 3192(3209.3) 3087(3088.9) 3078(3078.9).
- Cit-HepTh 2935(2935.7) 2985(2993.4) 2944(2948.6) 2936(2936.1).
- CC2FS is dominated by FastMWDS on all the instances and not reported in Tables 5 and 6.
- FastDS performs best for all the massive benchmarks.
- It obtains the best solutions for 19 SNAP instances, 28 DIMACS10 instances and 63 Repository bn-human-B*1 1189968 (1189990) (1190752) (1190256) (1189877.3).
Conclusion:
The authors proposed a two-goal local search framework for MinDS and proposed three inference rules.- The resulting algorithm FastDS is robust and efficient on standard benchmarks and massive benchmarks, and significantly outperforms state-ofthe-art algorithms on massive benchmarks.
- The authors would like to study the ideas for other subset problems
Tables
- Table1: Experiment results on UDG benchmark
- Table2: Experiment results on T1 benchmark. To save space, we denote FastMWDS as MWDS
- Table3: Experiment results on BHOSLIB benchmark
- Table4: Averaged run time on standard benchmarks
- Table5: Experiment results on SNAP and DIMACS10 benchmarks same solutions on all the instances quickly, but RLSo and ScBppw are worse. For all standard benchmarks, FastDS has the best performance in terms of solution quality, except slightly worse than CC2FS and FastMWDS on UDG benchmark. Over all standard benchmarks, CC2FS, FastMWDS and FastDS are essentially better than the other algorithms. We compare the averaged run time of these three algorithms on these benchmarks (Table 4), where the run time of each run of an algorithm is the time to reach the final solution
- Table6: Experiment results on Repository benchmark instances. On average, the best solutions found by FastDS have 1320 and 23732 fewer vertices than the strongest combenchmark UDG T1 DIMACS BHOSLIB SNAP DIMACS10 Repository
- Table7: Summary results of all benchmarks. We report for each algorithm the number of instances (or families) where it finds the best Dmin among the algorithms in experiments
- Table8: The fix ratio of the inference rules and construction time with and without rules petitor FastMWDS for SNAP and DIMACS10 benchmarks, and have 14150 fewer vertices than the strongest competitor ScBppw for Repository benchmark
Funding
- This work is supported by Beijing Academy of Artificial Intelligence (BAAI), Youth Innovation Promotion Association, Chinese Academy of Sciences [No 2017150], and NSFC Grant 61806050
Reference
- [Abu-Khzam et al., 2017] Faisal N. Abu-Khzam, Shaowei Cai, Judith Egan, Peter Shaw, and Kai Wang. Turbo-charging dominating set with an FPT subroutine: Further improvements and experimental analysis. In Proceedings of TAMC 2017, pages 59– 70, 2017.
- [Bouamama and Blum, 2016] Salim Bouamama and Christian Blum. A hybrid algorithmic model for the minimum weight dominating set problem. Simulation Modelling Practice and Theory, 64:57–68, 2016.
- [Cai and Lin, 2016] Shaowei Cai and Jinkun Lin. Fast solving maximum weight clique problem in massive graphs. In Proceedings of IJCAI 2016, pages 568–574, 2016.
- [Cai et al., 2011] Shaowei Cai, Kaile Su, and Abdul Sattar. Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artif. Intell., 175(9-10):1672–1696, 2011.
- [Cai et al., 2013] Shaowei Cai, Kaile Su, Chuan Luo, and Abdul Sattar. Numvc: An efficient local search algorithm for minimum vertex cover. J. Artif. Intell. Res., 46:687–716, 2013.
- [Cai et al., 2017] Shaowei Cai, Jinkun Lin, and Chuan Luo. Finding A small vertex cover in massive sparse graphs: Construct, local search, and preprocess. J. Artif. Intell. Res., 59:463–494, 2017.
- [Cai, 2015] Shaowei Cai. Balance between complexity and quality: Local search for minimum vertex cover in massive graphs. In Proceedings of IJCAI 2015, pages 747–753, 2015.
- [Chalupa, 2018] David Chalupa. An order-based algorithm for minimum dominating set with application in graph mining. Inf. Sci., 426:101–116, 2018.
- [Chaurasia and Singh, 2015] Sachchida Nand Chaurasia and Alok Singh. A hybrid evolutionary algorithm with guided mutation for minimum weight dominating set. Appl. Intell., 43(3):512–529, 2015.
- [Fan et al., 2019] Yi Fan, Yongxuan Lai, Chengqian Li, Nan Li, Zongjie Ma, Jun Zhou, Longin Jan Latecki, and Kaile Su. Efficient local search for minimum dominating sets in large graphs. In Proceedings of DASFAA 2019, pages 211–228, 2019.
- [Gao et al., 2015] Chao Gao, Xin Yao, Thomas Weise, and Jinlong Li. An efficient local search heuristic with row weighting for the unicost set covering problem. European Journal of Operational Research, 246(3):750–761, 2015.
- [Gao et al., 2018] Jian Gao, Jiejiang Chen, Minghao Yin, Rong Chen, and Yiyuan Wang. An exact algorithm for maximum kplexes in massive graphs. In Proceedings of IJCAI 2018, pages 1449–1455, 2018.
- [Gast et al., 2015] Mikael Gast, Mathias Hauptmann, and Marek Karpinski. Inapproximability of dominating set on power law graphs. Theor. Comput. Sci., 562:436–452, 2015.
- [Hedar and Ismail, 2010] Abdel-Rahman Hedar and Rashad Ismail. Hybrid genetic algorithm for minimum dominating set problem. In Proceedings of ICCSA 2010, pages 457–467, 2010.
- [Jovanovic et al., 2010] Raka Jovanovic, Milan Tuba, and Dana Simian. Ant colony optimization applied to minimum weight dominating set problem. In 12th international conference on Automatic control, modelling & simulation, pages 322–326, 2010.
- [Karthik C. S. et al., 2018] Karthik C. S., Bundit Laekhanukit, and Pasin Manurangsi. On the parameterized complexity of approximating dominating set. In Proceedings of STOC 2018, pages 1283–1296, 2018.
- [Li et al., 2019] Ruizhi Li, Shuli Hu, Huan Liu, Ruiting Li, Dantong Ouyang, and Minghao Yin. Multi-start local search algorithm for the minimum connected dominating set problems. Mathematics, 7(12):1173, 2019.
- [Lin et al., 2016] Geng Lin, Wenxing Zhu, and M. Montaz Ali. An effective hybrid memetic algorithm for the minimum weight dominating set problem. IEEE Trans. Evolutionary Computation, 20(6):892–907, 2016.
- [Lin et al., 2017] Jinkun Lin, Shaowei Cai, Chuan Luo, and Kaile Su. A reduction based method for coloring very large graphs. In Proceedings of IJCAI 2017, pages 517–523, 2017.
- [Musliu, 2006] Nysret Musliu. Local search algorithm for unicost set covering problem. In International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, pages 302–311.
- [Potluri and Singh, 2011] Anupama Potluri and Alok Singh. Two hybrid meta-heuristic approaches for minimum dominating set problem. In Proceedings of SEMCCO 2011, pages 97–104, 2011.
- [Potluri and Singh, 2013] Anupama Potluri and Alok Singh. Hybrid metaheuristic algorithms for minimum weight dominating set. Appl. Soft Comput., 13(1):76–88, 2013.
- [Raz and Safra, 1997] Ran Raz and Shmuel Safra. A sub-constant error-probability low-degree test, and a sub-constant errorprobability PCP characterization of NP. In Proceedings of STOC 1997, pages 475–484, 1997.
- [Richter et al., 2007] Silvia Richter, Malte Helmert, and Charles Gretton. A stochastic local search approach to vertex cover. In Proceedings of KI 2007, pages 412–426, 2007.
- [Rossi and Ahmed, 2015] Ryan A. Rossi and Nesreen K. Ahmed. The network data repository with interactive graph analytics and visualization. In Proceedings of AAAI 2015, pages 4292–4293, 2015.
- [Sanchis, 2002] Laura A. Sanchis. Experimental analysis of heuristic algorithms for the dominating set problem. Algorithmica, 33(1):3–18, 2002.
- [van Rooij and Bodlaender, 2011] Johan M. M. van Rooij and Hans L. Bodlaender. Exact algorithms for dominating set. Discrete Applied Mathematics, 159(17):2147–2164, 2011.
- [Verma et al., 2015] Anurag Verma, Austin Buchanan, and Sergiy Butenko. Solving the maximum clique and vertex coloring problems on very large sparse networks. INFORMS Journal on Computing, 27(1):164–177, 2015.
- [Wang et al., 2009] Feng Wang, Erika Camacho, and Kuai Xu. Positive influence dominating set in online social networks. In Proceedings of COCOA 2009, pages 313–321, 2009.
- [Wang et al., 2017] Yiyuan Wang, Shaowei Cai, and Minghao Yin. Local search for minimum weight dominating set with two-level configuration checking and frequency based scoring function. J. Artif. Intell. Res., 58:267–295, 2017.
- [Wang et al., 2018] Yiyuan Wang, Shaowei Cai, Jiejiang Chen, and Minghao Yin. A fast local search algorithm for minimum weight dominating set problem on massive graphs. In Proceedings of IJCAI 2018, pages 1514–1522, 2018.
- [Xu et al., 2007] Ke Xu, Frederic Boussemart, Fred Hemery, and Christophe Lecoutre. Random constraint satisfaction: Easy generation of hard (satisfiable) instances. Artificial intelligence, 171(8-9):514–534, 2007.
Tags
Comments