Benson's algorithm, named after Harold Benson, is a method for solving linear multi-objective optimization problems. This works by finding the "efficient extreme points in the outcome set". The primary concept in Benson's algorithm is to evaluate the upper image of the vector optimization problem by cutting planes.
Consider a vector linear program
min
C
P
x
subject to
A
x
≥
b
for
P
∈
R
q
×
n
,
A
∈
R
m
×
n
,
b
∈
R
m
and a polyhedral convex ordering cone
C
having nonempty interior and containing no lines. The feasible set is
S
=
{
x
∈
R
n
:
A
x
≥
b
}
. In particular, Benson's algorithm finds the extreme points of the set
P
[
S
]
+
C
, which is called upper image.
In case of
C
=
R
+
q
:=
{
y
∈
R
q
:
y
1
≥
0
,
…
,
y
q
≥
0
}
, one obtains the special case of a multi-objective linear program (multiobjective optimization).
www.bensolve.org
