308 research outputs found
New bounds for the max--cut and chromatic number of a graph
We consider several semidefinite programming relaxations for the max--cut
problem, with increasing complexity. The optimal solution of the weakest
presented semidefinite programming relaxation has a closed form expression that
includes the largest Laplacian eigenvalue of the graph under consideration.
This is the first known eigenvalue bound for the max--cut when that is
applicable to any graph. This bound is exploited to derive a new eigenvalue
bound on the chromatic number of a graph. For regular graphs, the new bound on
the chromatic number is the same as the well-known Hoffman bound; however, the
two bounds are incomparable in general. We prove that the eigenvalue bound for
the max--cut is tight for several classes of graphs. We investigate the
presented bounds for specific classes of graphs, such as walk-regular graphs,
strongly regular graphs, and graphs from the Hamming association scheme
On bounding the bandwidth of graphs with symmetry
We derive a new lower bound for the bandwidth of a graph that is based on a
new lower bound for the minimum cut problem. Our new semidefinite programming
relaxation of the minimum cut problem is obtained by strengthening the known
semidefinite programming relaxation for the quadratic assignment problem (or
for the graph partition problem) by fixing two vertices in the graph; one on
each side of the cut. This fixing results in several smaller subproblems that
need to be solved to obtain the new bound. In order to efficiently solve these
subproblems we exploit symmetry in the data; that is, both symmetry in the
min-cut problem and symmetry in the graphs. To obtain upper bounds for the
bandwidth of graphs with symmetry, we develop a heuristic approach based on the
well-known reverse Cuthill-McKee algorithm, and that improves significantly its
performance on the tested graphs. Our approaches result in the best known lower
and upper bounds for the bandwidth of all graphs under consideration, i.e.,
Hamming graphs, 3-dimensional generalized Hamming graphs, Johnson graphs, and
Kneser graphs, with up to 216 vertices
Convex Relaxations for Permutation Problems
Seriation seeks to reconstruct a linear order between variables using
unsorted, pairwise similarity information. It has direct applications in
archeology and shotgun gene sequencing for example. We write seriation as an
optimization problem by proving the equivalence between the seriation and
combinatorial 2-SUM problems on similarity matrices (2-SUM is a quadratic
minimization problem over permutations). The seriation problem can be solved
exactly by a spectral algorithm in the noiseless case and we derive several
convex relaxations for 2-SUM to improve the robustness of seriation solutions
in noisy settings. These convex relaxations also allow us to impose structural
constraints on the solution, hence solve semi-supervised seriation problems. We
derive new approximation bounds for some of these relaxations and present
numerical experiments on archeological data, Markov chains and DNA assembly
from shotgun gene sequencing data.Comment: Final journal version, a few typos and references fixe
Orbitopal Fixing
The topic of this paper are integer programming models in which a subset of
0/1-variables encode a partitioning of a set of objects into disjoint subsets.
Such models can be surprisingly hard to solve by branch-and-cut algorithms if
the order of the subsets of the partition is irrelevant, since this kind of
symmetry unnecessarily blows up the search tree. We present a general tool,
called orbitopal fixing, for enhancing the capabilities of branch-and-cut
algorithms in solving such symmetric integer programming models. We devise a
linear time algorithm that, applied at each node of the search tree, removes
redundant parts of the tree produced by the above mentioned symmetry. The
method relies on certain polyhedra, called orbitopes, which have been
introduced bei Kaibel and Pfetsch (Math. Programm. A, 114 (2008), 1-36). It
does, however, not explicitly add inequalities to the model. Instead, it uses
certain fixing rules for variables. We demonstrate the computational power of
orbitopal fixing at the example of a graph partitioning problem.Comment: 22 pages, revised and extended version of a previous version that has
appeared under the same title in Proc. IPCO 200
The linearization problem of a binary quadratic problem and its applications
We provide several applications of the linearization problem of a binary
quadratic problem. We propose a new lower bounding strategy, called the
linearization-based scheme, that is based on a simple certificate for a
quadratic function to be non-negative on the feasible set. Each
linearization-based bound requires a set of linearizable matrices as an input.
We prove that the Generalized Gilmore-Lawler bounding scheme for binary
quadratic problems provides linearization-based bounds. Moreover, we show that
the bound obtained from the first level reformulation linearization technique
is also a type of linearization-based bound, which enables us to provide a
comparison among mentioned bounds. However, the strongest linearization-based
bound is the one that uses the full characterization of the set of linearizable
matrices. Finally, we present a polynomial-time algorithm for the linearization
problem of the quadratic shortest path problem on directed acyclic graphs. Our
algorithm gives a complete characterization of the set of linearizable matrices
for the quadratic shortest path problem
- …