**吴消元法**，又称**吴特征列方法**，是吴文俊院士创立的将多元多项式方程组简化然后求解的机械化算法。吴消元法可用计算机实现，是数学机械化的基础。

历史
--

多项式的指标
------

多项式：

P=P(x\_{{1}},x\_{{2}},……x\_{n})中
主变元
变元(x\_{{1}},x\_{{2}},……x\_{n})中下标最大下标
称为多项式P的主变元，记为 Ivar(P)

例如 P=-2\*x\_{2}^2-x\_{1}\*x\_{2}^2+2\*x\_{1}\*x\_{2}+2\*x\_{1}^2\*x\_{1}+x\_{1}^3
变元为x\_{{1}},x\_{{2}},主变元为 Ivar(P)=x\_{2}。
多项式的类
多项式P的**类**定义为 主变元 Ivar(P)的下标，记作 cls(P).
上例多项式P的**类** 为 cls(P)=2。
多项式的次数
多项式关于变元x\_{{i}}的次数 记为 deg(P,x\_{{i}})
多项式关于主变元的*次数*，记为deg(P)=deg(P,ivar(P))
多项式的长度，定义为多项式的项数，记为 t(P).
多项式的指标集[t(P),cls(P),deg(P)]。

多项式的初式和正则形式
-----------

初式
多项式的**初式**，是多项式主变数最高幂项的系数，记为 init(P)

例如 P=-2\*x\_{2}^2-x\_{1}\*x\_{2}^2+2\*x\_{1}\*x\_{2}+2\*x\_{1}^2\*x\_{1}+x\_{1}^3
{\displaystyle =(-2-x\_{1})\*x\_{2}^{2}+2\*x\_{1}\*x\_{2}+2\*x\_{1}^{2}\*x\_{1}+x\_{1}^{3}}

init(P)=(-x\_{1}-2);

初式 init(P)是一个除主变元之外的多项式I

：I=I(x\_{{1}},x\_{{2}},……x\_{c-1})

其中 c=cls(P) 是多项式 P的类。
正则形式
将多项式表示为 

P=I\*x\_{c}^d+关于x\_{c}的低次幂项，称为多项式P的**正则形式**。

多项式的偏序和约化
---------

P，Q为非零多项式，如果 cls(P)<cls(Q)，或cls(P)=cls(Q)，但deg(P)<deg(Q),则称P的序低于Q的序。记为 P<Q。

如果P<Q，或Q< P 都不成立，则P，Q同序，记为 P~Q.
### 约化

多项式 P，Q，如果 

cls(P) =c>0； deg(Q,x\_{c})<deg(P).
则称P对于Q是约化的

如果多项式P的初式 init(P) 是常数，则对于任何低类多项式Q，（cls(Q)<cls(P))都是约化的。

例子：

  

P=(x\_{1}+3)\*(x\_{1}+8)\*x\_{2}^5+S(x\_{1},x\_{2}) 
Q=(x\_{1}+1)\*(x\_{1}+2)\*(x\_{1}+3)\*x\_{2}^2
其中 ivar(P)=x\_{{2}}

cls(P)=c=2
deg(P)=5
deg(S)<5
deg(Q,x\_{c})=2;
P 对于 Q 是约化的。

升列与三角列
------

升列
多项式集 AS: A\_{1},A\_{2}....A\_{r}是一个**升列**

如果满足以下两个条件：

