Transitive-Reduction-Algorithm