Suppose we are given $Av - x \ge 0$, for a given $n \times n$ matrix A and an $n\times 1$ vector $x$. Find an integer valued vector $v$ of size $n \times 1$ such that $\mathbf{1} \cdot v$ is minimized (in other words the sum of its elements is minimized)
Also, A is symmetric and invertible, if that helps.
Any idea how to attack this problem?