热带超曲面包含关系的一个判别准则

对于热带$n$元多项式$f, g$，本文给出了热带超曲面$Trop(f)\subset Trop(g)$包含关系的一个判别准则，该准则用它们的牛顿多面体$N(f), N(g)\subset \mathbb{R}^{n+1}$表述。即，$Trop(f)\subset Trop(g)$当且仅当对于$N(g)$的每个顶点$v$，存在一个位似变换$t\cdot N(f), t>0$和一个平行移动$s:\mathbb{R}^{n+1} \to \mathbb{R}^{n+1}$，使得$v\in s(t\cdot N(f))\subset N(g)$。