书书书
! "#$# 年 % 月 重庆师范大学学报(自然科学版) &’() "#$#
第 "* 卷 第 + 期 ,-./012 -3 45-067806 9-/:12 ;08<’/=8>?(91>./12 &@8’0@’) A-2) "* 9-) +
运筹学与控制论
BCD:$#) E%F% G ,) D&&9) $F*"H FF%E) "#$#) #+) ##$
混合整数二次规划的全局充分性最优条件
!
祁云峰,吴至友
(重庆师范大学 数学学院,重庆 I###I*)
摘要:利用一些学者提出的一种研究全局最优化问题的全局最优性条件的新方法,讨论了一些带有二次约束的非凸
二次规划问题的全局最优性条件。本文主要通过利用拉格朗日函数
!
!
,"
#
$
"
$
J
%
!
,"
$ & ’
J
!
,"
$ &
"
(
#
)
!
(
*
(
&
"
+
#
,
"
+
*
+
,正
则锥(
-
.,/
($
#
)# {0
#
.:0(1)2 0($
#
)
$
#,
%
1
#
/})和 .3 次微分相结合的方法,
给出了带不等式约束的混合整数
二次规划最小问题的全局极小点的全局最优性充分条件,而且推广了现有文献中的一些结论。同时通过一些实值
例子说明了本文给出的最优性充分条件的可行性和有效性。
关键词:二次混合整数规划;不等式约束;等式约束;充分性条件
中图分类号:
C""$) $ 文献标识码:K! ! ! 文章编号:$F*"H FF%E("#$#)#+H ###$H #I
! ! 全局最优化领域的最基本的理论之一就是怎样
判定一个给定的解是否是全局最优解。全局最优型
必要条件是说明一个解不是全局最优解的一种工具
之一。而全局最优性充分条件是用来说明一个解是
全局最优解的工具之一。近年来,关于如何刻画一
个凸规划问题的解,特别是在给出凸规划问题的必
要条件方面已经取得了很大的进展
[$H%]
。然而,在如
何刻画一个非凸规划问题的全局最优解方面的进展
却很有限。通过利用 .3 次微分给出了带双值与不
等式约束的非凸二次规划问题的全局最优性充分条
件
[E]
;有学者提出了带箱子约束的非凸二次规划问
题的全局最优性充分条件
["]
。本文通过利用拉格朗
日函数和 .3 次微分,给出了对于带有不等式与等式
约束的混合整数非凸二次规划问题的全局最优性充
分条件。
考虑下面非线性最优化问题:(LD MN)
:80 4($)# $
J
5
#
$ & $
J
6
#
=) >) ! 7
(
($)#
$
"
$
J
5
(
$ & $
J
6
(
& *
(
$
#
( # $,",…,8
7
+
($)#
$
"
$
J
5
+
$ & $
J
6
+
& *
+
# #
+ # 8 & $,8 & ",…,8 & 9
$
#
&
0
#
:
["
0
,;
0
]
&
<
#
-
{9
<
,9
<
& $,…,=
<
}
其中
:
’
- #
(
,:
)
- # {$,",…,>},"
0
,;
0
#
!,
"
0
? ;
0
,对任何 0
#
:;9
<
,=
<
都是整数且 9
<
? =
<
,
%
<
#
-。6
(
#(6
$
(
,6
"
(
,…,6
>
(
)
J
,5
(
# @
>
,( # #,$,…,8 &
9
。该模型包含了一大类的二次最优化问题。
$ 预备知识
介绍文章中所运用到的一些基本的定义与记
号。! 表示实线性空间,!
>
表示 > 维欧几里德空间,
!
>
&
表示 > 维非负欧几里德空间,对于向量 $,1
#
!
>
,$
*
1
+
$
(
*
1
(
,( # $,",…,>。记号 5
*
A
+
5 2
A 是半正定矩阵。用 B(67(
#
$
,
#
"
,…,
#
>
)表示对角元
素为
#
$
,
#
"
,…,
#
>
的对角矩阵,设 . 为所有定义在
!
>
上一些实值函数的集合。
定义$
[O]
! (.3 次微分)设4:!
>
,
! 且 $
#
#
!
>
,
0
#
.,若 4($)
*
4($
#
)& 0($)2 0($
#
),
%
$
#
!
>
,则
称 0 为 4 在 $
#
处的 .3 次微分。
!
.
4($)表示 4 在 $
#
处的所有 .3 次微分的集合。
注意到如果 . 是定义在 !
>
中所有线性函数的集合,
则对于任意定义在
!
>
上的实值凸函 数 4,都有
!
.
4($)#
!
4($),其中
!
4($)为在文献[%]的关于凸
函数的次微分。
定义"
[E]
! 正则锥:对于集合/
-
!
>
且$
#
#
/,
则 / 在 $
#
关于 . 的正则锥定义如下形式
-
.,/
($
#
)# {0
#
.:0(1)2 0($
#
)
$
#,
%
1
#
/}
!
收稿日期:"#$#H #IH $*
资助项目:重庆市自然科学基金(9-) "##*PP%"EE)
作者简介:祁云峰,女,硕士研究生,研究方向为最优化理论与方法;通讯作者:吴至友,QH:182:R58?-.S.T "FE) 0’>