可量词消去的带根节点的树理论  

The Classification of All Quantifier-Eliminable Directed or Undirected Trees with a Root

作　　者：傅莺莺[1] 沈复兴[2] 

机构地区：[1]北京工商大学理学院,北京100048 [2]北京师范大学信息科学与技术学院,北京100875

出　　处：《数学学报（中文版）》2015年第4期691-704,共14页Acta Mathematica Sinica：Chinese Series

基　　金：国家自然科学基金(61304155;11401015;11101012);北京市高校创新人才项目(201306206);北京市教委面上项目(KM201510011001);北京工商大学青年教师科研启动基金(QNJJ2014-27)

摘　　要：讨论了带根节点r的有向树、无向树理论的量词消去性质,找到决定理论量词消去的三类特殊公式,并给出了在语言■_0={E,r}(E为有向边或无向边)及添加二元距离关系D_(n,n)<w所得膨胀语言下,可量词消去的这两类理论的完全分类.We put forward three special formulas to describe the structural characteristics of directed or undirected trees with a root.On this basis,quantifier elimination property for directed or undirected trees with root r in the language L0= {E,r} and its expansion is discussed and four classification results are proposed.

关 键 词：量词消去 有向树 无向树 

分 类 号：O144.4[理学—数学]