Basis of Solutions for a System of Linear Inequalities in Integers: Computation and Applications

Basis of Solutions for a System of Linear Inequalities in Integers: Computation and Applications
复制标题

DOI：
10.1007/11549345_23
复制
发表时间：
2005-08
期刊：
--
影响因子：
--
通讯作者：
D. Chubarov;A. Voronkov
D. Chubarov;A. Voronkov
中科院分区：
其他
文献类型：
--
作者：
D. Chubarov;A. Voronkov

文献摘要

被引文献

相似文献

我们定义了线性不等式系统解的一组基，并给出了一种求这种基的一般算法。我们的算法依赖于寻找线性不等式系统的非负解集的希尔伯特基的算法，并且可以与任何这样的算法结合使用。
We define a basis of solutions of a system of linear inequalities and present a general algorithm for finding such a basis. Our algorithm relies on an algorithm for finding a Hilbert basis for the set of nonnegative solutions of a system of linear inequalities and can be used in conjunction with any such algorithm.