Научная статья на тему 'Преобразование Донахью: карусельные эффекты и ручные компоненты'

Преобразование Донахью: карусельные эффекты и ручные компоненты Текст научной статьи по специальности «Математика»

CC BY
116
9
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ЧИСЛА КАТАЛАНА / ПЛОСКИЕ КУБИЧЕСКИЕ ДЕРЕВЬЯ / ПРЕОБРАЗОВАНИЕ ДОНАХЬЮ / ОРБИТЫ / КАРУСЕЛЬНЫЙ ЭФФЕКТ / РУЧНЫЕ КОМПОНЕНТЫ / CATALAN NUMBERS / PLANE CUBIC TREES / DONAGHEY'S TRANSFORMATION / CAROUSEL EFFECT / TAME COMPONENTS

Аннотация научной статьи по математике, автор научной работы — Пушкарев Игорь Александрович, Бызов Виктор Александрович

Изучается динамическая система, действующая на комбинаторных интерпретациях чисел Каталана. Описаны два новых карусельных эффекта (для триад и ростков), первый из которых использован для перехода от локального свойства деревьев (отсутствие триад определённых типов) к некоторым глобальным свойствам орбит. Показано, что отмеченный эффект носит массовый характер. Построено несколько новых ручных классов орбит, в том числе не только с посто-явными длинами орбит, но и с растущими как &(n2). Решены соответствующие перечислительные задачи.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Donaghey's transformation: carousel effects and tame components

In this paper, Donaghey's transformation is investigated. It is a combinatorial dynamical system, based on the combinatorial interpretations of Catalan numbers, with the transition function of it being the composition of the direct and the inverse bijections between cubic and non-cubic trees. The dynamical system under investigation operates on a finite set and is inversible; therefore it is a mere permutation of trees. The properties of the cycles of this permutation, called the orbits, are studied in terms of permutation of structural elements of trees. In the course of studies, the systematic initiation of particular effects is indicated. These particular effects are referred to as “carousel”: it is the movement of ob jects from one classification category to another, typical of natural classifications. In this form, they look as an indicator of system complexity. Two new carousel effects for structural elements, referred to as triads and germs, are described. The carousel effect for triads is used for the detection of two families of trees; the lengths of all tree arcs in the first family are equal to one; in the second family, they are equal to two. Here, the term “the arcs of the orbit” is used to denote its fragments between two trees, which have no left subtrees. Therefore, the properties of the arcs are the global properties of the orbits, and the carousel effects are local. The corresponding enumeration problems are solved: it is demonstrated C 5n that the number of trees of the first family increases as I --r,----z-t:;---| , n3/2 24/3 22/3 + 1 3n+1 /2 the number of trees of the second family as i.-, r(n is the number of triads). n;3/\/ П . The paper presents the family of cycles with the length 6, which are different from the ones discovered by L. Shapiro, the number of which increases as 0(n2), and the family of cycles with length 9, the number of which increases as 0(2n/2). A class of orbits with the lengths growing up as 0(n2) is detected.

Текст научной работы на тему «Преобразование Донахью: карусельные эффекты и ручные компоненты»

2019 Теоретические основы прикладной дискретной математики №44

УДК 519.115.1

ПРЕОБРАЗОВАНИЕ ДОНАХЬЮ: КАРУСЕЛЬНЫЕ ЭФФЕКТЫ

И РУЧНЫЕ КОМПОНЕНТЫ

И. А. Пушкарев, В. А. Бызов

Вятский государственный университет, г. Киров, Россия

Изучается динамическая система, действующая на комбинаторных интерпретациях чисел Каталана. Описаны два новых карусельных эффекта (для триад и ростков), первый из которых использован для перехода от локального свойства деревьев (отсутствие триад определённых типов) к некоторым глобальным свойствам орбит. Показано, что отмеченный эффект носит массовый характер. Построено несколько новых ручных классов орбит, в том числе не только с постоянными длинами орбит, но и с растущими как в(п2). Решены соответствующие перечислительные задачи.

Ключевые слова: числа Каталана, плоские кубические деревья, преобразование Донахью, орбиты, карусельный эффект, ручные компоненты.

БСТ 10.17223/20710410/44/2

DONAGHEY'S TRANSFORMATION: CAROUSEL EFFECTS AND TAME COMPONENTS

I. A. Pushkarev, V. A. Byzov

Vyatka State University, Kirov, Russia

E-mail: vbyzov@yandex.ru

In this paper, Donaghey's transformation is investigated. It is a combinatorial dynamical system, based on the combinatorial interpretations of Catalan numbers, with the transition function of it being the composition of the direct and the inverse bijections between cubic and non-cubic trees. The dynamical system under investigation operates on a finite set and is inversible; therefore it is a mere permutation of trees. The properties of the cycles of this permutation, called the orbits, are studied in terms of permutation of structural elements of trees. In the course of studies, the systematic initiation of particular effects is indicated. These particular effects are referred to as "carousel": it is the movement of objects from one classification category to another, typical of natural classifications. In this form, they look as an indicator of system complexity. Two new carousel effects for structural elements, referred to as triads and germs, are described. The carousel effect for triads is used for the detection of two families of trees; the lengths of all tree arcs in the first family are equal to one; in the second family, they are equal to two. Here, the term "the arcs of the orbit" is used to denote its fragments between two trees, which have no left subtrees. Therefore, the properties of the arcs are the global properties of the orbits, and the carousel effects are local. The corresponding enumeration problems are solved: it is demonstrated

C ( 5 \n

that the number of trees of the first family increases as -- ) ,

J n3/2 V 24/3 - 22/3 + 1J

gn+l/2

the number of trees of the second family — as 3/2 (n is the number of triads).

The paper presents the family of cycles with the length 6, which are different from the ones discovered by L. Shapiro, the number of which increases as 6(n2), and the family of cycles with length 9, the number of which increases as 0(2ra/2). A class of orbits with the lengths growing up as 6(n2) is detected.

Keywords: Catalan numbers, plane cubic trees, Donaghey's transformation, carousel effect, tame components.

Введение

Плоские деревья с висячим корнем и плоские кубические деревья с висячим корнем [1] —две хорошо изученные комбинаторные интерпретации чисел Каталана.

Напомним основные определения.

Определение 1 [2]. Деревом, растущим из корня r, называется слабосвязный орграф, в котором полустепень входа каждой вершины, кроме r, равна 1, а полустепень входа вершины r равна нулю.

В [2] показано, что условие слабой связности в данном случае равносильно отсутствию ориентированных циклов и что в любую некорневую вершину ведёт единственный ориентированный путь из корня. Все деревья, рассматриваемые в данной работе, являются конечными, то есть имеют конечное множество вершин (из чего следует, что и все остальные множества структурных элементов таких деревьев конечны).

Определение 2.

1. Пусть u и v — две различные вершины дерева, соединённые ориентированным ребром e = (u,v). Вершина v называется сыном вершины u, а вершина u — отцом вершины v.

2. Дерево, растущее из корня r, называется деревом с висячим корнем, если множество сыновей корня r состоит ровно из одной вершины.

