Если под немаркированным подразумевается отсутствие указанного корневого узла, пусть G = {G[1]..G[n]}
будет набором графов исходного немеченого дерева с корнями в вершинах 1 ... n
соответственно.
Тогда для каждого графа G[i]
существует ровно один способ заполнить дерево (почему? - подумайте, какое значение должно быть в корне дерева, и рекурсивно спуститься).
Как только вы можете показать это, ответ должен быть k
, число взаимно неизоморфных графов в наборе G