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

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

CC BY
153
60
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПЛОСКИЕ ДЕРЕВЬЯ / ПРИМИТИВНЫЕ ДЕРЕВЬЯ / ПРЕОБРАЗОВАНИЕ ДОНАХЬЮ / ПРОИЗВОДЯЩИЕ ФУНКЦИИ / ДУГИ ПРЕОБРАЗОВАНИЯ / ГРАФЫ ПОВОРОТОВ / PLANE TREES / PRIMITIVE TREES / DONAGHEY'S TRANSFORMATION / GENERATING FUNCTIONS / ARCS OF TRANSFORMATION / GRAPHS OF ROTATIONS

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

Работа посвящена рассмотрению перечислительных задач, связанных с преобразованием Донахью. Обсуждаются две группы вопросов. Первая группа связана с перечислением фрагментов орбит преобразования, называемых «дугами». Вторая часть работы посвящена нахождению количества вершин в графах поворотов-специфическом семействе графов, представляющем собой «аппроксимацию» преобразования Донахью. Основные результаты данной работы сформулированы в виде производящихфункций и соответствующих асимптотик.

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

Enumeration problems associated with Donaghey’s transformation

In this paper we consider enumeration problems associated with Donaghey’s transformation. We discuss two groups of questions. The first one is related to the enumeration of fragments of transformation orbits, which are referred to as the “arcs”. The second group of questions is concerned with finding the number of vertices in rotation graphs-a specific family of graphs that is by nature an approximation of Donaghey’s transformation. The basic results of this work are formulated in the form of generating functions and corresponding asymptotics.

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

ISSN 1810-0198. Вестник Тамбовского университета. Серия: естественные и технические науки

Том 24, № 125 2019

© Бызов В.А., 2019

DOI 10.20310/1810-0198-2019-24-125-5-25 УДК 519.115.1

Перечислительные задачи, связанные с преобразованием Донахью

Виктор Александрович БЫЗОВ

ФГБОУ ВО «Вятский государственный университет» 610000, Российская Федерация, г. Киров, ул. Московская, 36 ORCID: https://orcid.org/0000-0002-3613-5949, e-mail: vbyzov@yandex.ru

Enumeration problems associated with Donaghey's transformation

Viktor A. BYZOV

Vyatka State University 36 Moskovskaya St., Kirov 610000, Russian Federation ORCID: https://orcid.org/0000-0002-3613-5949, e-mail: vbyzov@yandex.ru

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

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

Для цитирования: Бызов В. А. Перечислительные задачи, связанные с преобразованием Донахью // Вестник Тамбовского университета. Серия: естественные и технические науки. Тамбов, 2019. Т. 24. № 125. С. 5-25. DOI 10.20310/1810-0198-2019-24-125-5-25

Abstract. In this paper we consider enumeration problems associated with Donaghey's transformation. We discuss two groups of questions. The first one is related to the enumeration of fragments of transformation orbits, which are referred to as the "arcs". The second group of questions is concerned with finding the number of vertices in rotation graphs —a specific family of graphs that is by nature an approximation of Donaghey's transformation. The basic results of this work are formulated in the form of generating functions and corresponding asymptotics.

Keywords: plane trees; primitive trees; Donaghey's transformation; generating functions; arcs of transformation; graphs of rotations

