We consider a family of integer linear programs in which the coefficients of the constraints and objective function are polynomials of an integer parameter For in we define to be the largest value of the objective function with multiplicity for the integer linear program at We prove that for all is eventually quasi-polynomial; that is, there exists and polynomials $P_0, \ldots, P_{d-1}t,$ $f_\ell(t)=P_{d \pmod{t}}(t).\ell^{}$ largest value is describing the vertices of the convex hull of the feasible set. Calegari and Walker showed that if is the convex hull of $(t), \ldots, (t)(u)O(u),$ then the vertices of the convex hull of the set of lattice points in has eventually quasi-polynomial structure. We prove this without the assumption.

生成讲解博客的中文版本

生成AI智能校验的中文版本