一个组合几何最优化未解决问题的半机械化解法

• 作者: 单美静 曾振柄
• 来源期刊: 计算机工程与科学
• 学科: 数学
• 关键词: 凸n边形面积 全局最优化问题 非线性规划 半机械化方法
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 研究与实现
• 页码范围: 147-150,154
• 页数: 5页
• 分类号: O153.3
• 字数: 4627字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.11.045

摘要

本文证明了一个关于凸n边形面积的不等式猜测在n=8时的正确性,并对n=9的情况做了讨论.首先将这个最优化问题转化为多项式不等式方程组的实解的存在性问题;其次通过分析最优图形给出了一些化简不等式方程组和减少系统自由变元的方法;利用符号计算等方法建立了一个半机械化方法求多项式方程组作为约束条件的非线性规划问题准确解.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾振柄	华东师范大学上海市高可信计算重点实验室	29	105	6.0	8.0
2	单美静	华东师范大学上海市高可信计算重点实验室	5	6	1.0	2.0