3. Вершины дерева, имеющие непустое множество сыновей, называются нелистьями. Вершины дерева, не имеющие сыновей, называются листьями.

Определение 3. Дерево, растущее из корня r, называется плоским, если множество сыновей каждой его вершины линейно упорядочено. В силу конечности можно считать, что сыновья каждой вершины занумерованы некоторым начальным отрезком натурального ряда: первый сын, второй сын и т.д.

Замечание 1. Термин «плоское» в данном случае не имеет никакого отношения к планарности, его следует понимать в смысле «изображённое в плоскости». При изображении плоского дерева на плоскости сыновей конкретной фиксированной вершины, как правило, располагают под ней примерно на одной высоте слева направо в порядке возрастания номеров.

Определение 4. Плоское дерево с висячим корнем называется кубическим, если множество сыновей любого нелиста, кроме корня, состоит ровно из двух элементов. В этом случае термин «первый сын» принято заменять термином «левый сын», а «второй сын» — термином «правый сын».

Определение 5. Плоское дерево называется бинарным, если множество сыновей любого нелиста, кроме корня, состоит не более чем из двух элементов; для множества сыновей каждого нелиста возможен один из трёх альтернативных вариантов:

1) вершина имеет только левого сына;

2) вершина имеет только правого сына;

3) вершина имеет ровно двух сыновей, один из них левый, а другой — правый. Замечание 2. При этом типы сыновей существенны: например, два дерева, имеющие одно и то же множество вершин, у одного из которых вершина V является единственным (левым) сыном вершины и, а у другого — правым, различны.

Замечание 3. Бинарные деревья получаются из кубических удалением всех листьев. Очевидно, что соответствующее отображение является биекцией.

Известно, что количество плоских деревьев с висячим корнем и п +1 некорневыми вершинами и количество плоских кубических деревьев с висячим корнем и п +1

листьями равны числу Каталана Сп

1

/2 п

п + 1 \ п

Существуют два варианта построения биекции (перехода от кубического дерева к некубическому) — левый и правый. При правом варианте вершинами некубического дерева становятся правые цепи (потомков). Опишем его подробно.

Определение 6. Пусть и = щ —вершина плоского кубического дерева, не являющаяся правым сыном никакой вершины (то есть являющаяся либо левым сыном некоторой вершины, либо сыном корня). Обозначим и2 её правого сына, ии+\ —правого сына вершины и^, к = 2, 3,... (до тех пор, пока правые сыновья существуют). Правой цепью (потомков вершины и) называется максимальная (возможно, одноэлементная, если и является листом) цепь вершин, которые можно пронумеровать таким образом. В силу максимальности последняя вершина такой цепи — обязательно лист. Вершинами некубического дерева являются правые цепи потомков.

Потомки вершины эд, отождествлённой с данной цепью, определяются следующим образом. Все вершины правой цепи, кроме последней, являются нелистьями. Следовательно, кроме правых сыновей, они имеют и левых, каждый из которых является началом аналогичной цепи правых потомков. Соответствующие цепи правых потомков, по определению, являются сыновьями (следовательно, количество её сыновей на единицу меньше длины соответствующей ей правой цепи). При этом порядок сыновей совпадает с порядком вершин в цепи, от которых они ответвляются.

Сыном корня некубического дерева, соответствующего данному кубическому, является правая цепь потомков сына корня, называемая старшей правой цепью.

Тем самым правый вариант перехода от кубического дерева Т к некубическому г(Т) описан полностью. Он проиллюстрирован на рис. 1, где несколько правых цепей обведены пунктиром. Левый вариант I определяется аналогично.

15

74 \8Ы * \*)14 13 --

Т г{Т)

Рис. 1. Правая биекция г

14

3

Обратный переход (от некубического дерева к кубическому) также имеет левый и правый варианты. Опишем подробно правый вариант — отображение, обратное к г.

При этом переходе вершинам кубического дерева в некубическом соответствуют объекты, называемые уголками.

Определение 7. Пусть и — вершина плоского дерева. Уголком называется тройка (и, 61, е2), где 61 и е2 —два (необязательно различных) ребра, смежных с вершиной и. Уголок (и, 61,62) может быть:

— открывающим, если е1 —ребро, входящее в вершину и, е2 —первое ребро, выходящее из вершины и;

— закрывающим, если е2 —ребро, входящее в вершину и, е1 —последнее ребро, выходящее из вершины и;

— регулярным, если оба ребра е1 и е2 выходят из вершины и и при этом являются соседними в смысле линейного порядка на сыновьях вершины и, то есть имеют номера п и п + 1;

— развёрнутым, если оба ребра е1 = е2 совпадают с ребром, входящим в вершину и (которая в этом случае обязана быть листом);

— корневым, если и = г — корень дерева и оба ребра е1 = е2 совпадают с ребром, выходящим из вершины г.

Все уголки, рассматриваемые в работе, принадлежат к одному из пяти указанных типов. На рис.2 уголок 1 является корневым, уголки 2 и 6 — открывающими, 3, 4 и 7 — регулярными, 5 и 8 —закрывающими, 9 —развёрнутым.

На множестве уголков плоского некубического дерева зададим структуру плоского кубического дерева, тем самым определяя его.

Определение 8.

1. Пусть (г, 6, б) —корневой уголок плоского дерева. Он является корнем искомого кубического дерева. Его единственным сыном называется уголок (V, 6, 61), где V — сын корня г; 6 = (г, V); 61 —первое ребро, выходящее из вершины V, если такое существует, или 61 = 6, если таких нет (в этом случае сын корня оказывается развёрнутым уголком, а дерево тривиальное — состоит только из корня и единственной некорневой вершины).

2. Пусть (и,61,62) —уголок плоского дерева, не являющийся ни развёрнутым, ни закрывающим. Его правым сыном называется уголок (и,62,63), где 63 —ребро, выходящее из вершины и, следующее за ребром 62, если 62 — не последнее ребро, выходящее из вершины и, или ребром, входящим в вершину и, если 62 — последнее такое ребро (в этом случае правый сын оказывается закрывающим уголком).

3. Пусть (и, 61, 62) —уголок плоского дерева, не являющийся развёрнутым. Его левым сыном называется уголок ^,62,63), где V — конец ребра 62; 63 —первое ребро, выходящее из вершины V, если такое есть, или 63 = 62, если таких нет (в последнем случае левый сын оказывается развёрнутым уголком).

Рис. 2. Уголки в некубическом дереве

Иными словами, переход к левому сыну соответствует переходу по ребру вниз, а к правому сыну — переходу через ребро направо.

Считая для определённости, что обе биекции I и г преобразуют кубическое дерево в некубическое, рассмотрим композицию т = /-1 о г (используется правая запись: сначала выполняется г, а затем /-1).

Определение 9. Отображение т (биекция множества кубических деревьев с п листьями на себя) называется преобразованием Донахью множества плоских кубических деревьев.

Исключив из конструкции некубические деревья, можно получить непосредственное описание преобразования Донахью на языке кубических деревьев, а именно:

