用于双陪集系统的串重写
组合数学
2007-05-23 v1 群论
摘要
在本文中我们展示如何应用串重写方法给出一种计算双陪集的新方法。先前的双陪集方法是枚举式的,因而局限于有限例子。我们的重写方法不受此限制,并给出一些无限双陪集系统的例子,它们现在可轻易地用我们的方法求解。即使在枚举与重写技术都可用时,我们的重写方法仍具竞争力,因为其一)不需要预先计算陪集;其二)如同单陪集问题,有许多例子重写比枚举更有效。自动机提供了在无限情形下识别正规形表达式的手段,我们展示如何在此背景下构造它们。此外,利用关于幺半群表示的带日志串重写的有关结果,我们展示如何提供计算的见证,以及如何提取关于子群及其之间关系的信息。最后,我们讨论双陪集问题如何是计算范畴的诱导作用问题的一个特例,这表明我们的重写方法可应用于比双陪集问题广泛得多的一类问题。
引用
@article{arxiv.math/0508391,
title = {String rewriting for Double Coset Systems},
author = {Ronald Brown and Neil Ghani and Anne Heyworth and Christopher D. Wensley},
journal= {arXiv preprint arXiv:math/0508391},
year = {2007}
}
备注
accepted for publication by the Journal of Symbolic Computation