Transitive Reduction Problem