1. 引言
考虑下述分布鲁棒优化问题
(1.1)
其中X是
上的闭集,
是连续函数,
是定义在可测空间
上的随机变量,它的概率分布P以
为支撑。
是包含随机变量
的真实概率分布P的随机分布集合,且该集合于决策相关,
表示关于
的数学期望。显然,这个模型中的关键是概率分布集
,我们称之为模糊集。在早期的研究中,学者们普遍假设不能获得随机变量的真实概率分布,只能知道局部的矩条件,并且这些条件独立于决策变量,在此基础上,可以构建模糊集来解决优化问题。Bertsima,Popescu [1] 考虑了随机变量
的均值和协方差矩阵,以此建立模糊集:
(1.2)
其中
表示
空间中所有概率测度的集合,但是他们也证明了在模糊集
下的模型是难以处理的。随后,Wiesemann,Kuhn,Sim [2] 等人将
中的
改为协方差的上界,得到了新的模糊集:
(1.3)
并证明了在模糊集
下的线性鲁棒优化问题是可处理的。Delage,Ye [3] 则在
的基础上进一步作出改进,令
,且
是已知的参数,则得到下列模糊集:
(1.4)
并证明了在适当的条件下真概率测度
的置信度
。刘强 [4] 以模糊集
为基础,讨论了基于一阶矩和二阶矩信息的不确定分布及的分布鲁棒优化问题,值得注意的是,支撑集
在分布鲁棒优化的重构问题的可处理性上有着重要影响。
在以上这些工作中,概率测度的分布集合都与决策无关。但在实际问题中,往往需要考虑决策变量对模糊集的影响,Zhang等人 [5] 考虑了一类模糊集依赖于决策变量x的分布鲁棒优化模型,并对其进行定量稳定性分析。其中模糊集表示为:
(1.5)
这里
是具有可测随机分量的向量或矩阵的随机映射,
的取值依赖于x,K是闭凸锥;石楠 [6] 考虑了仅可估计参数均值的情况,并假设均值与决策相关,以此构建了决策相关的模糊集。这类问题在实际应用中非常广泛,例如,Basciftci等人 [7] 考虑到选址决策会影响客户需求,从而提出了一个需求不确定性下的分布鲁棒设施选址问题;Doan [8] 考虑了决策相关模糊集下的分布鲁棒优化及其在改造规划中的应用。
本文结合
和
两个集合,构造了一个全新的模糊集,它类似
且随机变量的概率分布与决策变量相关,该集合含如下矩信息:
(1.6)
其中
是
上的闭凸集,
是
阶矩阵。
本文的剩余部分如下,第2章讨论了在(1.6)的条件下,问题(1.1)的等价形式,使原问题更易处理;第3章考虑了当支撑集
是全空间时,原问题可转化为半定规划;第4章在第3章的条件下进一步证明了半定规划可转化为二阶锥规划。
2. 原问题的重新表示
本章给出了问题(1.1)在模糊集(1.6)的条件下的重新表示。首先,我们给定
的具体表达,定义
,令:
(2.1)
我们可以得到问题(1.1)的重新表示:
命题2.1:问题(1.1)可以重新表示为下面的约束优化问题
(2.2)
其中
。
证明:定义问题(1.1)的内极大问题
,令
故而
(2.3)
由模糊集(1.6)的结构,可以写出下述内极大问题,即
(2.4)
且
是问题(2.4)的最优值。进一步,(2.4)的Lagrange函数为
其中
分别为对应的Lagrange乘子。由Shapiro [9] 对偶理论可得,
(2.5)
再由
的定义可知,
所以问题(1.1)等价于
,即原问题等价于约束优化问题(2.2)。
3. 原问题等价于半定规划问题
在这一章中,我们考虑当支撑集
是全空间时的情况,可以证明,当
时,原问题可以转化成一个半定规划问题,令
(3.1)
可以得到下面的定理:
定理3.1:令
,则问题(1.1)可以转化成如下半定规划问题:
(3.2)
证明:由(2.5)可知,
的约束条件是
。它可以等价地写成与
相关的不等式,即
这恰好等价于
,证毕。
4. 原问题等价于二阶锥规划问题
接下来,我们将问题(3.2)转化成更简单的非光滑凸问题,进而转化为二阶锥规划问题。
定理4.1:假设X是
上的非空紧集,则(3.2)等价于下述非光滑凸问题:
(4.1)
证明:问题(3.2)的Lagrange函数是
其中
。故
可以表示成如下形式:
整理后得,
考虑到问题(3.2)满足Slater条件,则其解必然满足下列KKT条件:
(4.2)
通过(4.2)第三个条件和第四个条件,可以得到
的具体表达形式:
又
,可知
是零矩阵或秩为1的半正定矩阵,下面分情况讨论:
1) 若
是零矩阵,则
,
,
。
2) 若
是秩为1的半正定矩阵,则存在
,
,使得
且
(4.3)
假设
,则
,结合(3.1)可得
。又
,故
,则
,与
矛盾,故
。现将(3.1)代入到(4.3)中,可以得到下述等式关系:
因此,
综上所述,问题(3.2)可以转化为问题(4.1),且
,证毕。
根据上述定理,我们显然可以将问题(4.1)等价地表示为一个二阶锥规划问题:
(4.4)
其中
是二阶锥,定义为
。
5. 结论
本文研究了一类带有依赖决策矩约束的分布鲁棒优化的重构问题,利用Lagrange对偶理论将其转化为半定规划,进而得到了易于求解的二阶锥规划问题,该问题可以利用神经网络等算法求解,具有较高的理论价值和现实意义。
NOTES
*通讯作者。