| 完全二叉树的量词消去 |
| |
| 引用本文： | 刘吉强,廖东升,罗里波.完全二叉树的量词消去[J].数学学报,2003,46(1):95-102. |
| |
| 作者姓名： | 刘吉强 廖东升 罗里波 |
| |
| 作者单位： | 1. 北方交通大学计算机与信息技术学院,北京,100044
2. 北京师范大学数学系,北京,100875 |
| |
| 基金项目： | 国家自然科学基金资助项目(19571009)，北方交通大学基金资助项目 |
| |
| 摘 要： | 量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一.本 文针对完全二叉树理论所独有的特性,给出了它的基本公式集,然后利用分布公式及 有限覆盖证明了完全二叉树的理论可以量词消去.
|
| 关 键 词： | 完全二叉树 量词消去 基本公式 分布公式 有限覆盖 |
| 文章编号： | 0583-1431(2003)01-0095-08 |
Quantifier Elimination for Complete Binary Trees |
| |
| Ji Qiang LIU.Quantifier Elimination for Complete Binary Trees[J].Acta Mathematica Sinica,2003,46(1):95-102. |
| |
| Authors: | Ji Qiang LIU |
| |
| Institution: | Ji Qiang LIU(College of Computer and Information Technology, Northern Jiaotong University, Beijing 100044, P. R. China)Dong Sheng LIAO Li Bo LUO(Department of Mathematics, Beijing Normal University, Beijing 100875, P. R. China) (Fax: (010)51686252; E-mail: jqliu2Q02cn@yahoo.com.cn) |
| |
| Abstract: | The method of quantifier elimination has been one of the powerful tools in the computer science and algebraic model theory. In this article, we deal with the theory of complete binary trees. After givling a set of fomulas as the Basic Formulas, we use the layout formulas and finite covering to prove that the theory of complete binary trees admits quantifier elimination. |
| |
| Keywords: | Complete binary trees Quantifier elimination Basic formulas Layout for-mulas Finite covering |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《数学学报》浏览原始摘要信息 |
| 点击此处可从《数学学报》下载免费的PDF全文 |
