我们目前使用 PORTA 软件来查找我们使用的多面体的刻面定义不等式 (FDI) 列表。对于某些多面体，PORTA 工作正常。但是因为它是一个串行算法（使用 Fourier-Motzkin），我们有时会遇到分析时间太长而我们不得不强制程序停止的情况。我们想知道是否存在可以让我们更快地完成这些计算的并行算法？理想情况下，我们希望有像 PORTA 提供的精确解决方案；但是代替此类软件程序，我们愿意尝试一种可能无法产生确切结果的方法。（如果重要的话：我们的输入坐标几乎总是离散的，0 或 1。）