Duality Unary Convex Functions Programming

Most nonliner programming problems consist of functions which are sums of unary convex functions of linear fuctions.In this paper,we derive the duality forms of the unary convex optimization,and these technuques are applied to the geometric programming and minimum discriminaiton information problems.     

Convergent Outer Approximation Algorithms for Solving Unary Programs

Interesting cutting plane approaches for solving certain difficult multiextremal global optimization problems can fail to converge. Examples include the concavity cut method for concave minimization and Ramana's recent outer approximation method for unary programs which are linear programming problems with an additional constraint requiring that an affine mapping becomes unary. For the latter problem class, new convergent outer approximation algorithms are proposed which are based on sufficiently deep l-norm or quadratic cuts. Implementable versions construct optimal simplicial inner approximations of Euclidean balls and of intersections of Euclidean balls with halfspaces, which are of general interest in computational convexity. Computational behavior of the algorithms depends crucially on the matrices involved in the unary condition. Potential applications to the global minimization of indefinite quadratic functions subject to indefinite quadratic constraints are shown to be practical only for very small problem sizes.     

Iterative Characterizations of Computable Unary Functions: A General Method

Iterative characterizations of computable unary functions are useful patterns for the definition of programming languages based on iterative constructs. The features of such a characterization depend on the pairing producing it: this paper offers an infinite class of pairings involving very nice features.     

Optimization with unary functions

Most nonlinear programming problems consist of functions which are sums of unary functions of linear functions. Advantage can be taken of this form to calculate second and higher order derivatives easily and at little cost. Using these, high order optimization techniques such as Halley's method can be utilized to accelerate the rate of convergence to the solution. These higher order derivatives can also be used to compute second order sensitivity information. These techniques are applied to the solution of the classical chemical equilibrium problem.Supported by National Science Foundation grant ECS-8709795, co-funded by the U.S. Air Force Office of Scientific Research and by the Office of Naval Research grant N00014-86-K0052.Supported by National Science Foundation grant ECS-8709795, co-funded by the U.S. Air Force Office of Scientific Research.     

Bounded iteration and unary functions

The set of unary functions of complexity classes defined by using bounded primitive recursion is inductively characterized by means of bounded iteration. Elementary unary functions, linear space computable unary functions and polynomial space computable unary functions are then inductively characterized using only composition and bounded iteration. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The Maximal Closed Classes of Unary Functions in p-Valued Logic

In many-valued logic the decision of functional completeness is a basic and important problem, and the thorough solution to this problem depends on determining all maximal closed sets in the set of many-valued logic functions. It includes three famous problems, i.e., to determine all maximal closed sets in the set of the total, of the partial and of the unary many-valued logic functions, respectively. The first two problems have been completely solved ([1], [2], [8]), and the solution to the third problem boils down to determining all maximal subgroups in the k-degree symmetric group S_k, which is an open problem in the finite group theory. In this paper, all maximal closed sets in the set of unary p-valued logic functions are determined, where p is a prime. Mathematics Subject Classification: 03B50, 20B35.     

On maximal subalgebras of the algebras of unary recursive functions

Under consideration are the algebras of unary functions with supports in countable primitively recursively closed classes and composition operation. Each algebra of this type is proved to have continuum many maximal subalgebras including the set of all unary functions of the class ε ² of the Grzegorczyk hierarchy.     

Maximal clones on uncountable sets that include all permutations

We first determine the maximal clones on a set X of infinite regular cardinality κ which contain all permutations but not all unary functions, extending a result of Heindorf’s for countably infinite X. If κ is countably infinite or weakly compact, this yields a list of all maximal clones containing the permutations, since in that case the maximal clones above the unary functions are known. We then generalize a result of Gavrilov’s to obtain on all infinite X a list of all maximal submonoids of the monoid of unary functions which contain the permutations. Received January 8, 2004; accepted in final form December 22, 2004.     

B-(p,r)-不变凸规划问题的Mond-Weir型对偶

利用一类新的广义凸函数:B- (p,r) -不变凸函数,建立了多目标规划问题的Mond- Weir型对偶,证明了弱对偶、强对偶和逆对偶定理.其结论具有一般性,推广了许多涉及不变凸函数、不变B-凸函数和(p,r) -不变凸函数的文献的结论.     

Completeness criteria for some classes of unary monotone functions in P k

Systems of unary monotone functions of multi-valued logic are considered. These functions are monotone with respect to partial orders of special form. Criteria for the completeness of these functional systems are obtained.     

