Thompson 群与 Brin-Thompson 群的求值问题及其与字问题的关系
群论
2021-11-17 v1 计算复杂性
摘要
Thompson 群 以及 Brin-Thompson 群 均为有限生成,且可定义为作用于比特串、 respectively 比特串对上的幺半群。因此可为 和 定义求值问题。我们证明这些求值问题可归约到相应的字问题,且一般而言,这些求值问题实际上等价于字问题。 的求值问题的长输入版本是确定性上下文无关且逆向确定性上下文无关的,而 的是 P-完全的。
引用
@article{arxiv.2111.08646,
title = {Evaluation problems for the Thompson group and the Brin-Thompson group, and their relation to the word problem},
author = {J. C. Birget},
journal= {arXiv preprint arXiv:2111.08646},
year = {2021}
}
备注
27 pages