CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability

2015 ◽  
pp. 1-8 ◽  
Author(s):  
Shaowei Cai ◽  
Chuan Luo ◽  
Kaile Su
Keyword(s):  
Local Search ◽  
Configuration Checking

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 Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract)

2017 ◽  
Author(s):  
Yiyuan Wang ◽  
Shaowei Cai ◽  
Minghao Yin
Keyword(s):  
Local Search ◽  
Search Algorithm ◽  
Dominating Set ◽  
Minimum Weight ◽  
Scoring Function ◽  
Solution Quality ◽  
Configuration Checking ◽  
New Variant ◽  
New Ideas ◽  
Better Than

The Minimum Weight Dominating Set (MWDS) problem is an important generalization of the Minimum Dominating Set (MDS) problem with extensive applications. This paper proposes a new local search algorithm for the MWDS problem, which is based on two new ideas. The first idea is a heuristic called two-level configuration checking (CC2), which is a new variant of a recent powerful configuration checking strategy (CC) for effectively avoiding the recent search paths. The second idea is a novel scoring function based on the frequency of being uncovered of vertices. Our algorithm is called CC2FS, according to the names of the two ideas. The experimental results show that, CC2FS performs much better than some state-of-the-art algorithms in terms of solution quality on a broad range of MWDS benchmarks.

scholarly journals Reduction and Local Search for Weighted Graph Coloring Problem

2020 ◽  
Vol 34 (03) ◽  
pp. 2433-2441 ◽  
Author(s):  
Yiyuan Wang ◽  
Shaowei Cai ◽  
Shiwei Pan ◽  
Ximing Li ◽  
Monghao Yin
Keyword(s):  
Local Search ◽  
Graph Coloring ◽  
Search Algorithm ◽  
Weighted Graph ◽  
Coloring Problem ◽  
Massive Graphs ◽  
Configuration Checking ◽  
New Variant ◽  
Graph Coloring Problem ◽  
Important Extension

The weighted graph coloring problem (WGCP) is an important extension of the graph coloring problem (GCP) with wide applications. Compared to GCP, where numerous methods have been developed and even massive graphs with millions of vertices can be solved well, fewer works have been done for WGCP, and no solution is available for solving WGCP for massive graphs. This paper explores techniques for solving WGCP, including a lower bound and a reduction rule based on clique sampling, and a local search algorithm based on two selection rules and a new variant of configuration checking. This results in our algorithm RedLS (Reduction plus Local Search). Experiments are conducted to compare RedLS with the state-of-the-art algorithms on massive graphs as well as conventional benchmarks studied in previous works. RedLS exhibits very good performance and robustness. It significantly outperforms previous algorithms on all benchmarks.

Clause States Based Configuration Checking in Local Search for Satisfiability

2015 ◽  
Vol 45 (5) ◽  
pp. 1028-1041 ◽  
Author(s):  
Chuan Luo ◽  
Shaowei Cai ◽  
Kaile Su ◽  
Wei Wu
Keyword(s):  
Local Search ◽  
Configuration Checking

scholarly journals Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function

2017 ◽  
Vol 58 ◽  
pp. 267-295 ◽  
Author(s):  
Yiyuan Wang ◽  
Shaowei Cai ◽  
Minghao Yin
Keyword(s):  
Local Search ◽  
Search Algorithm ◽  
Dominating Set ◽  
Minimum Weight ◽  
Scoring Function ◽  
Solution Quality ◽  
Configuration Checking ◽  
New Variant ◽  
New Ideas ◽  
Better Than

The Minimum Weight Dominating Set (MWDS) problem is an important generalization of the Minimum Dominating Set (MDS) problem with extensive applications. This paper proposes a new local search algorithm for the MWDS problem, which is based on two new ideas. The first idea is a heuristic called two-level configuration checking (CC2), which is a new variant of a recent powerful configuration checking strategy (CC) for effectively avoiding the recent search paths. The second idea is a novel scoring function based on the frequency of being uncovered of vertices. Our algorithm is called CC2FS, according to the names of the two ideas. The experimental results show that, CC2FS performs much better than some state-of-the-art algorithms in terms of solution quality on a broad range of MWDS benchmarks.

Sign in / Sign up

Export Citation Format

Share Document