В этой статье мы немного отвлечёмся от практики и позанимаемся математикой, порешаем задачки по алгебре (11 задач), конкретно по теории групп.
В этой статье мы немного отвлечёмся от практики и позанимаемся математикой, порешаем задачки по алгебре (11 задач), конкретно по теории групп.
На днях произошло знаковое событие в мире спидкубинга. Человек впервые собрал кубик Рубика быстрее 3 секунд на соревнованиях WCA. Это произошло 8 февраля на турнире GLS Big Cubes Gdańsk 2026 в Польше. 9-летнему Теодору Зайдеру первому в истории удалась официальная сборка sub-3Читать полностью »
Это статья является дополнением к большому материалу Симметрия кубика Рубика, где я рассказывал о своем методе сборки зеркальных двусторонних инверсивных паттернов Mirror Dual-Sided Inverse (MDSI) на кубике Рубика. Я посчитал нужным дополнительно объяснить, как эвристически искал доказательство того, что возможно на противоположных сторонах кубика Рубика собрать любой (2-, 3-, 4-, 5- и 6-цветный) MDSI паттерн. Для этого я ввел понятие «зеркало» для среднего слоя, который отражает противоположные стороны и применил правило четности пермутаций.
***
Представьте себе, что вы открываете учебник по математике. На первой же странице видите:
«Гру́ппа — множество, на котором определена ассоциативная бинарная операция, причём »
В этот момент у вас сразу же появляются вопросы:
Откуда взялось это множество и зачем оно нужно?
Какая операция и что это вообще всё значит?
Почему я должен верить в эти аксиомы?

Около полутора лет назад я опубликовал на Хабре статью под названием "Слово Божие — функциональное программирование как основа ВселеннойЧитать полностью »
Некоторое время назад я объявил челлендж имени Винтика и Шпунтика. Суть его — в подсчете числа решений задачки, почерпнутой из математической олимпиады для 7 класса. Изначально я рассчитывал на то, что лучшие умы Хабра разберутся с задачей за месяц. Однако с тех пор прошло 10, и не сказать, чтобы обозначились какие-то серьезные прорывы. Но некоторые новые идеи появились. Поэтому сегодня мы подведем промежуточные итоги нашего челленджа, а также разберем некоторые подходы, которые позволяют двигаться вперед в нашем нелегком деле.
Для начала снова приведу условия задачи.
Автор ответа на Quora — Майкл Гриффин, постдок по математике
Сения Шейдвассер дал очень хороший, простой ответ на этот вопрос, рекомендую прочитать эту краткую версию. Но есть гораздо более удивительная история гипотезы о монструозной фантазии (Monstrous Moonshine), смешанной с уравнением Маккея: от виски Jack Daniel’s до чёрных дыр и квантовой гравитации.
В этой истории часто упоминаются симметрии и математические «группы», поэтому начнём с того, что понимается под группой в математике. Группу можно представить как способ переупорядочить набор объектов, сохраняя определённую структуру. Операции в группе должны следовать определённым правилам, например, всегда должна быть возможность отменить операцию, а если вы выполняете одну операцию, а затем другую, то получаете третью операцию в группе.
Читать полностью »
Привет! Это вторая часть перевода статьи про подсчет различных судоку.

В этой части мы погрузимся в теорию групп, начиная с самых основ, но затрагивая только то, что нам пригодится для ответа на вопрос: а сколько же есть действительно различных судоку — без всяких повторов в виде поворотов, отражений и т.п. Те, кто довольно хорошо знаком с теорией групп — вероятно, найдут тут мало что интересного. Для остальных же почитать очень даже полезно. На всякий случай: я себя специалистом по теории групп не считаю, при переводе статьи я сам по сути изучал ее почти с нуля. То есть, вполне могут быть косяки — пишите мне о них в личку. С другой стороны — я для большинства определений лазил в википедию, а все численные результаты подтвердил собственноручно написанной программой. Так что, по идее, количество косяков должно стремиться к нулю. Но мало ли.
Как обычно, мои комментарии выделены курсивом или спрятаны под спойлеры. Под спойлерами можно найти самое интересное — куски кода, которые верифицируют все числа, полученные в повествовании.
Читать полностью »