足够的最优性和灵敏度的参数化编程min-max固定可行的设置进行了分析。根据克拉克的次微分和Chaney的二阶方向导数,充分讨论的最优参数化min-max编程是第一位。此外,目标函数的凸假设下,边际函数的次微分计算公式。假设满足自然对一些应用程序的问题。此外,基于这些假设的公式简洁方便算法目的来解决应用程序。
<年代p一个ncl作为年代="end-abs">
1。介绍
摘要足够的最优性和灵敏度分析的参数化min-max编程。纸是由当地减少算法策略求解非光滑后半无限min-max-min编程(<年代vg height="14.2" id="M1" style="vertical-align:-0.17554pt;width:34px;" version="1.1" viewbox="0 0 34 14.2" width="34" xmlns="http://www.w3.org/2000/svg">
年代
我
米
3
P [<一个href="#B6">1一个>,<一个href="#B12">2一个>)等相关应用参考):<年代p一个ncl作为年代="equation" id="EEq1">
与当地的技术,减少了<年代vg height="14.2" id="M3" style="vertical-align:-0.17554pt;width:34px;" version="1.1" viewbox="0 0 34 14.2" width="34" xmlns="http://www.w3.org/2000/svg">
年代
我
米
3
P首先可以写成一个二层规划,降低问题的以下参数化min-max编程<年代vg height="14.3375" id="M4" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
(见[<一个href="#B7">3一个>- - - - - -<一个href="#B16">5一个>减少相关参考本地策略):<年代p一个ncl作为年代="equation" id="EEq2">
上下两层的策略适用于<年代vg height="14.2" id="M6" style="vertical-align:-0.17554pt;width:34px;" version="1.1" viewbox="0 0 34 14.2" width="34" xmlns="http://www.w3.org/2000/svg">
年代
我
米
3
P,有必要讨论的二阶充分最优<年代vg height="14.3375" id="M7" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
并给出灵敏度分析的参数化的最小值<年代vg height="13.55" id="M8" style="vertical-align:-2.29482pt;width:26.875px;" version="1.1" viewbox="0 0 26.875 13.55" width="26.875" xmlns="http://www.w3.org/2000/svg">
(
)
和相应的边际函数<年代vg height="13.6125" id="M9" style="vertical-align:-2.34499pt;width:60.087502px;" version="1.1" viewbox="0 0 60.087502 13.6125" width="60.087502" xmlns="http://www.w3.org/2000/svg">
(
,
(
)
)
。
灵敏度分析的优化问题是一个重要的方面在操作和优化领域的研究。基于不同的假设,取得了许多结果类型的参数化编程([<一个href="#B1">6一个>- - - - - -<一个href="#B10">9一个>),等等)。其中,一些结论等参数化min-max编程(<一个href="#EEq2">1.2一个>)也被赋予。例如,差异分析的基础上,讨论了固定约束和连续参数化编程(<一个href="#B3">7一个>]。问题(<一个href="#EEq2">1.2一个>)可以被看作是一种特殊情况。inf-compactness条件和条件下目标函数是凹的参数,边际函数的方向导数计算公式(<一个href="#EEq2">1.2一个>)可以直接获得。然而,凹条件不能满足许多问题。最近,邻nondifferentiable边际函数编程的次梯度计算公式在莉莲空间了([<一个href="#B10">9一个>])。通过使用邻次梯度计算公式(<一个href="#B10">9一个>),次梯度的边际函数公式(<一个href="#EEq2">1.2一个>)是直接的。但公式是乏味的,如果利用公式构造最优系统(<一个href="#EEq1">1.1一个>),系统是如此的复杂,很难解决了最优系统。
为了更方便的计算目的,本文的重点是建立足够的最优边际函数和简单的计算公式(<一个href="#EEq2">1.2一个>)。根据克拉克的次微分和Chaney的二阶方向导数,足够的最优参数化编程<年代vg height="14.3375" id="M10" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
首先给出。然后Lipschitzian continuousness参数化的孤立的最小值<年代vg height="13.55" id="M11" style="vertical-align:-2.29482pt;width:26.875px;" version="1.1" viewbox="0 0 26.875 13.55" width="26.875" xmlns="http://www.w3.org/2000/svg">
(
)
和边际函数<年代vg height="13.6125" id="M12" style="vertical-align:-2.34499pt;width:60.087502px;" version="1.1" viewbox="0 0 60.087502 13.6125" width="60.087502" xmlns="http://www.w3.org/2000/svg">
(
(
)
,
)
讨论了;此外,边际函数的次微分计算公式。
2。主要结果
让<年代vg height="10.325" id="M13" style="vertical-align:-0.0pt;width:11.6125px;" version="1.1" viewbox="0 0 11.6125 10.325" width="11.6125" xmlns="http://www.w3.org/2000/svg">
在(<一个href="#EEq2">1.2一个>)被定义为<年代vg height="15.225" id="M14" style="vertical-align:-3.2316pt;width:245.0625px;" version="1.1" viewbox="0 0 245.0625 15.225" width="245.0625" xmlns="http://www.w3.org/2000/svg">
=
{
∈
∶
ℎ
(
)
≤
0
,
=
1
,
…
,
}
,在那里<年代vg height="14.825" id="M15" style="vertical-align:-3.2316pt;width:28.049999px;" version="1.1" viewbox="0 0 28.049999 14.825" width="28.049999" xmlns="http://www.w3.org/2000/svg">
ℎ
(
⋅
)
和<年代vg height="12.8875" id="M16" style="vertical-align:-1.76814pt;width:68.724998px;" version="1.1" viewbox="0 0 68.724998 12.8875" width="68.724998" xmlns="http://www.w3.org/2000/svg">
=
1
,
…
,
,两次连续可微的函数<年代vg height="11.2" id="M17" style="vertical-align:-0.0pt;width:20.075001px;" version="1.1" viewbox="0 0 20.075001 11.2" width="20.075001" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="14.7125" id="M18" style="vertical-align:-3.2316pt;width:37.700001px;" version="1.1" viewbox="0 0 37.700001 14.7125" width="37.700001" xmlns="http://www.w3.org/2000/svg">
(
⋅
,
⋅
)
在(<一个href="#EEq2">1.2一个>)两次连续可微的函数<年代vg height="12.1625" id="M19" style="vertical-align:-0.0pt;width:32.525002px;" version="1.1" viewbox="0 0 32.525002 12.1625" width="32.525002" xmlns="http://www.w3.org/2000/svg">
×
。在下面,我们首先给的足够的最优性条件(<一个href="#EEq2">1.2一个>基于克拉克的次微分和Chaney的二阶方向导数,然后进行灵敏度分析的参数化问题<年代vg height="14.3375" id="M20" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
。
2.1。足够的最优性条件<年代vg height="14.3375" id="M21" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
定义2.1(见[<一个href="#B13">10一个>])。我>年代p一个n>对于一个给定的参数<年代vg height="7.1624999" id="M22" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
,一个点<年代vg height="14.3875" id="M23" style="vertical-align:-2.29482pt;width:45.099998px;" version="1.1" viewbox="0 0 45.099998 14.3875" width="45.099998" xmlns="http://www.w3.org/2000/svg">
∗
∈
据说是一个局部最小值的问题吗<年代vg height="14.3375" id="M24" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
如果存在一个社区<年代vg height="10.5375" id="M25" style="vertical-align:-0.16302pt;width:12.8625px;" version="1.1" viewbox="0 0 12.8625 10.5375" width="12.8625" xmlns="http://www.w3.org/2000/svg">
的<年代vg height="14.3875" id="M26" style="vertical-align:-2.29482pt;width:14.225px;" version="1.1" viewbox="0 0 14.225 14.3875" width="14.225" xmlns="http://www.w3.org/2000/svg">
∗
这样<年代p一个ncl作为年代="equation" id="eq3">
假设2.2。我>年代p一个n>对于一个给定的参数<年代vg height="7.1624999" id="M28" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
,假设<年代vg height="14.3375" id="M29" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
满足以下约束条件:<年代p一个ncl作为年代="equation" id="eq4">
在哪里<年代vg height="14.825" id="M31" style="vertical-align:-3.2316pt;width:225.4875px;" version="1.1" viewbox="0 0 225.4875 14.825" width="225.4875" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
=
{
=
{
1
,
…
,
}
∶
ℎ
(
)
=
0
}
。
对于一个给定的参数<年代vg height="7.1624999" id="M32" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
的拉格朗日函数表示<年代vg height="14.3375" id="M33" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
作为<年代vg height="19.975" id="M34" style="vertical-align:-3.80836pt;width:214.9875px;" version="1.1" viewbox="0 0 214.9875 19.975" width="214.9875" xmlns="http://www.w3.org/2000/svg">
∑
(
,
,
)
=
(
,
)
+
=
1
ℎ
(
)
,然后下面。年代p一个n>
定理2.3。年代p一个n><我>对于一个给定的参数<年代vg height="7.1624999" id="M35" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
,如果<年代vg height="14.3875" id="M36" style="vertical-align:-2.29482pt;width:14.225px;" version="1.1" viewbox="0 0 14.225 14.3875" width="14.225" xmlns="http://www.w3.org/2000/svg">
∗
是最小的<年代vg height="14.3375" id="M37" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
,假设<一个href="#assump2.1">2.2一个>持有,那么存在一个<年代vg height="18.1" id="M38" style="vertical-align:-3.54364pt;width:54px;" version="1.1" viewbox="0 0 54 18.1" width="54" xmlns="http://www.w3.org/2000/svg">
∗
∈
+
这样<年代vg height="17.4375" id="M39" style="vertical-align:-4.74141pt;width:106.3875px;" version="1.1" viewbox="0 0 106.3875 17.4375" width="106.3875" xmlns="http://www.w3.org/2000/svg">
0
∈
(
,
∗
,
)
,在那里<年代vg height="17.525" id="M40" style="vertical-align:-4.74141pt;width:85.525002px;" version="1.1" viewbox="0 0 85.525002 17.525" width="85.525002" xmlns="http://www.w3.org/2000/svg">
(
,
∗
,
∗
)
表示克拉克的次微分<年代vg height="14.475" id="M41" style="vertical-align:-2.29482pt;width:72.112503px;" version="1.1" viewbox="0 0 72.112503 14.475" width="72.112503" xmlns="http://www.w3.org/2000/svg">
(
,
∗
,
∗
)
。具体来说,以下系统包含:我><年代p一个ncl作为年代="equation" id="EEq3">
在哪里<年代vg height="16.6" id="M43" style="vertical-align:-4.74141pt;width:54.487499px;" version="1.1" viewbox="0 0 54.487499 16.6" width="54.487499" xmlns="http://www.w3.org/2000/svg">
(
,
)
表示克拉克的次微分<年代vg height="13.6125" id="M44" style="vertical-align:-2.34499pt;width:41.087502px;" version="1.1" viewbox="0 0 41.087502 13.6125" width="41.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
关于<年代vg height="9.8625002" id="M45" style="vertical-align:-2.29482pt;width:7.875px;" version="1.1" viewbox="0 0 7.875 9.8625002" width="7.875" xmlns="http://www.w3.org/2000/svg">
,它可以计算<年代vg height="17.4375" id="M46" style="vertical-align:-4.74141pt;width:191.925px;" version="1.1" viewbox="0 0 191.925 17.4375" width="191.925" xmlns="http://www.w3.org/2000/svg">
c
o
{
∇
(
,
∗
)
∶
∈
(
,
∗
)
}
,<年代vg height="13.575" id="M47" style="vertical-align:-2.26974pt;width:39.5625px;" version="1.1" viewbox="0 0 39.5625 13.575" width="39.5625" xmlns="http://www.w3.org/2000/svg">
c
o
{
⋅
}
是一个操作的凸包的元素,<年代vg height="14.45" id="M48" style="vertical-align:-2.34499pt;width:297.77499px;" version="1.1" viewbox="0 0 297.77499 14.45" width="297.77499" xmlns="http://www.w3.org/2000/svg">
(
,
∗
)
=
{
∈
{
1
,
…
,
}
∶
(
,
∗
)
=
(
,
∗
)
}
。我>年代p一个n>
证明。我>年代p一个n>结论是直接从定理<年代vg height="11.0375" id="M49" style="vertical-align:-0.17555pt;width:31.387501px;" version="1.1" viewbox="0 0 31.387501 11.0375" width="31.387501" xmlns="http://www.w3.org/2000/svg">
3
。
2
。
6
和推论<年代vg height="11.1" id="M50" style="vertical-align:-0.17555pt;width:31.387501px;" version="1.1" viewbox="0 0 31.387501 11.1" width="31.387501" xmlns="http://www.w3.org/2000/svg">
5
。
1
。
8
在[<一个href="#B8">11一个>]。年代p一个n>
自<年代vg height="16.6625" id="M51" style="vertical-align:-4.74141pt;width:182.41251px;" version="1.1" viewbox="0 0 182.41251 16.6625" width="182.41251" xmlns="http://www.w3.org/2000/svg">
(
,
)
=
米
一个
x
1
≤
≤
{
(
,
)
}
是一个方向可微函数(定理呢<年代vg height="10.9125" id="M52" style="vertical-align:-0.17555pt;width:39.200001px;" version="1.1" viewbox="0 0 39.200001 10.9125" width="39.200001" xmlns="http://www.w3.org/2000/svg">
3
。
2
。
1
3
在[<一个href="#B8">11一个>),的方向导数<年代vg height="13.6125" id="M53" style="vertical-align:-2.34499pt;width:41.087502px;" version="1.1" viewbox="0 0 41.087502 13.6125" width="41.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
关于<年代vg height="9.8625002" id="M54" style="vertical-align:-2.29482pt;width:7.875px;" version="1.1" viewbox="0 0 7.875 9.8625002" width="7.875" xmlns="http://www.w3.org/2000/svg">
方向<年代vg height="10.75" id="M55" style="vertical-align:-0.15048pt;width:9.375px;" version="1.1" viewbox="0 0 9.375 10.75" width="9.375" xmlns="http://www.w3.org/2000/svg">
可以计算如下:<年代p一个ncl作为年代="equation" id="EEq4">
定义2.4(见[<一个href="#B13">10一个>])。我>年代p一个n>让<年代vg height="13.6125" id="M57" style="vertical-align:-2.34499pt;width:27.799999px;" version="1.1" viewbox="0 0 27.799999 13.6125" width="27.799999" xmlns="http://www.w3.org/2000/svg">
(
)
是一个本地Lipschitzian函数<年代vg height="11.2" id="M58" style="vertical-align:-0.0pt;width:17.75px;" version="1.1" viewbox="0 0 17.75 11.2" width="17.75" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="7.1624999" id="M59" style="vertical-align:-0.11285pt;width:7.5374999px;" version="1.1" viewbox="0 0 7.5374999 7.1624999" width="7.5374999" xmlns="http://www.w3.org/2000/svg">
是一个非零向量<年代vg height="11.2" id="M60" style="vertical-align:-0.0pt;width:17.75px;" version="1.1" viewbox="0 0 17.75 11.2" width="17.75" xmlns="http://www.w3.org/2000/svg">
。假设<年代p一个ncl作为年代="equation" id="eq7">
Chaney低二阶方向导数的定义如下:<年代p一个ncl作为年代="equation" id="eq8">
接管所有三元组的序列<年代vg height="14.775" id="M63" style="vertical-align:-3.2316pt;width:30.275px;" version="1.1" viewbox="0 0 30.275 14.775" width="30.275" xmlns="http://www.w3.org/2000/svg">
{
}
,<年代vg height="14.775" id="M64" style="vertical-align:-3.2316pt;width:28.875px;" version="1.1" viewbox="0 0 28.875 14.775" width="28.875" xmlns="http://www.w3.org/2000/svg">
{
}
,<年代vg height="14.775" id="M65" style="vertical-align:-3.2316pt;width:26.575001px;" version="1.1" viewbox="0 0 26.575001 14.775" width="26.575001" xmlns="http://www.w3.org/2000/svg">
{
}
的<年代p一个ncl作为年代="list">(一)年代p一个n><年代p一个ncl作为年代="list-content">
为每一个<年代vg height="10.7375" id="M67" style="vertical-align:-0.13794pt;width:8.6000004px;" version="1.1" viewbox="0 0 8.6000004 10.7375" width="8.6000004" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="14.775" id="M68" style="vertical-align:-3.2316pt;width:67.237503px;" version="1.1" viewbox="0 0 67.237503 14.775" width="67.237503" xmlns="http://www.w3.org/2000/svg">
{
}
→
;年代p一个n>年代p一个n>(b)年代p一个n><年代p一个ncl作为年代="list-content">
和<年代vg height="15.5625" id="M70" style="vertical-align:-3.2316pt;width:74.0625px;" version="1.1" viewbox="0 0 74.0625 15.5625" width="74.0625" xmlns="http://www.w3.org/2000/svg">
(
−
∗
)
/
收敛于<年代vg height="7.1624999" id="M71" style="vertical-align:-0.11285pt;width:7.5374999px;" version="1.1" viewbox="0 0 7.5374999 7.1624999" width="7.5374999" xmlns="http://www.w3.org/2000/svg">
;年代p一个n>年代p一个n>(c)年代p一个n><年代p一个ncl作为年代="list-content">
与<年代vg height="14.7125" id="M73" style="vertical-align:-3.2316pt;width:75.474998px;" version="1.1" viewbox="0 0 75.474998 14.7125" width="75.474998" xmlns="http://www.w3.org/2000/svg">
∈
(
)
为每一个<年代vg height="10.7375" id="M74" style="vertical-align:-0.13794pt;width:8.6000004px;" version="1.1" viewbox="0 0 8.6000004 10.7375" width="8.6000004" xmlns="http://www.w3.org/2000/svg">
。年代p一个n>年代p一个n>
同样,Chaney上的二阶方向导数可以被定义为<年代p一个ncl作为年代="equation" id="eq9">
接管所有三元组的序列<年代vg height="14.775" id="M76" style="vertical-align:-3.2316pt;width:30.275px;" version="1.1" viewbox="0 0 30.275 14.775" width="30.275" xmlns="http://www.w3.org/2000/svg">
{
}
,<年代vg height="14.775" id="M77" style="vertical-align:-3.2316pt;width:28.875px;" version="1.1" viewbox="0 0 28.875 14.775" width="28.875" xmlns="http://www.w3.org/2000/svg">
{
}
,<年代vg height="14.775" id="M78" style="vertical-align:-3.2316pt;width:26.575001px;" version="1.1" viewbox="0 0 26.575001 14.775" width="26.575001" xmlns="http://www.w3.org/2000/svg">
{
}
(a), (b)和(c)以上。
参数化max-type函数<年代vg height="16.6625" id="M79" style="vertical-align:-4.74141pt;width:193.125px;" version="1.1" viewbox="0 0 193.125 16.6625" width="193.125" xmlns="http://www.w3.org/2000/svg">
(
,
)
=
米
一个
x
1
≤
≤
{
−
(
,
)
}
,在那里<年代vg height="7.1624999" id="M80" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
是一个给定的参数,其Chaney上下二阶方向导数的计算如下。年代p一个n>
命题2.5(见[<一个href="#B5">12一个>])。年代p一个n><我>对于任何给定的参数<年代vg height="7.1624999" id="M81" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
Chaney的上下二阶方向导数<年代vg height="13.6125" id="M82" style="vertical-align:-2.34499pt;width:41.087502px;" version="1.1" viewbox="0 0 41.087502 13.6125" width="41.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
关于<年代vg height="9.8625002" id="M83" style="vertical-align:-2.29482pt;width:7.875px;" version="1.1" viewbox="0 0 7.875 9.8625002" width="7.875" xmlns="http://www.w3.org/2000/svg">
存在;此外,对于任何给定的<年代vg height="13.6375" id="M84" style="vertical-align:-1.95624pt;width:68.287498px;" version="1.1" viewbox="0 0 68.287498 13.6375" width="68.287498" xmlns="http://www.w3.org/2000/svg">
0
≠
∈
,<年代vg height="14.7" id="M85" style="vertical-align:-3.21404pt;width:80.824997px;" version="1.1" viewbox="0 0 80.824997 14.7" width="80.824997" xmlns="http://www.w3.org/2000/svg">
∈
(
,
)
,它有我><年代p一个ncl作为年代="equation" id="EEq5">
在哪里我><年代p一个ncl作为年代="equation" id="eq11">
在哪里<年代vg height="19.725" id="M88" style="vertical-align:-4.77652pt;width:436.96249px;" version="1.1" viewbox="0 0 436.96249 19.725" width="436.96249" xmlns="http://www.w3.org/2000/svg">
(
(
)
)
=
{
∈
∶
(
,
(
)
)
=
(
,
(
)
)
,
∃
(
)
∈
(
,
1
/
)
,
∀
∈
}
,<年代vg height="18.65" id="M89" style="vertical-align:-4.74141pt;width:188.28751px;" version="1.1" viewbox="0 0 188.28751 18.65" width="188.28751" xmlns="http://www.w3.org/2000/svg">
=
{
∈
+
∶
∑
=
1
=
1
}
,<年代vg height="13.6125" id="M90" style="vertical-align:-2.29482pt;width:92.949997px;" version="1.1" viewbox="0 0 92.949997 13.6125" width="92.949997" xmlns="http://www.w3.org/2000/svg">
=
{
1
,
…
,
}
,<年代vg height="13.55" id="M91" style="vertical-align:-2.29482pt;width:55.599998px;" version="1.1" viewbox="0 0 55.599998 13.55" width="55.599998" xmlns="http://www.w3.org/2000/svg">
(
,
1
/
)
表示球为中心<年代vg height="9.8625002" id="M92" style="vertical-align:-2.29482pt;width:7.875px;" version="1.1" viewbox="0 0 7.875 9.8625002" width="7.875" xmlns="http://www.w3.org/2000/svg">
半径为<年代vg height="10.9125" id="M93" style="vertical-align:-0.17555pt;width:20.049999px;" version="1.1" viewbox="0 0 20.049999 10.9125" width="20.049999" xmlns="http://www.w3.org/2000/svg">
1
/
。我>年代p一个n>
定理2.6(充分性定理)。年代p一个n><我>对于一个给定的参数<年代vg height="11.625" id="M94" style="vertical-align:-0.33858pt;width:45.737499px;" version="1.1" viewbox="0 0 45.737499 11.625" width="45.737499" xmlns="http://www.w3.org/2000/svg">
∈
,假设<一个href="#assump2.1">2.2一个>持有,然后存在<年代vg height="14.3875" id="M95" style="vertical-align:-2.29482pt;width:53.5625px;" version="1.1" viewbox="0 0 53.5625 14.3875" width="53.5625" xmlns="http://www.w3.org/2000/svg">
∗
∈
这样,(<一个href="#EEq3">2.3一个>)持有。此外,对于任何可行的方向<年代vg height="11.625" id="M96" style="vertical-align:-0.33858pt;width:47.787498px;" version="1.1" viewbox="0 0 47.787498 11.625" width="47.787498" xmlns="http://www.w3.org/2000/svg">
∈
的<年代vg height="10.325" id="M97" style="vertical-align:-0.0pt;width:11.6125px;" version="1.1" viewbox="0 0 11.6125 10.325" width="11.6125" xmlns="http://www.w3.org/2000/svg">
,也就是说,<年代vg height="17.762501" id="M98" style="vertical-align:-3.2316pt;width:213.22501px;" version="1.1" viewbox="0 0 213.22501 17.762501" width="213.22501" xmlns="http://www.w3.org/2000/svg">
米
一个
x
{
∇
ℎ
(
∗
)
∶
1
≤
≤
}
≤
0
,如果<年代vg height="10.75" id="M99" style="vertical-align:-0.15048pt;width:9.375px;" version="1.1" viewbox="0 0 9.375 10.75" width="9.375" xmlns="http://www.w3.org/2000/svg">
满足下列条件之一:我><年代p一个ncl作为年代="list">(1)年代p一个n><年代p一个ncl作为年代="list-content">
;我>年代p一个n>年代pan>(2)年代p一个n><年代p一个ncl作为年代="list-content">
,<年代vg height="19.975" id="M102" style="vertical-align:-3.80836pt;width:133.02499px;" version="1.1" viewbox="0 0 133.02499 19.975" width="133.02499" xmlns="http://www.w3.org/2000/svg">
∑
=
1
∇
ℎ
(
)
=
0
,也就是说,<年代vg height="18.4625" id="M103" style="vertical-align:-4.74141pt;width:92.974998px;" version="1.1" viewbox="0 0 92.974998 18.4625" width="92.974998" xmlns="http://www.w3.org/2000/svg">
(
,
;
)
=
0
,<年代p一个ncl作为年代="equation" id="eq12">
然后<年代vg height="14.3875" id="M105" style="vertical-align:-2.29482pt;width:14.225px;" version="1.1" viewbox="0 0 14.225 14.3875" width="14.225" xmlns="http://www.w3.org/2000/svg">
∗
是一个局部最小值的<年代vg height="14.3375" id="M106" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
。我>年代p一个n>
证明。我>年代p一个n>(1)如果不是,那么存在序列<年代vg height="14.7125" id="M107" style="vertical-align:-3.2316pt;width:36.049999px;" version="1.1" viewbox="0 0 36.049999 14.7125" width="36.049999" xmlns="http://www.w3.org/2000/svg">
↓
0
,<年代vg height="14.5875" id="M108" style="vertical-align:-3.2316pt;width:52.612499px;" version="1.1" viewbox="0 0 52.612499 14.5875" width="52.612499" xmlns="http://www.w3.org/2000/svg">
→
,<年代vg height="15.5625" id="M109" style="vertical-align:-3.2316pt;width:122.75px;" version="1.1" viewbox="0 0 122.75 15.5625" width="122.75" xmlns="http://www.w3.org/2000/svg">
=
∗
+
∈
这样<年代p一个ncl作为年代="equation" id="EEq6">
作为一个结果,<年代vg height="18.4625" id="M111" style="vertical-align:-4.74141pt;width:590.28748px;" version="1.1" viewbox="0 0 590.28748 18.4625" width="590.28748" xmlns="http://www.w3.org/2000/svg">
(
,
∗
;
)
=
l
我
米
↓
0
(
(
,
∗
+
)
−
(
,
∗
)
)
/
=
l
我
米
→
+
∞
(
(
,
∗
+
)
−
(
,
∗
)
)
/
≤
0
。如果<年代vg height="18.4625" id="M112" style="vertical-align:-4.74141pt;width:92.474998px;" version="1.1" viewbox="0 0 92.474998 18.4625" width="92.474998" xmlns="http://www.w3.org/2000/svg">
(
,
∗
;
)
≠
0
,然后<年代vg height="18.4625" id="M113" style="vertical-align:-4.74141pt;width:95.9375px;" version="1.1" viewbox="0 0 95.9375 18.4625" width="95.9375" xmlns="http://www.w3.org/2000/svg">
(
,
∗
;
)
<
0
。从(<一个href="#EEq4">2.4一个>),我们知道<年代vg height="19.512501" id="M114" style="vertical-align:-4.74141pt;width:186.91251px;" version="1.1" viewbox="0 0 186.91251 19.512501" width="186.91251" xmlns="http://www.w3.org/2000/svg">
<
0
f
o
r
一个
l
l
∈
(
,
∗
)
。因此,对方向<年代vg height="11.625" id="M115" style="vertical-align:-0.33858pt;width:47.787498px;" version="1.1" viewbox="0 0 47.787498 11.625" width="47.787498" xmlns="http://www.w3.org/2000/svg">
∈
,我们有<年代p一个ncl作为年代="equation" id="EEq7">
另一方面,从<年代vg height="14.3875" id="M117" style="vertical-align:-2.29482pt;width:14.225px;" version="1.1" viewbox="0 0 14.225 14.3875" width="14.225" xmlns="http://www.w3.org/2000/svg">
∗
令人满意的(<一个href="#EEq3">2.3一个>),我们知道存在一个<年代vg height="17.4375" id="M118" style="vertical-align:-4.74141pt;width:87.775002px;" version="1.1" viewbox="0 0 87.775002 17.4375" width="87.775002" xmlns="http://www.w3.org/2000/svg">
∈
(
,
∗
)
这样<年代p一个ncl作为年代="equation" id="eq15">
从而导致矛盾(<一个href="#EEq7">2.12一个>)。
(2)从定理4 (<一个href="#B13">10一个>)和命题<一个href="#prop2.1">2.5一个>结论是直接的。年代p一个n>
2.2。灵敏度分析的参数化<年代vg height="14.3375" id="M120" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
在下面,我们进行灵敏度分析的参数化min-max编程<年代vg height="14.3375" id="M121" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
孤立的局部解,研究差异和相应的边际函数的小扰动下<年代vg height="7.1624999" id="M122" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
。
为了方便讨论,对于任何给定的参数<年代vg height="7.1624999" id="M123" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
,表示<年代vg height="14.3875" id="M124" style="vertical-align:-2.29482pt;width:33.224998px;" version="1.1" viewbox="0 0 33.224998 14.3875" width="33.224998" xmlns="http://www.w3.org/2000/svg">
∗
(
)
的最小值<年代vg height="14.3375" id="M125" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="13.725" id="M126" style="vertical-align:-2.34499pt;width:183.3625px;" version="1.1" viewbox="0 0 183.3625 13.725" width="183.3625" xmlns="http://www.w3.org/2000/svg">
(
)
=
米
我
n
{
(
,
)
∶
∈
}
相应的边际函数值和先做以下假设。
<年代p一个ncl作为年代="statement" id="assump2.2">假设2.7。我>年代p一个n>对于给定<年代vg height="11.625" id="M127" style="vertical-align:-0.33858pt;width:45.737499px;" version="1.1" viewbox="0 0 45.737499 11.625" width="45.737499" xmlns="http://www.w3.org/2000/svg">
∈
,参数的问题<年代vg height="14.3375" id="M128" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
是一个凸的问题,具体地说,<年代vg height="14.7125" id="M129" style="vertical-align:-3.2316pt;width:45.112499px;" version="1.1" viewbox="0 0 45.112499 14.7125" width="45.112499" xmlns="http://www.w3.org/2000/svg">
(
,
)
和<年代vg height="13.55" id="M130" style="vertical-align:-2.29482pt;width:71.224998px;" version="1.1" viewbox="0 0 71.224998 13.55" width="71.224998" xmlns="http://www.w3.org/2000/svg">
=
1
,
…
,
是凹函数对变量<年代vg height="9.8625002" id="M131" style="vertical-align:-2.29482pt;width:7.875px;" version="1.1" viewbox="0 0 7.875 9.8625002" width="7.875" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="16.75" id="M132" style="vertical-align:-4.77652pt;width:114.3875px;" version="1.1" viewbox="0 0 114.3875 16.75" width="114.3875" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
,
=
1
,
…
,
是凸函数。年代p一个n>
假设2.8。我>年代p一个n>让<年代vg height="14.825" id="M133" style="vertical-align:-3.2316pt;width:177.5px;" version="1.1" viewbox="0 0 177.5 14.825" width="177.5" xmlns="http://www.w3.org/2000/svg">
ℎ
(
)
=
{
∈
∶
ℎ
(
)
=
0
}
,<年代vg height="14.825" id="M134" style="vertical-align:-3.2316pt;width:131.27499px;" version="1.1" viewbox="0 0 131.27499 14.825" width="131.27499" xmlns="http://www.w3.org/2000/svg">
{
∇
ℎ
(
)
∶
∈
ℎ
(
)
}
是线性无关的。年代p一个n>
定义2.9(见定义2.1 (<一个href="#B9">13一个>])。我>年代p一个n>对于一个给定的<年代vg height="12.3125" id="M135" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 12.3125" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="15.025" id="M136" style="vertical-align:-2.29482pt;width:38.75px;" version="1.1" viewbox="0 0 38.75 15.025" width="38.75" xmlns="http://www.w3.org/2000/svg">
∈
据说是一个孤立的局部最小值与点菜了吗<年代vg height="9.9250002" id="M137" style="vertical-align:-0.13794pt;width:4.9875002px;" version="1.1" viewbox="0 0 4.9875002 9.9250002" width="4.9875002" xmlns="http://www.w3.org/2000/svg">
(<年代vg height="9.9250002" id="M138" style="vertical-align:-0.13794pt;width:4.9875002px;" version="1.1" viewbox="0 0 4.9875002 9.9250002" width="4.9875002" xmlns="http://www.w3.org/2000/svg">
= 1或2)<年代vg height="14.3375" id="M139" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
如果存在一个真实的<年代vg height="11.0625" id="M140" style="vertical-align:-0.30096pt;width:38.424999px;" version="1.1" viewbox="0 0 38.424999 11.0625" width="38.424999" xmlns="http://www.w3.org/2000/svg">
>
0
和一个社区<年代vg height="10.575" id="M141" style="vertical-align:-0.20064pt;width:12.625px;" version="1.1" viewbox="0 0 12.625 10.575" width="12.625" xmlns="http://www.w3.org/2000/svg">
的<年代vg height="15.025" id="M142" style="vertical-align:-2.29482pt;width:7.875px;" version="1.1" viewbox="0 0 7.875 15.025" width="7.875" xmlns="http://www.w3.org/2000/svg">
这样<年代p一个ncl作为年代="equation" id="eq16">
定理2.10。年代p一个n><我>对于一个给定的<年代vg height="11.625" id="M144" style="vertical-align:-0.33858pt;width:45.737499px;" version="1.1" viewbox="0 0 45.737499 11.625" width="45.737499" xmlns="http://www.w3.org/2000/svg">
∈
,假设<一个href="#assump2.1">2.2一个>- - - - - -<一个href="#assump2.3">2.8一个>持有,然后下面的结论:我><年代p一个ncl作为年代="list">(1)年代p一个n><年代p一个ncl作为年代="list-content">如果<年代vg height="14.3875" id="M145" style="vertical-align:-2.29482pt;width:33.224998px;" version="1.1" viewbox="0 0 33.224998 14.3875" width="33.224998" xmlns="http://www.w3.org/2000/svg">
∗
(
)
与相应的乘数<年代vg height="11.8625" id="M146" style="vertical-align:-0.20064pt;width:14.925px;" version="1.1" viewbox="0 0 14.925 11.8625" width="14.925" xmlns="http://www.w3.org/2000/svg">
∗
的解决方案(<一个href="#EEq3">2.3一个>),然后<年代vg height="14.3875" id="M147" style="vertical-align:-2.29482pt;width:33.224998px;" version="1.1" viewbox="0 0 33.224998 14.3875" width="33.224998" xmlns="http://www.w3.org/2000/svg">
∗
(
)
是一个独特的一阶分离得到的<年代vg height="14.3375" id="M148" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
;我>年代p一个n>年代pan>(2)年代p一个n><年代p一个ncl作为年代="list-content">对于任何最低<年代vg height="14.3875" id="M149" style="vertical-align:-2.29482pt;width:33.224998px;" version="1.1" viewbox="0 0 33.224998 14.3875" width="33.224998" xmlns="http://www.w3.org/2000/svg">
∗
(
)
,它是一个本地Lipschitzian函数有关<年代vg height="7.1624999" id="M150" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
,也就是说,存在一个<年代vg height="14.6" id="M151" style="vertical-align:-3.13504pt;width:44.487499px;" version="1.1" viewbox="0 0 44.487499 14.6" width="44.487499" xmlns="http://www.w3.org/2000/svg">
1
>
0
,<年代vg height="11.0625" id="M152" style="vertical-align:-0.30096pt;width:35.1875px;" version="1.1" viewbox="0 0 35.1875 11.0625" width="35.1875" xmlns="http://www.w3.org/2000/svg">
>
0
这样<年代p一个ncl作为年代="equation" id="eq17">
在哪里<年代vg height="16.450001" id="M154" style="vertical-align:-2.21957pt;width:34.037498px;" version="1.1" viewbox="0 0 34.037498 16.450001" width="34.037498" xmlns="http://www.w3.org/2000/svg">
(
)
表示最小值的<年代vg height="14.3375" id="M155" style="vertical-align:-3.21404pt;width:20.9px;" version="1.1" viewbox="0 0 20.9 14.3375" width="20.9" xmlns="http://www.w3.org/2000/svg">
;我>年代p一个n>年代pan>(3)年代p一个n><年代p一个ncl作为年代="list-content">对于任何最低<年代vg height="14.3875" id="M156" style="vertical-align:-2.29482pt;width:33.224998px;" version="1.1" viewbox="0 0 33.224998 14.3875" width="33.224998" xmlns="http://www.w3.org/2000/svg">
∗
(
)
边际函数<年代vg height="14.45" id="M157" style="vertical-align:-2.34499pt;width:112.0125px;" version="1.1" viewbox="0 0 112.0125 14.45" width="112.0125" xmlns="http://www.w3.org/2000/svg">
(
)
=
(
,
∗
(
)
)
也是一个局部李普希茨函数对吗<年代vg height="7.1624999" id="M158" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="13.45" id="M159" style="vertical-align:-2.21957pt;width:82.862503px;" version="1.1" viewbox="0 0 82.862503 13.45" width="82.862503" xmlns="http://www.w3.org/2000/svg">
(
)
⊆
(
)
,在那里<年代p一个ncl作为年代="equation" id="eq18">
和<年代vg height="15.5625" id="M161" style="vertical-align:-3.2316pt;width:358.8125px;" version="1.1" viewbox="0 0 358.8125 15.5625" width="358.8125" xmlns="http://www.w3.org/2000/svg">
(
,
∗
(
)
)
=
{
∈
{
1
,
…
,
}
∶
(
,
∗
(
)
)
=
(
,
∗
(
)
)
}
。作为一个结果,<年代p一个ncl作为年代="equation" id="EEq8">
证明。我>年代p一个n>(1)从假设<一个href="#assump2.2">2.7一个>,直接<年代vg height="14.3875" id="M163" style="vertical-align:-2.29482pt;width:33.224998px;" version="1.1" viewbox="0 0 33.224998 14.3875" width="33.224998" xmlns="http://www.w3.org/2000/svg">
∗
(
)
是一个全球性的最小值<年代vg height="14.3375" id="M164" style="vertical-align:-3.21404pt;width:16.049999px;" version="1.1" viewbox="0 0 16.049999 14.3375" width="16.049999" xmlns="http://www.w3.org/2000/svg">
。我们只证明<年代vg height="14.3875" id="M165" style="vertical-align:-2.29482pt;width:33.224998px;" version="1.1" viewbox="0 0 33.224998 14.3875" width="33.224998" xmlns="http://www.w3.org/2000/svg">
∗
(
)
是一个一阶孤立的最小值。
如果结论并不持有,那么存在一个序列<年代vg height="16.549999" id="M166" style="vertical-align:-2.29482pt;width:76.1875px;" version="1.1" viewbox="0 0 76.1875 16.549999" width="76.1875" xmlns="http://www.w3.org/2000/svg">
{
}
∈
(
)
收敛于<年代vg height="14.3875" id="M167" style="vertical-align:-2.29482pt;width:33.224998px;" version="1.1" viewbox="0 0 33.224998 14.3875" width="33.224998" xmlns="http://www.w3.org/2000/svg">
∗
(
)
,<年代vg height="16.549999" id="M168" style="vertical-align:-2.29482pt;width:63.450001px;" version="1.1" viewbox="0 0 63.450001 16.549999" width="63.450001" xmlns="http://www.w3.org/2000/svg">
≠
∗
(
)
,一个序列<年代vg height="11.05" id="M169" style="vertical-align:-3.2316pt;width:17.775px;" version="1.1" viewbox="0 0 17.775 11.05" width="17.775" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="14.7125" id="M170" style="vertical-align:-3.2316pt;width:44.974998px;" version="1.1" viewbox="0 0 44.974998 14.7125" width="44.974998" xmlns="http://www.w3.org/2000/svg">
>
0
,<年代vg height="11.05" id="M171" style="vertical-align:-3.2316pt;width:17.775px;" version="1.1" viewbox="0 0 17.775 11.05" width="17.775" xmlns="http://www.w3.org/2000/svg">
收敛于0,<年代p一个ncl作为年代="equation" id="EEq9">
取<年代vg height="17.7125" id="M173" style="vertical-align:-3.2316pt;width:195.60001px;" version="1.1" viewbox="0 0 195.60001 17.7125" width="195.60001" xmlns="http://www.w3.org/2000/svg">
=
(
−
∗
(
)
)
/
为
−
∗
(
)
为
,为简单起见,我们假设<年代vg height="14.5875" id="M174" style="vertical-align:-3.2316pt;width:52.612499px;" version="1.1" viewbox="0 0 52.612499 14.5875" width="52.612499" xmlns="http://www.w3.org/2000/svg">
→
,<年代vg height="13.8625" id="M175" style="vertical-align:-2.37006pt;width:51.987499px;" version="1.1" viewbox="0 0 51.987499 13.8625" width="51.987499" xmlns="http://www.w3.org/2000/svg">
为
为
=
1
。让<年代vg height="17.7125" id="M176" style="vertical-align:-3.2316pt;width:112.3625px;" version="1.1" viewbox="0 0 112.3625 17.7125" width="112.3625" xmlns="http://www.w3.org/2000/svg">
=
为
−
∗
(
)
为
,然后从<年代vg height="16.549999" id="M177" style="vertical-align:-2.29482pt;width:45.299999px;" version="1.1" viewbox="0 0 45.299999 16.549999" width="45.299999" xmlns="http://www.w3.org/2000/svg">
∈
,<年代vg height="14.5875" id="M178" style="vertical-align:-3.2316pt;width:52.612499px;" version="1.1" viewbox="0 0 52.612499 14.5875" width="52.612499" xmlns="http://www.w3.org/2000/svg">
→
和<年代vg height="10.325" id="M179" style="vertical-align:-0.0pt;width:11.6125px;" version="1.1" viewbox="0 0 11.6125 10.325" width="11.6125" xmlns="http://www.w3.org/2000/svg">
紧凑,我们有什么<年代p一个ncl作为年代="equation" id="eq21">
也就是说,<年代p一个ncl作为年代="equation" id="eq22">
从假设<一个href="#assump2.3">2.8一个>,我们知道<年代vg height="21.200001" id="M182" style="vertical-align:-5.31818pt;width:182.6125px;" version="1.1" viewbox="0 0 182.6125 21.200001" width="182.6125" xmlns="http://www.w3.org/2000/svg">
∑
∈
(
,
∗
(
)
)
∇
ℎ
(
∗
(
)
)
≠
0
。因此,我们有<年代vg height="21.200001" id="M183" style="vertical-align:-5.31818pt;width:185.14999px;" version="1.1" viewbox="0 0 185.14999 21.200001" width="185.14999" xmlns="http://www.w3.org/2000/svg">
∑
∈
(
,
∗
(
)
)
∇
ℎ
(
∗
(
)
)
<
0
。
从第一个方程(<一个href="#EEq3">2.3一个>),我们知道存在一个<年代vg height="17.4375" id="M184" style="vertical-align:-4.74141pt;width:107.025px;" version="1.1" viewbox="0 0 107.025 17.4375" width="107.025" xmlns="http://www.w3.org/2000/svg">
∈
(
,
∗
(
)
)
这样对于任何可行的方向<年代vg height="10.75" id="M185" style="vertical-align:-0.15048pt;width:9.375px;" version="1.1" viewbox="0 0 9.375 10.75" width="9.375" xmlns="http://www.w3.org/2000/svg">
,<年代vg height="21.200001" id="M186" style="vertical-align:-5.31818pt;width:254.825px;" version="1.1" viewbox="0 0 254.825 21.200001" width="254.825" xmlns="http://www.w3.org/2000/svg">
∑
=
−
∈
(
,
∗
(
)
)
∇
ℎ
(
∗
(
)
)
>
0
。因此,<年代p一个ncl作为年代="equation" id="eq23">
另一方面,从<年代vg height="14.3875" id="M188" style="vertical-align:-2.29482pt;width:33.224998px;" version="1.1" viewbox="0 0 33.224998 14.3875" width="33.224998" xmlns="http://www.w3.org/2000/svg">
∗
(
)
是一个最小值,我们知道吗<年代vg height="18.4625" id="M189" style="vertical-align:-4.74141pt;width:114.95px;" version="1.1" viewbox="0 0 114.95 18.4625" width="114.95" xmlns="http://www.w3.org/2000/svg">
(
,
∗
(
)
;
)
≥
0
,这就导致矛盾;
(2)从假设<一个href="#assump2.3">2.8一个>和定理3.1<一个href="#B9">13一个>),结论是直接;
(3)自<年代vg height="13.6125" id="M190" style="vertical-align:-2.34499pt;width:41.087502px;" version="1.1" viewbox="0 0 41.087502 13.6125" width="41.087502" xmlns="http://www.w3.org/2000/svg">
(
,
)
是一个本地Lipschitzian函数对吗<年代vg height="7.1624999" id="M191" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
和<年代vg height="9.8625002" id="M192" style="vertical-align:-2.29482pt;width:7.875px;" version="1.1" viewbox="0 0 7.875 9.8625002" width="7.875" xmlns="http://www.w3.org/2000/svg">
,然后存在<年代vg height="11.0625" id="M193" style="vertical-align:-0.30096pt;width:35.1875px;" version="1.1" viewbox="0 0 35.1875 11.0625" width="35.1875" xmlns="http://www.w3.org/2000/svg">
>
0
,<年代vg height="11.1" id="M194" style="vertical-align:-0.30096pt;width:39.700001px;" version="1.1" viewbox="0 0 39.700001 11.1" width="39.700001" xmlns="http://www.w3.org/2000/svg">
′
>
0
,<年代vg height="14.6" id="M195" style="vertical-align:-3.13504pt;width:44.487499px;" version="1.1" viewbox="0 0 44.487499 14.6" width="44.487499" xmlns="http://www.w3.org/2000/svg">
2
>
0
这样,对于任何<年代vg height="14.6" id="M196" style="vertical-align:-3.13504pt;width:78.599998px;" version="1.1" viewbox="0 0 78.599998 14.6" width="78.599998" xmlns="http://www.w3.org/2000/svg">
1
∈
(
,
)
,<年代vg height="15.5" id="M197" style="vertical-align:-2.29482pt;width:100.5125px;" version="1.1" viewbox="0 0 100.5125 15.5" width="100.5125" xmlns="http://www.w3.org/2000/svg">
∈
(
∗
(
)
,
)
,它有<年代p一个ncl作为年代="equation" id="EEq10">
至于<年代vg height="14.6" id="M199" style="vertical-align:-3.13504pt;width:78.599998px;" version="1.1" viewbox="0 0 78.599998 14.6" width="78.599998" xmlns="http://www.w3.org/2000/svg">
1
∈
(
,
)
从结论中(<一个href="#EEq2">1.2一个>),存在一个<年代vg height="14.6" id="M200" style="vertical-align:-3.13504pt;width:44.487499px;" version="1.1" viewbox="0 0 44.487499 14.6" width="44.487499" xmlns="http://www.w3.org/2000/svg">
1
>
0
这样<年代vg height="15.4375" id="M201" style="vertical-align:-3.13504pt;width:200.25px;" version="1.1" viewbox="0 0 200.25 15.4375" width="200.25" xmlns="http://www.w3.org/2000/svg">
为
∗
(
1
)
−
∗
(
)
为
≤
1
为
1
−
为
。作为一个结果,<年代p一个ncl作为年代="equation" id="eq25">
因此,边际函数<年代vg height="13.45" id="M203" style="vertical-align:-2.21957pt;width:26.3125px;" version="1.1" viewbox="0 0 26.3125 13.45" width="26.3125" xmlns="http://www.w3.org/2000/svg">
(
)
是一个本地Lipschitzian函数对吗<年代vg height="7.1624999" id="M204" style="vertical-align:-0.11285pt;width:8.7250004px;" version="1.1" viewbox="0 0 8.7250004 7.1624999" width="8.7250004" xmlns="http://www.w3.org/2000/svg">
。
让<年代vg height="19.549999" id="M205" style="vertical-align:-3.2316pt;width:253.27499px;" version="1.1" viewbox="0 0 253.27499 19.549999" width="253.27499" xmlns="http://www.w3.org/2000/svg">
(
)
=
{
−
∇
(
,
(
)
)
,
∈
(
,
(
)
)
}
,然后<年代vg height="18.375" id="M206" style="vertical-align:-2.29482pt;width:154.89999px;" version="1.1" viewbox="0 0 154.89999 18.375" width="154.89999" xmlns="http://www.w3.org/2000/svg">
(
)
=
c
o
{
,
∈
(
)
}
。我们证明<年代vg height="18.2875" id="M207" style="vertical-align:-2.21957pt;width:30.387501px;" version="1.1" viewbox="0 0 30.387501 18.2875" width="30.387501" xmlns="http://www.w3.org/2000/svg">
(
)
先关闭,也就是说,任何序列的证明吗<年代vg height="16.512501" id="M208" style="vertical-align:-2.26974pt;width:67.287498px;" version="1.1" viewbox="0 0 67.287498 16.512501" width="67.287498" xmlns="http://www.w3.org/2000/svg">
{
}
⊂
,<年代vg height="13.825" id="M209" style="vertical-align:-0.11285pt;width:52.237499px;" version="1.1" viewbox="0 0 52.237499 13.825" width="52.237499" xmlns="http://www.w3.org/2000/svg">
→
,<年代vg height="18.2875" id="M210" style="vertical-align:-2.21957pt;width:70.675003px;" version="1.1" viewbox="0 0 70.675003 18.2875" width="70.675003" xmlns="http://www.w3.org/2000/svg">
∈
(
)
,<年代vg height="13.9" id="M211" style="vertical-align:-0.17555pt;width:50.637501px;" version="1.1" viewbox="0 0 50.637501 13.9" width="50.637501" xmlns="http://www.w3.org/2000/svg">
→
,它有<年代vg height="18.2875" id="M212" style="vertical-align:-2.21957pt;width:57.575001px;" version="1.1" viewbox="0 0 57.575001 18.2875" width="57.575001" xmlns="http://www.w3.org/2000/svg">
∈
(
)
。
从<年代vg height="18.2875" id="M213" style="vertical-align:-2.21957pt;width:70.675003px;" version="1.1" viewbox="0 0 70.675003 18.2875" width="70.675003" xmlns="http://www.w3.org/2000/svg">
∈
(
)
,存在<年代vg height="16.549999" id="M214" style="vertical-align:-2.29482pt;width:67.737503px;" version="1.1" viewbox="0 0 67.737503 16.549999" width="67.737503" xmlns="http://www.w3.org/2000/svg">
∈
(
)
;<年代vg height="17.7125" id="M215" style="vertical-align:-3.2316pt;width:84.800003px;" version="1.1" viewbox="0 0 84.800003 17.7125" width="84.800003" xmlns="http://www.w3.org/2000/svg">
∈
(
,
)
这样<年代vg height="20.4125" id="M216" style="vertical-align:-5.39853pt;width:125.575px;" version="1.1" viewbox="0 0 125.575 20.4125" width="125.575" xmlns="http://www.w3.org/2000/svg">
=
−
∇
(
,
)
。不失一般性,假设<年代vg height="16.549999" id="M217" style="vertical-align:-2.29482pt;width:29.4375px;" version="1.1" viewbox="0 0 29.4375 16.549999" width="29.4375" xmlns="http://www.w3.org/2000/svg">
{
}
收敛于<年代vg height="15.025" id="M218" style="vertical-align:-2.29482pt;width:7.875px;" version="1.1" viewbox="0 0 7.875 15.025" width="7.875" xmlns="http://www.w3.org/2000/svg">
;<年代vg height="14.775" id="M219" style="vertical-align:-3.2316pt;width:26.5375px;" version="1.1" viewbox="0 0 26.5375 14.775" width="26.5375" xmlns="http://www.w3.org/2000/svg">
{
}
收敛于<年代vg height="15.0875" id="M220" style="vertical-align:-0.13794pt;width:4.9875002px;" version="1.1" viewbox="0 0 4.9875002 15.0875" width="4.9875002" xmlns="http://www.w3.org/2000/svg">
。从命题3.3<一个href="#B4">14一个>),<年代vg height="15.0375" id="M221" style="vertical-align:-2.29482pt;width:54.625px;" version="1.1" viewbox="0 0 54.625 15.0375" width="54.625" xmlns="http://www.w3.org/2000/svg">
∈
(
)
,<年代vg height="17.775" id="M222" style="vertical-align:-2.29482pt;width:65.150002px;" version="1.1" viewbox="0 0 65.150002 17.775" width="65.150002" xmlns="http://www.w3.org/2000/svg">
∈
(
,
)
从<年代vg height="15.5375" id="M223" style="vertical-align:-3.88597pt;width:63.174999px;" version="1.1" viewbox="0 0 63.174999 15.5375" width="63.174999" xmlns="http://www.w3.org/2000/svg">
∇
(
,
)
是一个连续函数,它吗<年代vg height="22.25" id="M224" style="vertical-align:-5.39853pt;width:407.375px;" version="1.1" viewbox="0 0 407.375 22.25" width="407.375" xmlns="http://www.w3.org/2000/svg">
=
l
我
米
→
+
∞
=
l
我
米
→
+
∞
∇
(
,
)
=
∇
(
,
)
∈
(
)
。作为一个结果,<年代vg height="18.2875" id="M225" style="vertical-align:-2.21957pt;width:30.387501px;" version="1.1" viewbox="0 0 30.387501 18.2875" width="30.387501" xmlns="http://www.w3.org/2000/svg">
(
)
是一个闭集。
从定理<年代vg height="11.0375" id="M226" style="vertical-align:-0.17555pt;width:39.200001px;" version="1.1" viewbox="0 0 39.200001 11.0375" width="39.200001" xmlns="http://www.w3.org/2000/svg">
3
。
2
。
1
6
在[<一个href="#B8">11一个>),为任何<年代vg height="13.55" id="M227" style="vertical-align:-2.29482pt;width:61.237499px;" version="1.1" viewbox="0 0 61.237499 13.55" width="61.237499" xmlns="http://www.w3.org/2000/svg">
∈
(
)
,存在<年代vg height="14.1" id="M228" style="vertical-align:-0.33858pt;width:52.287498px;" version="1.1" viewbox="0 0 52.287498 14.1" width="52.287498" xmlns="http://www.w3.org/2000/svg">
∈
,<年代vg height="13.825" id="M229" style="vertical-align:-0.11285pt;width:52.237499px;" version="1.1" viewbox="0 0 52.237499 13.825" width="52.237499" xmlns="http://www.w3.org/2000/svg">
→
这样<年代vg height="16.450001" id="M230" style="vertical-align:-2.21957pt;width:44.299999px;" version="1.1" viewbox="0 0 44.299999 16.450001" width="44.299999" xmlns="http://www.w3.org/2000/svg">
∇
(
)
存在,<年代vg height="18.0375" id="M231" style="vertical-align:-3.49493pt;width:137.85001px;" version="1.1" viewbox="0 0 137.85001 18.0375" width="137.85001" xmlns="http://www.w3.org/2000/svg">
=
l
我
米
→
+
∞
∇
(
)
。此外,对于任意的<年代vg height="11.625" id="M232" style="vertical-align:-0.33858pt;width:45.450001px;" version="1.1" viewbox="0 0 45.450001 11.625" width="45.450001" xmlns="http://www.w3.org/2000/svg">
∈
,它有<年代p一个ncl作为年代="equation" id="eq26">
定义的<年代vg height="16.450001" id="M234" style="vertical-align:-2.21957pt;width:35.837502px;" version="1.1" viewbox="0 0 35.837502 16.450001" width="35.837502" xmlns="http://www.w3.org/2000/svg">
(
)
,<年代vg height="16.450001" id="M235" style="vertical-align:-2.21957pt;width:78.337502px;" version="1.1" viewbox="0 0 78.337502 16.450001" width="78.337502" xmlns="http://www.w3.org/2000/svg">
∃
∈
(
)
这样<年代vg height="22.637501" id="M236" style="vertical-align:-4.74141pt;width:238.1875px;" version="1.1" viewbox="0 0 238.1875 22.637501" width="238.1875" xmlns="http://www.w3.org/2000/svg">
=
米
一个
x
∈
(
,
)
{
−
∇
(
,
)
}
。因此,它有<年代vg height="19.487499" id="M237" style="vertical-align:-2.21957pt;width:110.1625px;" version="1.1" viewbox="0 0 110.1625 19.487499" width="110.1625" xmlns="http://www.w3.org/2000/svg">
∇
(
)
≤
。
从<年代vg height="18.2875" id="M238" style="vertical-align:-2.21957pt;width:148.83749px;" version="1.1" viewbox="0 0 148.83749 18.2875" width="148.83749" xmlns="http://www.w3.org/2000/svg">
→
∈
(
)
⊂
(
)
,<年代vg height="16.549999" id="M239" style="vertical-align:-2.29482pt;width:80.212502px;" version="1.1" viewbox="0 0 80.212502 16.549999" width="80.212502" xmlns="http://www.w3.org/2000/svg">
∇
(
)
→
和<年代vg height="19.487499" id="M240" style="vertical-align:-2.21957pt;width:110.1625px;" version="1.1" viewbox="0 0 110.1625 19.487499" width="110.1625" xmlns="http://www.w3.org/2000/svg">
∇
(
)
≤
,它有<年代vg height="16.4625" id="M241" style="vertical-align:-2.29482pt;width:69.212502px;" version="1.1" viewbox="0 0 69.212502 16.4625" width="69.212502" xmlns="http://www.w3.org/2000/svg">
≤
,即对任意的<年代vg height="11.625" id="M242" style="vertical-align:-0.33858pt;width:45.450001px;" version="1.1" viewbox="0 0 45.450001 11.625" width="45.450001" xmlns="http://www.w3.org/2000/svg">
∈
和<年代vg height="13.55" id="M243" style="vertical-align:-2.29482pt;width:61.237499px;" version="1.1" viewbox="0 0 61.237499 13.55" width="61.237499" xmlns="http://www.w3.org/2000/svg">
∈
(
)
,存在<年代vg height="13.45" id="M244" style="vertical-align:-2.21957pt;width:56.474998px;" version="1.1" viewbox="0 0 56.474998 13.45" width="56.474998" xmlns="http://www.w3.org/2000/svg">
∈
(
)
这样<年代vg height="16.4625" id="M245" style="vertical-align:-2.29482pt;width:69.212502px;" version="1.1" viewbox="0 0 69.212502 16.4625" width="69.212502" xmlns="http://www.w3.org/2000/svg">
≤
。
如果<年代vg height="13.45" id="M246" style="vertical-align:-2.21957pt;width:82.862503px;" version="1.1" viewbox="0 0 82.862503 13.45" width="82.862503" xmlns="http://www.w3.org/2000/svg">
(
)
⊂
(
)
不持有,那么存在一个吗<年代vg height="13.55" id="M247" style="vertical-align:-2.29482pt;width:61.237499px;" version="1.1" viewbox="0 0 61.237499 13.55" width="61.237499" xmlns="http://www.w3.org/2000/svg">
∈
(
)
和<年代vg height="13.55" id="M248" style="vertical-align:-2.29482pt;width:56.224998px;" version="1.1" viewbox="0 0 56.224998 13.55" width="56.224998" xmlns="http://www.w3.org/2000/svg">
∉
(
)
。从<年代vg height="13.45" id="M249" style="vertical-align:-2.21957pt;width:29.2875px;" version="1.1" viewbox="0 0 29.2875 13.45" width="29.2875" xmlns="http://www.w3.org/2000/svg">
(
)
是一个紧凑的凸集分离定理([<一个href="#B14">15一个>]),存在一个<年代vg height="11.625" id="M250" style="vertical-align:-0.33858pt;width:45.450001px;" version="1.1" viewbox="0 0 45.450001 11.625" width="45.450001" xmlns="http://www.w3.org/2000/svg">
∈
这样<年代vg height="16.4625" id="M251" style="vertical-align:-2.29482pt;width:51.575001px;" version="1.1" viewbox="0 0 51.575001 16.4625" width="51.575001" xmlns="http://www.w3.org/2000/svg">
<
0
对于任意的<年代vg height="13.45" id="M252" style="vertical-align:-2.21957pt;width:56.474998px;" version="1.1" viewbox="0 0 56.474998 13.45" width="56.474998" xmlns="http://www.w3.org/2000/svg">
∈
(
)
,<年代vg height="15.125" id="M253" style="vertical-align:-1.29163pt;width:51.825001px;" version="1.1" viewbox="0 0 51.825001 15.125" width="51.825001" xmlns="http://www.w3.org/2000/svg">
≥
0
,导致矛盾。作为一个结果,<年代vg height="13.45" id="M254" style="vertical-align:-2.21957pt;width:82.862503px;" version="1.1" viewbox="0 0 82.862503 13.45" width="82.862503" xmlns="http://www.w3.org/2000/svg">
(
)
⊂
(
)
成立。从<年代vg height="13.45" id="M255" style="vertical-align:-2.21957pt;width:82.862503px;" version="1.1" viewbox="0 0 82.862503 13.45" width="82.862503" xmlns="http://www.w3.org/2000/svg">
(
)
⊂
(
)
和<年代vg height="15.5625" id="M256" style="vertical-align:-3.2316pt;width:274.125px;" version="1.1" viewbox="0 0 274.125 15.5625" width="274.125" xmlns="http://www.w3.org/2000/svg">
(
)
=
c
o
{
∇
(
,
∗
(
)
)
,
∈
(
,
∗
(
)
)
}
计算公式(<一个href="#EEq8">2.17一个>)是直接的。年代p一个n>
3所示。讨论
摘要足够的最优性和灵敏度分析的参数化min-max编程。一次微分的计算规则<年代vg height="13.45" id="M257" style="vertical-align:-2.21957pt;width:26.3125px;" version="1.1" viewbox="0 0 26.3125 13.45" width="26.3125" xmlns="http://www.w3.org/2000/svg">
(
)
建立了。尽管本文的假设有一些限制性与一些现有的工作相比,保持自然的假设对于某些应用程序。此外,所得计算公式简单,有利于建立一个简洁的一阶必要的最优系统(<一个href="#EEq1">1.1一个>),然后构建有效的算法来解决应用程序。
确认
这项研究得到了国家自然科学基金。11001092中央大学和基础研究基金。2011 qc064。