Цель настоящей работы – усилить результаты, полученные ранее на этом направлении. изоморфизм деревьев означает, что при любом данных деревьев по уровню В этой связи будет показано, что почти изоморфизм сквозных деревьев высоты 1 (почти деревья, полученные обрезанием 1 , изоморфны) влечет их изоморфизм (теорема 1 раздела 2). <...> Этот результат открывает новый путь к получению основного результата (показать, что почти изоморфизм почти сквозных деревьев влечет их изоморфизм), поскольку деревья автоморфизмов всегда имеют сквозные пути и при наличии однородности являются сквозными. <...> Множество T с отношением порядка, удовлетворяющим требованиям (1)-(4), будем называть деревом, элементы T – вершинами дерева, а связи между вершинами – ребрами. <...> Таким образом, le ( )v Дерево будем называть конечным, если – предельный ординал, и , если – непредельный. <...> Будем говорить, что T есть дерево высоты T вершина v находится на уровне k дерева T (бу– функция, задающая уровни расположения вершин в дереве T . <...> Корень дерева – единственная вершина, расположенная на нулевом уровне. шины на вершины следующего уровня (дочерние вершины) конечно. <...> Из корневой вершины существует единственный путь до любой вершины дерева T . <...> Если вершина v находится на уровне k , то путь от корневой вершины до v (включительно) есть множество вершин, изоморфное ординалу вершины, то вершину будем называть финальной. <...> Если за данной вершиной дерева не следует никакой , оказываются, очевидно, финальными. <...> Очевидно, что в случае простого дерева информация о цвете вершин определяется структурой дерева и играет чисто вспомогательную роль. <...> Дерево без черных вершин будем называть полным. <...> Всякая нефинальная вершина дерева u определяет (порождает) некоторое поддерево (им будет множество вершин v таких, что u vp ), для которого она является корневой. <...> 183 Путем в дереве T будем называть цепь (из попарно различных вершин) без «дырок» v u суще Актуальные <...>