Вот то, что хоть какая-нибудь теория групп не попала вместо матана в стандартный куррикулум, это говно.
Масса алгоритмов упрощаются благодаря симметрии, но системно упрощать люди не умеют, как я понимаю. Я однажды пытался найти решение n-queens с полноценным и концептуально простым задействованием симметрии и к своему удивлению не нашел. Нашел одну статью, где об этом идет речь, но не увидел такого чтоб был код без учета симметрий, код с учетом симметрий, и чтоб было понятно, как из одного получился другой, и чтоб было ясно, как это преобразование повторить в общем случае.
К тому же, без (элементарной) теории групп нельзя толково выучить комбинаторику. И она уж конечно (как и вообще любая математика) решает ту задачу, которой оправдывают матан в куррикулуме: «научиться строго рассуждать».
Но нет, все вместо этого хуярят производные, как будто всех ждут в будущем задачи, так или иначе похожие на задачи классической механики.