HOME

TheInfoList



OR:

Vector optimization is a subarea of
mathematical optimization Mathematical optimization (alternatively spelled ''optimisation'') or mathematical programming is the selection of a best element, with regard to some criteria, from some set of available alternatives. It is generally divided into two subfiel ...
where optimization problems with a vector-valued
objective function In mathematical optimization and decision theory, a loss function or cost function (sometimes also called an error function) is a function that maps an event or values of one or more variables onto a real number intuitively representing some "cost ...
s are optimized with respect to a given
partial ordering In mathematics, especially order theory, a partial order on a set is an arrangement such that, for certain pairs of elements, one precedes the other. The word ''partial'' is used to indicate that not every pair of elements needs to be comparable; ...
and subject to certain constraints. A
multi-objective optimization Multi-objective optimization or Pareto optimization (also known as multi-objective programming, vector optimization, multicriteria optimization, or multiattribute optimization) is an area of MCDM, multiple-criteria decision making that is concerned ...
problem is a special case of a vector optimization problem: The objective space is the finite dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
partially ordered by the component-wise "less than or equal to" ordering.


Problem formulation

In mathematical terms, a vector optimization problem can be written as: :C\operatorname\min_ f(x) where f: X \to Z for a partially ordered
vector space In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
Z. The partial ordering is induced by a cone C \subseteq Z. X is an arbitrary set and S \subseteq X is called the feasible set.


Solution concepts

There are different minimality notions, among them: * \bar \in S is a ''weakly efficient point'' (weak minimizer) if for every x \in S one has f(x) - f(\bar) \not\in -\operatorname C. * \bar \in S is an ''efficient point'' (minimizer) if for every x \in S one has f(x) - f(\bar) \not\in -C \backslash \. * \bar \in S is a ''properly efficient point'' (proper minimizer) if \bar is a weakly efficient point with respect to a closed pointed convex cone \tilde where C \backslash \ \subseteq \operatorname \tilde. Every proper minimizer is a minimizer. And every minimizer is a weak minimizer. Modern solution concepts not only consists of minimality notions but also take into account
infimum In mathematics, the infimum (abbreviated inf; : infima) of a subset S of a partially ordered set P is the greatest element in P that is less than or equal to each element of S, if such an element exists. If the infimum of S exists, it is unique ...
attainment.


Solution methods

* Benson's algorithm for ''linear'' vector optimization problems.


Relation to multi-objective optimization

Any multi-objective optimization problem can be written as :\mathbb^d_+\operatorname\min_ f(x) where f: X \to \mathbb^d and \mathbb^d_+ is the non-negative
orthant In geometry, an orthant or hyperoctant is the analogue in ''n''-dimensional Euclidean space of a quadrant in the plane or an octant in three dimensions. In general an orthant in ''n''-dimensions can be considered the intersection of ''n'' mutu ...
of \mathbb^d. Thus the minimizer of this vector optimization problem are the Pareto efficient points.


References

{{Reflist Mathematical optimization