114,996 research outputs found
A parametric integer programming algorithm for bilevel mixed integer programs
We consider discrete bilevel optimization problems where the follower solves
an integer program with a fixed number of variables. Using recent results in
parametric integer programming, we present polynomial time algorithms for pure
and mixed integer bilevel problems. For the mixed integer case where the
leader's variables are continuous, our algorithm also detects whether the
infimum cost fails to be attained, a difficulty that has been identified but
not directly addressed in the literature. In this case it yields a ``better
than fully polynomial time'' approximation scheme with running time polynomial
in the logarithm of the relative precision. For the pure integer case where the
leader's variables are integer, and hence optimal solutions are guaranteed to
exist, we present two algorithms which run in polynomial time when the total
number of variables is fixed.Comment: 11 page
The Polyhedron-Hitting Problem
We consider polyhedral versions of Kannan and Lipton's Orbit Problem (STOC
'80 and JACM '86)---determining whether a target polyhedron V may be reached
from a starting point x under repeated applications of a linear transformation
A in an ambient vector space Q^m. In the context of program verification, very
similar reachability questions were also considered and left open by Lee and
Yannakakis in (STOC '92). We present what amounts to a complete
characterisation of the decidability landscape for the Polyhedron-Hitting
Problem, expressed as a function of the dimension m of the ambient space,
together with the dimension of the polyhedral target V: more precisely, for
each pair of dimensions, we either establish decidability, or show hardness for
longstanding number-theoretic open problems
- …