For citation: Byzov V. A. Perechislitel'nyye zadachi, svyazannyye s preobrazovaniyem Donakh'yu [Enumeration problems associated with Donaghey's transformation]. Vestnik Tambovskogo universiteta. Seriya: estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2019, vol. 24, no. 125, pp. 5-25. DOI 10.20310/1810-0198-2019-24-125-5-25 (In Russian, Abstr. in Engl.)

Введение

Напомним, что преобразованием Донахью (см., например, [1]) называется преобразование плоских кубических деревьев с висячим корнем (для краткости будем использовать аббревиатуру ПКДВК).

Между ПКДВК и плоскими некубическими деревьями с висячим корнем (далее -ПДВК) существуют два варианта биекции: правая биекция и левая биекция. При правой биекции г правые цепи в ПКДВК переходят в вершины ПДВК; при левой биекции I левые цепи ПКДВК переходят в вершины ПДВК. Рис. 1 иллюстрирует эти биекции. В верхней части рисунка к дереву Т применяется правая биекция, в нижней части рисунка к г(Т) применяется биекция обратная к левой. Правые и левые цепи на этом рисунке выделены пунктиром. Цепи, содержащие сына корня, будем называть старшей правой и старшей левой цепями.

Определение 0.1. Преобразованием Донахью ПКДВК Т называется дерево т(Т) = I-1 о г(Т).

Таким образом, на рис. 1 построен образ дерева Т при преобразовании Донахью.

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

На деревья, представленные в виде наборов триад, также можно действовать преобразованием Донахью. В качестве примера выполним преобразование Донахью для дерева Т с рис. 1, разбитого на триады. Результат этой операции изображён на рис. 2.

т

XX XX

X X X X XX X XXX

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

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

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

При изучении преобразования Донахью естественно возникает большое количество перечислительных задач. Фактически многие основные проблемы, связанные с ним, изначально имеют форму перечислительной задачи. Таковыми, например, являются задачи об общем количестве циклов (орбит) этих перестановок, о количестве циклов с заданными длинами (наиболее интересными представляются задачи о перечислении циклов с длинами 2, 6 и 9). Примечательно, что эти просто формулируемые проблемы привлекали внимание многочисленных специалистов (см., например, [2]-[4], [5, с. 472]), однако обычной реакцией на возникающие при этом трудности являлось то, что автор отмечал какое-нибудь несложное свойство и переходил к некоторой смежной задаче.

Проблемы, рассмотрению которых посвящена данная работа, формулируются не настолько просто и возникают, когда при изучении преобразования Донахью замечается какой-либо эффект, вызывающий интерес, что неизбежно приводит к вопросу о том, является ли этот эффект массовым или экзотическим. Как правило, аккуратный анализ структуры соответствующих деревьев позволяет явно вычислить соответствующую производящую функцию. При вычислении асимптотического характера роста коэффициентов (той самой массовости) систематически используется результат, иногда именуемый теоремой Дарбу (см. [6, с. 252, предложение 12]).

1. Перечисление дуг преобразования Донахью

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

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

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

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

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

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

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

Лемма 1.1.

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

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

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

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

Дерево с пустым правым поддеревом тк (Т) при однократном преобразовании переходит в дерево тк+1(Т) с пустым левым поддеревом. Дугу дерева тк+1(Т) назовем второй дугой дерева Т . Аналогично определяется третья дуга дерева, четвертая и т. д. В качестве иллюстрации введённого определения на рис. 3 изображено дерево Т , длина дуги которого равна трём. Также данный рисунок демонстрирует тот факт, что при преобразованиях Донахью происходит перемещение триад из правого поддерева в левое через корневую триаду.

Рассмотрим деревья, имеющие пустое левое поддерево и состоящие из п + 1 триады (одна корневая триада и п некорневых). Обозначим через Т(п, к1, к2,... , к3) количество таких деревьев, длина первой дуги которых равна к1 , второй — к2 и так далее, длина в -ой дуги равна к3.

А — А —

X X X X X X X X XX X X

т

Рис. 3: Дерево с длиной дуги, равной трём

Некоторые утверждения о числах Т(п, к\,к2,... ,к3) содержатся в статье [7]. В частности, там приведено следующее рекуррентное соотношение для чисел Т(п, 1,1,1). При п ^ 5

п—3 п—4

Т(п, 1,1,1) = ^ г • Т(п - г, 1,1,1) - ^ г • Сп—г—з + Сп—з,

г=1 г=1

где Сп = п+1 (^П) — число Каталана.

Этот результат можно развить стандартным образом до производящей функции. Производящая функция для чисел Т(п, 1,1,1) имеет вид

1 1 пч п 2х4 - 2х3 - 2х2 + X 3 (1 -УГ-4Х > Т (п, 1,1,1)хп =----+ х3 ---

^ 1 ' ' ' ; х2 - 3х + 1 V 2х

п=1 4

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

Т(п, 1,1,1) - Сп—3.

Среди множества всех ПКДВК можно выделить подмножество деревьев, замкнутое относительно преобразования Донахью, — семейство примитивных деревьев. Дадим понятие примитивного дерева в терминах разбиения дерева на триады.

Определение 1.3. Дерево называется примитивным, если оно не содержит триад а , удовлетворяющих одному из следующих двух условий:

1) отец триады а является левым, а её единственный сын - правым;

2) отец триады а является правым, а её единственный сын - левым.

Так, например, деревья на рис. 3 являются примитивными. А деревья с рис. 2 примитивными не являются: триады, нарисованные на этом рисунке утолщёнными линиями, удовлетворяют условиям из приведённого выше определения.

В работе [8] показано, что количество примитивных деревьев из п триад (п ^ 2)

[п/2] п

равно тп—2 + тп— 1 , где тп = ^ (21) Ск —число Моцкина. Количество примитивных

к=0

деревьев из п триад, обладающих пустым правым поддеревом, равно тп-2 . Производящая функция для чисел Моцкина (см., например, [9]) имеет следующий вид:

. п 1 — х — \/1 — 2х — 3х2 М(х) = £ ш„хп =-^-.

п=0

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

Начнём с рассмотрения случая в = 1. Пусть дерево имеет вид, изображённый на рис. 4 слева, где поддерево М (обведённое пунктиром) содержит к триад.

Рис. 4: Перемещение триад через корень примитивного дерева

На этом рисунке проиллюстрирован процесс перемещения к+1 триады через корень дерева; а1, а2,..., а — триады старшей правой цепи дерева М . Введём обозначение: А — дерево, имеющее корневую триаду а и пустое правое поддерево (г = 1,/). Для того чтобы исходное дерево было примитивным, должны выполняться два условия:

1) триады а имеют левых сыновей при любом г = 1, /;

