Questions tagged «group-theory»

6
组,monoid和环在数据库计算中有什么用?
为什么像Twitter这样的公司会对诸如群,半体和环之类的代数概念感兴趣?在github:twitter / algebird上查看他们的存储库。 我所能找到的是: 有趣的近似算法(例如Bloom过滤器,HyperLogLog和CountMinSketch)的Monoid实现。这些使您可以像想数字一样思考这些复杂的操作,然后将它们加到hadoop或在线中以生成强大的统计信息和分析数据。 并在GitHub页面的另一部分中: 它最初是作为Scalding的Matrix API的一部分开发的,其中矩阵的值是Monoids,Groups或Rings的元素 。随后,很明显,该代码在Scalding和Twitter的其他项目中具有更广泛的应用。 这种更广泛的应用可能是什么?在Twitter上以及出于一般利益? 似乎数据库的组合聚合具有类单态结构。 关于Quora的相同问题:Twitter对抽象代数(与algebird一起)的兴趣是什么? 我有数学背景,但不是计算机科学家。拥有半身像和半群的“真实世界”使用将是很棒的。这些通常被认为是无用的理论构造,并且在许多抽象代数课程中都被忽略了(因为缺乏有趣的说法)。

4
团体理论和形式语言的桥梁定理
是否存在某种自然或显着的方式来关联或链接数学组和CS 形式语言或其他一些核心CS概念(例如,图灵机)? 我正在寻找参考/应用程序。但是请注意,我知道半群语言和CS语言之间的联系(即通过有限自动机)。(有关半自动机的文献有没有看过“群自动机”?) 几年前,我见过一篇可能接近的论文,可以将TM转换表转换为二进制操作,在某些情况下有时甚至是一组操作,可以想象是基于TM状态表中的某种对称性。它没有特别探索,但也没有排除它。 而且,尤其是对于有关有限组分类的大量数学研究而言,它在TCS中是否具有任何意义或解释?这种庞大的数学研究大厦的“算法透镜”观点是什么?关于计算中可能存在的隐藏结构的“说明”是什么? 这个问题部分地受到其他一些注释的启发,例如: 在TCS中使用代数结构 格罗莫夫定理上的RJ Lipton

2
组同构到图同构
在阅读一些有关计算复杂性的博客时(例如,在此处),我吸收了这样一种观念,即确定两组是否同构比测试两个图的同构容易。例如,在所述页面上说图形同构是比组同构更普遍的问题。 因此,我提出以下内容 给定一个组,有人可以给出|的大小多项式图Γ (G )的构造。 G | 使得Γ (G ^ )≅ Γ (ħ )GGGΓ (G )Γ(G)\Gamma(G)| G ||G||G|团体 g ^和 ^ h ?Γ (G )≅Γ (ħ)⟺摹≅HΓ(G)≅Γ(H)⟺G≅H\Gamma(G) \cong \Gamma(H) \iff G \cong HGGGH?H?H?
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.