| 二次参数实整混合线性优化的量词消去法 |
| |
| 引用本文： | 赵枫朝,于书举,刘俊千.二次参数实整混合线性优化的量词消去法[J].北京工业大学学报,2002,28(1):97-99. |
| |
| 作者姓名： | 赵枫朝 于书举 刘俊千 |
| |
| 作者单位： | 北京工业大学,计算机学院,北京,100022 |
| |
| 摘 要： | 应用来自Weispfenning的关于线性以及二次线性优化的量词消去方法和Shostak解Presburger公式的SUP-INF方法,研究了带有参数的二次目标函数的线性优化,给出了一种具有参数的二次目标函数的整线性优化的量词消去方法. 分析表明,所用方法具有几乎最优的复杂性.
|
| 关 键 词： | 量词消去 二次线性优化 整数优化 计算复杂性 |
| 文章编号： | 0254-0037(2002)01-0097-03 |
| 修稿时间： | 2001年3月28日 |
Parametric Quadratic Mixed Real-Integer Optimization By Quantifier Elimination |
| |
| ZHAO Feng-chao,YU Shu-ju,LIU Jun-qian.Parametric Quadratic Mixed Real-Integer Optimization By Quantifier Elimination[J].Journal of Beijing Polytechnic University,2002,28(1):97-99. |
| |
| Authors: | ZHAO Feng-chao YU Shu-ju LIU Jun-qian |
| |
| Abstract: | A new elimination method for mixed real-integer optimization with quadratic objective function and parametric coeffcients is presented. The method combines ideas from the one found by Weispfenning about real linear and quadratic optimization and the one by Shostak on the SUP-17NF method of proving Presburger formulas. It is proved that the algorithm has an almost optimal complexity, and is implemented by some test examples using a preliminary MAPLE, the symbolic computational language. |
| |
| Keywords: | quantifier elimination quadratic linear optimization integer optimization computational complexity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
