Pytania oznaczone «group-theory»

Dlaczego firma taka jak Twitter byłaby zainteresowana koncepcjami algebraicznymi, takimi jak grupy, monoidy i pierścienie? Zobacz ich repozytorium na github: twitter / algebird . Mogłem tylko znaleźć: Implementacje Monoidów dla interesujących algorytmów aproksymacyjnych, takich jak filtr Bloom...

Czy istnieje jakiś naturalny lub znaczący sposób na powiązanie lub połączenie grup matematycznych i języków formalnych CS lub jakieś inne podstawowe pojęcie CS, np. Maszyny Turinga? Szukam referencji / aplikacji. Zauważ jednak, że jestem świadomy związku między półgrupami a językami CS...

Czytając niektóre blogi o złożoności obliczeniowej (na przykład tutaj ) przyswoiłem sobie pogląd, że podjęcie decyzji, czy dwie grupy są izomorficzne jest łatwiejsze niż przetestowanie dwóch wykresów pod kątem izomorfizmu. Na przykład na podanej stronie napisano, że izomorfizm grafów jest bardziej...