5 research outputs found
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
The Quadratic Cycle Cover Problem: special cases and efficient bounds
The quadratic cycle cover problem is the problem of finding a set of
node-disjoint cycles visiting all the nodes such that the total sum of
interaction costs between consecutive arcs is minimized. In this paper we study
the linearization problem for the quadratic cycle cover problem and related
lower bounds.
In particular, we derive various sufficient conditions for the quadratic cost
matrix to be linearizable, and use these conditions to compute bounds. We also
show how to use a sufficient condition for linearizability within an iterative
bounding procedure. In each step, our algorithm computes the best equivalent
representation of the quadratic cost matrix and its optimal linearizable matrix
with respect to the given sufficient condition for linearizability. Further, we
show that the classical Gilmore-Lawler type bound belongs to the family of
linearization based bounds, and therefore apply the above mentioned iterative
reformulation technique. We also prove that the linearization vectors resulting
from this iterative approach satisfy the constant value property.
The best among here introduced bounds outperform existing lower bounds when
taking both quality and efficiency into account