1) Дерево разбивается на правые цепи, как в описании биекции г.

2) Каждая правая цепь становится левой, порядок в ней инвертируется. В частности, старшим элементом становится тот, который в исходной цепи являлся листом.

3) Линейный порядок на сыновьях рассматриваемой цепи сохраняется.

Замечание 4. Несмотря на сохранение порядка, цепи, являющиеся сыновьями,

после преобразования становятся смежны не с той же самой вершиной цепи-отца, с которой были смежны перед преобразованием, а с той, которая была её правым сыном (рис.3).

Приведённое определение преобразования Донахью не является единственно возможным, имеется большое количество довольно разнообразных его равносильных определений. Источником таковых, во-первых, является большое количество комбинаторных интерпретаций чисел Каталана, каждая из которых позволяет некоторым образом определить преобразование. В [3] приводится небольшой обзор такого рода определений на языках наиболее распространённых интерпретаций (положительные пути хромого короля, правильные расстановки скобок, триангуляции правильного многоугольника и т. д.). Во-вторых, даже на языке деревьев можно дать несколько определений, равносильность которых не вполне тривиальна. Дело в том, что описание плоского дерева как графа, определённым образом вложенного в плоскость, не

является единственно возможным. Например, полезным является рекурсивное определение плоского кубического дерева с висячим корнем.

Определение 10. Плоским кубическим деревом с висячим корнем называется объект, состоящий из следующих частей:

1) выделенной вершины г — висячего корня;

2) вершины ио, являющейся левым сыном корня;

3) цепочки правых потомков и^и2,... , вершины и0, в которой вершина иг+1, г = 1,... , к — 1, является правым сыном вершины щ , а вершина и^ не имеет сыновей (является листом);

4) набора дочерних деревьев Т0, Т1,... , Тк_1, корни которых отождествляются с вершинами и0, и2,... , и^-1 соответственно.

Из симметричности понятия кубического дерева следует, что существует симметричное рекурсивное определение — в терминах цепочек левых потомков. Эти определения имеют один легкоустранимый дефект: в одном (приведённом) сын корня является левым сыном, в другом (симметричном) — правым. Поэтому в них разумно внести поправку, поясняющую, что «первоначальный» сын корня является одновременно и левым и правым сыном.

В терминах рекурсивных определений плоского кубического дерева с висячим корнем нетрудно дать формально другое определение преобразования Донахью.

Определение 11. Пусть Т — плоское кубическое дерево с висячим корнем, сыном корня и0, цепочкой правых потомков и1, и2,... , и^ (и& — лист) и дочерними деревьями Т0,Т1,... ,Тк-1, имеющее п вершин. Пусть для всех деревьев, имеющих меньшее количество вершин, преобразование Донахью определено, в частности, пусть Д0, Д1,..., —результаты преобразований деревьев Т0, Т1,..., Тк-1 соответственно. Результатом преобразования дерева Т называется дерево с корнем г, сыном корня ик, цепочкой левых потомков и^-1, и&_2,... , и0 и дочерними поддеревьями Д0, Д1,... , Ок_1, корни которых отождествлены с вершинами и1, и2,..., ик соответственно.

Теорема 1 (равносильность определений преобразования Донахью).

Определения 9 и 11 равносильны.

Доказательство. Индукция по числу вершин некубического дерева.

Б а з а. Для тривиального некубического дерева с единственным некорневым листом утверждение очевидно.

И н д у к т и в н ы й п е р е х о д. Пусть дерево Т имеет п некорневых вершин и для всех некубических деревьев с меньшим количеством некорневых вершин утверждение доказано.

Предположим, что сын корня и дерева Т имеет т сыновей. Тогда правая обратная биекция г-1 превращает и в цепочку правых потомков 51, з2,... , зт+1 длины т + 1, а левая обратная /-1 — в цепочку левых потомков ¿1, ¿2,... , ¿т+1 той же длины.

Пусть Т1, Т2,... , Тт — дочерние некубические деревья, корень которых отождествлён с сыном корня и, под действием правой обратной биекции они переходят в кубические деревья Я1, Я2,... , Ят, а под действием левой обратной биекции — в деревья Ь^ Ь2,... , Ьт соответственно. Тогда все переходы от деревьев Яг к деревьям Ьг являются преобразованиями Донахью в смысле обоих определений (которые для дочерних деревьев равносильны по предположению индукции).

Корни кубических деревьев —1, -2, ... , -—т отождествляются с вершинами в1, 52, ... , вт, а корни деревьев Ь1, Ь2,... , Ьт — с вершинами ¿2, ¿3,... , ¿т+1, что согласуется с обоими определениями. ■

Рекурсивное определение также не является единственной альтернативой на языке деревьев. Дерево можно строить из элементов, не являющихся вершинами, и каждое такое определение дерева позволяет дать своё собственное определение преобразования Донахью.

Примером альтернативного типа элементов, при помощи которого можно описать структуру дерева, являются юниты, неформально говоря — «половинки рёбер». При этом каждое ребро распадается на два юнита, верхний и нижний, верхний смежен с двумя другими юнитами в вершине, из которой выходит ребро, а нижний — в вершине, в которую ребро входит. Не останавливаясь на юнитах, перейдём сразу к производным от них более удобным элементам, называемым триадами. Триады в первом приближении соответствуют вершинам бинарного дерева, получающегося из кубического удалением листьев.

Определение 12. Сопоставим каждому нелисту и плоского кубического дерева одноимённую триаду — четвёрку (и, 51, 52, 53), где элементы вг — суть юниты (понимаемые просто как формальный атрибут), смежные с этой вершиной (альтернативно: между собой в этой вершине). Для определённости: в1 —верхний юнит, в2 — левый, 53 — правый. Юниты триады могут быть свободными или связанными:

1. Верхний юнит в1 является свободным, если триада соответствует сыну корня, и связанным, если триада соответствует нелисту, являющемуся сыном другого нелиста.

2. Левый юнит в2 является свободным, если левым сыном нелиста и является лист, иначе является связанным. Аналогично определяется свободность или связанность правого юнита в3.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Например, если нелист V является левым сыном нелиста и, то левый юнит в2 триады (и, 51, 52, 53) с верхним юнитом ¿1 триады (V, ¿1, ¿2, ¿з) являются связанными (и образуют «полноценное» ребро).

Триаду, содержащую сына корня, назовём корневой. Заметим, что на множестве триад дерева можно рассматривать инцидентности аналогично вершинам. Так, например, на рис. 4 слева у триады 7 левым сыном является триада 8, а правым — триада 9. Триада 1 является корневой. Дерево, присоединённое к корневой триаде слева, будем называть левым поддеревом, справа — правым поддеревом.

Дадим определение преобразования Донахью на языке триад.

Определение 13.

1. Определим максимальную цепочку правых потомков для триад аналогично тому, как это сделано для вершин. В частности, она начинается с триады, не являющейся ничьим правым потомком, — либо с левого сына, либо с корневой триады. Аналогично определяются максимальные цепочки левых потомков.

