Category
Level
Tree isomorphism asks whether two trees have exactly the same shape, ignoring vertex names.