996 research outputs found
Low-rank semidefinite programming for the MAX2SAT problem
This paper proposes a new algorithm for solving MAX2SAT problems based on
combining search methods with semidefinite programming approaches. Semidefinite
programming techniques are well-known as a theoretical tool for approximating
maximum satisfiability problems, but their application has traditionally been
very limited by their speed and randomized nature. Our approach overcomes this
difficult by using a recent approach to low-rank semidefinite programming,
specialized to work in an incremental fashion suitable for use in an exact
search algorithm. The method can be used both within complete or incomplete
solver, and we demonstrate on a variety of problems from recent competitions.
Our experiments show that the approach is faster (sometimes by orders of
magnitude) than existing state-of-the-art complete and incomplete solvers,
representing a substantial advance in search methods specialized for MAX2SAT
problems.Comment: Accepted at AAAI'19. The code can be found at
https://github.com/locuslab/mixsa
A nonmonotone GRASP
A greedy randomized adaptive search procedure (GRASP) is an itera-
tive multistart metaheuristic for difficult combinatorial optimization problems. Each
GRASP iteration consists of two phases: a construction phase, in which a feasible
solution is produced, and a local search phase, in which a local optimum in the
neighborhood of the constructed solution is sought. Repeated applications of the con-
struction procedure yields different starting solutions for the local search and the
best overall solution is kept as the result. The GRASP local search applies iterative
improvement until a locally optimal solution is found. During this phase, starting from
the current solution an improving neighbor solution is accepted and considered as the
new current solution. In this paper, we propose a variant of the GRASP framework that
uses a new “nonmonotone” strategy to explore the neighborhood of the current solu-
tion. We formally state the convergence of the nonmonotone local search to a locally
optimal solution and illustrate the effectiveness of the resulting Nonmonotone GRASP
on three classical hard combinatorial optimization problems: the maximum cut prob-
lem (MAX-CUT), the weighted maximum satisfiability problem (MAX-SAT), and
the quadratic assignment problem (QAP)
On solving the MAX-SAT using sum of squares
We consider semidefinite programming (SDP) approaches for solving the maximum
satisfiability problem (MAX-SAT) and the weighted partial MAX-SAT. It is widely
known that SDP is well-suited to approximate the (MAX-)2-SAT. Our work shows
the potential of SDP also for other satisfiability problems, by being
competitive with some of the best solvers in the yearly MAX-SAT competition.
Our solver combines sum of squares (SOS) based SDP bounds and an efficient
parser within a branch & bound scheme.
On the theoretical side, we propose a family of semidefinite feasibility
problems, and show that a member of this family provides the rank two
guarantee. We also provide a parametric family of semidefinite relaxations for
the MAX-SAT, and derive several properties of monomial bases used in the SOS
approach. We connect two well-known SDP approaches for the (MAX)-SAT, in an
elegant way. Moreover, we relate our SOS-SDP relaxations for the partial
MAX-SAT to the known SAT relaxations.Comment: 26 pages, 5 figures, 8 tables, 2 appendix page
Computation with Polynomial Equations and Inequalities arising in Combinatorial Optimization
The purpose of this note is to survey a methodology to solve systems of
polynomial equations and inequalities. The techniques we discuss use the
algebra of multivariate polynomials with coefficients over a field to create
large-scale linear algebra or semidefinite programming relaxations of many
kinds of feasibility or optimization questions. We are particularly interested
in problems arising in combinatorial optimization.Comment: 28 pages, survey pape
- …