[PDF][PDF] Recent Advances in Practical Data Reduction.
Over the last two decades, significant advances have been made in the design and analysis
of fixed-parameter algorithms for a wide variety of graphtheoretic problems. This has …
of fixed-parameter algorithms for a wide variety of graphtheoretic problems. This has …
[PDF][PDF] Balance between complexity and quality: Local search for minimum vertex cover in massive graphs
S Cai - Twenty-Fourth International Joint Conference on …, 2015 - ijcai.org
The problem of finding a minimum vertex cover (MinVC) in a graph is a well known NP-hard
problem with important applications. There has been much interest in develo** heuristic …
problem with important applications. There has been much interest in develo** heuristic …
Two efficient local search algorithms for maximum weight clique problem
Abstract The Maximum Weight Clique problem (MWCP) is an important generalization of the
Maximum Clique problem with wide applications. This paper introduces two heuristics and …
Maximum Clique problem with wide applications. This paper introduces two heuristics and …
[HTML][HTML] SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem
The maximum weight clique problem (MWCP) is an important generalization of the
maximum clique problem with wide applications. In this study, we develop two efficient local …
maximum clique problem with wide applications. In this study, we develop two efficient local …
An improved master-apprentice evolutionary algorithm for minimum independent dominating set problem
The minimum independent dominance set (MIDS) problem is an important version of the
dominating set with some other applications. In this work, we present an improved master …
dominating set with some other applications. In this work, we present an improved master …
[HTML][HTML] Local search for boolean satisfiability with configuration checking and subscore
This paper presents and analyzes two new efficient local search strategies for the Boolean
Satisfiability (SAT) problem. We start by proposing a local search strategy called …
Satisfiability (SAT) problem. We start by proposing a local search strategy called …
Reinforcement learning based local search for grou** problems: A case study on graph coloring
Grou** problems aim to partition a set of items into multiple mutually disjoint subsets
according to some specific criterion and constraints. Grou** problems cover a large class …
according to some specific criterion and constraints. Grou** problems cover a large class …
[HTML][HTML] CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability
Weighted maximum satisfiability and (unweighted) partial maximum satisfiability (PMS) are
two significant generalizations of maximum satisfiability (MAX-SAT), and weighted partial …
two significant generalizations of maximum satisfiability (MAX-SAT), and weighted partial …
[PDF][PDF] Intelligent Virtual Machine Provisioning in Cloud Computing.
Virtual machine (VM) provisioning is a common and critical problem in cloud computing. In
industrial cloud platforms, there are a huge number of VMs provisioned per day. Due to the …
industrial cloud platforms, there are a huge number of VMs provisioned per day. Due to the …
Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism
The minimum weight dominating set (MWDS) problem is an important generalization of the
minimum dominating set problem with various applications. In this work, we develop an …
minimum dominating set problem with various applications. In this work, we develop an …