MPI-I-98-2-018

The problem: Given an integral matrix $A$, an integral vector $b$ and some rational vector $x$, decide whether $x$ is outside the elementary closure $\{ x \in \R^n \mid Ax \leq b \}'$, is NP-complete. This result is achieved by an extension of a result by Caprara and Fischetti.