有序实数加法理论新的判定过程与多项式谱

• 作者: 薛锐
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 实数加法 判定过程 量词的界 量词消去 计算复杂性 多项式谱
• 年，卷（期）: 2001,（7）
• 页码范围: 1088-1093
• 页数: 6页
• 分类号: TP301
• 字数: 5130字
• 语种: 中文

摘要

推广Volker Weispfenning关于正的有序实数加法理论的量词消去方法,得到有序实数加法理论的一个量词消去的判定过程.在此基础上构造出一个新的、更为精细的判定方法.并且利用这一结果证明了固定量词长度的子类属于相应计算复杂性的多项式谱.与E.D.Sontag的类似结论比较,从这种简洁的方式可以得到一个较优的结果.这个结果实际上将N.Megiddo的关于正实数理论的结论推广到了一般实数理论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锐	中国科学院软件研究所	20	275	7.0	16.0