Gr(?)bner基理论在多项式分解和哈密顿圈问题中的应用

论文摘要

论文的主要工作是应用Gr(o|¨)bner基理论讨论有理系数高次多元多项式的可约性、二阶多项式矩阵的因子分解和求解平面图上所有的汉密顿圈。本论文由五章组成，前两章是介绍Gr(o|¨)bner基理论。第一章是文章的绪论，介绍计算机对数学的影响、计算代数和计算机代数中的基本概念、常用的数学软件—Maple及Gr(o|¨)bner基理论的形成．第二章介绍多Gr(o|¨)bner基的算法和Gr(o|¨)bner基的优化算法和交换环上多项式理想的Gr(o|¨)bner基。文章第三章将Gr(o|¨)bner基理论应用到高次多元多项式因式分解问题，得到了因式分解的判断方法：将高次多元多项式因式分解转化为方程组解的问题，依据方程组中的多项式构成理想的Gr(o|¨)bner基G作出判断，如果G没有有分式解，多项式不能分解；如果G有分式解，多项式能分解．并且得到了与多项式因式分解有关的一些具体性质．同时讨论了二阶多元多项式矩阵因子分解，可分解的充要条件是它的行列式可以分解，并讨论了运用环上Gr(o|¨)bner基作二阶矩阵的因子分解。文章第五章运用了平面图上由片的概念导出的等价关系证明了平面图上任何一条汉密顿圈确定图上至少一个染色解；平面图上如果存在汉密顿圈，则必然有一个染色方案存在使得这条汉密顿圈是其中染两种颜色面与染另外两种颜色的面的交界边。并且利用这一性质，并结合Gr(o|¨)bner基方法给出了一种可以找到平面图上所有汉密顿圈的算法，最后利用Gr(o|¨)bner基方法编程实现了这一算法。

论文目录

摘要

ABSTRACT

第一章绪论

1.1 计算机与数学

1.2 计算机代数

1.2.1 Maple介绍

1.3 Gr（o|¨）bner基

第二章基础知识

2.1 单项式的序

2.2 Gr（o|¨）bner基理论

2.3 S-多项式及其算法

2.4 环上Gr（o|¨）bner基

第三章 Gr（o|¨）bner基理论在多项式分解上的应用

3.1 高次多元多项式在有理数域上的因式分解

3.1.1 引言

3.1.2 多项式的处理方法与有关引理

3.1.3 主要结果

3.1.4 算法与例子

3.2 有单位元交换环上二阶矩阵的因子分解

3.2.1 引言

3.2.2 关于多项式矩阵的准备知识

3.2.3 主要结果

第四章搜索平面图上的汉密顿回路的方法

4.1 图论的基本概念

4.2 寻找平面图的汉密顿圈

4.3 计算实际例子

4.4 求平面图的汉密顿圈的程序

参考文献

攻读硕士学位期间主要研究成果

致谢

Gr(?)bner基理论在多项式分解和哈密顿圈问题中的应用

论文摘要

论文目录

相关论文文献