DC Programming: Overview

Mathematical programming problems dealing with functions, each of which can be represented as a difference of two convex functions, are called DC programming problems. The purpose of this overview is to discuss main theoretical results, some applications, and solution methods for this interesting and important class of programming problems. Some modifications and new results on the optimality conditions and development of algorithms are also presented.     

A Characterization of Barycentrically Preassociative Functions

We provide a characterization of the variadic functions which are barycentrically preassociative as compositions of length-preserving associative string functions with one-to-one unary maps. We also discuss some consequences of this characterization.     

Nonsmooth minimax programming under locally Lipschitz (Φ, ρ)-invexity

Minimax programming problems involving locally Lipschitz (Φ, ρ)-invex functions are considered. The parametric and non-parametric necessary and sufficient optimality conditions for a class of nonsmooth minimax programming problems are obtained under nondifferentiable (Φ, ρ)-invexity assumption imposed on objective and constraint functions. When the sufficient conditions are utilized, parametric and non-parametric dual problems in the sense of Mond-Weir and Wolfe may be formulated and duality results are derived for the considered nonsmooth minimax programming problem. With the reference to the said functions we extend some results of optimality and duality for a larger class of nonsmooth minimax programming problems.     

Model-interpretability into trees and applications

It will be shown thatn-separated graphs are model-interpretable into trees, in particular this holds for unary function graphs. Hence metamathematical results for trees carry over to more general graphs. We show that trees are stable in some infinite cardinality, hencen-separated graphs are stable, in particular this holds for unary functions. This generalizes results in [4]. Other examples concern decidability and the finite valency satisfiability property.     

Subgradients of value functions in parametric dynamic programming

We study in this paper the first-order behavior of value functions in parametric dynamic programming with linear constraints and nonconvex cost functions. By establishing an abstract result on the Fréchet subdifferential of value functions of parametric mathematical programming problems, some new formulas on the Fréchet subdifferential of value functions in parametric dynamic programming are obtained.     

Generation of unary monotone functions of multi-valued logic

A set of unary monotone functions of the multi-valued logic is considered. These functions are monotone with respect to a partial order of special form. The composition and convolution operations are introduced. A criterion for the completeness of the considered functional system is obtained.     

Optimal value functions of generalized semi-infinite min-max programming on a noncompact set

In this paper, we study optimal value functions of generalized semi-infinite min-max programming problems on a noncompact set. Directional derivatives and subd-ifferential characterizations of optimal value functions are given. Using these properties, we establish first order optimality conditions for unconstrained generalized semi-infinite programming problems.     

Superlinearly convergent approximate Newton methods for LC1 optimization problems

In the literature, the proof of superlinear convergence of approximate Newton or SQP methods for solving nonlinear programming problems requires twice smoothness of the objective and constraint functions. Sometimes, the second-order derivatives of those functions are required to be Lipschitzian. In this paper, we present approximate Newton or SQP methods for solving nonlinear programming problems whose objective and constraint functions have locally Lipschitzian derivatives, and establishQ-superlinear convergence of these methods under the assumption that these derivatives are semismooth. This assumption is weaker than the second-order differentiability. The extended linear-quadratic programming problem in the fully quadratic case is an example of nonlinear programming problems whose objective functions have semismooth but not smooth derivatives.This work is supported by the Australian Research Council.This paper is dedicated to Professor O.L. Mangasarian on the occasion of his 60th birthday.     

Higher order duality for a new class of nonconvex semi-infinite multiobjective fractional programming with support functions

In the paper, a new class of semi-infinite multiobjective fractional programming problems with support functions in the objective and constraint functions is considered. For such vector optimization problems, higher order dual problems in the sense of Mond-Weir and Schaible are defined. Then, various duality results between the considered multiobjective fractional semi-infinite programming problem and its higher order dual problems mentioned above are established under assumptions that the involved functions are higher order $\left(\Phi,\rho,\sigma^{\alpha}\right)$-type I functions. The results established in the paper generalize several similar results previously established in the literature.     

A Farkas lemma for difference sublinear systems and quasidifferentiable programming

A new generalized Farkas theorem of the alternative is presented for systems involving functions which can be expressed as the difference of sublinear functions. Various other forms of theorems of the alternative are also given using quasidifferential calculus. Comprehensive optimality conditions are then developed for broad classes of infinite dimensional quasidifferentiable programming problems. Applications to difference convex programming and infinitely constrained concave minimization problems are also discussed.