Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Basis Reduction, and the Complexity of Branch-and-Bound   The classical branch-and-bound algorithm for the integer feasibility problem
has exponential worst case complexity.
  We prove that it is surprisingly efficient on reformulated problems, in which
the columns of the constraint matrix are short, and near orthogonal, i.e. a
reduced basis of the generated lattice; when the entries of A (the dense part
of the constraint matrix) are from {1, ..., M} for a large enough M,
branch-and-bound solves almost all reformulated instances at the rootnode. We
also prove an upper bound on the width of the reformulations along the last
unit vector.
  The analysis builds on the ideas of Furst and Kannan to bound the number of
integral matrices for which the shortest vectors of certain lattices are long,
and also uses a bound on the size of the branch-and-bound tree based on the
norms of the Gram-Schmidt vectors of the constraint matrix.
  We explore practical aspects of these results. First, we compute numerical
values of M which guarantee that 90, and 99 percent of the reformulated
problems solve at the root: these turn out to be surprisingly small when the
problem size is moderate. Second, we confirm with a computational study that
random integer programs become easier, as the coefficients grow.

10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
23
The categories of this paper are: solv-int
9
The categories of this paper are: nlin
7
The categories of this paper are: hep-th
33
The categories of this paper are: plasm-ph
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat