HNN扩张中共轭问题的泛复杂度与Miller群的算法分层
群论
2009-03-24 v1
摘要
我们讨论了群HNN扩张中，特别是Miller群中，共轭问题的时间复杂度。我们证明，在某种明确意义下，对于“几乎所有”元素，共轭问题可在三次时间内判定。值得注意的是，Miller群中的共轭问题可能是不可判定的。我们的结果表明，该问题的“困难”实例仅构成群中可忽略的一小部分。
引用
@article{arxiv.0903.3754,
title = {Generic complexity of the Conjugacy Problem in HNN-extensions and algorithmic stratification of Miller's groups},
author = {Alexandre V. Borovik and Alexei G. Myasnikov and Vladimir N. Remeslennikov},
journal= {arXiv preprint arXiv:0903.3754},
year = {2009}
}