Статья продолжает исследование αβ-триангуляции — оптимальной по критерию минимизации суммы длин β-рёбер триангуляции с выделенным множеством α-треугольников. Ранее модель была определена на евклидовой плоскости и распространена на замкнутые сферические поверхности; обобщение на произвольный род g до сих пор не было получено. Инструментом исследования служит формула Эйлера – Пуанкаре в сочетании с характеристическим равенством V = 3a для αβ-триангуляции. Получены формулы числа β-граней b = 5a + 4g – 4 и числа β-рёбер E β = 6(a + g – 1) для замкнутой αβ-триангуляции рода g. Результаты обобщены на компактные ориентируемые поверхности с произвольным числом компонент границы h: получено точное равенство для b, двойное неравенство для b через тройку (a, g, h) и необходимое условие существования a ≥ h. Все ранее известные результаты — для сферы, для замкнутой поверхности рода g и для топологического диска — получаются как частные случаи. Формулы проверены на 15 замкнутых αβ-триангуляциях родов 1, 2, 4 (вплоть до a = 2884) и на восьми образцах дисков с отверстиями. Полученные результаты позволяют прогнозировать размер αβ-триангуляции до её построения, контролировать корректность алгоритмов и выбирать параметры дискретизации при аппроксимации поверхностей свободной формы полиэдрами с группами конгруэнтных граней.
This paper continues the study of αβ-triangulation a triangulation with a designated set of α-triangles that is optimal in the sense of minimising the total length of β-edges. The model was previously defined on the Euclidean plane and extended to closed spherical surfaces; a generalisation to arbitrary genus g has not been obtained until now. The research tool is the Euler – Poincaré formula combined with the characteristic identity V = 3a for αβ-triangulation. We obtain formulas for the number of β-faces b = 5a + 4g – 4 and β-edges E β = 6(a + g – 1) of a closed αβ-triangulation of genus g. The results are extended to compact orientable surfaces with an arbitrary number of boundary components h: an exact equality for b, a double inequality for b in terms of (a, g, h), and the necessary existence condition a ≥ h. All previously known results — for the sphere, for the closed surface of genus and for the topological disk — follow as special cases. The formulas are verified on 15 closed αβ-triangulations of genera 1, 2, 4 (up to a = 2884) and on eight samples of disks with holes. The results allow predicting the size of an αβ-triangulation before its construction, verifying the correctness of generating algorithms, and choosing discretisation parameters when approximating free-form surfaces by polyhedra with groups of congruent faces.