We obtain new results regarding the precise average-case analysis of the main quantities that intervene in algorithms of a broad Euclidean type. We develop a general framework for the analysis of such algorithms, where the average-case complexity of an algorithm is related to the analytic behaviour in the complex plane of the set of elementary transformations determined by the algorithms. The methods rely on properties of transfer operators suitably adapted from dynamical systems theory and provide...

Introduction. Soit θ un élément de ¹=ℝ/ℤ. Considérons la suite des multiples de θ, $x={\left(n\theta \right)}_{n\in \mathbb{N}}$. Pour tout n ∈ ℕ, ordonnons les n+1 premiers termes de cette suite, 0 = y₀ ≤ y₁ ≤...≤ yₙ ≤ 1 = pθ, p=0,...,n. La suite (y₀,...,yₙ) découpe l’intervalle [0,1] en n+1 intervalles qui ont au plus trois longueurs distinctes, la plus grande de ces longueurs étant la somme des deux autres. Cette propriété a été conjecturé par Steinhaus, elle est étroitement liée au développement en fraction continue de θ. On peut aussi...