均衡约束数学规划问题的一种新的约束规格

本文研究了均衡约束数学规划(MPEC)问题.利用其弱稳定点,获得了一种新的约束规格–MPEC的伪正规约束规格.用一种简单的方式,证明了该约束规格是介于MPEC-MFCQ(即MPEC,Mangasarian-Fromowitz约束规格)与MPEC-ACQ(即MPEC,Abadie约束规格)之间的约束规格,因此该约束规格也可以导出MPEC问题的M-稳定点.最后通过两个例子,说明了该约束规格与MPEC-MFCQ以及与MPEC-ACQ之间是严格的强弱关系.     

一类稀疏约束非线性规划的约束规格

研究一类带有闭凸集约束的稀疏约束非线性规划问题,这类问题在变量选择、模式识别、投资组合等领域具有广泛的应用.首先引进了限制性Slater约束规格的概念,证明了该约束规格强于限制性M-F约束规格,然后在此约束规格成立的条件下,分析了其局部最优解成立的充分和必要条件.最后,对约束集合的两种具体形式,指出限制性Slater约束规格必满足,并给出了一阶必要性条件的具体表达形式.     

一类带概率互补约束的随机优化问题的最优性条件

主要讨论了一类带概率互补约束的随机优化问题的最优性条件.首先利用一类非线性互补(NCP)函数将概率互补约束转化成为一个通常的概率约束.然后,利用概率约束的相关理论结果,将其等价地转化成一个带不等式约束的优化问题.最后给出了这类问题的弱驻点和最优解的最优性条件.     

较多约束多目标规划的最优性条件

本文研究较多约束多目标规划的最优性条件.借助于所给问题的较多约束集结构表示,定义了较多约束规划问题的较多约束Pareto有效解和较多约束Pareto弱有效解,给出较多约束Pareto有效解和较多约束Pareto弱有效解要满足的Fritz John条件和Kuhn-Tucker条件,最后给出在凸性条件下它的一些最优性充分条件.     

线性约束三次规划问题的全局最优性必要条件和最优化算法

讨论了带线性不等式约束三次规划问题的最优性条件和最优化算法. 首先, 讨论了带有线性不等式约束三次规划问题的 全局最优性必要条件. 然后, 利用全局最优性必要条件, 设计了解线性约束三次规划问题的一个新的局部最优化算法(强局部最优化算法). 再利用辅助函数和所给出的新的局部最优化算法, 设计了带有线性不等式约束三 规划问题的全局最优化算法. 最后, 数值算例说明给出的最优化算法是可行的、有效的.     

非光滑约束规划的最优性条件

本文以方向可微和一致方向可微为工具,建立了约束非光滑规划的最优性条件,推广并改进了[1]中的主要结果。     

求解含平衡约束数学规划的熵函数法

提出求解含平衡约束数学规划问题(简记为MPEC问题)的熵函数法，在将原问题等价改写为单层非光滑优化问题的基础上，通过熵函数逼近，给出求解MPEC问题的序列光滑优化方法，证明了熵函数逼近问题解的存在性和算法的全局收敛性，数值算例表明了算法的有效性。     

隐互补约束优化问题的磨光SQP算法

本文提出了一类隐互补约束优化问题的磨光SQP算法.首先,我们给出了这类优化问题的最优性和约束规范性条件.然后,在适当假设条件下,我们证明了算法具有全局收敛性.     

非光滑稀疏约束优化问题的最优性条件及算法

针对目标函数非光滑的稀疏约束优化问题,给出基本可行性和λ-平稳性两个必要最优性条件,利用所给出的必要最优性条件构造出稀疏次梯度投影算法.在理论上分析了算法的收敛性,证明了由该算法所产生序列的任意聚点都是λ-平稳点.最后,通过两个数值实例验证了算法的收敛性、有效性和优化能力.     

消失约束数学规划拉格朗日型对偶与鞍点最优性判据（英文）

本文基于消失约束的结构特征,提出消失约束数学规划一个不涉及未知指标集的拉格朗日型对偶,并在合适条件下建立了弱对偶和强对偶定理.另外,也讨论了消失约束数学规划的鞍点最优性判据.最后,我们通过某些例子验证了这些结果的合理性.     

Optimality conditions for nonsmooth mathematical programs with equilibrium constraints,using convexificators

In this paper, we deal with constraint qualifications, stationary concepts and optimality conditions for a nonsmooth mathematical program with equilibrium constraints (MPEC). The main tool in our study is the notion of convexificator. Using this notion, standard and MPEC Abadie and several other constraint qualifications are proposed and a comparison between them is presented. We also define nonsmooth stationary conditions based on the convexificators. In particular, we show that GS-stationary is the first-order optimality condition under generalized standard Abadie constraint qualification. Finally, sufficient conditions for global or local optimality are derived under some MPEC generalized convexity assumptions.     

Second-Order Optimality Conditions for Mathematical Programs with Equilibrium Constraints

We study second-order optimality conditions for mathematical programs with equilibrium constraints (MPEC). Firstly, we improve some second-order optimality conditions for standard nonlinear programming problems using some newly discovered constraint qualifications in the literature, and apply them to MPEC. Then, we introduce some MPEC variants of these new constraint qualifications, which are all weaker than the MPEC linear independence constraint qualification, and derive several second-order optimality conditions for MPEC under the new MPEC constraint qualifications. Finally, we discuss the isolatedness of local minimizers for MPEC under very weak conditions.     

