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

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

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

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

较多约束规划及其最优性条件

本文研究了文[1]中提出的较多约束规划的基本问题，在给出问题的较多约束集结构表示的基础上，证明了这类问题的较多约束最优解要满足的Fritz John条件和Kuhn-Tucker条件。     

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

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

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

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

均衡约束数学规划问题的一类广义Mond-Weir型对偶理论

针对均衡约束数学规划模型难以满足约束规范及难于求解的问题,基于Mond和Weir提出的标准非线性规划的对偶形式,利用其S稳定性,建立了均衡约束数学规划问题的一类广义Mond-Weir型对偶,从而为求解均衡约束优化问题提供了一种新的方法.在Hanson-Mond广义凸性条件下,利用次线性函数,分别提出了弱对偶性、强对偶性和严格逆对偶性定理,并给出了相应证明.该对偶化方法的推广为研究均衡约束数学规划问题的解提供了理论依据.     

极小扰动约束非线性规划的最优性条件

考虑当目标函数在约束条件下的最优值作扰动时，使各约束作极小扰动的非线性规划问题．文中引进了极小扰动约束规划的极小扰动有效解概念．利用把问题归为一个相应的多目标规划问题，给出了极小扰动约束有效解的最优性条件．     

关于多目标数学规划的最优性条件

本文讨论定义于Ｂａｎａｃｈ空间的多目标数学规划，得到一些ε－最优解和（弱）有效解的必要条件，充分条件和必要充分条件。     

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

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

关于一类二层规划问题的一阶最优性条件研究

本文针对一类具有特定结构的二层规划问题, 将下层问题用其KKT条件代替, 把二层规划问题转化成带有互补约束的单层优化问题.然后利用Fritz-John条件,在适当的条件下,得到了二层优化问题的一阶最优性条件.本文所给条件简单、容易验证,并且不同于[1]的条件.     

First-and second-order optimality conditions for mathematical programs with vanishing constraints

We consider a special class of optimization problems that we call Mathematical Programs with Vanishing Constraints, MPVC for short, which serves as a unified framework for several applications in structural and topology optimization. Since an MPVC most often violates stronger standard constraint qualification, first-order necessary optimality conditions, weaker than the standard KKT-conditions, were recently investigated in depth. This paper enlarges the set of optimality criteria by stating first-order sufficient and second-order necessary and sufficient optimality conditions for MPVCs. Dedicated to Jiří V. Outrata on the occasion of his 60th birthday. This research was partially supported by the DFG (Deutsche Forschungsgemeinschaft) under grant KA1296/15-1.     

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 the Guignard constraint qualification for mathematical programs with equilibrium constraints

We recapitulate the well-known fact that most of the standard constraint qualifications are violated for mathematical programs with equilibrium constraints (MPECs). We go on to show that the Abadie constraint qualification is only satisfied in fairly restrictive circumstances. In order to avoid this problem, we fall back on the Guignard constraint qualification (GCQ). We examine its general properties and clarify the position it occupies in the context of MPECs. We show that strong stationarity is a necessary optimality condition under GCQ. Also, we present several sufficient conditions for GCQ, showing that it is usually satisfied for MPECs.     

Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications

We consider a difficult class of optimization problems that we call a mathematical program with vanishing constraints. Problems of this kind arise in various applications including optimal topology design problems of mechanical structures. We show that some standard constraint qualifications like LICQ and MFCQ usually do not hold at a local minimum of our program, whereas the Abadie constraint qualification is sometimes satisfied. We also introduce a suitable modification of the standard Abadie constraint qualification as well as a corresponding optimality condition, and show that this modified constraint qualification holds under fairly mild assumptions. We also discuss the relation between our class of optimization problems with vanishing constraints and a mathematical program with equilibrium constraints.     

Stationary conditions for mathematical programs with vanishing constraints using weak constraint qualifications

We consider a class of optimization problems that is called a mathematical program with vanishing constraints (MPVC for short). This class has some similarities to mathematical programs with equilibrium constraints (MPECs for short), and typically violates standard constraint qualifications, hence the well-known Karush-Kuhn-Tucker conditions do not provide necessary optimality criteria. In order to obtain reasonable first order conditions under very weak assumptions, we introduce several MPVC-tailored constraint qualifications, discuss their relation, and prove an optimality condition which may be viewed as the counterpart of what is called M-stationarity in the MPEC-field.     

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.     

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.     

Optimality conditions and newton-type methods for mathematical programs with vanishing constraints

A new class of optimization problems is discussed in which some constraints must hold in certain regions of the corresponding space rather than everywhere. In particular, the optimal design of topologies for mechanical structures can be reduced to problems of this kind. Problems in this class are difficult to analyze and solve numerically because their constraints are usually irregular. Some known first- and second-order necessary conditions for local optimality are refined for problems with vanishing constraints, and special Newton-type methods are developed for solving such problems.     

On sufficient optimality conditions for mathematical programs with equaiity constraints

A number of sufficiency theorems in the mathematical programming literature, concerning problems with equality constraints, are shown to be trivial consequences of the corresponding results for inequality constraints.This work was supported by NSF Grant No. ECS-8214081. Research by the first author was done while a visitor at La Trobe University.     

Sensitivity of solutions to systems of optimality conditions under the violation of constraint qualifications

A survey is given of old and new results on the sensitivity of solutions to systems of optimality conditions with respect to parametric perturbations. Results of this kind play a key role in subtle convergence analysis of various constrained optimization algorithms. General systems of optimality conditions for problems with abstract constraints, Karush-Kuhn-Tucker systems for mathematical programs, and Lagrange systems for problems with equality constraints are examined. Special attention is given to the cases where the traditional constraint qualifications are violated.