An Easy Way to Build Parallel State-of-the-art Combinatorial Optimization Problem Solvers: A Computational Study on Solving Steiner Tree Problems and Mixed Integer Semidefinite Programs by using ug[SCIP-*,*]-Libraries

2019 ◽  
Author(s):  
Yuji Shinano ◽  
Daniel Rehfeldt ◽  
Tristan Gally
Keyword(s):  
Combinatorial Optimization ◽  
Steiner Tree ◽  
Optimization Problem ◽  
State Of The Art ◽  
Computational Study ◽  
Combinatorial Optimization Problem ◽  
Mixed Integer ◽  
Semidefinite Programs ◽  
Steiner Tree Problems ◽  
Problem Solvers

scholarly journals Solving the Set Packing Problem via a Maximum Weighted Independent Set Heuristic

2020 ◽  
Vol 2020 ◽  
pp. 1-11
Author(s):  
Ruizhi Li ◽  
Yupan Wang ◽  
Shuli Hu ◽  
Jianhua Jiang ◽  
Dantong Ouyang ◽  
...  
Keyword(s):  
Combinatorial Optimization ◽  
Optimization Problem ◽  
State Of The Art ◽  
Independent Set ◽  
Packing Problem ◽  
Combinatorial Optimization Problem ◽  
Set Packing ◽  
Benchmark Instances ◽  
Set Packing Problem

The set packing problem (SPP) is a significant NP-hard combinatorial optimization problem with extensive applications. In this paper, we encode the set packing problem as the maximum weighted independent set (MWIS) problem and solve the encoded problem with an efficient algorithm designed to the MWIS problem. We compare the independent set-based method with the state-of-the-art algorithms for the set packing problem on the 64 standard benchmark instances. The experimental results show that the independent set-based method is superior to the existing algorithms in terms of the quality of the solutions and running time obtained the solutions.

scholarly journals From Decimation to Local Search and Back: A New Approach to MaxSAT

2017 ◽  
Author(s):  
Shaowei Cai ◽  
Chuan Luo ◽  
Haochen Zhang
Keyword(s):  
Combinatorial Optimization ◽  
Local Search ◽  
Optimization Problem ◽  
State Of The Art ◽  
Search Algorithm ◽  
Combinatorial Optimization Problem ◽  
Np Hard ◽  
Local Search Algorithm ◽  
Maximum Satisfiability ◽  
New Approach

Maximum Satisfiability (MaxSAT) is an important NP-hard combinatorial optimization problem with many applications and MaxSAT solving has attracted much interest. This work proposes a new incomplete approach to MaxSAT. We propose a novel decimation algorithm for MaxSAT, and then combine it with a local search algorithm. Our approach works by interleaving between the decimation algorithm and the local search algorithm, with useful information passed between them. Experiments show that our solver DeciLS achieves state of the art performance on all unweighted benchmarks from the MaxSAT Evaluation 2016. Moreover, compared to SAT-based MaxSAT solvers which dominate industrial benchmarks for years, it performs better on industrial benchmarks and significantly better on application formulas from SAT Competition. We also extend this approach to (Weighted) Partial MaxSAT, and the resulting solvers significantly improve local search solvers on crafted and industrial benchmarks, and are complementary (better on WPMS crafted benchmarks) to SAT-based solvers.

Inverse version of the kth maximization combinatorial optimization problem

2018 ◽  
Vol 54(5) ◽  
pp. 72
Author(s):  
Quoc, H.D. ◽  
Kien, N.T. ◽  
Thuy, T.T.C. ◽  
Hai, L.H. ◽  
Thanh, V.N.
Keyword(s):  
Combinatorial Optimization ◽  
Optimization Problem ◽  
Combinatorial Optimization Problem

scholarly journals ANALYSIS AND SYNTHESIS OF ENHANCED ANT COLONY OPTIMIZATION WITH THE TRADITIONAL ANT COLONY OPTIMIZATION TO SOLVE TRAVELLING SALES PERSON PROBLEM

2011 ◽  
Vol 1 (1) ◽  
pp. 88-92
Author(s):  
Pallavi Arora ◽  
Harjeet Kaur ◽  
Prateek Agrawal
Keyword(s):  
Combinatorial Optimization ◽  
Ant Colony Optimization ◽  
Optimization Problem ◽  
Traditional Approach ◽  
Combinatorial Optimization Problem ◽  
Ant Colony ◽  
Ant Colony Optimization Algorithm ◽  
Analysis And Synthesis ◽  
Heuristic Technique ◽  
Travelling Salesperson Problem

Ant Colony optimization is a heuristic technique which has been applied to a number of combinatorial optimization problem and is based on the foraging behavior of the ants. Travelling Salesperson problem is a combinatorial optimization problem which requires that each city should be visited once. In this research paper we use the K means clustering technique and Enhanced Ant Colony Optimization algorithm to solve the TSP problem. We show a comparison of the traditional approach with the proposed approach. The simulated results show that the proposed algorithm is better compared to the traditional approach.

Sign in / Sign up

Export Citation Format

Share Document