An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs

2017 ◽  
pp. 145-157
Author(s):  
Yuanjie Li ◽  
Shaowei Cai ◽  
Wenying Hou
Keyword(s):  
Local Search ◽  
Search Algorithm ◽  
Vertex Cover ◽  
Local Search Algorithm ◽  
Massive Graphs ◽  
Weighted Vertex

scholarly journals Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess

2017 ◽  
Vol 59 ◽  
pp. 463-494 ◽  
Author(s):  
Shaowei Cai ◽  
Jinkun Lin ◽  
Chuan Luo
Keyword(s):  
Local Search ◽  
Real World ◽  
Large Scale ◽  
Heuristic Algorithms ◽  
Search Algorithm ◽  
Vertex Cover ◽  
Search Algorithms ◽  
Theory And Practice ◽  
Sparse Graphs ◽  
Massive Graphs

The problem of finding a minimum vertex cover (MinVC) in a graph is a well known NP-hard combinatorial optimization problem of great importance in theory and practice. Due to its NP-hardness, there has been much interest in developing heuristic algorithms for finding a small vertex cover in reasonable time. Previously, heuristic algorithms for MinVC have focused on solving graphs of relatively small size, and they are not suitable for solving massive graphs as they usually have high-complexity heuristics. This paper explores techniques for solving MinVC in very large scale real-world graphs, including a construction algorithm, a local search algorithm and a preprocessing algorithm. Both the construction and search algorithms are based on low-complexity heuristics, and we combine them to develop a heuristic algorithm for MinVC called FastVC. Experimental results on a broad range of real-world massive graphs show that, our algorithms are very fast and have better performance than previous heuristic algorithms for MinVC. We also develop a preprocessing algorithm to simplify graphs for MinVC algorithms. By applying the preprocessing algorithm to local search algorithms, we obtain two efficient MinVC solvers called NuMVC2+p and FastVC2+p, which show further improvement on the massive graphs.

scholarly journals Two-goal Local Search and Inference Rules for Minimum Dominating Set

2020 ◽  
Author(s):  
Shaowei Cai ◽  
Wenying Hou ◽  
Yiyuan Wang ◽  
Chuan Luo ◽  
Qingwei Lin
Keyword(s):  
Local Search ◽  
Search Algorithm ◽  
Dominating Set ◽  
Inference Rules ◽  
Local Search Algorithm ◽  
Minimum Dominating Set ◽  
Massive Graphs ◽  
Construction Procedure ◽  
Almost All ◽  
Main Ideas

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 novel local search framework, while the second is a construction procedure with inference rules. Our algorithm named FastDS is evaluated on 4 standard benchmarks and 3 massive graphs benchmarks. FastDS obtains the best performance for almost all benchmarks, and obtains better solutions than state-of-the-art algorithms on massive graphs.

scholarly journals Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem

2020 ◽  
Vol 34 (03) ◽  
pp. 2343-2350 ◽  
Author(s):  
Peilin Chen ◽  
Hai Wan ◽  
Shaowei Cai ◽  
Jia Li ◽  
Haicheng Chen
Keyword(s):  
Local Search ◽  
Search Algorithm ◽  
Promising Result ◽  
Dynamic Threshold ◽  
Local Search Algorithm ◽  
Local Search Algorithms ◽  
Worst Case ◽  
Massive Graphs ◽  
Configuration Checking ◽  
Novel Strategy

The Maximum k-plex Problem is an important combinatorial optimization problem with increasingly wide applications. In this paper, we propose a novel strategy, named Dynamic-threshold Configuration Checking (DCC), to reduce the cycling problem of local search. Due to the complicated neighborhood relations, all the previous local search algorithms for this problem spend a large amount of time in identifying feasible neighbors in each step. To further improve the performance on dense and challenging instances, we propose Double-attributes Incremental Neighborhood Updating (DINU) scheme which reduces the worst-case time complexity per iteration from O(|V|⋅ΔG) to O(k · Δ‾G). Based on DCC strategy and DINU scheme, we develop a local search algorithm named DCCplex. According to the experiment result, DCCplex shows promising result on DIMACS and BHOSLIB benchmark as well as real-world massive graphs. Especially, DCCplex updates the lower bound of the maximum k-plex for most dense and challenging instances.

scholarly journals NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover

2013 ◽  
Vol 46 ◽  
pp. 687-716 ◽  
Author(s):  
S. Cai ◽  
K. Su ◽  
C. Luo ◽  
A. Sattar
Keyword(s):  
Local Search ◽  
Heuristic Algorithms ◽  
State Of The Art ◽  
Search Algorithm ◽  
Vertex Cover ◽  
Experimental Studies ◽  
Maximum Clique ◽  
Local Search Algorithm ◽  
Two Stage ◽  
Edge Weighting

