
arXiv: 2002.11391
The Cayley table representation of a group uses $\mathcal{O}(n^2)$ words for a group of order $n$ and answers multiplication queries in time $\mathcal{O}(1)$. It is interesting to ask if there is a $o(n^2)$ space representation of groups that still has $\mathcal{O}(1)$ query-time. We show that for any $δ$, $\frac{1}{\log n} \le δ\le 1$, there is an $\mathcal{O}(\frac{n^{1 +δ}}δ)$ space representation for groups of order $n$ with $\mathcal{O}(\frac{1}δ)$ query-time. We also show that for Z-groups, simple groups and several group classes defined in terms of semidirect product, there are linear space representations with at most logarithmic query-time. Farzan and Munro (ISSAC'06) defined a model for group representation and gave a succinct data structure for abelian groups with constant query-time. They asked if their result can be extended to categorically larger group classes. We construct data structures in their model for Hamiltonian groups and some other classes of groups with constant query-time.
Computer Science - Symbolic Computation, FOS: Computer and information sciences, Data structures, Hamiltonian groups, Symbolic Computation (cs.SC), finite groups, Structure and classification of infinite or finite groups, space-efficient data structures, succinct data structures, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS)
Computer Science - Symbolic Computation, FOS: Computer and information sciences, Data structures, Hamiltonian groups, Symbolic Computation (cs.SC), finite groups, Structure and classification of infinite or finite groups, space-efficient data structures, succinct data structures, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