2) деревья А являются примитивными при любом г = 1, /.

Обозначим символом Гк количество способов сформировать дерево М из к триад. Оно равно

Гк = ^ т^-2 ■ ■ ... ■

¿1+»2 +...+гг=к

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

Будем считать, что Го = 1, так как дерево М может быть пустым. Если дерево М состоит из одной триады, то исходное дерево не является примитивным, поэтому г1 = 0 .

Рассмотрим производящую функцию R(x) для чисел Гк:

те

R(x) = rnxn = 1 + m0x2 + m^x3 + (momo + m2)x4 +

n=0

oo /00

= 1 + х2 X] тпхп + х4 X т»хп + ... = 1 + х2М(х) +

п=0 п=0

4, „.2 . . 1 1 + х — \/1 — 2х — 3х2

+х4М2(х) + ... =--—— =----.

1 - х2М(х) 2х(1 + х)

Эта производящая функция совпадает с производящей функцией для чисел Риордана. В работе [10] приведены различные интерпретации последовательности чисел г к, а также получена формула

гк = £ (-1)k-^ f)Ci.

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

Т(п,к)= X гг1—1 • гг2—1 • ... • Ггк—1, (1.1)

г1+г2+...+г^ =п

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

Используя данное соотношение, можно получить производящую функцию для чисел Т(п, к) .

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

Утверждение 1.1.

те

1. X Т(п, к)хк = хкЯк(х);

п= к

2. T(n,fc)

k 3n+ 2

_ 3

2к+2л/Пп 2

Доказательство. Справедливость первого пункта напрямую следует из формулы (1.1). Перепишем производящую функцию в виде