2. Операцией переклейки цепочки назовём следующее преобразование дерева, сформированного из триад:

— выбирается максимальная цепочка правых потомков;

— выделяются первая и последняя (не имеющая правого потомка) триады этой цепочки; заметим, что верхний юнит первой триады является связанным (кроме случая

корневой триады), а правый юнит последней триады — свободным;

— правый юнит последней триады связывается с тем же самым юнитом, с которым был связан верхний юнит первой триады; если первая триада была корневой, то правый юнит последней триады становится верхним юнитом корневой триады;

— верхний юнит первой триады освобождается;

— все триады цепочки подвергаются однотипному переименованию юнитов: правый становится верхним, верхний — левым, левый — правым.

Заметим, что в результате этого преобразования максимальная цепочка правых потомков становится максимальной цепочкой левых потомков, при этом порядок старшинства триад инвертируется.

3. Преобразованием Донахью дерева называется процедура, состоящая из переклейки максимальной цепочки правых потомков сына корня и последующего аналогичного преобразования всех дочерних деревьев. Следующая теорема очевидна по построению.

Теорема 2 (равносильность определений преобразования Донахью-2). Определения 11 и 13 равносильны. Определение 13 проиллюстрировано рис. 4.

Преобразование, описанное выше, впервые, по-видимому, рассмотрено в работе Р. Донахью [4]. Кроме того, оно или его аналоги для лесов рассматривались в [5, 6] и финским математиком А. Карттуненом, опубликовавшим некоторые гипотезы о характеристиках этого преобразования в «Энциклопедии числовых последовательностей» [7]. Первый из авторов настоящей работы (независимо) в работе [8] дал определение преобразования Донахью под названием «фрактальный поворот плоских кубических деревьев» (название предложено К. П. Кохасем в личной беседе).

Преобразование Донахью представляется важным объектом исследования по той причине, что выглядит сравнительно сложным (представляется уместной метафора «комбинаторный аналог турбулентности»), при том, что является просто семейством перестановок (каждая из которых — обратимое преобразование деревьев определённого размера). Наиболее естественной исследовательской задачей в отношении этого преобразования представляется изучение циклической структуры соответствующей перестановки кубических деревьев, и эта задача оказывается чрезвычайно сложной даже

Л

Рис. 4. Преобразование Донахью для дерева, разбитого на триады

в простейших частных случаях, например — описание всех циклов длины 2 этой перестановки. Циклы перестановки деревьев назовём орбитами преобразования Донахью.

Повторимся: числа Каталана имеют огромное количество комбинаторных интерпретаций [1] и на языке каждой из них можно дать собственное определение преобразования Донахью. Во всех случаях описание преобразования Донахью оказалось довольно сложным. Однако многообразие комбинаторных интерпретаций чисел Ка-талана требует рассмотрения возможности того, что на языке одной из них преобразование Донахью вовсе не выглядит «хаотичным». Наличие даже одной подобной достаточно простой комбинаторной интерпретации могло бы лишить смысла теоретическое изучение преобразования Донахью (назовём это проблемой поиска тривиальной интерпретации).

Формально некоторый вариант тривиальной интерпретации действительно существует, а именно: рассмотрим объекты, которые назовём точками орбиты — орбиты преобразования Донахью, на которых выделено ровно одно дерево. Каждое дерево принадлежит ровно одной орбите, поэтому количество точек орбиты равно числу Ка-талана. С другой стороны, применение к точке орбиты преобразования есть просто переход к той же самой орбите, на которой отмечено следующее дерево.

Однако заметим, что для построения описанной комбинаторной интерпретации чисел Каталана требуется предварительно знать все орбиты преобразования — то есть в данном случае преобразование выглядит тривиально на комбинаторной интерпретации, которая крайне нетривиально устроена сама. Попросту, нетривиальность преобразования формально перенесена в интерпретацию. Таким образом, построенная интерпретация не обессмысливает изучение преобразования Донахью, но иллюстрирует некоторые существенные формальные трудности, возникающие при обсуждении проблемы поиска тривиальной интерпретации.

1. Специальные классы деревьев и вспомогательные утверждения

Для изложения свойств орбит преобразования Донахью необходимо определить несколько специальных классов деревьев и сделать одно предварительное замечание.

Определение 14. Правой (соответственно левой) гребёнкой назовём дерево, все некорневые триады которого входят в цепочку правых (соответственно левых) потомков корневой триады.

При преобразовании Донахью правая гребёнка переходит в левую, а левая — в правую. То есть длина орбиты гребёнок равна двум (рис. 5).

Рис. 5. Правая и левая гребёнки

Определение 15. Дерево, состоящее из п триад а1, а2,..., ап, назовём зигзагом, если выполняются следующие условия:

1) корневой триадой является триада а1;

2) при г Е {1, 2,...,п — 1} единственным сыном триады аг является триада аг+1;

3) если триада аг является левым сыном, то триада аг+1 является правым сыном, и наоборот (г Е {2, 3,..., п — 1}).

Если п нечётно, зигзаг назовём зигзагом первого рода, если чётно — зигзагом второго рода. Если корневая триада зигзага имеет правого сына, то такой зигзаг назовём правым, если левого сына — левым. Триады а\ и ап назовём конечными триадами зигзага.

Для зигзагов первого рода длина цикла преобразований равна трём. Пример орбиты такого дерева приведён на рис. 6. Зигзаги второго рода отличаются от зигзагов первого рода тем, что после трёх преобразований Донахью переходят в симметричные деревья (рис. 7). Таким образом, длина орбиты таких деревьев равна шести.

Л

X

X

X

X

X

X

Рис. 6. Орбита зигзага первого рода

X

х'

ч

х'

X X

/

X X

X X X X X X

, X -

X X X X X X

ч X ,

X X X X X X X

Рис. 7. Орбита зигзага второго рода

X

N

х'

N

х'

N

х'

X X

Определение 16. Двухуровневой правой (соответственно левой) гребёнкой назовём дерево, получающееся при присоединении ко всем триадам правой (соответственно левой) гребёнки левого (соответственно правого) сына.

В правую двухуровневую гребёнку переходит при преобразовании правый зигзаг второго рода. Правая двухуровневая гребёнка при преобразовании переходит в левую двухуровневую гребёнку. То есть двухуровневые гребёнки принадлежат орбите зигзага второго рода. На рис. 7 они выделены пунктиром.

Определение 17. Правой огибающей цепью называется последовательность триад дерева, полученная по следующим правилам:

1) первым элементом этой последовательности становится корневая триада;

2) если у последнего добавленного в последовательность элемента есть правый сын, то этот сын становится следующим элементом последовательности;

3) если у последнего добавленного в последовательность элемента нет правого сына, но есть левый сын, то этот левый сын становится следующим элементом последовательности;

4) если у последнего добавленного в последовательность элемента нет ни правого, ни левого сыновей, то формирование правой огибающей цепи завершается.

Лемма 1.

1) Дерево т(Т) имеет пустое правое поддерево тогда и только тогда, когда старшая правая цепь дерева Т заканчивается триадой, не имеющей левого сына.

