💾 Archived View for siiky.srht.site › wiki › transitive-reduction.gmi captured on 2023-04-26 at 13:25:51. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-03-20)
-=-=-=-=-=-=-
siiky
2023/03/04
2023/03/04
2023/03/04
programming,algorithms
gemini://gemi.dev/cgi-bin/wp.cgi/view/en?Transitive_reduction
A transitive reduction algorithm is an algorithm that given a graph computes another (possibly smaller) graph with no redundant edges (assuming transitivity). For example, if we have the following graph:
a -> { b, c }
b -> { c }
We can reduce it to the following representation by assuming transitivity:
a -> { b }
b -> { c }
This operation is basically the opposite of what's done in Disjoint sets (Scheme § disjoint-set). With Disjoint sets, for performance reasons, we conflate elements of the same subset as much as possible.