£ í(n k)xn = (x ■ R(x))k =(2 - - — ^

n=k \ V V

n

i'f »ftifii 1 .. .

2 1/3У '

Для вычисления асимптотик коэффициентов производящих функций такого вида уместно использовать результат М. Дрмота, полученный в [11, теоремы 3 и 4]. В нашем случае #(х) = 2 , ВД = ^^^ , хо = 1. □

2

к

Заметим, что при к = 2 получаем функцию х2Я2(х) = 1 х 2(1+ХХ 3x2 . Эта функция совпадает с производящей функцией для 321-избегающих простых перестановок (см. [12]).

Ещё несколько свойств чисел Т(п, к) напрямую следуют из соотношения (1.1) и из того, что Го = 1 , Г1 = 0 и Г2 = Г3 = 1 .

Утверждение 1.2.

1. Т(п, п — 1) = 0 при п ^ 2 ;

2. Т(п, п — 2) = п — 2 при п ^ 3 ;

3. Т(п, п — 3) = п — 3 при п ^ 4 .

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

Утверждение 1.3.

1. Т(п, 1,1) = Т(п — 1, 3) при п ^ 2 ;

2. £ Тп, 1, 1)хП = х (3 + 3х^ —.22х — 3х2)

п=1

- 3п+2

3. Т(п, 1,1)

3^Л/лп 2

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

Рис. 5: Иллюстрация к доказательству утверждения 1.3

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

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

2. Из предыдущего пункта следует, что производящая функция для чисел Т(п, 1,1) выражается через производящую функцию для чисел Т(п, 3). Так как Т(1,1,1) = 1, то получаем

те те

X Т(п, 1, 1)жп = х + х X Т(п, 3)жп = х + ж4 Я3 (ж),

П=1 П=1

откуда и следует доказываемое утверждение.

3. Данная асимптотика получается прямым применением теоремы Дарбу к производящей функции из предыдущего пункта. □

Следствие 1.1. При п ^ 1 верно, что Т(п, 1) = Т(п, 1,1) + Т(п + 1,1,1) .

Доказательство. Равенство справедливо, потому что производящая функция для последовательности Т(п, 1,1) + Т(п +1,1,1) совпадает с производящей функцией для последовательности Т(п, 1). □

Для доказательства ещё одного соотношения нам потребуется вспомогательное утверждение. Пусть ^ — г -й член последовательности Фибоначчи ( = = 1, ^г+2 = + ^г). Также будем считать, что слагаемое два в композиции числа может быть разных типов: 2 и 2'.

Лемма 1.2. Количество представлений числа п в виде упорядоченной суммы п = п1 + п2 + ... + пт , где щ € {2, 2', 3} , равно + (—1)п .

Доказательство. Пусть ап — количество описанных в формулировке лем-

те

мы композиций числа п , а0 = 1. Рассмотрим производящую функцию А(ж) = ^ апжп .

п=0

Так как возможны три типа слагаемых: 2 , 2' и 3 , то производящая функция равна

те1 (ж) = > (ж2 1 ~2 1 к

А(ж) = ^(х2 + ж2 + ж3 )к

к=0

1 — 2ж2 — ж3

Заметим, что полученное выражение равно сумме ^Х-х2 + 1+Х , где первое слагаемое является производящей функцией для чисел Фибоначчи, а второе — производящей функцией для последовательности (—1)п . □

При помощи непосредственной проверки можно убедиться в том, что Т(1,1,1) = 1, Т(2,1,1) = 0 , Т(3,1,1) = 0 . При больших п справедливо следующее утверждение.

Утверждение 1.4. Т(п, 1,1)= Т(п, 1,1,1)+Т(п +1,1,1,1)-^„_3+(-1)га при п ^ 4.

Доказательство. Ограничимся изложением основных идей доказательства. Пусть у примитивного дерева Т длина первых двух дуг равна одному. С одной стороны, количество таких деревьев равно Т(п, 1,1). С другой стороны, возможны два случая: 1) длина третьей дуги Т тоже равна одному;

2) длина третьей дуги Т больше одного.

Первому условию удовлетворяют Т(и, 1,1,1) деревьев. Предположим, что дерево Т удовлетворяет второму условию. По лемме 1.1 старшая правая цепь дерева т4(Т) заканчивается триадой, имеющей левого сына. Добавим к этой триаде ещё и правого сына. Обозначим полученное примитивное дерево с и +1 некорневой триадой через т4(Т') . Можно показать, что в этом случае у дерева Т' длины трёх первых дуг равны одному.

С другой стороны, возьмём примитивное дерево Т' с и + 1 некорневой триадой, у которого длины первых трёх дуг равны одному. Обозначим дерево, получающееся удалением конечной триады старшей правой цепи дерева т4(Т') через т4(Т"). Если бы тогда дерево Т" всегда удовлетворяло приведённому выше второму условию, то было бы верно равенство Т(и, 1,1) = Т(и, 1,1,1) + Т(и + 1,1,1,1). Но это не так. «Препятствием» являются те деревья Т" , для которых дерево т2(Т") выглядит так, как показано на рис. 6.

1

Рис. 6: Иллюстрация к доказательству утверждения 1.4

Назовём такое дерево т2(Т") плохим. Плохое дерево обладает тем свойством, что все его правые цепи имеют длину 2 или 3. Причём, если пронумеровать эти цепи так, как показано на рисунке, то первая правая цепь обязательно содержит три триады, а последняя - две.

Представим, что мы формируем плохое дерево, присоединяя цепи в обратном порядке: к последней цепи присоединяем предпоследнюю и т. д. Можно увидеть, что цепь, состоящая из двух триад, может быть присоединена двумя способами к предыдущей добавленной цепи, а цепь из трёх триад - только одним. Например, на рис. 6 цепь №3 могла бы быть присоединена к цепи №4 через триады 7 или 8, а цепь №2 к цепи №3 может быть присоединена только через триаду е. Иначе будет нарушено условие примитивности дерева.

Если из плохого дерева с и + 1 некорневыми триадами убрать первую и последнюю цепи (которые формируются однозначно), то останется и — 3 триады. Таким образом, количество плохих деревьев с и некорневыми триадами равно числу упорядоченных

разложений числа n—3 в сумму двоек и троек, в которой слагаемое 2 бывает двух типов. По лемме 1.2 это число равно рга-3 + (— 1)n-3 . Получаем доказываемую формулу. □ Применяя стандартную технику к доказанному соотношению, можно получить производящую функцию для чисел T(n, 1,1,1). Кроме того, теорема Дарбу позволяет вывести асимптотику для этих чисел.

Утверждение 1.5.

^ T( 111) n — x(2+7x+5x2 +2x3+2x4-xVl-2x-3x2) +

1. T (n, 1, 1, 1)x — 2(1+x)3 (1-ж-ж2)(1+ж) >

n=1

2. T(n, 1,1,1)

3n+22

128 ^nn 2

2. Производящие функции для количества вершин в графах поворотов

Рассмотрим граф Сп , вершинами которого являются ПДВК с п некорневыми вершинами, а рёбрами - ПКДВК с п листьями. Скажем, что ориентированное ребро е идёт от вершины VI к , если образ дерева е при левой биекции /(е) равен VI, и образ при правой биекции г(е) равен V2 .

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

Определение 2.1. Шаблоном к -го уровня ПДВК с п некорневыми вершинами назовём некубическое дерево, удовлетворяющее следующим условиям:

1) высота дерева, т. е. наибольшая длина пути от корня к листу, равна к + 1 ;

2) листья дерева, находящиеся на нижнем ярусе, помечены натуральными числами;

3) сумма меток и количества непомеченных некорневых вершин равна п .

Договоримся, что шаблон к -го уровня, все метки которого равны одному, является одновременно шаблоном / -го уровня для любого / > к. На рис. 7 слева приведён пример шаблона второго уровня для дерева с 14 некорневыми вершинами.

Пусть V - шаблон к -го уровня. Скажем, что висячий корень V находится на нулевом ярусе, сын корня - на первом ярусе, сыновья сына корня - на втором ярусе и т. д.

Определение 2.2. Поддеревья шаблона V , корнями которых являются вершины (в + 1) -го яруса ( 0 ^ 5 ^ к), назовём компонентами в -го уровня в шаблоне V . Длиной компоненты назовём количество сыновей у корневой вершины соответствующей компоненты.

