SIAM Journal on Discrete Mathematics, Volume 34, Issue 1, Page 843-864, January 2020.
We give an incremental polynomial time algorithm for enumerating the vertices of any polyhedron $P=P(A,\b1)=\{x\in \mathbb{R}^n \mid Ax\geq \b1,~x\geq \b0\}$, when $A$ is a totally unimodular matrix. Our algorithm is based on decomposing the hypergraph transversal problem for unimodular hypergraphs using Seymour's decomposition of totally unimodular matrices and may be of independent interest.

中文翻译：

---

用完全单模约束矩阵枚举覆盖多面体的顶点

SIAM离散数学杂志，第34卷，第1期，第843-864页，2020年1月。
我们给出了递增多项式时间算法，用于枚举任何多面体的顶点$ P = P（A，\ b1）= \ {x \ in当$ A $是一个完全单模矩阵时，\ mathbb {R} ^ n \ mid Ax \ geq \ b1，〜x \ geq \ b0 \} $。我们的算法基于使用完全单模矩阵的Seymour分解分解单模超图的超图横向问题，并且可能具有独立的意义。