Groups
Category
A dominator tree summarizes “must-pass” relationships in a directed graph from a chosen root r: u dominates v if every path from r to v goes through u.
Rollback DSU (Disjoint Set Union with undo) lets you union sets and later revert to any previous state in LIFO order.