Какую задачу решаем
Классы перестановок при вращениях; отражение можно учитывать отдельно. Отождествляются только разрешённые симметрии; повороты не меняют количества экземпляров каждого типа.
Форма состоит из 4 числовых параметров: Число элементов типа A, Число элементов типа B, Число элементов типа C, Считать отражение эквивалентным (0/1). Все они управляют запасами, числом элементов, запретами, размером сетки или характеристиками групп. В этом варианте под названием «Перестановки мультимножества — с учётом симметрии» параметры задают именно описанную постановку, а не характеристики другого подсчёта.
Как устроен подсчёт
Используется вычислительная схема: Орбиты по циклической/диэдральной группе. Она перебирает состояния, а не отдельные огромные списки вариантов; лишь при явном учёте вращений проводится полный ограниченный перебор.
Для темы «перестановки мультимножества» важно различать невозможную конфигурацию (её число равно нулю) и неверно заданные параметры (расчёт отклоняется). Ограничение «с учётом симметрии» изменяет набор допустимых состояний.
Как читать результат
Основной показатель — число способов, удовлетворяющих правилу «классы перестановок при вращениях; отражение можно учитывать отдельно». Дополнительные числа позволяют проверить размер всей совокупности либо вклад выбранного класса.
Контрольное условие: Отождествляются только разрешённые симметрии; повороты не меняют количества экземпляров каждого типа. Если снять ограничение, количество допустимых вариантов обычно возрастает, но не во всех задачах равенство обязательно становится строгим.
Пример ввода
Начальные значения формы: Число элементов типа A = 3, Число элементов типа B = 3, Число элементов типа C = 2, Считать отражение эквивалентным (0/1) = 1. Эти параметры дают полностью воспроизводимую целочисленную задачу. Основной результат для набора по умолчанию: 38.
После первого расчёта можно изменить один параметр и проверить, как для случая «Перестановки мультимножества — с учётом симметрии» изменяется число решений. Изменять верхнюю границу, длину слова или вместимость имеет смысл отдельно от остальных величин.
Границы применимости
Отождествляются только разрешённые симметрии; повороты не меняют количества экземпляров каждого типа. При выборе входных параметров для «Перестановки мультимножества — с учётом симметрии» важно соблюдать точное значение каждого ограничения, а также различать маркированные и немаркированные объекты.
Если не выполняются условия для «Перестановки мультимножества — с учётом симметрии», результат другой математической задачи нельзя применять автоматически. Для больших входов вычисление ограничено, чтобы не терять точность целочисленного подсчёта.
Где это полезно
Задачи такого вида встречаются в расписаниях, расположении элементов, дискретных моделях и учебной комбинаторике. Классы перестановок при вращениях; отражение можно учитывать отдельно.
Для самостоятельного разбора сохраните 4 значений формы и правило Орбиты по циклической/диэдральной группе. Для небольших случаев ответ можно сверить ручным выписыванием всех конфигураций.
Формула расчёта
Орбиты по циклической/диэдральной группе
Проверенные примеры
Число элементов типа A = 3; Число элементов типа B = 3; Число элементов типа C = 2; Считать отражение эквивалентным (0/1) = 1
Точный подсчёт: Классов эквивалентности = 38, Перестановок до факторизации симметрии = 560, Симметрия отражения (1 — учитывается) = 1.
Число элементов типа A = 4; Число элементов типа B = 3; Число элементов типа C = 2; Считать отражение эквивалентным (0/1) = 1
Точный подсчёт: Классов эквивалентности = 76, Перестановок до факторизации симметрии = 1260, Симметрия отражения (1 — учитывается) = 1.
Число элементов типа A = 3; Число элементов типа B = 3; Число элементов типа C = 2; Считать отражение эквивалентным (0/1) = 0
Точный подсчёт: Классов эквивалентности = 70, Перестановок до факторизации симметрии = 560, Симметрия отражения (1 — учитывается) = 0.
Как пользоваться онлайн-калькулятором
- Укажите числа в полях: Число элементов типа A, Число элементов типа B, Число элементов типа C, Считать отражение эквивалентным (0/1).
- Учитывайте правило: классы перестановок при вращениях; отражение можно учитывать отдельно.
- Нажмите «Рассчитать» и сравните число допустимых конфигураций с контрольными показателями.