| Todd-Coxeter算法的证明 |
| |
| 引用本文： | 刘文海,李忠森. Todd-Coxeter算法的证明[J]. 长沙大学学报, 2013, 0(5): 5-6 |
| |
| 作者姓名： | 刘文海 李忠森 |
| |
| 作者单位： | 福建对外经济贸易职业技术学院,福建福州350016 |
| |
| 摘 要： | 提出了Todd-Coxeter算法在有限步内终止的条件,并作出了论证.结论可以作为Todd-Coxeter算法应用的理论依椐.
|
| 关 键 词： | 群论 群作用 Todd-Coxeter 陪集枚举 |
The Proving of Todd-Coxeter Algorithm |
| |
| LIU Wenhai,LI Zhongsen. The Proving of Todd-Coxeter Algorithm[J]. Journal of Changsha University, 2013, 0(5): 5-6 |
| |
| Authors: | LIU Wenhai LI Zhongsen |
| |
| Affiliation: | (Fujian International Business ＆ Economic College, Fuzhou Fujian 350016, China) |
| |
| Abstract: | The paper has put forward the condition to terminate the Todd - Coxeter algorithm within finite steps and also proves it. The theorem can be used as the theoretical basis of the application of Todd - Coxeter algorithm. |
| |
| Keywords: | group theory action of group Todd - Coxeter coset enumeration |
| 本文献已被 维普 等数据库收录！ |