The Minimum Vertex Cover (MVC) problem is a prominent NP-hard combinatorial optimization problem of great importance in both theory and application. Local search has proved successful for this problem. However, there are two main drawbacks in state-of-the-art MVC local search algorithms. First, they select a pair of vertices to exchange simultaneously, which is time-consuming. Secondly, although using edge weighting techniques to diversify the search, these algorithms lack mechanisms for decreasing the weights. To address these issues, we propose two new strategies: two-stage exchange and edge weighting with forgetting. The two-stage exchange strategy selects two vertices to exchange separately and performs the exchange in two stages. The strategy of edge weighting with forgetting not only increases weights of uncovered edges, but also decreases some weights for each edge periodically. These two strategies are used in designing a new MVC local search algorithm, which is referred to as NuMVC. We conduct extensive experimental studies on the standard benchmarks, namely DIMACS and BHOSLIB. The experiment comparing NuMVC with state-of-the-art heuristic algorithms show that NuMVC is at least competitive with the nearest competitor namely PLS on the DIMACS benchmark, and clearly dominates all competitors on the BHOSLIB benchmark. Also, experimental results indicate that NuMVC finds an optimal solution much faster than the current best exact algorithm for Maximum Clique on random instances as well as some structured ones. Moreover, we study the effectiveness of the two strategies and the run-time behaviour through experimental analysis.

scholarly journals NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set

2020 ◽  
Author(s):  
Bohan Li ◽  
Xindi Zhang ◽  
Shaowei Cai ◽  
Jinkun Lin ◽  
Yiyuan Wang ◽  
...  
Keyword(s):  
Local Search ◽  
Search Algorithm ◽  
Dominating Set ◽  
Practical Importance ◽  
Connected Dominating Set ◽  
Local Search Algorithm ◽  
Massive Graphs ◽  
Minimum Connected Dominating Set ◽  
Important Extension ◽  
Connectivity Maintenance

The minimum connected dominating set (MCDS) problem is an important extension of the minimum dominating set problem, with wide applications, especially in wireless networks. Despite its practical importance, there are few works on solving MCDS for massive graphs, mainly due to the complexity of maintaining connectivity. In this paper, we propose two novel ideas, and develop a new local search algorithm for MCDS called NuCDS. First, a hybrid dynamic connectivity maintenance method is designed to switch alternately between a novel fast connectivity maintenance method based on spanning tree and its previous counterpart. Second, we define a new vertex property called \emph{safety} to make the algorithm more considerate when selecting vertices. Experiments show that NuCDS significantly outperforms the state-of-the-art MCDS algorithms on both massive graphs and classic benchmarks.

scholarly journals A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs

2018 ◽  
Author(s):  
Yiyuan Wang ◽  
Shaowei Cai ◽  
Jiejiang Chen ◽  
Minghao Yin
Keyword(s):  
Local Search ◽  
Real World ◽  
Search Algorithm ◽  
Dominating Set ◽  
Minimum Weight ◽  
Local Search Algorithm ◽  
Massive Graphs ◽  
Configuration Checking ◽  
Dominating Set Problem ◽  
Short Time

The minimum weight dominating set (MWDS) problem is NP-hard and also important in many applications. Recent heuristic MWDS algorithms can hardly solve massive real world graphs effectively. In this paper, we design a fast local search algorithm called FastMWDS for the MWDS problem, which aims to obtain a good solution on massive graphs within a short time. In this novel local search framework, we propose two ideas to make it effective. Firstly, we design a new fast construction procedure with four reduction rules to cut down the size of massive graphs. Secondly, we propose the three-valued two-level configuration checking strategy to improve local search, which is interestingly a variant of configuration checking (CC) with two levels and multiple values. Experiment results on a broad range of massive real world graphs show that FastMWDS finds much better solutions than state of the art MWDS algorithms.

A Chaotic Local Search Algorithm with Adaptive Exchange of Elements for Quadratic Assignment Problems

2014 ◽  
Vol 2 ◽  
pp. 362-365
Author(s):  
Akio Watanabe ◽  
Kaori Kuroda ◽  
Kantaro Fujiwara ◽  
Tohru Ikeguchi
Keyword(s):  
Local Search ◽  
Search Algorithm ◽  
Quadratic Assignment ◽  
Local Search Algorithm ◽  
Assignment Problems ◽  
Quadratic Assignment Problems
Sign in / Sign up

Export Citation Format

Share Document