Benson's algorithm

Consider a vector linear program

${\displaystyle \min _{C}Px\;{\text{ subject to }}Ax\geq b}$

for ${\displaystyle P\in \mathbb {R} ^{q\times n}}$, ${\displaystyle A\in \mathbb {R} ^{m\times n}}$, ${\displaystyle b\in \mathbb {R} ^{m}}$ and a polyhedral convex ordering cone ${\displaystyle C}$ having nonempty interior and containing no lines. The feasible set is ${\displaystyle S=\{x\in \mathbb {R} ^{n}:\;Ax\geq b\}}$. In particular, Benson's algorithm finds the extreme points of the set ${\displaystyle P[S]+C}$, which is called upper image.^[2]

In case of ${\displaystyle C=\mathbb {R} _{+}^{q}:=\{y\in \mathbb {R} ^{q}:y_{1}\geq 0,\dots ,y_{q}\geq 0\}}$, one obtains the special case of a multi-objective linear program (multiobjective optimization).