At the m-th iteration in Algorithm 1, iterative Viterbi decoding requires order of T 4 m time because there are 2 m active labels (plus one degenerate label).
it has m i=0 T 4 i time complexity if it terminates at the m-th iteration.