Complete characterizations of stable Farkas’ lemma and cone-convex programming duality

We establish necessary and sufficient conditions for a stable Farkas’ lemma. We then derive necessary and sufficient conditions for a stable duality of a cone-convex optimization problem, where strong duality holds for each linear perturbation of a given convex objective function. As an application, we obtain stable duality results for convex semi-definite programs and convex second-order cone programs. The authors are grateful to the referees for their valuable suggestions and helpful detailed comments which have contributed to the final preparation of the paper. The first author was supported by the Australian Research Council Linkage Program. The second author was supported by the Basic Research Program of KOSEF (Grant No. R01-2006-000-10211-0).     

Robust optimization revisited via robust vector Farkas lemmas

This paper provides characterizations of the weakly minimal elements of vector optimization problems and the global minima of scalar optimization problems posed on locally convex spaces whose objective functions are deterministic while the uncertain constraints are treated under the robust (or risk-averse) approach, i.e. requiring the feasibility of the decisions to be taken for any possible scenario. To get these optimality conditions we provide Farkas-type results characterizing the inclusion of the robust feasible set into the solution set of some system involving the objective function and possibly uncertain parameters. In the particular case of scalar convex optimization problems, we characterize the optimality conditions in terms of the convexity and closedness of an associated set regarding a suitable point.     

Lagrange-type duality in DC programming

We show a Lagrange-type duality theorem for a DC programming problem, which is a generalization of previous results by J.-E. Martínez-Legaz, M. Volle [5] and Y. Fujiwara, D. Kuroiwa [1] when all constraint functions are real-valued. To the purpose, we decompose the DC programming problem into certain infinite convex programming problems.     

Lagrange duality in canonical DC programming

We study Lagrange duality theorems for canonical DC programming problems. We show two types Lagrange duality results by using a decomposition method to infinite convex programming problems and by using a previous result by Lemaire (1998)  [6]. Also we observe these constraint qualifications for the duality theorems.     

凸二次-线性双层规划的共轭对偶及其性质

研究具有一般形式的凸二次-线性双层规划问题。讨论了这类双层规划问题的DC规划等价形式,利用DC规划共轭对偶理论,提出了凸二次-线性双层规划的共轭对偶规划,并给出相应的对偶性质。     

Approximate Farkas lemmas and stopping rules for iterative infeasible-point algorithms for linear programming

In exact arithmetic, the simplex method applied to a particular linear programming problem instance with real data either shows that it is infeasible, shows that its dual is infeasible, or generates optimal solutions to both problems. Most interior-point methods, on the other hand, do not provide such clear-cut information. If the primal and dual problems have bounded nonempty sets of optimal solutions, they usually generate a sequence of primal or primaldual iterates that approach feasibility and optimality. But if the primal or dual instance is infeasible, most methods give less precise diagnostics. There are methods with finite convergence to an exact solution even with real data. Unfortunately, bounds on the required number of iterations for such methods applied to instances with real data are very hard to calculate and often quite large. Our concern is with obtaining information from inexact solutions after a moderate number of iterations. We provide general tools (extensions of the Farkas lemma) for concluding that a problem or its dual is likely (in a certain well-defined sense) to be infeasible, and apply them to develop stopping rules for a homogeneous self-dual algorithm and for a generic infeasible-interior-point method for linear programming. These rules allow precise conclusions to be drawn about the linear programming problem and its dual: either near-optimal solutions are produced, or we obtain certificates that all optimal solutions, or all feasible solutions to the primal or dual, must have large norm. Our rules thus allow more definitive interpretation of the output of such an algorithm than previous termination criteria. We give bounds on the number of iterations required before these rules apply. Our tools may also be useful for other iterative methods for linear programming. © 1998 The Mathematical Programming Society, Inc. Published by Elsevier Science B.V.     

Checking solvability of systems of interval linear equations and inequalities via mixed integer programming

