二次参数实整混合线性优化的量词消去法
Keywords: 量词消去,二次线性优化,整数优化,计算复杂性
Abstract:
应用来自Ｗｅｉｓｐｆｅｎｎｉｎｇ的关于线性以及二次线性优化的量词消去方法和Ｓｈｏｓｔａｋ解Ｐｒｅｓｂｕｒｇｅｒ公式的ＳＵＰ－ＩＮＦ方法，研究了带有参数的二次目标函数的线性优化，给出了一种具有参数的二次目标函数的整线性优化的量词消去方法．分析表明，所用方法具有几乎最优的复杂性．
| [1] | LOOS R, WEISPFENNING V. Applying linear quantifier elimination[J]. Comput J, 1993, 36: 450-462.
|
| [2] | SHOSTAK R E. On the SUP-INF method of proving Presburger formulas[J]. J ACM, 1979, 26: 351-360.
|
| [3] | BAREISS E H Sylvester's identity and multistep integer preserving gaussian elimination[J]. Math Comput 1968,22: 565-578.
|
Full-Text
