群上的函数与计算复杂性
群论
2007-05-23 v1
摘要
我们给出有限呈现群上定义的各类函数(等周、等径、Todd-Coxeter 半径、填充长度函数等)之间的联系,并研究这些函数与字问题的计算复杂性(确定性时间、非确定性时间、对称空间)之间的关系。我们证明等周函数总可以被线性减小(除非它是恒等映射)。我们基于上下文无关语言给出双指数不等式的一个新证明。
引用
@article{arxiv.math/0202124,
title = {Functions on groups and computational complexity},
author = {Jean-Camille Birget},
journal= {arXiv preprint arXiv:math/0202124},
year = {2007}
}