| 素数阶群理论的量词消去及复杂性 |
| |
| 引用本文： | 沈云付.素数阶群理论的量词消去及复杂性[J].数学学报,2001,44(1):21-28. |
| |
| 作者姓名： | 沈云付 |
| |
| 作者单位： | 上海大学计算机学院 |
| |
| 基金项目： | 浙江省自然科学基金资助项目 |
| |
| 摘 要： | 本文中我们将研究语言，上素数阶群理论Ｔ的量词消去及相应的复杂性．我们证明理论Ｔ有量词消去性质，并利用该性质给出理论Ｔ判定问题的一个复杂性上界．
|
| 关 键 词： | 群 素数阶 算法 量词消去 复杂性 |
| 文章编号： | 0583-1431(2001)01-0021-08 |
| 修稿时间： | 1999年2月4日 |
Quantifiers Elimination and Complexity for the Theory of Groups of Prime Orders |
| |
| SHEN Yun Fu.Quantifiers Elimination and Complexity for the Theory of Groups of Prime Orders[J].Acta Mathematica Sinica,2001,44(1):21-28. |
| |
| Authors: | SHEN Yun Fu |
| |
| Institution: | SHEN Yun Fu (Computer Science, Shanghai University, Shanghai 200072, P. R. China) (E-mail: yfshen 88 @263. net) |
| |
| Abstract: | We deal with the quantifier eliminations and corresponding computational complexities for the theory T of groups of prime orders over language We prove that T has the quantifier elimination property and give,an upper bound of the decision problem for theory T. |
| |
| Keywords: | Group Prime order Algorithm Quantifier elmination Complexity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《数学学报》浏览原始摘要信息 |
| 点击此处可从《数学学报》下载免费的PDF全文 |
