Pertanyaan yang diberi tag «group-theory»

Mengapa perusahaan seperti Twitter tertarik pada konsep aljabar seperti grup, monoids, dan cincin? Lihat repositori mereka di github: twitter / algebird . Yang bisa saya temukan adalah: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom , HyperLogLog , dan CountMinSketch . Ini memungkinkan Anda untuk memikirkan operasi canggih …

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

Apakah ada cara alami atau terkenal untuk menghubungkan atau menautkan kelompok matematika dan bahasa formal CS atau konsep inti CS lainnya misalnya mesin Turing? Saya mencari referensi / aplikasi. Namun perhatikan bahwa saya mengetahui tautan antara semigroup dan bahasa CS (yaitu via finata automata ). (Apakah literatur tentang semiautomata ini …

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

Dalam membaca beberapa blog tentang kompleksitas komputasi (misalnya di sini ) saya berasimilasi gagasan bahwa memutuskan apakah dua kelompok isomorfik lebih mudah daripada menguji dua grafik untuk isomorfisme. Sebagai contoh, pada halaman lain dikatakan bahwa graf isomorfisme adalah masalah yang lebih umum daripada isomorfisme kelompok. Karenanya saya mengajukan yang berikut …

12 complexity-theory  graph-isomorphism  group-theory