Например, на рис. 7 слева шаблон содержит три компоненты первого уровня, которые имеют следующие длины: 3, 0, 1. Нумеровать компоненты первого уровня будем слева направо.

А

2 14

3

Рис. 7: Шаблон дерева

Хорошо известна биекция между некубическими деревьями и расстановками скобок, при которой листьям деревьев, расположенным на нижнем ярусе, соответствуют внутренние пары скобок максимальной вложенности. Написав между такими скобками метки соотвествующих листьев, получим биективный образ шаблона дерева. Будем называть полученную расстановку скобок модифицированной. Например, шаблон, изображенный на рис. 7, отображается при данной биекции в модифицированную расстановку скобок ((2)(1)(4))()((3)). Такие расстановки понадобятся нам в дальнейшем для более компактного изображения графа поворотов.

Определение 2.3. Дерево Т соответствует шаблону Р, если Т получается из Р путём добавления на позиции листьев нижнего яруса поддеревьев, количество вершин в которых равно меткам этих листьев.

В качестве иллюстрации на рис. 7 изображены шаблон и соответствующее ему некубическое дерево.

Определение 2.4. Некубические деревья Т1 и Т2 называются эквивалентными на уровне т, если они соответствуют одному шаблону уровня т.

Для обозначения эквивалентности двух деревьев будем применять запись Т1 ~ Т2 .

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

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

Для графа поворотов будем применять обозначения = ~ Заметим, что в этом графе допускаются кратные рёбра.

Как было отмечено выше, существует биекция между шаблонами деревьев и модифицированными расстановками скобок. Поэтому, для более компактной записи, будем маркировать вершины графа расстановками скобок. Графы поворотов первого и второго уровня для деревьев с пятью некорневыми вершинами приведены на рис. 8.

(1)(2)(1)

(1)(1)(2)

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

(1)(1)(1)(1)

(2)(2)

(2)(1)(1)

(1)(3)

(1)(1)(1)(1)

1(3)) 0()((1))

((!))()()

((2))()

()((2)) ((!)(!)(!))

((1)(1))() ((1)(2))

((!))((!)) С \

Рис. 8: Графы и

()((!)(!)) ((2)(1))

Заметим, что количество рёбер в графах поворотов равно количеству ПКДВК с п листьями, т. е. равно числу Каталана Сп—. Обозначим символом гП" количество вершин в Ст.

Задачу вычисления чисел г^ можно свести к равносильной задаче нахождения количества деревьев, не содержащих паттерны-гребёнки. Перечислением таких деревьев занимались авторы работы [13]. Продемонстрируем равносильность этих задач.

В соответствии с [13] введём следующие определения. Паттерном назовём плоское кубическое дерево без висячего корня (корень имеет двух сыновей). Скажем, что ПКДВК Т непрерывно содержит паттерн £ , если дерево Т содержит £ как поддерево. Рис. 9 иллюстрирует данное определение: дерево Т непрерывно содержит паттерн £, но не содержит непрерывно паттерн в .

Рис. 9: Паттерны в деревьях

Говорят, что дерево Т разрывно содержит паттерн £, если существует дерево Т* , получаемое из Т путём применения конечного числа операций стягивания рёбер, такое что Т* непрерывно содержит паттерн £. Так, на рисунке 9 дерево Т разрывно содержит паттерн в, так как дерево, получаемое из Т стягиванием ребра е (обозначено пунктиром), содержит в непрерывно.

Обозначим через аг^(п) количество ПКДВК с п листьями, которые не содержат разрывно паттерн £ . Будем рассматривать специальный вид паттернов — гребёнки. Примеры левых гребёнок приведены на рис. 10. Деревья, симметричные левым гребёнкам назовём правыми гребёнками. Обозначим левые гребёнки с г листьями через с .

С2=Л

Рис. 10: Паттерны-гребёнки

Утверждение 2.1. агСт+3 (п) = г^ при ш ^ 1, п ^ 1.

Доказательство. Будем строить биекцию между множеством вершин графа поворотов Ст и множеством деревьев, не содержащих разрывно паттерн ст+3 индукцией по ш.

База индукции. Положим Т —дерево с п листьями, не содержащее разрывно паттерн с4 . Пусть это дерево имеет вид, изображенный на рис. 11 слева. Заметим, что деревья Т^ Т2,... , Т в этом случае либо состоят из одной вершины, либо являются правыми гребёнками. Пример дерева, удовлетворяющего этому условию, изображен на рис. 11 справа. Иначе, если к старшей правой цепи дерева Т присоединено дерево, отличное от правой гребёнки, то стягиванием рёбер можно получить поддерево с4 . Если, например, на рис. 11 к листу х присоединить любое непустое кубическое дерево, то при стягивании рёбер е1 и е2 получается дерево, содержащее с4 .

Рис. 11: Иллюстрация к доказательству утверждения 2.1

