期刊名称：CORE Discussion Papers / Center for Operations Research and Econometrics (UCL), Louvain
出版年度：2007
卷号：1
出版社：Center for Operations Research and Econometrics (UCL), Louvain
摘要：A central result in the theory of integer optimization states that a system of linear
Diophantine equations Ax = b has no integral solution if and only if there exists a vector in
the dual lattice, yTA integral such that yTb is fractional. We extend this result to systems that
both have equations and inequalities {Ax = b, Cx ｡ﾜ d}. We show that a certificate of integral
infeasibility is a linear system with rank (C) variables containing no integral point.
