A Necessary and Sufficient Condition for Optimal Solutions of a Class of Integer Programming

• 一类整数规划问题有唯一最优解的充要条件