Почему такая компания, как Twitter, заинтересована в алгебраических понятиях, таких как группы, моноиды и кольца? Смотрите их репозиторий на github: twitter / algebird . Все, что я мог найти, это: Реализации Monoids для интересных алгоритмов аппроксимации, таких как фильтр Блума , HyperLogLog и...
Есть ли какой-нибудь естественный или заметный способ связать или связать математические группы и формальные языки CS или какую-то другую основную концепцию CS, например машины Тьюринга? Я ищу ссылки / приложения. Однако обратите внимание, что я знаю о связи между полугруппами и языками CS (а...
Читая некоторые блоги о сложности вычислений (например, здесь ), я усвоил идею, что решить, изоморфны ли две группы, проще, чем тестировать два графа на изоморфизм. Например, на указанной странице говорится, что изоморфизм графов является более общей проблемой, чем изоморфизм групп. Поэтому я...