Universal Gröbner Bases, Integer Programming and Finite Graphs