General approximation methods for multicriteria optimization problems
Final Report Abstract
In many multiobjective optimization problems, the set of Pareto-optimal or efficient solutions – each of which can potentially be relevant for a decision maker – and the associated set of images are enormous and hard to determine exactly. Therefore, approximations aim to reduce the number of required solutions substantially while still guaranteeing a provable solution quality. Approximations are sets of solutions that, for each possible image, contain a solution whose image is component-wise at least as good up to a multiplicative factor. We have provided a general theory of how scalarizations – transformations of the problem into scalar-valued problems by means of weighting and combining the objectives – can be utilized to obtain approximations. In particular, we have introduced a novel transformation theory for scalarizations that establishes that multiobjective minimization and maximization problems can, in principle, be approximated equally well by scalarizations. Supplemented with our in-depth analyses of the well-known weighted sum and weighted Tchebycheff scalarization, scalarizations are now profoundly understood in this context. Additionally, we have related convex approximations – a relaxed notion of approximation – to approximations of multi-parametric optimization problems, for the computation of which we have designed three algorithms (partially with cardinality guarantees) that outperform existing approximation algorithms in both theory and practice. These algorithms and all examined instances are available in a freely accessible and easy-to-use software package. Within this project, we have not only made significant progress on existing notions of approximation, but have also introduced refined notions to delimit more precisely the frontier of existence of polynomial-cardinality approximations and their efficient computability: we have improved upon the seminal existence result for approximations due to Papadimitriou and Yannakakis by showing that polynomial-cardinality one-exact approximations – approximations that are exact in one objective – with approximation factors arbitrarily close to one in the remaining objectives always exist under the same assumptions. This is best possible in the sense that polynomial-cardinality approximations that are exact in more than one objective do, in general, not exist. We have obtained similar results also on quasi-k-exact approximations – in which feasible solutions are approximated exactly in k of the objectives, but the choice of these k objectives differs between different solutions – and multi-factor approximations that use a set of vectors of approximation factors instead of a single one. Complementing our theoretical insights, we have proposed several efficient algorithms (partially with cardinality guarantees) to obtain all these approximations.
Publications
-
An FPTAS for a General Class of Parametric Optimization Problems. Computing and Combinatorics, 25–37.
Bazgan, Cristina; Herzel, Arne; Ruzika, Stefan; Thielen, Clemens & Vanderpooten, Daniel
-
An approximation algorithm for a general class of parametric optimization problems. Journal of Combinatorial Optimization, 43(5), 1328-1358.
Bazgan, Cristina; Herzel, Arne; Ruzika, Stefan; Thielen, Clemens & Vanderpooten, Daniel
-
One-exact approximate Pareto sets. Journal of Global Optimization, 80(1), 87-115.
Herzel, Arne; Bazgan, Cristina; Ruzika, Stefan; Thielen, Clemens & Vanderpooten, Daniel
-
Approximation Methods for Multiobjective Optimization Problems: A Survey. INFORMS Journal on Computing.
Herzel, Arne; Ruzika, Stefan & Thielen, Clemens
-
The Power of the Weighted Sum Scalarization for Approximating Multiobjective Optimization Problems. Theory of Computing Systems, 66(1), 395-415.
Bazgan, Cristina; Ruzika, Stefan; Thielen, Clemens & Vanderpooten, Daniel
-
An approximation algorithm for a general class of multi-parametric optimization problems. Journal of Combinatorial Optimization, 44(3), 1459-1494.
Helfrich, Stephan; Herzel, Arne; Ruzika, Stefan & Thielen, Clemens
-
Analysis of the weighted Tchebycheff weight set decomposition for multiobjective discrete optimization problems. Journal of Global Optimization, 86(2), 417-440.
Helfrich, Stephan; Perini, Tyler; Halffmann, Pascal; Boland, Natashia & Ruzika, Stefan
-
Approximating biobjective minimization problems using general ordering cones. Journal of Global Optimization, 86(2), 393-415.
Herzel, Arne; Helfrich, Stephan; Ruzika, Stefan & Thielen, Clemens
-
Approximating multiobjective optimization problems: How exact can you be?. Mathematical Methods of Operations Research, 100(1), 5-25.
Bazgan, Cristina; Herzel, Arne; Ruzika, Stefan; Thielen, Clemens & Vanderpooten, Daniel
-
Approximating single- and multi-objective nonlinear sum and product knapsack problems. Discrete Optimization, 48, 100771.
Boeckmann, Jan; Thielen, Clemens & Pferschy, Ulrich
-
Using scalarizations for the approximation of multiobjective optimization problems: towards a general theory. Mathematical Methods of Operations Research, 100(1), 27-63.
Helfrich, Stephan; Herzel, Arne; Ruzika, Stefan & Thielen, Clemens
-
Efficiently Constructing Convex Approximation Sets in Multiobjective Optimization Problems. INFORMS Journal on Computing.
Helfrich, Stephan; Ruzika, Stefan & Thielen, Clemens
