当前位置: X-MOL 学术arXiv.cs.CC › 论文详情
Parallel algorithms for power circuits and the word problem of the Baumslag group
arXiv - CS - Computational Complexity Pub Date : 2021-02-19 , DOI: arxiv-2102.09921
Caroline Mattes; Armin Weiß

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 x2^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 essentials steps is to compare two integers given by power circuits and this problem, in general, is P-complete. The key observation here is that the depth of the occurring power circuits is logarithmic and such power circuits, indeed, can be compared in NC.

中文翻译:

电源电路的并行算法和Baumslag组的单词问题

电源电路由Myasnikov,Ushakov和Won于2012年引入,作为非基本压缩整数的数据结构,支持算术加法和$(x,y)\ mapsto x2 ^ y $。同一作者应用电源电路为具有非基本Dehn函数的Baumslag组的单词问题提供了多项式时间解。在这项工作中,我们研究了并行复杂度方面的电源电路和Baumslag组的词问题。特别是,我们确定可以在NC中解决Baumslag组的单词问题-即使基本步骤之一是比较电源电路给出的两个整数,并且这个问题通常是P完全的。此处的主要观察结果是,发生的电源电路的深度是对数的,而实际上,
更新日期:2021-02-22
全部期刊列表>>
2021新春特辑
SN Applied Sciences期刊征稿中
虚拟特刊
亚洲大洋洲地球科学
NPJ欢迎投稿
自然科研论文编辑
ERIS期刊投稿
欢迎阅读创刊号
自然职场,为您触达千万科研人才
spring&清华大学出版社
城市可持续发展前沿研究专辑
Springer 纳米技术权威期刊征稿
全球视野覆盖
施普林格·自然新
chemistry
物理学研究前沿热点精选期刊推荐
自然职位线上招聘会
欢迎报名注册2020量子在线大会
化学领域亟待解决的问题
材料学研究精选新
GIANT
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
阿拉丁试剂right
上海中医药大学
哈工大
西湖大学
化学所
北京大学
山东大学
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
南方科技大学
张凤娇
中国石油大学
天合科研
x-mol收录
试剂库存
down
wechat
bug