2) Дерево т2(Т) имеет пустое правое поддерево тогда и только тогда, когда правая огибающая цепь дерева Т заканчивается триадой, являющейся левым сыном.

Доказательство.

1. Справедливость данного утверждения относительно легко проверяется непосредственным вычислением и проиллюстрирована на рис. 8 слева (треугольниками на этом рисунке обозначены возможные поддеревья). Пусть а — триада, являющаяся концом старшей правой цепи дерева Т. Тогда а становится корневой триадой дерева т(Т). Из определения преобразования у триады а нет левого сына в дереве Т тогда и только тогда, когда в дереве т(Т) у а нет правого сына, то есть т(Т) имеет пустое правое поддерево. Таким образом, п. 1 леммы доказан.

2. Если дерево Т устроено так, как показано на рис. 8 справа, то т(Т) имеет вид, изображённый слева, в этом нетрудно убедиться прямой проверкой. При этом триады правой огибающей цепи дерева Т, не имеющие правых сыновей, образуют в т(Т) старшую правую цепь. В этом случае триада в перейдет в триаду а, и из п. 1 следует, что дерево т2(Т) имеет пустое правое поддерево.

С другой стороны, если правая огибающая цепь дерева Т заканчивается правым сыном, то максимальная цепь правых потомков, начинающаяся с триады в, содержит больше одной триады. Эта цепь перейдёт в цепь левых потомков триады а. ■

X

Л --х-

Оч!

а

X

X

X

X

IX

'0

Рис. 8. Иллюстрация к доказательству леммы 1

2. Помеченные варианты преобразования Донахью и карусельные эффекты

Как уже отмечалось, один из возможных подходов к описанию преобразования Донахью на языке деревьев (как, впрочем, и на языке любой другой комбинаторной интерпретации чисел Каталана) — разбить дерево на части некоторого вида, связанные инцидентностью некоторого стандартного вида (например, на вершины или триады) и описать, как изменяется инцидентность под действием преобразования. Это приводит к возможности наблюдать за перемещениями отдельных элементов дерева внутри этого дерева (которое тоже изменяется). Фактически определение на рис.3 и есть такое описание на языке вершин кубического дерева.

Заметим, что каждая вершина плоского кубического дерева относится к одному из пяти типов: она может быть листом или нелистом, независимо от этого может быть правым или левым сыном и, кроме того, может оказаться сыном корня. Обозначим

эти типы аббревиатурами ПЛ (правый лист), ЛЛ (левый лист), ПН (правый нелист), ЛН (левый нелист) и СК (сын корня).

Теорема 3 (карусельный эффект для вершин [3, теорема 4.1]).

Под действием преобразования Донахью вершина кубического дерева сменяет типы строго по схеме рис. 9.

СК

/ \

ЛЛ-»-ПЛ

I I

ЛН*-ПН

Рис. 9. Карусельный эффект для вершин

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Заметим, что вершина не просто сменяет по циклу четыре основных типа, но время от времени может изменять тип, проходя через СК. Тем самым преобразование Дона-хью становится комбинаторной моделью динамических обменных процессов некоторого специального вида.

Кроме того, если бы каждая вершина просто меняла типы по одному и тому же циклу («тривиальный» карусельный эффект) и разбиение вершин на типы было инвариантно, то это автоматически означало бы, что преобразование не является очень сложным, поэтому нетривиальный карусельный эффект можно рассматривать как один из атрибутов сложного преобразования. В связи с этим возникает содержательный аналог проблемы поиска тривиальной интерпретации — поиск структурного описания деревьев, не подчинённого никакому нетривиальному карусельному эффекту. Никаких подходов к решению данной проблемы на данный момент не известно.

В свою очередь, триады можно разделить на одиннадцать типов по формальным признакам наличия свободных юнитов (рис. 10).

х

а

х

ё

Это разбиение приводит к более содержательному карусельному эффекту: имеет место следующая

Теорема 4 (карусельный эффект для триад). Под действием преобразования До-нахью триада кубического дерева сменяет типы строго по схеме рис. 11.

Доказательство. Справедливость правил изменения типа триад непосредственно следует из определения преобразования Донахью и проверяется большим количеством непосредственных вычислений. Неоднозначность типа образа триад типов f и й обусловлена тем, что триада, имеющая тип f или й, может находиться в конце старшей правой цепи дерева, поэтому после преобразования она может стать корневой. ■

* /

И I ] к

Рис. 10. Классификация триад

Ь

а

с

Рис. 11. Карусельный эффект для триад

Замечание 5. В данном случае орграф, описывающий карусельный эффект, состоит из двух компонент связности. Левая тривиальная компонента соответствует замеченной Р. Донахью в [4] «инвариантности гребёнок».

Замечание 6. Правая нетривиальная компонента содержит две точки ветвления и основной цикл длины 6. Эмпирическое изучение преобразования Донахью показало, что среди его циклов, по крайней мере, для деревьев небольшого размера, преобладают циклы длины 6. Возможно, это не случайное совпадение.

3. Одно приложение карусельного эффекта для триад

Карусельные эффекты могут использоваться не только как характерный признак сложности системы, но и для выяснения некоторых глобальных свойств орбит для деревьев специального вида. Подробно разберём пример такого рода.

Определение 18. Для дерева Т с пустым левым поддеревом назовём дугой такую последовательность деревьев Т, т (Т), т2(Т),... , тк (Т), что тк (Т) обладает пустым правым поддеревом и к — минимально возможное. Число к назовём длиной дуги. Дерево с пустым правым поддеревом тк (Т) при однократном преобразовании переходит в дерево тк+1 (Т) с пустым левым поддеревом. Дугу дерева тк+1(Т) назовём второй дугой дерева Т. Аналогично определяются третья дуга дерева, четвертая и т. д.

Листовой назовём триаду, не имеющую сыновей (то есть со свободными вторым и третьим юнитами). Свойство дерева, состоящее в том, что все его листовые триады являются левыми сыновьями, назовём свойством Пеауеэ; свойство, состоящее в том, что все листовые триады являются правыми сыновьями, — свойством г1еауея. Если в дереве отсутствует триады типа х, то скажем, что оно обладает свойством ш1зз(х) (здесь вместо х может быть любой из 11 типов триад на рис. 10).

Теорема 5.

1) Если дерево с пустым левым поддеревом обладает свойствами г1еауея, ш1зз(а) и ш1зз(й), то длины всех его дуг равны 1.

2) Если дерево с пустым левым поддеревом обладает свойствами Пеауеэ и ш1зз(а), то длины всех дуг этого дерева равны 2.

Доказательство.

1. Пусть дерево Т с пустым левым поддеревом удовлетворяет свойствам г1еауея, ш1зз(а) и ш1зз(й). Покажем, что длина его первой дуги равна 1 и дерево т2(Т) тоже удовлетворяет свойствам г1еауея, ш1зз(а) и ш1зз(й). Так как в Т нет триад типа й, старшая правая цепь этого дерева заканчивается триадой, не имеющей левого сына. Поэтому длина его дуги действительно равна 1.

