Abstract:We propose a scalable approximate algorithm for the NP-hard maximum-weight independent set problem. The core of our algorithm is a dual coordinate descent applied to a smoothed LP relaxation of the problem. This technique is referred to as Bregman method or Sinkhorn algorithm in the literature. Our algorithm addresses a family of clique cover LP relaxations, where the constraints are determined by the set of cliques covering the underlying graph. The objective function of the relaxation is smoothed with an entropy term. An important question determining efficiency of our algorithm is the control of the smoothing level over the course of optimization. While several dedicated techniques have been considered in the literature to this end, we propose a new one based on estimation of the relaxed duality gap. To make this estimation possible, we developed a new projection method to the feasible set of the considered LP relaxation. We experimentally show that our technique notably outperforms the standard one based on feasibility estimation. Additionally to solving the relaxed dual, we utilize a simple and very efficient primal heuristic to obtain feasible integer solutions of the initial non-relaxed problem. Our heuristic is a combination of the greedy generation and optimal recombination applied to the reduced costs computed by the dual optimization. Our experimental validation considers two datasets based on real-life applications, where our method shows competitive results being able to find high quality approximate solutions within 10 seconds for graphs with hundreds of thousands of nodes and dozens of millions of edges.

Solving the Weighted MAX-SAT Problem Using the Dynamic Convexized Method

Modified Extremal Optimization for the Hard Maximum Satisfiability Problem

Adapting Stochastic Search For Real-time Dynamic Weighted Constraint Satisfaction

An enhanced heuristic searching algorithm for complicated constrained optimization problems

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers

Gaussian Elimination Meets Maximum Satisfiability

Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT

Backbone Guided Extremal Optimization For The Hard Maximum Satisfiability Problem

Modeling and Solving Scheduling in Overloaded Situations with Weighted Partial MaxSAT

Maximum Satisfiability In Software Analysis: Applications And Techniques

Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies.

Simulating game playing to solve Max-SAT

Solving Dynamic 3-SAT Formula: an Empirical Study.

A Bregman-Sinkhorn Algorithm for the Maximum Weight Independent Set Problem

Make It Practical: a Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems.

A Neurodynamic Approach for a Class of Convex-concave Minimax Problems

Maximum Marking Problems with Accumulative Weight Functions

Should Algorithms for Random SAT and Max-SAT Be Different?

Query-guided Maximum Satisfiability

General Method for Solving Four Types of SAT Problems

Weakly-Convex Concave Min-Max Optimization: Provable Algorithms and Applications in Machine Learning