Abadie-Type Constraint Qualification for Mathematical Programs with Equilibrium Constraints

Mathematical programs with equilibrium constraints (MPEC) are nonlinear programs which do not satisfy any of the common constraint qualifications (CQ). In order to obtain first-order optimality conditions, constraint qualifications tailored to the MPECs have been developed and researched in the past. In this paper, we introduce a new Abadie-type constraint qualification for MPECs. We investigate sufficient conditions for this new CQ, discuss its relationship to several existing MPEC constraint qualifications, and introduce a new Slater-type constraint qualifications. Finally, we prove a new stationarity concept to be a necessary optimality condition under our new Abadie-type CQ.Communicated by Z. Q. Luo     

Necessary and sufficient optimality conditions for mathematical programs with equilibrium constraints

In this paper we consider a mathematical program with equilibrium constraints (MPEC) formulated as a mathematical program with complementarity constraints. Various stationary conditions for MPECs exist in literature due to different reformulations. We give a simple proof to the M-stationary condition and show that it is sufficient for global or local optimality under some MPEC generalized convexity assumptions. Moreover, we propose new constraint qualifications for M-stationary conditions to hold. These new constraint qualifications include piecewise MFCQ, piecewise Slater condition, MPEC weak reverse convex constraint qualification, MPEC Arrow-Hurwicz-Uzawa constraint qualification, MPEC Zangwill constraint qualification, MPEC Kuhn-Tucker constraint qualification, and MPEC Abadie constraint qualification.     

On M-stationary points for mathematical programs with equilibrium constraints

Mathematical programs with equilibrium constraints are optimization problems which violate most of the standard constraint qualifications. Hence the usual Karush-Kuhn-Tucker conditions cannot be viewed as first order optimality conditions unless relatively strong assumptions are satisfied. This observation has lead to a number of weaker first order conditions, with M-stationarity being the strongest among these weaker conditions. Here we show that M-stationarity is a first order optimality condition under a very weak Abadie-type constraint qualification. Our approach is inspired by the methodology employed by Jane Ye, who proved the same result using results from optimization problems with variational inequality constraints. In the course of our investigation, several concepts are translated to an MPEC setting, yielding in particular a very strong exact penalization result.     

Nonsmooth multiobjective programming and constraint qualifications

We consider a nonsmooth multiobjective programming problem with inequality and set constraints. By using the notion of convexificator, we extend the Abadie constraint qualification, and derive the strong Kuhn-Tucker necessary optimality conditions. Some other constraint qualifications have been generalized and their interrelations are investigated.     

Necessary Optimality Conditions in Terms of Convexificators in Lipschitz Optimization

This study is devoted to constraint qualifications and Kuhn-Tucker type necessary optimality conditions for nonsmooth optimization problems involving locally Lipschitz functions. The main tool of the study is the concept of convexificators. First, the case of a minimization problem in the presence of an arbitrary set constraint is considered by using the contingent cone and the adjacent cone to the constraint set. Then, in the case of a minimization problem with inequality constraints, Abadie type constraint qualifications and several other qualifications are proposed; Kuhn-Tucker type necessary optimality conditions are derived under the qualifications.Communicated by S. SchaibleThe authors thank the referees for bringing to their attention some papers closely related to this study and for helpful comments and constructive suggestions that have greatly improved the original version of the paper. Further, they are indebted to Professors H. W. Sun and F. Y. Lu, who suggested an example for this paper. The first author thanks S. Schaible for encouragement during this research.     

Notes on Some Constraint Qualifications for Mathematical Programs with Equilibrium Constraints

We study the constraint qualifications for mathematical programs with equilibrium constraints (MPEC). Firstly, we investigate the weakest constraint qualifications for the Bouligand and Mordukhovich stationarities for MPEC. Then, we show that the MPEC relaxed constant positive linear dependence condition can ensure any locally optimal solution to be Mordukhovich stationary. Finally, we give the relations among the existing MPEC constraint qualifications.     

On Constraint Qualifications in Nonsmooth Optimization

We introduce extensions of the Mangasarian-Fromovitz and Abadie constraint qualifications to nonsmooth optimization problems with feasibility given by means of lower-level sets. We do not assume directional differentiability, but only upper semicontinuity of the defining functions. By deriving and reviewing primal first-order optimality conditions for nonsmooth problems, we motivate the formulations of the constraint qualifications. Then, we study their interrelation, and we show how they are related to the Slater condition for nonsmooth convex problems, to nonsmooth reverse-convex problems, to the stability of parametric feasible set mappings, and to alternative theorems for the derivation of dual first-order optimality conditions.In the literature on general semi-infinite programming problems, a number of formally different extensions of the Mangasarian-Fromovitz constraint qualification have been introduced recently under different structural assumptions. We show that all these extensions are unified by the constraint qualification presented here.     

Generalized Constraint Qualifications and Optimality Conditions for Set-Valued Optimization Problems

In this paper we discuss the connections of four generalized constraint qualifications for set-valued vector optimization problems with constraints. Then some K-T type necessary and sufficient optimality conditions are derived, in terms of the contingent epiderivatives.