A triangulation of a surface is k-irreducible if every non-contractible curve has length at least k and any edge contraction breaks this property. Equivalently, every edge belongs to a non-contractible curve of length k and there are no shorter non-contractible curves. We prove that a k-irreducible triangulation of a surface of genus g has $O(k^2g)$ triangles, which is optimal. This is an improvement over the previous best bound $k^{O(k)} g^2$ of Gao, Richter and Seymour [Journal of Combinatorial Theory, Series B, 1996].

翻译：曲面的一种三角剖分被称为k-不可约的，如果每条非收缩曲线的长度至少为k，并且任何边收缩都会破坏这一性质。等价地，每条边都属于一条长度为k的非收缩曲线，且不存在更短的非收缩曲线。我们证明了亏格为g的曲面上的k-不可约三角剖分有$O(k^2g)$个三角形，这一结果是最优的。这改进了Gao、Richter和Seymour [Journal of Combinatorial Theory, Series B, 1996] 之前的最好结果$k^{O(k)} g^2$。