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:
:
where
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 ...
. The partial ordering is induced by a cone
.
is an arbitrary set and
is called the feasible set.
Solution concepts
There are different minimality notions, among them:
*
is a ''weakly efficient point'' (weak minimizer) if for every
one has
.
*
is an ''efficient point'' (minimizer) if for every
one has
.
*
is a ''properly efficient point'' (proper minimizer) if
is a weakly efficient point with respect to a
closed pointed convex cone where
.
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
:
where
and
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
. Thus the minimizer of this vector optimization problem are the
Pareto efficient points.
References
{{Reflist
Mathematical optimization