Optimal system of loops on an orientable surface

Every compact orientable boundaryless surface ℳ can be cut along simple loops with a common point υ₀, pairwise disjoint except at υ₀, so that the resulting surface is a topological disk; such a set of loops is called a fundamental system of loops for ℳ. The resulting disk is a polygon in which the edges are pairwise identified on the surface; it is called a polygonal schema Assuming that ℳ is triangulated, and that each edge has a given length, we are interested in a shortest (or optimal) system homotopic to a given one, drawn on the vertex-edge graph of ℳ. We prove that each loop of such an optimal system is a shortest loop among all simple loops in its homotopy class. We give a polynomial (under some reasonable assumptions) algorithm to build such a system. As a byproduct, we get a polynomial algorithm to compute a shortest simple loop homotopic to a given simple loop.