标题： lrslib 中的并行冗余消除及其在投影中的应用 显示英文标题

标题： Parallel Redundancy Removal in lrslib with Application to Projections

摘要： 我们描述了lrslib中的一种并行实现，用于去除冗余半空间并找到凸多面体H表示的最小表示。 通过标准转换，相同的代码也适用于V表示。 我们使用这种方法来加速傅里叶-莫茨金消去中的冗余去除步骤。 给出了计算结果，包括与克拉克森算法的比较，该算法在高度冗余输入上特别快速。 显示英文摘要

摘要： We describe a parallel implementation in lrslib for removing redundant halfspaces and finding a minimum representation for an H-representation of a convex polyhedron. By a standard transformation, the same code works for V-representations. We use this approach to speed up the redundancy removal step in Fourier-Motzkin elimination. Computational results are given including a comparison with Clarkson's algorithm, which is particularly fast on highly redundant inputs.