Дереву Т поставим в соответствие вершину (а1)(а2)... (а8) графа , где а — количество листьев в гребёнке Т . Понятно, что разным деревьям, не содержащим разрывно с4 , соответствуют разные вершины в ; для любой вершины в можно построить её прообраз при данном отображении. Поэтому построенное отображение является взаимно-однозначным и агС4 (п) = г^ .

Индукционный переход. Пусть доказано, что агСй+3 = г^. Рассмотрим дерево Т, не содержащее разрывно паттерн с&+4 . Пусть это дерево имеет вид, изображенный на рис. 11 слева. Тогда ни одно из деревьев Т не содержит разрывно паттерн ск+3 , иначе стягиванием рёбер получим паттерн с&+4 в дереве Т. Пусть Р^ — вершина-шаблон в графе СП , соответствующая дереву Т (г = 1,5). Тогда образом дерева Т назовём шаблон (Р1)(Р2)... (Р8) . Хорошо видно, что построенное отображение является биекцией. □

Заметим, что при п ^ 2 и т ^ 2 количество вершин в графе СЩ может быть записано при помощи следующего рекуррентного соотношения:

п— 1

Е Е ^¡т-1 ■ ^¡т-1 ■... ■ ^¡т-1. (2.1;

к=1 ¡1+г2+...+гк=п-1

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

Ту Т2 Тк Рис. 12: Некубическое дерево

Для производящей функции последовательности чисел гЛ будем использовать обо-

го

значение Рт(х) = ^ . Следующее утверждение представляет собой рекуррент-

п=1

ную формулу для вычисления функций Рт(х). Утверждение 2.2.

1. Л(х)

х ж2 1 - 2х 7

X

2. Рт(х) = ----— при т ^ 2 .

1 — Рт-1 (х)

Доказательство. Вершины в графе поворотов первого уровня СП суть упорядоченные разложения числа п — 1 на слагаемые, поэтому верно, что

1 = /1, п =1, Уп \2п-2, п> 1,

откуда следует первый пункт утверждения.

Используя формулу (2.1), при т ^ 2 получаем

го / п—1

V

11 ^¡2 ' ' ' гк

вд = х+ е Е Е

п=2 \й=1 ¡1+г2+...+гк=п—1

— х + х ■ 1(х) + х ■ Рт_1(х) + х ■ Рт_1(х) +

у™-1 • у™-1 •... • у™-1 хп

х

1 — 1(х)'

что и требовалось доказать. □

При помощи доказанного утверждения можно получить явное выражение для функций Рт(х). В работе [13] показано, что верна формула

Рт(х)

[ тх ]

Е (-1)

i=0

г . . хг+1

[ тр ] Е (-1)

г=о

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

Заметим, что

те

Р(х) = X Сга-1Х"

п=1

х

1

х

х

1--

Р (х)

х

1 - ^ 1—х

Р2(х)

х

1

1-Iх-1 —-

и т. д.

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

те

Утверждение 2.3. Подходящие дроби для производящей функции ^ Сп—1хп рав-

п=1

ны производящим функциям Рт(х) для количества вершин в графах поворотов.

т п

Этот результат хорошо согласуется с тем фактом, что при фиксированном количестве некорневых вершин п начиная с некоторого уровня т вершинами графа 0\ являются вообще все некубические деревья заданного размера.

Отметим, что функция Р2(х) совпадает с производящей функцией для чисел Фи боначчи с нечётными номерами, т. е.

^П =

Т 2п-3 + т 3—2п

л/5

где т — золотое сечение, равное 1+2^5 .

В работе [14] была получена асимптотика для последовательностей у

т п

п

ут - С • 4п ес82п-,

п т + 3

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

х

где С - некоторая положительная константа.

3. Производящие функции для количества вершин в примитивных графах поворотов

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

Определение 3.1. Примитивным графом поворотов т-го уровня для деревьев с п листьями называется подграф графа Ст, ребра которого соответствуют примитивным деревьям.

Для примитивного графа поворотов будем применять обозначение Ст , для количе-

те

ства вершин в нём - НТ , для производящей функции числа вершин - Рт(х) = Е НГхп.

п=1

Заметим, что количество рёбер в графе Спт равно числу примитивных деревьев, т. е. тп—2 + тп—з (п ^ 3 ).

х

Утверждение 3.1. Р\(х) =-- (т. е. Н равно числу Фибоначчи ).

1 - х - х2 п

Доказательство. В графе Сп вершины суть упорядоченные разложения числа п - 1 на слагаемые, в которых единицы могут стоять только в начале или в конце. Запишем в ряд п — 1 единицу. Поставив в образовавшиеся п — 2 промежутков знаки «+» и «,», получим композицию числа п — 1 (элементы композиции отделены запятыми). Если запретить написание двух запятых подряд (в соседних промежутках), то получатся нужные композиции.

То есть количество вершин в Сп равно количеству последовательностей длины п—2 из символов «+» и «,», где две запятые не идут подряд. Как известно, количество таких последовательностей равно числу Фибоначчи. □

Используя формулу Бине, получаем асимптотическую оценку для чисел Н.

Следствие 3.1. Н — , где т = .

Найти производящую функцию для чисел ггт при т ^ 2 позволяет следующее утверждение.

Утверждение 3.2. При т ^ 2 верно, что

х(1 + х + хНт- 1(х))

ргт(х)

1 + х - #т-1(х)

где

Н, (х) = V ( 1)г ^ Ы I (-1)1 х1+1 + х2 .(-1)1 х

г=о

Доказательство. Пусть шаблон m-го уровня, соответствующий вершине в примитивном графе поворотов, имеет вид, изображённый на рис. 12 (напомним, что у деревьев T\,T2,... ,Tk нет висячего корня). Вследствие примитивности деревьев-рёбер выполняются следующие условия:

1) только деревья T и Tk могут содержать по одной вершине;