Сохранение свойств г1еауея, ш1зз(а) и ш1зз(й) следует из карусельного эффекта для триад дерева. Действительно, если в т2(Т) есть листовая триада, являющаяся левым сыном, то в дереве Т ей соответствует триада типа а, г или ], а триад этих типов

в дереве Т нет по условию. Если в т2(Т) есть триада типа а, то в Т должна быть триада типа сС. Если в т2(Т) есть триада типа сС, то в Т должна быть листовая триада, являющаяся левым сыном.

2. Доказательство основано на следующем соображении: длина дуги дерева равна 2 тогда и только тогда, когда конец правой огибающей цепи дерева — триада, являющаяся левым сыном (см. лемму 1). У дерева Т все листовые триады — левые сыновья, поэтому длина его первой дуги равна 2. Значит, т3(Т) обладает пустым левым поддеревом.

Дерево Т обладает свойствами Пеауеэ и ш1зз(а). Покажем, что дерево т3(Т) тоже обладает этими свойствами.

Пусть дерево т3(Т) не обладает свойством Пеауеэ, то есть содержит листовую триаду, являющуюся правым сыном (тип /). Из карусельного эффекта следует, что в дереве Т эта триада а может иметь тип а, г или ]. Но триад таких типов в дереве Т нет.

Пусть дерево т3(Т) не обладает свойством ш1зз(а), то есть содержит триаду типа а. Из карусельного эффекта в дереве Т эта триада обладает типом /, что противоречит свойству Неауеэ дерева Т. ■

Покажем, что отмеченный эффект является массовым. Для этого вычислим количество деревьев, подчиняющихся этому эффекту.

Обозначим через 5п количество деревьев с пустым левым поддеревом и п некорневыми триадами, удовлетворяющих свойствам г1еауея, ш1зз(а) и ). Заметим, что

51 = «2 = 53 = 1.

Пусть Т — такое дерево, а — триада, являющаяся правым сыном корневой триады Т, I — старшая левая цепь дерева с корнем а, в — конечная триада этой цепи. Возможны два случая:

1) цепь I состоит из одной триады (а = в);

2) длина I больше 1.

В первом случае дерево Т имеет вид рис. 12 слева (треугольниками обозначены поддеревья, формулы внутри треугольников — количество триад соответствующих деревьев). Здесь Т1 удовлетворяет свойствам г1еауея, ш1зз(а) и ), поэтому количество таких деревьев равно 5п-1.

Рис. 12. Деревья, удовлетворяющие свойствам г1еаув8, ш188(а) и ш188(й)

Во втором случае непустые поддеревья могут быть присоединены только к триадам а и в, как показано на рис. 12 справа, иначе в дереве Т образуется триада типа а. Дерево с корнем а обозначено Т2, с корнем в — Т3. Пусть Т2 содержит г некорневых

триад, Т3 — ] некорневых триад. У деревьев Т2 и Т3 не может быть пустых правых поддеревьев, потому что тогда нарушаются условия г1еауея и ш1зз(й). Поэтому сумма г + ] может принимать все значения от 2 до п — 2. Таким образом, получаем рекуррентное соотношение

в,п = вп-1 + ПС ( Е ^ , (1)

к=2 \г+j=k у

где внутренняя сумма берётся по всем упорядоченным разложениям к в сумму двух натуральных слагаемых.

те

Рассмотрим производящую функцию 5(х) = Е 5гахга. Преобразуем её с учётом (1)

п=1

и того, что = 52 = 53 = 1:

те

5(х) = Е 5гаЖга = х + 51ж2 + 52х3 + (в3 + 51)ж4 +

п=1

+ (^4 + 51^1 + 51^2 + 3231)х5 + ... = (2)

= х + х$(х) + х25(х)2 + х35(х)2 + ... = х + х$(х) + х2 ( ) .

1 — х

Рассматривая соотношение (2) как квадратное уравнение относительно 5(х), получаем

(1 — х)2 — У(1 — х)(1 — 3х + 3х2 — 5х3) 5 (х) =-2^2-. (3)

В числителе (3) перед корнем стоит знак «минус». Это следует, например, из того, что в разложении ^(1 — х)(1 — 3х + 3х2 — 5х3) в ряд Маклорена коэффициент при х2 равен 1, а 50 = 0. Из теоремы Дарбу [9, с. 252] получаем асимптотическую оценку

С ( 5

n3/2 V 24/3 - 22/3 + 1

где C — некоторая константа.

Обозначим через tn количество деревьев с пустым левым поддеревом и n некорневыми триадами, удовлетворяющих свойствам lleaves и miss ( a). Заметим, что ti = 0.

Пусть T — такое дерево. Воспользуемся введёнными обозначениями. Как и в случае с последовательностью sn, возможны два варианта (рис. 12):

1) цепь I состоит из одной триады (а = в);

2) длина I больше 1.

В первом случае количество рассматриваемых деревьев равно tn-1. Перейдём к рассмотрению второго случая. Если T2 и T3 обладают непустыми правыми поддеревьями, то сумма i + j может принимать все значения от 2 до n — 2. Тогда количество под-

n-2 ( \

считываемых деревьев равно Е Е titj , где внутренняя сумма берётся по всем

k=2 \i+j=k J

упорядоченным разложениям k в сумму двух натуральных слагаемых.

Если ровно одно из деревьев T2 или T3 обладает пустым правым поддеревом, то

n-2

количество рассматриваемых деревьев равно 2 tk . Ещё одно дерево получается,

Vk=i J

если i = j = 0. Таким образом, справедливо следующее рекуррентное соотношение:

n 2 n 2

tn = tn-i + E E tij +2 E tk + 1. (4)

k=2 \i+j=k ) k=1

те

Рассмотрим производящую функцию Т(х) = Е ¿пхп. Преобразуем её с учётом фор-

п=1

мулы (4) и того, что ¿1 = 0:

те

Т(х) = Е ¿пХп = ¿1Х + (¿1 + 1)х2 + (¿2 + 2*1 + 1)х3 + (¿3 + ¿1*1 +

п=1

+ 2(^1 + ¿2) + 1)х4 + ... = (¿1Х2 + ¿2Х3 + ¿3Х4 + . . .) + ((М1)ж4 +

+ (¿1^1 + ¿1 ¿2 + ¿2^1 )х5 + . . .) + 2(^1Ж3 + (¿1 + ¿2)х4 + . . .) + + (х2 + х3 + ...) = хТ(х) + х2(Т(х)2 + хТ(х)2 + х2Т(х)2 + ...) +

+2(^1 (х3 + х4 + ...) + ¿2(х4 + х5 + . . .) + . . .) + = хТ (х) + х2 Т^^ + 2х2 х2

х2

1 — х

1 — х 1 — ж 1 — х

Рассматривая (5) как квадратное уравнение относительно Т(х), получаем

1 — 2х — х2 — ^(1 — 3х)(1 — х)2(1+ х)

Т (х) =-2х-. (6)

