在多面体中找到整数点

Question

你好，我们有一个多面体，其中n尺寸的边界的线性不等式。

1. 如何在此多面体（恰好或大致）中找到整数点的数量。
2. 如何在此多面体中找到整数点的坐标。

Answer 1

给您一些搜索项：您描述的是可行解决方案的枚举到一个整数程序。

上次我需要这样的东西，我找不到即用的解决方案，所以我写了自己的实现，称为“ bande ”。它基于分支算法，使用来自硬币或的线性编程引擎来决定是否相应的线性（非整数）程序具有任何可行的解决方案。随意使用它适合您的需求。

简单地确定晶格点的号：我相信有一些公式来计算这一点，但我不记得任何细节。据我所知，该公式在实际枚举解决方案中是没有用的。

看最近的出版物建议您可能想要一个看看 latte

Answer 2

软件野生能够计算给定多面体的整数点（在凸壳之间）是 porta 。

但是，所有有关枚举问题的所有软件都会基于枚举，使其失败的更大模型。

最好的问候