的代数几何。它在计数代数几何中有重要的应用。
基本定义.定义热带半环（又称极小-加法代数，见下述定义）为 formula_1，其运算为：此半环中的单项式不外就是线性映射；而多项式是对若干个线性映射取极小值，因此是个分片线性凹函数。称之为热带多项式。一个热带多项式 formula_4 的非光滑点集合称为热带超曲面。可以证明：上述两种刻划提供了组合学与代数学之间的对应。给定一个合适的代数问题，我们可将之转化为较易处理的组合问题以求解。一如代数几何中的情形，热带超曲面的定义