2) у корней деревьев T (i = 1, k) больше одного сына (у корней T и Tk может не быть сыновей).

Из второго условия следует, что для дальнейших расчётов требуется рассмотрение вершин-шаблонов в графе Gm , сын висячего корня которых обладает более чем одним сыном. Пусть Wm — количество таких вершин. Определим wm = Wm = 1. Действительно, если деревья Ti содержат по одной или по две вершины, то приведённые выше условия не нарушаются (по одной вершине может быть только в деревьях T и Tk).

Поскольку только у одного шаблона первого уровня (n — 1) сын корня имеет одного сына, то

H i% — 1, n ^ 3, W = < ^

^wn, n < 3.

Количество вершин графа ОП , сын корня которых имеет одного сына, равно количеству вершин графа Gln_ 1 , сын корня которых имеет двух и более сыновей (иначе нарушается примитивность). Поэтому

W wn—1 + 1, n Л\

21 w2 _ w1 ^n n—1? n = 3,

w2, n n < 3.

В общем случае по индукции

wm = <

n

m— 1

Wп + Е (—1)i wm— + (—1)m, n ^ m + 2,

i=i n—2

wm + E(—1)i wm—-ii, 3 ^ n < m + 2,

i=1

Wm, n< 3.

Производящая функция для последовательности {^m}n=1 имеет вид

те те те те

Hm (X) — ^ ^ WWm X — ^ ^ Wn X X ^^ ^ Wn X I X ^ ^ Wn X

n=1 n=1 n=2 n=2

тете

... + (—1)m—1Xm—1 ^W^ + (—1)m ^ Xn = n=2 n=m+2

m—1 / - ч ™ ™ i о

= Fm(X) + 1)i Xi (Fm-i(X) — x) +

1X

i=1

n

