91
правка
Изменения
Новая страница: «{{Определение |definition= Требуется посчитать количество ожерелий из <tex>n</tex> бусинок, каждая ...»
{{Определение
|definition=
Требуется посчитать количество ожерелий из <tex>n</tex> бусинок, каждая из которых может быть покрашена в один из <tex> k </tex> цветов. При сравнении двух ожерелий их можно поворачивать, но не переворачивать (т.е. разрешается сделать циклический сдвиг).}}
Решение этой задачи опирается на лемму Бернсайда и теорему Пойа.
{{Определение
|definition=
'''Инвариантная перестановка''' - такая перестановка, которая по условию задачи не меняет сам объект, а только его представление.
}}
Примером инвариантной перестановки в нашем случае является циклический сдвиг.
{{Определение
|definition=
'''Неподвижной точкой''' <tex>f</tex> для перестановки называется такой элемент, который инвариантен относительно этой перестановки.
}}
== Лемма Бернсайда ==
{{Лемма
|id=lemmaBerns.
|author=Бернсайд
|statement=Количество комбинаторных объектов равно сумме количеств неподвижных точек по всем перестановкам из группы <tex>G</tex> , делённой на размер этой группы:
<tex> C = \frac{1} {|G|}\sum\limits_{k \in G}I(k)</tex>. Где <tex>I(k)</tex> - количество неподвижных точек для перестановки <tex>k</tex>.
|proof=
Рассмотрим сумму в числителе дроби справа:
<tex>\sum\limits_{k \in G}I(k)</tex> — это ни что иное как количество "инвариантных пар". Очевидно, что в формуле мы имеем право изменить порядок суммирования - сделать внешнюю сумму по элементам множества <tex>f</tex>, а внутри нее поставить величину <tex>J(f)</tex> — количество перестановок, относительно которых объект <tex>f</tex> инвариантен:
<tex>C = \frac{1} {|G|}\sum\limits_{f} J(f)</tex>
Для доказательства этой формулы составим таблицу, столбцы которой будут подписаны всеми значениями <tex>f_i</tex>, строки — всеми перестановками <tex>k_j</tex>, а в клетках таблицы будут стоять их произведения . Тогда, если мы будем рассматривать столбцы этой таблицы как множества, то некоторые из них могут совпасть, и это будет как означать, что соответствующие этим столбцам <tex>f</tex> также эквивалентны. Таким образом, количество различных как множество столбцов равно количеству различных комбинаторных объектов.
Cтолбцы таблицы сами распадаются на комбинаторные обекты; зафиксируем теперь какой-либо объект и рассмотрим столбцы в нём. Во-первых, заметим, что в этих столбцах могут стоять только элементы <tex>f_i</tex> одного объекта (иначе получилось бы, что некоторым эквивалентным преобразованием мы перешли в другой комбинаторный объект, что невозможно). Во-вторых, каждый элемент <tex>f_i</tex> будет встречаться одинаковое число раз во всех столбцах (это также следует из того, что столбцы соответствуют эквивалентным элементам). Отсюда можно сделать вывод, что все столбцы внутри одного комбинаторного объекта совпадают друг с другом как мультимножества.
Теперь зафиксируем произвольный элемент <tex>f</tex>. С одной стороны, он встречается в своём столбце ровно <tex>J(f)</tex> раз (по самому определению). С другой стороны, все столбцы внутри одного комбинаторного объекта одинаковы как мультимножества. Следовательно, внутри каждого столбца данного комбинаторного объекта любой элемент <tex>g</tex> встречается ровно <tex>J(g)</tex> раз.
Таким образом, если мы возьмём произвольным образом от каждого класса эквивалентности по одному столбцу и просуммируем количество элементов в них, то получим, с одной стороны, <tex>C|G|</tex> (это получается, просто умножив количество столбцов на их размер), а с другой стороны — сумму величин <tex>J(f)</tex> по всем <tex>f</tex>(это следует из всех предыдущих рассуждений):
<tex>C = \frac{1} {|G|}\sum\limits_{f} J(f)</tex>
}}
== Теорема Пойа ==
{{Теорема
|id=teorPo.
|author=Пойа
|statement= <tex>C = \frac{1} {|G|}\sum\limits_{k \in G} l^{P(k)}</tex> ,где <tex>C</tex> - кол-во различных комбинаторных объектов, P(k) - кол-во циклов в перестановке <tex>k</tex>
|proof=Для доказательства этой теорем достаточно установить следующее равенство
<tex>I(k) = l^{P(k)}</tex>
Рассмотрим некоторую перестановку <tex>k</tex> и некоторый элемент <tex>f</tex>. Под действием перестановки <tex>k</tex> элементы <tex>f</tex> передвигаются, как известно, по циклам перестановки. Заметим, что внутри каждого цикла перестановки должны находиться одинаковые элементы <tex>f</tex>. В то же время, для разных циклов никакой связи между значениями элементов не возникает. Таким образом, для каждого цикла перестановки <tex>k</tex> мы выбираем по одному значению, и тем самым мы получим все представления <tex>f</tex>, инвариантные относительно этой перестановки, т.е.:
<tex>I(k) = l^{P(k)}</tex>
}}
== Алгоритм решения задачи про ожерелья ==
Пусть нам даны бусинки k различных цветов, а ожерелье должно состоять из n бусинок.
Для решения воспользуемся формулой из теоремы Пойа.
<tex>C = \frac{1} {|G|}\sum\limits_{k \in G} l^{P(k)}</tex>
Очевидно, что для каждой перестановки длины <tex>n</tex> существует ровно <tex>n</tex> циклических сдвигов,
|definition=
Требуется посчитать количество ожерелий из <tex>n</tex> бусинок, каждая из которых может быть покрашена в один из <tex> k </tex> цветов. При сравнении двух ожерелий их можно поворачивать, но не переворачивать (т.е. разрешается сделать циклический сдвиг).}}
Решение этой задачи опирается на лемму Бернсайда и теорему Пойа.
{{Определение
|definition=
'''Инвариантная перестановка''' - такая перестановка, которая по условию задачи не меняет сам объект, а только его представление.
}}
Примером инвариантной перестановки в нашем случае является циклический сдвиг.
{{Определение
|definition=
'''Неподвижной точкой''' <tex>f</tex> для перестановки называется такой элемент, который инвариантен относительно этой перестановки.
}}
== Лемма Бернсайда ==
{{Лемма
|id=lemmaBerns.
|author=Бернсайд
|statement=Количество комбинаторных объектов равно сумме количеств неподвижных точек по всем перестановкам из группы <tex>G</tex> , делённой на размер этой группы:
<tex> C = \frac{1} {|G|}\sum\limits_{k \in G}I(k)</tex>. Где <tex>I(k)</tex> - количество неподвижных точек для перестановки <tex>k</tex>.
|proof=
Рассмотрим сумму в числителе дроби справа:
<tex>\sum\limits_{k \in G}I(k)</tex> — это ни что иное как количество "инвариантных пар". Очевидно, что в формуле мы имеем право изменить порядок суммирования - сделать внешнюю сумму по элементам множества <tex>f</tex>, а внутри нее поставить величину <tex>J(f)</tex> — количество перестановок, относительно которых объект <tex>f</tex> инвариантен:
<tex>C = \frac{1} {|G|}\sum\limits_{f} J(f)</tex>
Для доказательства этой формулы составим таблицу, столбцы которой будут подписаны всеми значениями <tex>f_i</tex>, строки — всеми перестановками <tex>k_j</tex>, а в клетках таблицы будут стоять их произведения . Тогда, если мы будем рассматривать столбцы этой таблицы как множества, то некоторые из них могут совпасть, и это будет как означать, что соответствующие этим столбцам <tex>f</tex> также эквивалентны. Таким образом, количество различных как множество столбцов равно количеству различных комбинаторных объектов.
Cтолбцы таблицы сами распадаются на комбинаторные обекты; зафиксируем теперь какой-либо объект и рассмотрим столбцы в нём. Во-первых, заметим, что в этих столбцах могут стоять только элементы <tex>f_i</tex> одного объекта (иначе получилось бы, что некоторым эквивалентным преобразованием мы перешли в другой комбинаторный объект, что невозможно). Во-вторых, каждый элемент <tex>f_i</tex> будет встречаться одинаковое число раз во всех столбцах (это также следует из того, что столбцы соответствуют эквивалентным элементам). Отсюда можно сделать вывод, что все столбцы внутри одного комбинаторного объекта совпадают друг с другом как мультимножества.
Теперь зафиксируем произвольный элемент <tex>f</tex>. С одной стороны, он встречается в своём столбце ровно <tex>J(f)</tex> раз (по самому определению). С другой стороны, все столбцы внутри одного комбинаторного объекта одинаковы как мультимножества. Следовательно, внутри каждого столбца данного комбинаторного объекта любой элемент <tex>g</tex> встречается ровно <tex>J(g)</tex> раз.
Таким образом, если мы возьмём произвольным образом от каждого класса эквивалентности по одному столбцу и просуммируем количество элементов в них, то получим, с одной стороны, <tex>C|G|</tex> (это получается, просто умножив количество столбцов на их размер), а с другой стороны — сумму величин <tex>J(f)</tex> по всем <tex>f</tex>(это следует из всех предыдущих рассуждений):
<tex>C = \frac{1} {|G|}\sum\limits_{f} J(f)</tex>
}}
== Теорема Пойа ==
{{Теорема
|id=teorPo.
|author=Пойа
|statement= <tex>C = \frac{1} {|G|}\sum\limits_{k \in G} l^{P(k)}</tex> ,где <tex>C</tex> - кол-во различных комбинаторных объектов, P(k) - кол-во циклов в перестановке <tex>k</tex>
|proof=Для доказательства этой теорем достаточно установить следующее равенство
<tex>I(k) = l^{P(k)}</tex>
Рассмотрим некоторую перестановку <tex>k</tex> и некоторый элемент <tex>f</tex>. Под действием перестановки <tex>k</tex> элементы <tex>f</tex> передвигаются, как известно, по циклам перестановки. Заметим, что внутри каждого цикла перестановки должны находиться одинаковые элементы <tex>f</tex>. В то же время, для разных циклов никакой связи между значениями элементов не возникает. Таким образом, для каждого цикла перестановки <tex>k</tex> мы выбираем по одному значению, и тем самым мы получим все представления <tex>f</tex>, инвариантные относительно этой перестановки, т.е.:
<tex>I(k) = l^{P(k)}</tex>
}}
== Алгоритм решения задачи про ожерелья ==
Пусть нам даны бусинки k различных цветов, а ожерелье должно состоять из n бусинок.
Для решения воспользуемся формулой из теоремы Пойа.
<tex>C = \frac{1} {|G|}\sum\limits_{k \in G} l^{P(k)}</tex>
Очевидно, что для каждой перестановки длины <tex>n</tex> существует ровно <tex>n</tex> циклических сдвигов,
