Groups
Category
Level
Tree isomorphism asks whether two trees have exactly the same shape, ignoring vertex names.
Binary lifting precomputes 2^k ancestors for every node so we can jump upward in powers of two.