Skip to main content
. 2018 Jun 14;80(8):2177–2208. doi: 10.1007/s11538-018-0452-0

Fig. 9.

Fig. 9

(Color figure online) Proof of Lemma 3.3: the sequence of tail moves used to simulate head move (b). The moving edges are coloured, and the colouring of the edges is consistent throughout the sequence. The tail of the extra edge (light blue) is first moved to (xv), then the orange edge (s,v) is moved to (yz), then the green edge (s,z) is moved to (xt), and finally the light blue edge (s,t) (the “extra tail”) is moved back