Multi-objective linear programming is a subarea of mathematical optimization. A multiple objective linear program (MOLP) is a linear program with more than one objective function. An MOLP is a special case of a vector linear program. Multi-objective linear programming is also a subarea of Multi-objective optimization.
Problem formulation
editIn mathematical terms, a MOLP can be written as:
where is an matrix, is a matrix, is an -dimensional vector with components in , is an -dimensional vector with components in , is an -dimensional vector with components in , is an -dimensional vector with components in
Solution concepts
editA feasible point is called efficient if there is no feasible point with , , where denotes the component-wise ordering.
Often in the literature, the aim in multiple objective linear programming is to compute the set of all efficient extremal points.....[1] There are also algorithms to determine the set of all maximal efficient faces.[2] Based on these goals, the set of all efficient (extreme) points can be seen to be the solution of MOLP. This type of solution concept is called decision set based.[3] It is not compatible with an optimal solution of a linear program but rather parallels the set of all optimal solutions of a linear program (which is more difficult to determine).
Efficient points are frequently called efficient solutions. This term is misleading because a single efficient point can be already obtained by solving one linear program, such as the linear program with the same feasible set and the objective function being the sum of the objectives of MOLP.[4]
More recent references consider outcome set based solution concepts[5] and corresponding algorithms.[6][3] Assume MOLP is bounded, i.e. there is some such that for all feasible . A solution of MOLP is defined to be a finite subset of efficient points that carries a sufficient amount of information in order to describe the upper image of MOLP. Denoting by the feasible set of MOLP, the upper image of MOLP is the set . A formal definition of a solution [5][7] is as follows:
![{\displaystyle {\mathcal {P}}:=P[S]+\mathbb {R} _{+}^{q}:=\{y\in \mathbb {R} ^{q}:\;\exists x\in S:y\geq Px\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46920c08ee1b648e0025ddc4554b88fe0496d583)
A finite set of efficient points is called solution to MOLP if ("conv" denotes the convex hull).
![{\displaystyle \operatorname {conv} P[{\bar {S}}]+\mathbb {R} _{+}^{q}={\mathcal {P}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cd4f2c1d4eeb20af1d31d37b6388192bf267746)
If MOLP is not bounded, a solution consists not only of points but of points and directions [7][8]
Solution methods
editMultiobjective variants of the simplex algorithm are used to compute decision set based solutions[1][2][9] and objective set based solutions.[10]
Objective set based solutions can be obtained by Benson's algorithm.[3][8]
Related problem classes
editMultiobjective linear programming is equivalent to polyhedral projection.[11]
References
edit- ^ a b Ecker, J. G.; Kouada, I. A. (1978). "Finding all efficient extreme points for multiple objective linear programs". Mathematical Programming. 14 (1): 249–261. doi:10.1007/BF01588968. ISSN 0025-5610. S2CID 42726689.
- ^ a b Ecker, J. G.; Hegner, N. S.; Kouada, I. A. (1980). "Generating all maximal efficient faces for multiple objective linear programs". Journal of Optimization Theory and Applications. 30 (3): 353–381. doi:10.1007/BF00935493. ISSN 0022-3239. S2CID 120455645.
- ^ a b c Benson, Harold P. (1998). "An outer approximation algorithm for generating all efficient extreme points in the outcome set of a multiple objective linear programming problem". Journal of Global Optimization. 13 (1): 1–24. doi:10.1023/A:1008215702611. ISSN 0925-5001. S2CID 45440728.
- ^ Ehrgott, M. (2005). Multicriteria Optimization. Springer. CiteSeerX 10.1.1.360.5223. doi:10.1007/3-540-27659-9. ISBN 978-3-540-21398-7.
- ^ a b Heyde, Frank; Löhne, Andreas (2011). "Solution concepts in vector optimization: a fresh look at an old story" (PDF). Optimization. 60 (12): 1421–1440. doi:10.1080/02331931003665108. ISSN 0233-1934. S2CID 54519405.
- ^ Dauer, J.P.; Saleh, O.A. (1990). "Constructing the set of efficient objective values in multiple objective linear programs". European Journal of Operational Research. 46 (3): 358–365. doi:10.1016/0377-2217(90)90011-Y. ISSN 0377-2217.
- ^ a b Löhne, Andreas (2011). Vector Optimization with Infimum and Supremum. Vector Optimization. doi:10.1007/978-3-642-18351-5. ISBN 978-3-642-18350-8. ISSN 1867-8971.
- ^ a b Löhne, Andreas; Weißing, Benjamin (2017). "The vector linear program solver Bensolve – notes on theoretical background". European Journal of Operational Research. 260 (3): 807–813. arXiv:1510.04823. doi:10.1016/j.ejor.2016.02.039. ISSN 0377-2217. S2CID 17267946.
- ^ Armand, P.; Malivert, C. (1991). "Determination of the efficient set in multiobjective linear programming". Journal of Optimization Theory and Applications. 70 (3): 467–489. CiteSeerX 10.1.1.161.9730. doi:10.1007/BF00941298. ISSN 0022-3239. S2CID 18407847.
- ^ Rudloff, Birgit; Ulus, Firdevs; Vanderbei, Robert (2016). "A parametric simplex algorithm for linear vector optimization problems". Mathematical Programming. 163 (1–2): 213–242. arXiv:1507.01895. doi:10.1007/s10107-016-1061-z. ISSN 0025-5610. S2CID 13844342.
- ^ Löhne, Andreas; Weißing, Benjamin (2016). "Equivalence between polyhedral projection, multiple objective linear programming and vector linear programming". Mathematical Methods of Operations Research. 84 (2): 411–426. arXiv:1507.00228. doi:10.1007/s00186-016-0554-0. ISSN 1432-2994. S2CID 26137201.