北京工业大学学报
北京工業大學學報
북경공업대학학보
JOURNAL OF BEIJING POLYTECHNIC UNIVERSITY
2002年
1期
97-99,106
,共4页
量词消去%二次线性优化%整数优化%计算复杂性
量詞消去%二次線性優化%整數優化%計算複雜性
량사소거%이차선성우화%정수우화%계산복잡성
应用来自Weispfenning的关于线性以及二次线性优化的量词消去方法和Shostak解Presburger公式的SUP-INF方法,研究了带有参数的二次目标函数的线性优化,给出了一种具有参数的二次目标函数的整线性优化的量词消去方法. 分析表明,所用方法具有几乎最优的复杂性.
應用來自Weispfenning的關于線性以及二次線性優化的量詞消去方法和Shostak解Presburger公式的SUP-INF方法,研究瞭帶有參數的二次目標函數的線性優化,給齣瞭一種具有參數的二次目標函數的整線性優化的量詞消去方法. 分析錶明,所用方法具有幾乎最優的複雜性.
응용래자Weispfenning적관우선성이급이차선성우화적량사소거방법화Shostak해Presburger공식적SUP-INF방법,연구료대유삼수적이차목표함수적선성우화,급출료일충구유삼수적이차목표함수적정선성우화적량사소거방법. 분석표명,소용방법구유궤호최우적복잡성.