Logarithme itéré

La figure présente la courbe du logarithme népérien. On a log 4 = 1.38, puis en reportant la valeur sur l'axe des abscisses par zig zag, on a log 1.38 = 0.32. On a appliqué le logarithme deux fois, donc log* 4 = 2 pour le logarithme itéré en base e.

En informatique, le logarithme itéré d'un nombre n, noté ${\log }^{*}(n)$ (lu "log star" ou "log étoile"), est le nombre de fois que le logarithme doit lui être appliqué avant que le résultat soit inférieur ou égal à 1. Cette fonction est utilisée pour décrire la complexité de certains algorithmes, notamment en algorithmique distribuée.

Définition

Le logarithme itéré de base b peut être défini par :

${\log }_b^{*}n:=\{\begin{array}{cc}0& \text{si }n\le 1;\\ 1+{\log }_b^{*}({\log }_{b}n)& \text{si }n>1.\end{array}$

Sur les nombres réels positifs, le super-logarithme continu (l'inverse de la tétration) est essentiellement équivalente :

${\log }_e^{*}n=\lceil {\mathrm{s}\mathrm{l}\mathrm{o}\mathrm{g}}_e(n)\rceil$

Le tableau suivant donne les valeurs du logarithme itéré (en base 2) :

Si $x$ est dans l'intervalle...	Alors ${\log }_2^{*}x$ vaut :
$]-\mathrm{\infty };1]$	0
$]1,2]$	1
$]2,4]$	2
$]4,16]$	3
$]16,65536]$	4
$]65536,2^{65536}]$	5

Propriétés

Cette fonction croît extrêmement lentement. Une fonction usuelle en informatique théorique qui croît encore plus lentement est la réciproque de la fonction d'Ackermann. Ces deux fonctions sont d'ailleurs liées, puisque le logarithme itéré est l'un des niveaux de la hiérarchie de la réciproque d'Ackermann.

Utilisations

• Cette fonction est utilisée pour l'analyse d'algorithmes, par exemple pour exprimer la complexité de l'algorithme de triangulation de Delaunay et en algorithmique distribuée, par exemple dans la borne inférieure de Linial pour la coloration de graphe.
• Dasgupta et al., dans leur livre d'algorithmique, présente une analyse de complexité amortie de la structure de données union-find en utilisant le logarithme itéré.
• Le logarithme itéré intervient dans la complexité de l'algorithme de Fürer.