Запитання з тегом «group-theory»

Чому така компанія, як Twitter, зацікавлена ​​в таких алгебраїчних поняттях, як групи, моноїди та кільця? Перегляньте їх сховище в github: twitter / algebird . Все, що я міг знайти, це: Реалізація Monoids для цікавих алгоритмів наближення, таких як фільтр Bloom , HyperLogLog та CountMinSketch . Вони дозволяють думати про такі …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

Чи існує якийсь природний чи помітний спосіб зв’язати чи зв’язати математичні групи та формальні мови CS чи якусь іншу основну концепцію CS, наприклад, машини Тьюрінга? Шукаю посилання / програми. Однак зауважте, що мені відомо про зв’язок між напівгрупами та мовами CS (а саме через обмежені автомати ). (Чи ця література …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Читаючи деякі блоги про складність обчислювальної техніки (наприклад, тут ), я засвоїв думку, що вирішити, чи є дві групи ізоморфними, простіше, ніж тестувати два графіки на ізоморфізм. Наприклад, на зазначеній сторінці написано, що графічний ізоморфізм є більш загальною проблемою, ніж груповий ізоморфізм. Отже, я створюю наступне З огляду на групу …

12 complexity-theory  graph-isomorphism  group-theory