We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: Parallel algorithms for power circuits and the word problem of the Baumslag group

Abstract: Power circuits have been introduced in 2012 by Myasnikov, Ushakov and Won as a data structure for non-elementarily compressed integers supporting the arithmetic operations addition and $(x,y) \mapsto x\cdot 2^y$. The same authors applied power circuits to give a polynomial-time solution to the word problem of the Baumslag group, which has a non-elementary Dehn function.
In this work, we examine power circuits and the word problem of the Baumslag group under parallel complexity aspects. In particular, we establish that the word problem of the Baumslag group can be solved in NC - even though one of the essential steps is to compare two integers given by power circuits and this, in general, is shown to be P-complete. The key observation is that the depth of the occurring power circuits is logarithmic and such power circuits can be compared in NC.
Subjects: Computational Complexity (cs.CC); Group Theory (math.GR)
ACM classes: F.2.2; G.2.m
Cite as: arXiv:2102.09921 [cs.CC]
  (or arXiv:2102.09921v4 [cs.CC] for this version)

Submission history

From: Caroline Mattes [view email]
[v1] Fri, 19 Feb 2021 13:29:42 GMT (47kb)
[v2] Mon, 10 May 2021 10:19:17 GMT (72kb,D)
[v3] Thu, 12 Aug 2021 12:36:50 GMT (147kb,D)
[v4] Wed, 15 Jun 2022 14:21:48 GMT (139kb,D)

Link back to: arXiv, form interface, contact.