Groups
Category
Graph isomorphism asks whether two graphs are the same up to renaming vertices; the Weisfeiler–Leman (WL) test is a powerful heuristic that often distinguishes non-isomorphic graphs quickly.
Tree isomorphism asks whether two trees have exactly the same shape, ignoring vertex names.