В (6) перед корнем стоит знак «минус». Это объясняется, например, тем, что в разложении в ряд Маклорена у/(1 — 3х)(1 — х)2(1 + х) коэффициент при х2 равен —1, а ¿о = 0. Из теоремы Дарбу получаем следующую асимптотическую оценку:

3п+1/2

¿п ~ -.

п п3/^Л/П 4. Ростки

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Эффект инвариантности гребёнок, описанный в [4], и соответствующая попытка свести преобразование больших деревьев к преобразованиям меньших приводят к понятию ростка, расположенного на ребре кубического дерева. Определение 19.

1) Пусть Т — кубическое дерево, е — правое ребро этого дерева, соединяющее вершину а с сыном Ь. Рассмотрим новое дерево Т(е), которое имеет следующие отличия от дерева Т:

а) правым сыном вершины а является новая вершина с;

б) правым сыном вершины с является вершина Ь;

в) левым сыном вершины с становится новая вершина й, которая является листом (см. рис. 13, треугольниками обозначены поддеревья).

2) Переход от дерева Т к дереву Т(е) назовём операцией разбиения ребра. Новое ребро, соединяющее вершины с и й, назовём ростком.

3) Аналогичным образом определяется операция разбиения левого ребра. Будем считать, что для ребра, соединяющего корень с сыном корня, операция разбиения не определена.

Назовём росток, расположенный на ребре, идущем к листу, внешним, а на ребре, ведущем к нелисту, — внутренним. Заметим, что разбиение ребра (теперь уже не (а,Ь), а (с, Ь)) можно повторить, получая гребёнку, этот процесс назовём реализацией ростка. В [3] отмечен эффект разрушения внешнего ростка, когда под действием преобразования Донахью внешний росток превращается во всё более и более сложный

\

Рис. 13. Разбиение ребра

элемент структуры дерева, и высказана гипотеза о том, что список элементов структуры, в которые может превратиться внешний росток, является бесконечным. Однако имеет место

Теорема 6. Если дерево Т получается из дерева Т реализацией некоторого внутреннего ростка, то и дерево т(Т^ получается из дерева т(Т) реализацией некоторого внутреннего ростка. Иными словами, внутренние ростки сохраняются под действием преобразования Донахью.

По существу, это свойство было замечено в работе Р. Донахью [4].

Замечание 7. Росток — возможность разбить ребро, то есть он является формальным атрибутом ребра. Поэтому тот факт, что под действием преобразования Донахью росток иногда перемещается не так, как ребро, на котором он расположен (перемещение ростка нетрудно отследить, сравнивая результаты преобразований левого и правого деревьев (рис. 13)), или, иначе говоря, что росток может перемещаться с одного ребра на другое, удивителен.

Аналогично предыдущему, можно выделить 28 типов внутренних ростков (рис. 14) и описать соответствующий этой классификации карусельный эффект (рис. 15), который по сложности заметно превосходит все предыдущие.

Xй Ч Ч" ч Ч- ч ч

1 2 3 4 5 6 7

Ч ч ч- ч 'X . ч < ч

8 9 10 11 12 13 14

Xй Ч ч ч ч ч

15 16 17 18 19 20 21

К. > ч > х X* А. % ч ч

22 23 24 25 26 27 28

Рис. 14. Классификация внутренних ростков

Замечание 8. Существует дерево, один из внутренних ростков которого в процессе итераций преобразования Донахью проходит через все 28 типов (рис. 16).

Замечание 9. В графе, описывающем карусельный эффект, существует маршрут, по которому не проходит ни один росток, например, 28 ^ 16 ^ 17 ^ 18 ^ 25 ^ ->• 26.

Рис. 15. Карусельный эффект для внутренних ростков

Рис. 16. Росток, проходящий через все типы

5. Ручные компоненты: большие семейства коротких орбит

Естественный вопрос, касающийся преобразования Донахью, — как растёт количество орбит с ростом размера деревьев. С этим вопросом тесно связан вопрос о причинах заметного преобладания (по крайней мере, для деревьев небольшого размера) циклов длины 6.

Первый результат такого типа получен ещё до выхода основополагающей работы [4]: Л. Шапиро в [10] построил семейство орбит длины 6 преобразования Донахью, количество которых растёт как в(2п) (в обозначениях [11]). Пример такой орбиты приведён на рис. 17. Назовём эти семейства шапировскими семействами циклов.

Рис. 17. Пример шапировского цикла Из отмеченного факта тривиально следует

Теорема 7. Количество циклов преобразования Донахью для кубических деревьев с п листьями растёт не медленнее чем в(2п).

Оценка теоремы 7 улучшает оценку [3]. Авторам не удалось улучшить оценку теоремы 7, однако некоторый прогресс в этом направлении всё же достигнут.

Во-первых, удалось построить не являющееся шапировским семейство циклов длины 6, следовательно, не все циклы длины 6 являются шапировскими. Структура такого цикла показана на рис. 18. Деревья этого цикла состоят из зигзагов, выражения показывают количества триад в зигзагах, к,/,т Е N. Количество таких циклов растёт как 6(и2), где и — количество триад.

2к + Ъ 2& + 3

X ^ X

2& + 3 21 + 1 2т+1 2& + 3

2к + 2 2т+ 1 21 + 1 2к + 2

X X — X X

-3 2к+1 2к + 3 2к + 4 2к + 4 2& + 3 2к+1 21-

X X

21 + 3 2к + 4 2к + 4 2т + 3

Рис. 18. Пример нешапировского цикла

Во-вторых, удалось построить семейство циклов длины 9, количество которых растёт как в(2га/2). Типичный элемент этого семейства приведён на рис. 19 (здесь выражения соответствуют числу триад в выделенных зигзагах и двухуровневых гребёнках). Дерево, изображённое слева, устроено следующим образом: его основу составляет правый зигзаг первого рода (количество триад не меньше 5); Ь — множество триад зигзага, имеющих левых сыновей. К некоторым триадам из Ь справа присоединены двухуровневые гребёнки, при этом хотя бы одна гребёнка должна быть добавлена.

Полученному дереву, состоящему из 2т + 1 триады, можно поставить в соответствие композицию числа т. Количество слагаемых в композиции равно числу триад множества Ь, если гребёнка состоит из 2к триад, то соответствующее ей слагаемое равно к + 1 (если гребёнка отсутствует, то слагаемое равно 1). Так, дереву на рис. 19 слева соответствует разложение числа 15 в упорядоченную сумму 4 + 1 + 4+1 + 1 + 3 + 1. Оценка количества рассматриваемых орбит следует из того, что количество композиций числа т растёт как в(2т).

Приведённые семейства являются типичными примерами того, что естественно назвать ручными компонентами преобразования Донахью — семействами деревьев, для которых орбита (или, более общо, её часть) могут быть явно вычислены. Важность ручных компонент связана с тем, что неконструктивных способов доказательства существования семейств орбит в настоящее время, по-видимому, нет.

Л,

! х / ,Х X

^ \х х

212> X (X X / X /\Х X

' X' -

21уХ ; X , ХЛХ X

\ X,

х ; V 2/3

/ << и

' Xх /Хч '

Лху

Рис. 19. Экспоненциальное семейство циклов длины 9

6. Ручные компоненты: длинные орбиты

Двойственным к вопросу о количестве орбит является вопрос о том, насколько длинными могут быть орбиты преобразования Донахью. Этот вопрос является значительно более трудным. Эмпирические данные демонстрируют наличие очень длинных циклов, однако очень длинные циклы по природе своей не могут быть ручными компонентами и в рамках обсуждаемого в данной работе элементарного подхода не могут быть построены. Соответственно результаты делятся на слабые (ручные семейства орбит, длины которых растут быстрее, чем линейная функция, но всё-таки как полиномы небольшой степени) и фрагментарные (ручные семейства незамкнутых фрагментов орбит). Результаты второго типа — единственная (не реализованная на данный момент) надежда построить из этих фрагментов достаточно длинные орбиты в рамках элементарного подхода.

В [3] приводится теорема об окаймлении и показано, как из неё следует существование экспоненциального семейства орбит, длины которых растут как в(п1о& 3) от числа листьев. Окаймлением дерева называется процедура расцепления всех его листьев на два листа следующего уровня (рис. 20).

Я(Т)

Рис. 20. Окаймление дерева

Символом Д(Т) обозначим длину орбиты дерева Т. Имеет место

Теорема 8 (об окаймлении [3]).

1) Если Д(Т) нечётна, то Д(ф(Т)) = 3Д(Т).

3

2) Если Д(Т) чётна, то Д(ф(Т)) ^Д(Т).

