Développement : Chemin auto-évitants

Détails/Enoncé :

Un chemin auto-évitant est, informellement, un chemin sur $\mathbb{Z}^d$ qui ne passe pas deux fois par le même point et qui se déplace d'un point à un autre point à distance $1$.

En générant un chemin avec une loi de Bernoulli, on montre qu'il existe presque sûrement un chemin auto-évitant de longueur fini. On gère de plus le cas d'un chemin auto-évitant infini.

Versions :

Références utilisées dans les versions de ce développement :