Символьный метод (комбинаторика)
В комбинаторике символический метод — метод подсчета комбинаторных объектов . Он использует внутреннюю структуру объектов для вывода формул для их производящих функций . Этот метод в основном связан с Филиппом Флажоле и подробно описан в Части А его книги с Седжвиком Робертом «Аналитическая комбинаторика» , а остальная часть книги объясняет, как использовать комплексный анализ для получения асимптотических и вероятностных результатов для соответствующих производящих функций.
В течение двух столетий производящие функции появлялись через соответствующие рекурренты их коэффициентов (что можно увидеть в основополагающих работах Бернулли , Эйлера , Артура Кэли , Шредера , Рамануджан , Риордан , Кнут , Контет и др.).Затем постепенно стало понятно, что производящие функции охватывают многие другие аспекты исходных дискретных комбинаторных объектов и что это можно сделать более прямым формальным способом: рекурсивная природа некоторых комбинаторных структур. посредством некоторых изоморфизмов переводится в примечательные тождества на соответствующих производящих функциях. Таким образом, вслед за работами Полиа в 1970-х годах в этом духе были достигнуты дальнейшие успехи с общим использованием языков для определения комбинаторных классов и их производящих функций, как это обнаружено в работах Фоаты и Шютценбергера. [1] о перестановках, Бендер и Гольдман о префабах, [2] и Джоял о комбинаторных видах . [3]
Обратите внимание, что этот символический метод перечисления не имеет отношения к «символическому методу Блиссарда», который является еще одним старым названием теневого исчисления .
Символический метод в комбинаторике представляет собой первый шаг многих анализов комбинаторных структур. что затем может привести к схемам быстрых вычислений, к асимптотическим свойствам и предельным законам , к случайной генерации , причем все они пригодны для автоматизации с помощью компьютерной алгебры .
Классы комбинаторных структур [ править ]
Рассмотрим задачу распределения объектов, заданных производящей функцией, в набор из n слотов, где группа перестановок G степени n действует на слоты, создавая отношение эквивалентности заполненных конфигураций слотов, и задаем вопрос о производящей функции конфигураций с помощью вес конфигураций относительно этого отношения эквивалентности, где вес конфигурации представляет собой сумму весов объектов в слотах. Сначала мы объясним, как решить эту проблему в маркированном и немаркированном случае, и используем решение, чтобы мотивировать создание классов комбинаторных структур .
решает Теорема нумерации Полиа эту проблему в непомеченном случае. Пусть f ( z ) — обычная производящая функция (OGF) объектов, тогда OGF конфигураций задается замененным индексом цикла
В помеченном случае мы используем экспоненциальную производящую функцию (EGF) g ( z ) объектов и применяем теорему помеченного перечисления , которая говорит, что EGF конфигураций определяется выражением
Мы можем перечислить заполненные конфигурации слотов, используя либо PET в немаркированном случае, либо теорему нумерации с маркировкой в маркированном случае. Теперь мы зададимся вопросом о производящей функции конфигураций, полученных при наличии более одного набора слотов, на каждом из которых действует группа перестановок. Очевидно, что орбиты не пересекаются, и мы можем добавить соответствующие производящие функции. Предположим, например, что мы хотим перечислить немаркированные последовательности длиной два или три некоторых объектов, содержащихся в X. наборе Имеется два набора слотов: первый содержит два слота, а второй - три слота. Группа, действующая на первом множестве, равна , а во втором слоте . Мы представляем это следующим формальным степенным рядом по X :
где термин используется для обозначения множества орбит под G и , что очевидным образом обозначает процесс распределения объектов из X с повторением по n слотам. Аналогично рассмотрим помеченную задачу создания циклов произвольной длины из набора помеченных X. объектов Отсюда следует следующая серия действий циклических групп:
Ясно, что мы можем придать смысл любому такому степенному ряду частных (орбит) по группам перестановок, где мы ограничиваем группы степени n классами сопряженности. симметрической группы , которые образуют уникальную область факторизации. (Орбиты относительно двух групп из одного и того же класса сопряженности изоморфны.) Это мотивирует следующее определение.
Класс комбинаторных структур представляет собой формальный ряд
где («А» означает «атомы») — множество простых чисел УФО. и
Далее мы немного упростим наши обозначения и напишем, например,
для классов, упомянутых выше.
Флажоле – Фундаментальная Седжвика теорема
Теорема теории символической комбинаторики Флажоле – Седжвика решает проблему перечисления помеченных и немаркированных комбинаторных классов посредством создания символических операторов, которые позволяют напрямую (и автоматически) переводить уравнения, включающие комбинаторные структуры, в уравнения с производящими функциями. этих структур.
Позволять — класс комбинаторных структур. ОГФ из где X имеет OGF и ЭФР из где X отмечен EGF даны
и
В помеченном случае у нас есть дополнительное требование, чтобы X не содержал элементов нулевого размера. Иногда бывает удобно добавить один к чтобы указать наличие одной копии пустого набора. Можно придать значение обоим (наиболее распространенный пример — случай непомеченных множеств) и Чтобы доказать теорему, просто примените PET (теорему перечисления Пойя) и теорему о помеченном перечислении.
Сила этой теоремы заключается в том, что она позволяет строить операторы над производящими функциями, представляющими комбинаторные классы. Таким образом, структурное уравнение между комбинаторными классами напрямую преобразуется в уравнение с соответствующими производящими функциями. Более того, в отмеченном случае из формулы видно, что можно заменить по атому z и вычислите результирующий оператор, который затем можно будет применить к EGF. Перейдем теперь к построению важнейших операторов. Читатель, возможно, пожелает сравнить данные с данными на индексной странице цикла .
Оператор последовательности ПОСЛЕДОВАТЕЛЬНОСТЬ [ править ]
Этот оператор соответствует классу
и представляет последовательности, т.е. слоты не переставляются и существует ровно одна пустая последовательность. У нас есть
и
Оператор цикла ЦИК [ править ]
Этот оператор соответствует классу
т. е. циклы, содержащие хотя бы один объект. У нас есть
или
и
Этот оператор вместе с оператором множества SET и их ограничениями до определенных степеней используются для вычисления статистики случайных перестановок . Есть два полезных ограничения этого оператора, а именно на четные и нечетные циклы.
Помеченный оператор четного цикла CYC Even равен
что дает
Это означает, что помеченный оператор нечетного цикла CYC нечетный
дается
Оператор мультимножества/множества MSET / SET [ править ]
Серия
т.е. к слотам применяется симметричная группа. Это создает мультимножества в случае без метки и наборы в случае с меткой (в случае с меткой мультимножества нет, поскольку метки отличают несколько экземпляров одного и того же объекта от набора, помещенного в разные слоты). Мы включаем пустое множество как в помеченный, так и в немаркированный случай.
Немаркированный случай выполняется с помощью функции
так что
Оценка мы получаем
Для отмеченного случая мы имеем
В маркированном случае мы обозначаем оператор через SET , а в немаркированном случае — через MSET . Это связано с тем, что в помеченном случае нет мультимножеств (метки различают составляющие составного комбинаторного класса), тогда как в непомеченном случае есть мультимножества и множества, причем последние задаются формулой
Процедура [ править ]
Обычно начинают с нейтрального класса. , содержащий один объект размера 0 ( нейтральный объект , часто обозначаемый ) и один или несколько атомарных классов , каждый из которых содержит один объект размером 1. Далее, теоретико-множественные отношения, включающие различные простые операции, такие как непересекающиеся объединения , произведения , множества , последовательности и мультимножества , определяют более сложные классы в терминах уже определенных классов. Эти отношения могут быть рекурсивными . Элегантность символической комбинаторики заключается в том, что теоретико-множественные, или символические , отношения преобразуются непосредственно в алгебраические отношения, включающие производящие функции.
В этой статье мы будем следовать соглашению об использовании прописных букв сценария для обозначения комбинаторных классов и соответствующих простых букв для производящих функций (поэтому класс имеет производящую функцию ).
В символьной комбинаторике обычно используются два типа производящих функций: обычные производящие функции , используемые для комбинаторных классов немаркированных объектов, и экспоненциальные производящие функции , используемые для классов помеченных объектов.
Легко показать, что производящие функции (обычные или экспоненциальные) для и являются и , соответственно. Непересекающееся объединение также простое — для непересекающихся множеств и , подразумевает . Отношения, соответствующие другим операциям, зависят от того, говорим ли мы о помеченных или немеченых структурах (а также об обычных или экспоненциальных производящих функциях).
Комбинаторная сумма [ править ]
Ограничение союзов непересекающимися союзами является важным; однако в формальной спецификации символической комбинаторики слишком сложно отслеживать, какие множества не пересекаются. Вместо этого мы используем конструкцию, гарантирующую отсутствие пересечения ( однако будьте осторожны: это также влияет на семантику операции ). При определении комбинаторной суммы двух множеств и , мы отмечаем члены каждого набора отдельным маркером, например для членов и для членов . Комбинаторная сумма тогда равна:
Это операция, формально соответствующая сложению.
Немаркированные структуры [ править ]
Для немаркированных структур обычная производящая функция используется (OGF). OGF последовательности определяется как
Продукт [ править ]
Произведение классов двух комбинаторных и задается путем определения размера упорядоченной пары как суммы размеров элементов в паре. Таким образом, мы имеем для и , . Это должно быть довольно интуитивное определение. Заметим, что количество элементов в размера n
Используя определение OGF и некоторую элементарную алгебру, мы можем показать, что
- подразумевает
Последовательность [ править ]
Конструкция последовательности , обозначаемая определяется как
Другими словами, последовательность — это нейтральный элемент, или элемент , или упорядоченная пара, упорядоченная тройка и т. д. Это приводит к соотношению
Установить [ править ]
set ) или powerset ( Конструкция , обозначаемая определяется как
что приводит к отношению
где расширение
использовался для перехода от строки 4 к строке 5.
Мультисет [ править ]
Мультимножественная конструкция , обозначаемая является обобщением конструкции множества. В конструкции множества каждый элемент может встречаться ноль или один раз. В мультимножестве каждый элемент может появляться произвольное количество раз. Поэтому,
Это приводит к отношению
где, аналогично приведенной выше конструкции множества, мы расширяем , поменяйте суммы местами и замените OGF на .
Другие элементарные конструкции [ править ]
Другими важными элементарными конструкциями являются:
- цикла построение ( ), как последовательности, за исключением того, что циклические вращения не считаются отдельными
- указывая ( ), в котором каждый член B дополнен нейтральным указателем (нулевого размера) на один из его атомов.
- замена ( ), в котором каждый атом члена B заменяется членом C .
Выводы этих конструкций слишком сложны, чтобы приводить их здесь. Вот результаты:
Строительство | Генерирующая функция |
---|---|
(где — Эйлера функция | |
Примеры [ править ]
С помощью этих элементарных конструкций можно построить многие комбинаторные классы. Например, класс плоских деревьев (то есть деревьев, вложенных в плоскость, так что порядок поддеревьев имеет значение) задается рекурсивным отношением
Другими словами, дерево — это корневой узел размера 1 и последовательность поддеревьев. Это дает
мы решаем для G ( z ), умножая получить
вычитание z и решение G(z) с использованием квадратичной формулы дает
Другой пример (и классическая задача комбинаторики) — целочисленные разбиения . Сначала определим класс положительных целых чисел , где размер каждого целого числа — это его значение:
OGF тогда
Теперь определите набор разделов как
OGF является
К сожалению, закрытой формы для ; однако OGF можно использовать для вывода рекуррентного соотношения или, используя более совершенные методы аналитической комбинаторики, вычислить асимптотическое поведение счетной последовательности.
Спецификация и определяемые классы [ править ]
Упомянутые выше элементарные конструкции позволяют определить понятие спецификации . Эта спецификация позволяет нам использовать набор рекурсивных уравнений с несколькими комбинаторными классами.
Формально спецификация набора комбинаторных классов. представляет собой набор уравнения , где выражение, атомы которого и 's, и чьими операторами являются перечисленные выше элементарные конструкции.
Класс комбинаторных структур называется конструируемым или определяемым, если он допускает спецификацию.
Например, множество деревьев, у которых глубина листьев четная (соответственно нечетная), можно определить с помощью спецификации с двумя классами и . Эти классы должны удовлетворять уравнению и .
Меченые структуры [ править ]
Объект является слабо помеченным, если каждый из его атомов имеет неотрицательную целочисленную метку, и каждая из этих меток различна. Объект ( сильно или хорошо ) помечен , если, кроме того, эти метки содержат последовательные целые числа. . Примечание: некоторые комбинаторные классы лучше всего определять как помеченные или немаркированные структуры, но некоторые легко допускают обе спецификации. Хорошим примером помеченных структур является класс помеченных графов .
Для помеченных структур экспоненциальная производящая функция используется (EGF). EGF последовательности определяется как
Продукт [ править ]
Для помеченных структур мы должны использовать другое определение продукта, чем для немаркированных структур. Фактически, если бы мы просто использовали декартово произведение, полученные структуры даже не были бы хорошо обозначены. Вместо этого мы используем так называемый меченый продукт , обозначаемый
Для пары и , мы хотим объединить две структуры в одну. Чтобы результат был хорошо помечен, необходимо переименовать атомы в и . Мы ограничим наше внимание изменениями меток, которые соответствуют порядку исходных меток. Обратите внимание, что существует еще несколько способов перемаркировки; таким образом, каждая пара членов определяет не один член продукта, а набор новых членов. Подробности этой конструкции можно найти на странице Теоремы о помеченном перечислении .
Чтобы помочь этому развитию, давайте определим функцию, , который принимает в качестве аргумента (возможно, слабо) помеченный объект и переименовывает свои атомы в соответствии с порядком так, что хорошо маркирован. Затем мы определяем помеченный продукт для двух объектов. и как
Наконец, меченый продукт двух классов и является
EGF можно получить, заметив, что для объектов размером и , есть способы перемаркировки. Следовательно, общее количество объектов размером является
Это биномиальное соотношение свертки для термов эквивалентно умножению EGF:
Последовательность [ править ]
последовательности Построение определяется аналогично немаркированному случаю:
и снова, как указано выше,
Установить [ править ]
В меченых структурах набор элементы соответствуют точно последовательности. Это отличается от случая без метки, где некоторые перестановки могут совпадать. Таким образом, для , у нас есть
Цикл [ править ]
Циклы также проще, чем в немаркированном случае. Цикл длины соответствует отдельные последовательности. Таким образом, для , у нас есть
Коробочный продукт [ править ]
В маркированных структурах продукт в минимальной упаковке представляет собой вариацию оригинального продукта, требующую элемента в продукте с минимальной этикеткой. Аналогичным образом мы также можем определить максимально упакованный продукт, обозначаемый как , тем же способом. Тогда у нас есть,
или эквивалентно,
Пример [ править ]
Возрастающее дерево Кэли — это помеченное неплоское корневое дерево, метки которого вдоль любой ветви, исходящей от корня, образуют возрастающую последовательность. Тогда пусть быть классом таких деревьев. Рекурсивная спецификация теперь
Другие элементарные конструкции [ править ]
Операторы CYC даже ,CYC странный ,УСТАНОВИТЬ даже , и SET нечетный представляют циклы четной и нечетной длины, а также множества четной и нечетной мощности.
Пример [ править ]
Числа Стирлинга второго рода можно получить и проанализировать с помощью структурного разложения.
Разложение
используется для изучения беззнаковых чисел Стирлинга первого рода , а также при выводе статистики случайных перестановок . Подробное рассмотрение экспоненциальных производящих функций, связанных с числами Стирлинга в символьной комбинаторике, можно найти на странице Числа Стирлинга и экспоненциальные производящие функции в символьной комбинаторике .
См. также [ править ]
Ссылки [ править ]
- ^ Фоата, Доминик ; Шютценбергер, Марсель-П. (1970). «Геометрическая теория полиномов Эйлера» . Конспект лекций по математике . Конспект лекций по математике. 138 . arXiv : math/0508232 . дои : 10.1007/BFb0060799 . ISBN 978-3-540-04927-2 .
- ^ Бендер, Эдвард А.; Гольдман, Джей Р. (1971). «Перечислительное использование производящих функций» . Математический журнал Университета Индианы . 20 (8): 753–764. дои : 10.1512/iumj.1971.20.20060 .
- ^ Джоял, Андре (1981). «Комбинаторная теория формальных рядов». Достижения в математике . 42 :1–82. дои : 10.1016/0001-8708(81)90052-9 .
- Франсуа Бержерон, Жильбер Лабель, Пьер Леру, Теория видов и комбинаторика древовидных структур , LaCIM, Монреаль (1994). Английская версия: Комбинаторные виды и древовидные структуры , Издательство Кембриджского университета (1998).
- Филипп Флажоле и Роберт Седжвик, Аналитическая комбинаторика , Издательство Кембриджского университета (2009). (доступно онлайн: http://algo.inria.fr/flajolet/Publications/book.pdf )
- Миша Хофри, Анализ алгоритмов: вычислительные методы и математические инструменты , Oxford University Press (1995).