436
правок
Изменения
Marked trees, no order: explanations added
{{Утверждение
|statement=Как и в непомеченном случае, структура объекта остается неизменной: <tex>T = U\times Set(T)</tex>.<br>
Производящая функция будет иметь вид: <tex>T(s) = s\cdot e^{T(s)}</tex><br>
}}
Заметим, что в данной ситуации не получится простого соответствия, как в случае с деревьями с порядком на детях.<br>
В случае порядка на детях не было нетривиальных автоморфизмов, порядок на детях однозначно задавал, как будут располагаться поддервевья.
Если порядка на детях нет, ситуация становится сложнее:
[[File:Marked_trees_no_order_example.jpg|250px|center]]
В данном примере в А два представленных дерева {{---}} одинаковые, а в B {{---}} разные.<br>
Для <tex>T(s)</tex> нет однозначно выражаемой формулы. Однако, <tex>T_n</tex> можно получить, раскрыв экспоненту до <tex>n</tex>-ого члена, а именно <tex>e^{T(s)} = \sum\limits_{k = 0}^{n}\dfrac{(T(s))^k}{k!}</tex>
= См.также =