1. cls(A\_{1}） < cls(A\_{2}) <....< cls(A\_{r})
2. init(A\_{j}) 关于 A\_{i} 对于任意的 i<j 是约化的。

三角列
如果非零多项式集 AS: A\_{1},A\_{2}....A\_{r}
只满足：
cls(A\_{1}） < cls(A\_{2}) <....< cls(A\_{r})
则非零多项式集 AS 是一个**三角列**，又称为**弱升列。**

多项式求余与零点集
---------

两个多项式:F,G, 其中 cls(F)=c,init(F)=I,通过多项式除法可得：

I^s\*G=Q\*F+R 
如取s尽量小，R称为 G关于F的Ritt余式，记为 R=Remdr(G/F)

零点集
多项式方程组 PS =0 的全部解，称为PS 的零点集，记为 Zero(PS)
两个多项式方程组 P\_{1},P\_{2}
如果 R=Remdr(P\_{2}/P\_{1})
则 Zero(PS)=Zero(P\_{2},P\_{1})=Zero((P\_{2},P\_{1},R)
加入余式，零点集不变。
多项式对升列的余式
给出一个多项式P=P(x\_{{1}},x\_{{2}}……x\_{{k}}}和一个升列 AS={A\_{1},A\_{2}……A\_{k}}

按反向次序连环计算下列余式：

r\_{k}=Remdr(P / A\_{k})
r\_{k-1}=Remdr(r\_{k} / A\_{k-1})
\ldots 
r\_{1}=Remdr(r\_{2} / A\_{1})
最后得到的余式 r\_{1}≡R≡Remdr(P/AS) 称为 P 对于 AS 的余式。

R 是唯一确定的多项式。
R 对于 AS 是约化的。

软件包
---

* 王东明 以 Maple 编写的 CharSets 软件包，自1991年就成为Maple Shared Library 的软件包，也是他2003年 Epsilon Maple软件包的组成单元之一
* 数学机械化自动推理平台 MMP 3.0 有 charser 软件，但MMP 3.0 平台为半成品，用户寥寥无几，远不如 王东明 CharSets 软件包成功。

应用
--

* 计算机视觉、自動化定理證明、机器人、生物

参考文献
----

### 引用

1. ↑  吴文俊，第三章 74页
2. ↑  Wen-tsün,p9
3. ↑  吴文俊 75页
4. ↑  吴文俊 75页
5. ↑  吴文俊 75页
6. ↑  关霭雯 15页
7. ↑  Wen-tsün, p9
8. ↑  关霭雯 16页
9. ↑  关霭雯 16页
10. ↑  吴文俊 76页
11. ↑  吴文俊 76页
12. ↑  吴文俊 79页
13. ↑  关霭雯 13页
14. ↑  关霭雯 13
15. ↑  关霭雯 21页
16. ↑  吴文俊 80页
17. ↑  Domgming Wang, p26 CharSets Package - Version 2.2 (C) 2003 by Dongming Wang [cfactor, charser, charset, csolve, ecs, eics, ics, iniset, ivd, mcharset, mcs, mecs, pid, qics, remset]
18. ↑  Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong.. Journal of Automated Reasoning. 1995, **14** (2): 257–291. ISSN 0168-7433. doi:10.1007/bf00881858.

### 书籍

* 吴文俊 著 《数学机械化》 科学出版社 2006 ISBN 7-03-010764-0
* Wen-tsün Wu, The Characteristic Set Method and Its Applications, p4-41 Mathematics Mechanization and Applications, Ed, Xiao-Shan Gao, Dongming Wang, Academic Press 2000 ISBN 0-12-734760-7
* 王东明 著 《消去法及其应用》 科学出版社 2002 ISBN 7-03-010560-5
* Dongming Wang（王东明）. *Elimination Practice* London: Imperial College Press, 2004, ISBN 1-86094-438-8
* 高小山、王定康、裘宗燕、杨宏 著 《方程求解与机器证明》 科学出版社 2008 ISBN 978-03-017862-6
* 关霭雯 编 《吴消元法讲义》 北京理工大学 1994

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
中國數學史 |
| --- |
|  |
| 上古至西汉 | 
* 幻方
* 十进位制
* 九九表
* 算筹
* 筹算
* 算表
* 算数书
* 《周髀算經》
* 《九章算术》
* 张苍
* 耿寿昌
* 《许昌算术》
* 《杜忠算术》
* 勾股定理
* 开方术
* 盈不足术

 |
|  |
| 东汉三国 | 
* 张衡
* 赵爽
* 刘洪
* 徐岳
* 《数术记遗》
* 王蕃
* 刘徽
	+ 割圆术
* 《海岛算经》
* 勾股容方
* 出入相补

 |
|  |
| 晋隋唐五代 | 
* 张邱建
	+ 《张邱建算经》
* 夏侯阳
	+ 《夏侯阳算经》
* 何承天
	+ 调日法
* 甄鸾
* 祖冲之
* 开差幂
* 牟合方盖
* 王孝通
	+ 《缉古算经》
* 李淳风
* 僧一行
* 大衍历
* 明算科
* 重差术
* 《孙子算经》
* 《五经算术》
* 《五曹算经》
* 《算经十书》

 |
|  |
| 两宋 | 
* 沈括
* 李籍
* 刘益
	+ 《议古根源》
* 贾宪
	+ 贾宪三角形
	+ 增乘开平方法
	+ 增乘开立方法
	+ 《黄帝九章算术细草》
* 秦九韶
	+ 秦九韶算法
	+ 《数书九章》
	+ 大衍求一术
* 杨辉
	+ 杨辉纵横图
	+ 幻圆
	+ 《杨辉算法》
		- 《乘除通變算寶》
		- 《田畝比類乘除捷法》
		- 《續古摘奇算法》
	+ 《詳解九章算法》
	+ 《日用算法》
* 《九章算法纂類》
* 递增三乘开四次方术

 |
|  |
| 辽金元 | 
* 张行简
* 天元术
* 李冶
	+ 《测圆海镜》
	+ 《益古演段》
* 《授时历》
	+ 郭守敬
	+ 王恂
* 朱世
	+ 《算学启蒙》
	+ 《四元玉鉴》
	+ 垛积术
* 招差术
* 赵友钦
	+ 《革象新书》
	+ 割圆术
* 金历法
* 耶律楚材历法
* 阿拉伯幻方
* 马拉加天文台

 |
|  |
| 明 | 
* 《丁巨算法》
* 《算法全能集》
* 《透帘细草》
* 吴敬
	+ 《九章详注比类算法大全》
* 王文素
	+ 《新集通證古今算學寶鑑》
* 朱載堉
	+ 十二平均律
	+ 《算学新说》
	+ 《嘉量算經》
* 珠算
	+ 算盘
	+ 《盘珠算法》
* 柯尚迁
	+ 《数学通轨》
* 程大位
	+ 《算法統宗》
		- 格子乘法
* 徐光启
	+ 译《几何原本》前6卷
	+ 《崇祯历书》
* 《算法全能集》
* 《详明算法》
* 《通源算法》

 |
|  |
| 清 | 
* 薛凤祚
* 李子金
	+ 《算法通义》
* 梅文鼎
* 年希尧
	+ 《视学》
* 戴震
* 李湟
* 沈钦裴
* 《畴人传》
* 《数理精蕴》
* 明安图
	+ 《割圜密率捷法》
	+ 割圆连比例
	+ 明安图变换
	+ 卡塔兰数
* 吴烺
* 焦循
	+ 《加减乘除释》
* 李锐
	+ 《开方说》
* 汪莱
	+ 《衡斋算学》
* 孔广森
* 董祐誠
	+ 《割圆比例术图解》
	+ 项名达
* 《象数一原》
* 張敦仁
	+ 《求一算术》
* 戴煦
	+ 《求表捷术》
* 王韬
* 李善兰
	+ 李善兰恒等式
	+ 《则古昔斋算学》
	+ 译《几何原本》后9卷
* 华蘅芳
	+ 《决疑数学》
* 丁取忠
	+ 《白芙堂算学从书》
* 时曰醇
	+ 《百鸡术衍》
* 同文馆
	+ 《同文馆算学课艺》

 |
|  |
| 现代 | 
* 胡明复
* 熊庆来
* 何鲁
* 段子燮
* 李俨
* 姜立夫
* 陈苏学派
	+ 陈建功
	+ 苏步青
* 陈省身
* 钱宝琮
* 江泽涵
* 华罗庚
	+ 《數論導引》
	+ 《堆叠素数论》
* 王元
* 潘承洞
* 许宝騄
* 陈景润
* 丘成桐
* 吴文俊
	+ 吴消元法
* 廖山涛

 |

 |