Из теоремы 8 тривиально следует, что каждому дереву можно сопоставить семейство его последовательных окаймлений, длины орбит которых, начиная с некоторого места, начинают расти как в(3к), где к — количество окаймлений. Остаётся заметить, что при окаймлении дерева количество его вершин удваивается.

С другой стороны, построено семейство деревьев с п триадами, длины орбит которых растут как в(п2). Представитель этого семейства изображён на рис.21 слева (выражения соответствуют числу триад в выделенных фрагментах). Данное дерево состоит из двух зигзагов, присоединённых к корневой триаде, в одном из зигзагов реализован внутренний росток (выделен на рисунке полужирным). Если бы этот росток не был реализован, то длина орбиты дерева была бы 72к + 24, в этом можно убедиться путём непосредственного моделирования. При реализации ростка каждые 72к + 24 преобразования происходит перемещение ростка по циклу, изображённому на рис.21 справа. Таким образом, получаем квадратичный рост длины орбиты дерева.

4к + 2

ГХ"

4А; + 2

"X:

X

Х_. XX (X Х/Х

Ух/?/х>

'"V 'У ^

-- Х//1 X

Х,х-'■ х

Рис. 21. Деревья, длины орбит которых растут как в(п2)

Заключение

Преобразование Донахью кажется достаточно сложным, чтобы на его примере можно было бы сформулировать подходы, полезные в комбинаторной динамике вообще. В этом смысле его можно сравнить с игрой «Жизнь» или назвать комбинаторным аналогом турбулентности. Оборотной стороной этой привлекательной сложности является то, что большинство исследователей (начиная с Р. Донахью и Л. Шапиро), обнаружив данное преобразование, ограничиваются констатацией только нескольких простых его свойств и переходят к рассмотрению других объектов. Авторы данной работы, напротив, уверены, что изучение этого преобразования возможно. Приведённые

результаты выглядят несколько разрозненными, однако они являются начальной стадией формирования техники, которая может позволить получить существенные продвижения в изучении двух ключевых вопросов: оценке количества орбит и построению очень длинных орбит.

ЛИТЕРАТУРА

1. Стенли Р. Перечислительная комбинаторика. Деревья, производящие функции и симметрические функции. М.: Мир, 2005. 768с.

2. Татт У. Теория графов. М.: Мир, 1988. 424с.

3. Пушкарев И. А., Бызов В. А. Преобразование Донахью: элементарный подход // Записки научных семинаров ПОМИ. 2013. Т. 411. С. 148-177.

4. Donaghey R. Automorphisms on Catalan trees and bracketings //J. Combinatorial Theory. Ser. B. 1980. V. 29. No. 1. P. 75-90.

5. Кнут Д. Искусство программирования. Т. 4А. Комбинаторные алгоритмы. Ч. 1. М.: Ви-льямс, 2016. 960 с.

6. Callan D. A bijection on Dyck paths and its cycle structure // Electronic J. Combinatorics. 2007. V. 14. No. 1. P.R28.

7. www.oeis.org/A080070 — The On-Line Encyclopedia of Integer Sequences. 2003.

8. Пушкарев И. А. Об одном преобразовании плоских деревьев // Математический вестник педвузов и университетов Волго-Вятского региона. 2006. №8. С. 92-99.

9. Bergeron F., Labelle G., and Leroux P. Combinatorial Species and Tree-like Structures. N.Y.: Cambridge University Press, 1997. 457 p.

10. Shapiro L. W. The cycle of six // The Fibonacci Quarterly. 1979. V. 17. No. 3. P. 253-259.

11. Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики. М.: Мир, 1998. 703 с.

REFERENCES

1. Stanley R. P. Enumerative Combinatorics: Vol.2. N.Y., Cambridge University Press, 1999. 585 p.

2. Tutte W. T. Graph Theory. California, Addison-Wesley Publishing Company, 1984. 333 p.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

3. Pushkarev I. A. and Byzov V. A. Donaghey's transformation: an elementary approach. J. Math. Sci., 2014, vol.196, no. 5. pp. 199-215.

4. Donaghey R. Automorphisms on Catalan trees and bracketings. J. Combinatorial Theory, Ser. B, 1980, vol.29, no. 1, pp. 75-90.

5. Knuth D. E. The Art of Computer Programming, Vol.4A: Combinatorial Algorithms, P. 1. New Jersey, Addison-Wesley Professional, 2011. 883 p.

6. Callan D. A bijection on Dyck paths and its cycle structure. Electronic J. of Combinatorics, 2007, vol.14, no. 1, pp. R28.

7. www.oeis.org/A080070 — The On-Line Encyclopedia of Integer Sequences. 2003.

8. Pushkarev I. A. Ob odnom preobrazovanii ploskikh derev'yev [On a transformation of plane trees]. Matematicheskiy Vestnik Pedvuzov i Universitetov Volgo-Vyatskogo Regiona, 2006, no. 8, pp. 92-99. (in Russian)

9. Bergeron F., Labelle G., and Leroux P. Combinatorial Species and Tree-like Structures. N.Y., Cambridge University Press, 1997. 457 p.

10. Shapiro L. W. The cycle of six. Fibonacci Quarterly, 1979, vol. 17, no3. pp. 253-259.

11. Graham R.L., Knuth D.E., and Patashnik O. Concrete Mathematics: A Foundation for Computer Science. New Jersey, Addison-Wesley Professional, 1994. 672 p.

i Надоели баннеры? Вы всегда можете отключить рекламу.