关于锥的Hilbert基与极端射线的计算

在本文中，我们提出一种新颖的投影—提升方法来计算半群$(\Lambda\cap\R^n_+,+)$（其中$\Lambda\subseteq\Z^n$为格）的最小生成元集合。此类问题包含对于整数矩阵$A$计算锥$\{z:Az=0,z\in\R^n_+\}$的Hilbert基。类似的方法可用于仅计算此类锥的极端射线。最后，给出了一些组合应用与计算经验。