On part d'un forêt périodique. Chaque arête, interne ou externe, est identifié par les coordonnées de son milieu. Pour chacune des arêtes externes on représente localement par un angle et par un arc de cercle l'enveloppe convexe de son cycle induit si celle-ci en est un coin. Ce dessin est vert si l'arête externe est critique pour la direction de la racine et bleu sinon.

L'arc de cercle est rempli en rouge quand cette arête est active au sens de Tutte : la plus éloignée du puits relativement aux autres arêtes de son cycle induit (et la plus à droite en cas d'égalité, en regardant vers le puits).

Quand on fait tourner le puits, certaines arêtes externes changent d'activité, il s'agit toujours d'arêtes critiques pour la direction (en vert). Il faut alors les échanger avec leur paire correspondante pour rétablir l'activité : celle de droite (sens trigo) pour les arêtes devant rester active, et celle de gauche pour les autres.

À une certaine étape, la branche infinie ne va plus vers le puits et est donc inversée. On peut noter qu'aucune arête externe ne change d'activité à cette étape.

Rotate CCW Rotate CW Swap critical pairs Reset

Start:Restart