Ожерелье (комбинаторика) (K'yjyl,y (tkbQnugmkjntg))

Перейти к навигации Перейти к поиску
Возможные варианты браслетов длины n,
соответствующие k-ым разбиениям целого числа
(множество разбиений с точностью до вращений и отражений)
3 браслета с 3 красными и 3 зелёными бусинками. Разбиение в середине хирально, так что имеется 4 ожерелья
11 браслетов c 2 красными, 2 жёлтыми и 2 зелёными бусинами. Крайне левое ожерелье и четыре крайних справа хиральны, так что имеется 16 ожерелий
16 Тантрикс плиток, соответствующих 16 ожерельям с 2 красными, 2 жёлтыми и 2 зелёными бусинками.

В комбинаторике -цветное ожерелье длины — это класс эквивалентности -символьных строк над алфавитом размера , где эквивалентными считаются строки, получающиеся друг из друга вращением[англ.], или циклическим сдвигом. К примеру, для , ожерельем будет множество . Ожерелье можно визуально представить как структуру из связанных в кольцо бусин, имеющих возможных цветов (цвета соответствуют символам в алфавите): для этого надо взять одно из слов данного класса эквивалентности, мысленно продеть через его символы нитку и соединить ее начало и конец.

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

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

Классы эквивалентности

[править | править код]

Число ожерелий

[править | править код]

Имеется

различных -цветных ожерелий длины , где функция Эйлера[1][2]. Это следует непосредственно из теоремы перечисления Пойа, применённой к действию циклической группы , действующей на множестве всех функций .

Число браслетов

[править | править код]

Есть[3][4]

различных k-цветных браслетов длины n, где равно числу k-цветных ожерелий длины n. Это следует из метода Пойи, применённого к действию диэдральной группы .

Случай различных бус

[править | править код]

Для данного набора из n (различных) бусин число различных ожерелий, сделанных из этих бусин, если считать повёрнутые ожерелья теми же самыми, равно n!/n = (n − 1)!. Это следует из того, что бусины могут быть расположены линейно n! способами и n циклических сдвигов каждого такого линейного порядка даёт то же самое ожерелье. Аналогично, число различных браслетов, если считать повороты и отражения теми же самыми, равно n!/2n для .

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

Апериодические ожерелья

[править | править код]

Апериодическое ожерелье длины n является классом эквивалентности вращений, имеющих размер n, то есть никакие два различных вращения ожерелья из этого класса не эквивалентны.

Согласно функции подсчёта ожерелий Моро[англ.], существует

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

Любое апериодичное ожерелье содержит одно слово Линдона[англ.], так что слова Линдона образуют представителей апериодичных ожерелий.

Примечания

[править | править код]
  1. Weisstein, Eric W. Necklace (англ.) на сайте Wolfram MathWorld.
  2. Химач, Филипенко, 2016, с. 93.
  3. Яковенко, 1998.
  4. Химач, Филипенко, 2016, с. 94-95.

Литература

[править | править код]
  • Калужин Л.А., Сущанский В.И. 13. Комбинаторные задачи // Преобразования и перестановки. — М.: «Наука», 1985. — (Проблемы науки и технического прогресса).