超图$H = (V,E)$由一组有限的顶点组成，比如说$V=\{1, \dots, n\}$和一组超边$E \subseteq \mathcal{P}(V)$. 我们称之为$H$一种$k$- 超图如果全部$|e| = k$对所有人$e\in E$. 一个顶点覆盖$H$是一个集合$V' \subseteq V$这样对于所有人$e \in E$有一些$v \in V'$这样$v \in e$. 我希望通过计算解决的问题是找到一个最小尺寸的顶点覆盖（最小顶点覆盖）$k$- 超图$k>2$.

是否有任何软件（例如 Python 包）可以解决这个问题$k$-超图$H$? 对于普通图（2 超图），Mathematica具有函数FindVertexCover，但它似乎不支持具有更高基数边的超图。我可以编写自己的程序来解决这个问题，但是，由于找到最小顶点覆盖的问题很难，如果有人能找到已经实现了大多数当前已知优化的东西，我会更喜欢它。