你好，我们有一个多面体，它的边界在n维上具有线性不等式。
- 如何找到这个多面体中的整数点数（精确或近似）
- 如何找到这个多面体中整数点的坐标
为您提供一些搜索术语：您所描述的是整数程序的可行解决方案的enumeration
上次我需要这样的东西时，我找不到现成的解决方案，所以我编写了自己的实现，名为"bande"。它基于分支算法，使用来自COIN-OR的线性规划引擎来决定相应的线性（非整数）程序是否有任何可行的解。请随意使用，它适合您的需要。
至于简单地确定格点的个数：我相信有一些公式可以计算，但我不记得任何细节。据我记忆所及，这个公式在实际列举解决方案时毫无用处。
看看最近的出版物，你可能想看看LattE。
能够计算给定多面体（在凸包中）的整数点的软件是porta。
然而，所有涉及这个问题的软件都是基于枚举的，因此它在更大的模型中失败了。
向致以最良好的问候