Questions marquées «group-theory»

Pourquoi une entreprise comme Twitter serait-elle intéressée par les concepts algébriques tels que les groupes, les monoïdes et les anneaux? Voir leur dépôt sur github: twitter / algebird . Tout ce que j'ai pu trouver c'est: Implémentations de Monoids pour des algorithmes d'approximation...

Existe-t-il un moyen naturel ou notable de relier ou de lier des groupes mathématiques et des langages CS formels ou un autre concept CS fondamental, par exemple les machines de Turing? Je recherche des références / applications. Notez cependant que je suis conscient du lien entre les semigroupes...

En lisant certains blogs sur la complexité de calcul (par exemple ici ), j'ai assimilé la notion qu'il est plus facile de décider si deux groupes sont isomorphes que de tester deux graphiques pour l'isomorphisme. Par exemple, sur la page indiquée, il est dit que l'isomorphisme des graphes est un...