now.net

Transitive closure and reduction

2 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.

Phrasings that mean this problem

Minimal equivalent DAG

graphs-structure