As the cycles are disjoint, this means that we necessarily miss at least n c (A ∪ I(c, t G )) arcs, hence |U(c, t G )| + n c (A ∪ I(c, t G )) is indeed the minimum loss among reachable trees.
to calculate the loss of a configuration c, we only need to compute both of the terms in Theorem 1.