This paper deals with the problems of checking strong solvability and feasibility of linear interval equations, checking weak solvability of linear interval equations and inequalities, and finding control solutions of linear interval equations. These problems are known to be NP$\mathit{NP}$-hard. We use some recently developed characterizations in combination with classical arguments to show that these problems can be equivalently stated as optimization tasks and provide the corresponding linear mixed 0–1 programming formulations.     

Exact Penalty Function and Asymptotic Strong Nonlinear Duality in Integer Programming

In this paper,a logarithmic-exponential penalty function with two parameters for integer program-ming is discussed.We obtain the exact penalty properties and then establish the asymptotic strong nonlinearduality in the corresponding logarithmic-exponential dual formulation by using the obtained exact penaltyproperties.The discussion is based on the logarithmic-exponential nonlinear dual formulation proposed in [6].     

带球（椭球）约束的不定二次规划问题

本文证明了带球（椭球）约束的不定二次规划问题具有强Ｌａｇｒａｎｇｅ对偶性，设计了一个求解这类问题的算法，本语文的结论比文「７」强，所设计的算法比文「７」简洁。     

用次微分表达的对偶问题

本利用次微分建立了多目标规划的一个新的对偶问题,并给出其弱、强和逆对偶性,得到了一个新的次梯度的定义,并用其建立了一个新的对偶问题。     

复合凸优化问题的Fenchel-Lagrange强对偶之研究

利用共轭函数的上图性质,引入新的约束规范条件,等价刻画了目标函数为凸函数与凸复合函数之和的复合优化问题及其Fenchel-Lagrange对偶问题之间的强对偶与稳定强对偶.     

一类非光滑多目标规划问题的最优性条件

研究了一类非光滑多目标规划问题.这类多目标规划问题的目标函数为锥凸函数与可微函数之和,其约束条件是Euclidean空间中的锥约束.在满足广义Abadie约束规格下,利用广义Farkas引理和多目标函数标量化,给出了这一类多目标规划问题的锥弱有效解最优性必要条件.     

Global optimization of a class of nonconvex quadratically constrained quadratic programming problems

In this paper we study a class of nonconvex quadratically constrained quadratic programming problems generalized from relaxations of quadratic assignment problems. We show that each problem is polynomially solved. Strong duality holds if a redundant constraint is introduced. As an application, a new lower bound is proposed for the quadratic assignment problem.     

A general Farkas lemma and characterization of optimality for a nonsmooth program involving convex processes

In this paper, a generalization of the Farkas lemma is presented for nonlinear mappings which involve a convex process and a generalized convex function. Using this result, a complete characterization of optimality is obtained for the following nonsmooth programming problem: minimizef(x), subject to – H(x) wheref is a locally Lipschitz function satisfying a generalized convexity hypothesis andH is a closed convex process.This work was partially written while the author was a PhD Student under the supervision of Dr. B. D. Craven, University of Melbourne, whose helpful guidance is much appreciated.     

半无限规划的一个对偶问题

本文对半无限凸规划提出一个新的对偶问题，使用扰动函数、次微分和法锥，文中证明了相应的弱对偶性及强对偶性的充要条件．     

Fenchel Duality and the Strong Conical Hull Intersection Property

We study a special dual form of a convex minimization problem in a Hilbert space, which is formally suggested by Fenchel dualityand is useful for the Dykstra algorithm. For this special duality problem, we prove that strong duality holds if and only if the collection of underlying constraint sets {C ₁,...,C _m} has the strong conical hull intersection property. That is,

一类广义凸多目标规划问题研究

首先引入了涉及高阶强Pre-invex函数的多目标优化问题m阶严格局部极小元的定义,在此基础上讨论了多目标优化问题的优化条件,最后研究了变分不等式的解与多目标优化问题高阶严格极小元之间的关系,其变分不等式的解正是多目标优化问题的高阶严格极小元,这些研究内容推广了Guneer-Bhatia给出的相关结论.