124 research outputs found
Semidefinite programming and eigenvalue bounds for the graph partition problem
The graph partition problem is the problem of partitioning the vertex set of
a graph into a fixed number of sets of given sizes such that the sum of weights
of edges joining different sets is optimized. In this paper we simplify a known
matrix-lifting semidefinite programming relaxation of the graph partition
problem for several classes of graphs and also show how to aggregate additional
triangle and independent set constraints for graphs with symmetry. We present
an eigenvalue bound for the graph partition problem of a strongly regular
graph, extending a similar result for the equipartition problem. We also derive
a linear programming bound of the graph partition problem for certain Johnson
and Kneser graphs. Using what we call the Laplacian algebra of a graph, we
derive an eigenvalue bound for the graph partition problem that is the first
known closed form bound that is applicable to any graph, thereby extending a
well-known result in spectral graph theory. Finally, we strengthen a known
semidefinite programming relaxation of a specific quadratic assignment problem
and the above-mentioned matrix-lifting semidefinite programming relaxation by
adding two constraints that correspond to assigning two vertices of the graph
to different parts of the partition. This strengthening performs well on highly
symmetric graphs when other relaxations provide weak or trivial bounds
Global Optimization for Cardinality-constrained Minimum Sum-of-Squares Clustering via Semidefinite Programming
The minimum sum-of-squares clustering (MSSC), or k-means type clustering, has
been recently extended to exploit prior knowledge on the cardinality of each
cluster. Such knowledge is used to increase performance as well as solution
quality. In this paper, we propose a global optimization approach based on the
branch-and-cut technique to solve the cardinality-constrained MSSC. For the
lower bound routine, we use the semidefinite programming (SDP) relaxation
recently proposed by Rujeerapaiboon et al. [SIAM J. Optim. 29(2), 1211-1239,
(2019)]. However, this relaxation can be used in a branch-and-cut method only
for small-size instances. Therefore, we derive a new SDP relaxation that scales
better with the instance size and the number of clusters. In both cases, we
strengthen the bound by adding polyhedral cuts. Benefiting from a tailored
branching strategy which enforces pairwise constraints, we reduce the
complexity of the problems arising in the children nodes. For the upper bound,
instead, we present a local search procedure that exploits the solution of the
SDP relaxation solved at each node. Computational results show that the
proposed algorithm globally solves, for the first time, real-world instances of
size 10 times larger than those solved by state-of-the-art exact methods
Integrality and cutting planes in semidefinite programming approaches for combinatorial optimization
Many real-life decision problems are discrete in nature. To solve such problems as mathematical optimization problems, integrality constraints are commonly incorporated in the model to reflect the choice of finitely many alternatives. At the same time, it is known that semidefinite programming is very suitable for obtaining strong relaxations of combinatorial optimization problems. In this dissertation, we study the interplay between semidefinite programming and integrality, where a special focus is put on the use of cutting-plane methods. Although the notions of integrality and cutting planes are well-studied in linear programming, integer semidefinite programs (ISDPs) are considered only recently. We show that manycombinatorial optimization problems can be modeled as ISDPs. Several theoretical concepts, such as the Chvátal-Gomory closure, total dual integrality and integer Lagrangian duality, are studied for the case of integer semidefinite programming. On the practical side, we introduce an improved branch-and-cut approach for ISDPs and a cutting-plane augmented Lagrangian method for solving semidefinite programs with a large number of cutting planes. Throughout the thesis, we apply our results to a wide range of combinatorial optimization problems, among which the quadratic cycle cover problem, the quadratic traveling salesman problem and the graph partition problem. Our approaches lead to novel, strong and efficient solution strategies for these problems, with the potential to be extended to other problem classes
- …