Groups
Category
State space reduction shrinks the number of dynamic programming or search states by keeping only the information that truly affects future decisions.
Tree isomorphism asks whether two trees have exactly the same shape, ignoring vertex names.