At each arc a of T M s ,τ s , the right-hand side of Equation 4corresponds to the right-hand side of Equation 2, and thus half the carving width of T M s ,τ s is equal to the fan-out of τ s .
the cycle follows a depthfirst traversal of G specified by Algorithm 1 in Section 4.2.1.