т_1 ( л \т ™т+1 I ™2 ( 1 \т „т+2

= У] (-1)* х<Рт_<(х) + (-1) ,* + х + (-1) х .

1 + х 1 — х

¿=0

Перейдём к вычислению производящей функции для количества вершин в примитивном графе. Верно, что

те те /п—1 \

Рт (х) = У Нтхп = х + У У У < _1 ■ ... ■ хп, (3.1)

п=1 п=2 \к:=1 ¿1 +...+гд. =п-1 /

где индексы суммирования ¿1, г2,... , г^ принимают значения, при которых только г1 и г к могут быть равны единице.

Учитывая это ограничение, получаем:

Рт(х) = х + хДт-1 (х) + хЯ^- 1(х) + х (Я^- 1(х) - хЯ;^- 1(х^ + + х ^_Н4-1(х) 2хНт- 1(х) + х _Нт- 1(х)^ + ... + х ^ _Нт-1 (х)

к - 2)хЯГ-\(х) + (* - ^х2Як--21(х) - (к - 2)х3Як--31(х) +

+ ... + (-1)к хк-2 Н2т - 1(х))+ ...

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

После перегруппировки получаем следующее:

Рт (х) = х + х (Ят-1 (х) + Я^-^х) + Я^- 1(х) + . .

- х2 ( (Н2т-1(х) + Я3-1(х) + ) Я4-1(х) + ... ) + + хМ (Т) Нш-1(х) + #3- 1(х) + Я4- 1(х) + .. О - ...

те

Введём обозначения: у = Ят-1 (х) , Б (у) = ^ ук . Тогда получившееся выражение

можно переписать следующим образом:

к=0

„3 ™4

Рт(х) = х + х(Б(у) - 1) - х2у2Б'(у) + Iу2Б"(у) - |у2Б''(у) + ...

Так как S (y) = i_y , то S (n)(y) = (1_n~)!n+i . Следовательно,

9 ( )= + У 2 У2 + 3 У2 _x(l+x + xy)

F^^, ( x ) — x i x x , .. | x

1 - y (1 - y)2 (1 - y)3 1 +x - y

Список литературы

[1] R. Donaghey, "Automorphisms on Catalan trees and bracketings", Journal of Combinatorial Theory, 29:1 (1980), 75-90.

[2] L.W. Shapiro, "The cycle of six", The Fibonacci Quarterly, 17:3 (1979), 253-259.

[3] D. Callan, "A bijection on Dyck paths and its cycle structure", The Electronic Journal of Combinatorics, 14:1 (2007), R28.

[4] A. Karttunen, URL: http://www.oeis.org/A080070.

[5] D.E. Knuth, The Art of Computer Programming, Part 1. V. 4A: Combinatorial Algorithms, Addison-Wesley Professional, New Jersey, 2011.

[6] F. Bergeron, G. Labelle, P. Leroux, Combinatorial Species and Tree-Like Structures, Cambridge University Press, New York, 1997.

[7] И.А. Пушкарев, В. А. Бызов, "Дуги преобразования Донахью и треугольник Каталана", Научно-технический вестник Поволжья, 2015, №1, 19-22.

[8] R. Donaghey, "Restricted plane tree representations of four Motzkin-Catalan equations", Journal of Combinatorial Theory. Series B, 22:2 (1977), 114-121.

[9] R. Donaghey, L.W. Shapiro, "Motzkin numbers", Journal of Combinatorial Theory. Series A, 23:3 (1977), 291-301.

[10] F. R. Bernhart, "Catalan, Motzkin, and Riordan numbers", Discrete Mathematics, 204:1-3 (1999), 73-112.

[11] M. Drmota, "A bivariate asymptotic expansion of coefficients of powers of generating functions", European Journal of Combinatorics, 15:2 (1994), 139-152.

[12] M.H. Albert, V. Vatter, "Generating and enumerating 321-avoiding and skew-merged simple permutations", Electronic Journal of Combinatorics, 20:2 (2013), P44.

[13] M. Dairyko, L. Pudwell, S. Tyner, C. Wynn, "Non-contiguous pattern avoidance in binary trees", Electronic Journal of Combinatorics, 19:3 (2012), P22.

[14] Q. Yuan, The catalan numbers, regular languages, and orthogonal polynomials, URL: https://qchu.wordpress.com/2009/06/07/the-catalan-numbers-regular-languages-and-orthogonal-polynomials/.

References

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

[1] R. Donaghey, "Automorphisms on Catalan trees and bracketings", Journal of Combinatorial Theory, 29:1 (1980), 75-90.

[2] L.W. Shapiro, "The cycle of six", The Fibonacci Quarterly, 17:3 (1979), 253-259.

[3] D. Callan, "A bijection on Dyck paths and its cycle structure", The Electronic Journal of Combinatorics, 14:1 (2007), R28.

[4] A. Karttunen, URL: http://www.oeis.org/A080070.

[5] D.E. Knuth, The Art of Computer Programming, Part 1. V. 4A: Combinatorial Algorithms, Addison-Wesley Professional, New Jersey, 2011.

[6] F. Bergeron, G. Labelle, P. Leroux, Combinatorial Species and Tree-Like Structures, Cambridge University Press, New York, 1997.

[7] I. A. Pushkarev, V. A. Byzov, "Arcs of Donaghey's Transformation and Catalan's Triangle", Scientific and Technical Volga Region Bulletin, 2015, №1, 19-22 (In Russian).

[8] R. Donaghey, "Restricted plane tree representations of four Motzkin-Catalan equations", Journal of Combinatorial Theory. Series B, 22:2 (1977), 114-121.

[9] R. Donaghey, L. W. Shapiro, "Motzkin numbers", Journal of Combinatorial Theory. Series A, 23:3 (1977), 291-301.

[10] F.R. Bernhart, "Catalan, Motzkin, and Riordan numbers", Discrete Mathematics, 204:1-3 (1999), 73-112.

[11] M. Drmota, "A bivariate asymptotic expansion of coefficients of powers of generating functions", European Journal of Combinatorics, 15:2 (1994), 139-152.

[12] M. H. Albert, V. Vatter, "Generating and enumerating 321-avoiding and skew-merged simple permutations", Electronic Journal of Combinatorics, 20:2 (2013), P44.

[13] M. Dairyko, L. Pudwell, S. Tyner, C. Wynn, "Non-contiguous pattern avoidance in binary trees", Electronic Journal of Combinatorics, 19:3 (2012), P22.

[14] Q. Yuan, The catalan numbers, regular languages, and orthogonal polynomials, URL: https://qchu.wordpress.com/2009/06/07/the-catalan-numbers-regular-languages-and-orthogonal-polynomials/.

Информация об авторе

Бызов Виктор Александрович, старший преподаватель кафедры прикладной математики и информатики. Вятский государственный университет, г. Киров, Российская Федерация. E-mail: vbyzov@yandex.ru ORCID: https://orcid.org/0000-0002-3613-5949

Поступила в редакцию 15.01.2019 г.

Поступила после рецензирования 11.02.2019 г.

Принята к публикации 14.03.2019 г.

Information about the author

Viktor A. Byzov, Senior Lecturer of the Applied Mathematics and Informatics Department. Vyatka State University, Kirov, the Russian Federation. E-mail: vbyzov@yandex.ru ORCID: https://orcid.org/0000-0002-3613-5949

Received 15 January 2019 Reviewed 11 February 2019 Accepted for press 14 March 2019

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