Efficiently Constructing Convex Approximation Sets in Multiobjective Optimization Problems

Stephan Helfrich,Stefan Ruzika,Clemens Thielen

DOI: https://doi.org/10.48550/arXiv.2305.15166

2023-05-24

Optimization and Control

Abstract:Convex approximation sets for multiobjective optimization problems are a well-studied relaxation of the common notion of approximation sets. Instead of approximating each image of a feasible solution by the image of some solution in the approximation set up to a multiplicative factor in each component, a convex approximation set only requires this multiplicative approximation to be achieved by some convex combination of finitely many images of solutions in the set. This makes convex approximation sets efficiently computable for a wide range of multiobjective problems - even for many problems for which (classic) approximations sets are hard to compute. In this article, we propose a polynomial-time algorithm to compute convex approximation sets that builds upon an exact or approximate algorithm for the weighted sum scalarization and is, therefore, applicable to a large variety of multiobjective optimization problems. The provided convex approximation quality is arbitrarily close to the approximation quality of the underlying algorithm for the weighted sum scalarization. In essence, our algorithm can be interpreted as an approximate variant of the dual variant of Benson's Outer Approximation Algorithm. Thus, in contrast to existing convex approximation algorithms from the literature, information on solutions obtained during the approximation process is utilized to significantly reduce both the practical running time and the cardinality of the returned solution sets while still guaranteeing the same worst-case approximation quality. We underpin these advantages by the first comparison of all existing convex approximation algorithms on several instances of the triobjective knapsack problem and the triobjective symmetric metric traveling salesman problem.

What problem does this paper attempt to address?

This paper attempts to solve the problem of constructing convex approximation sets in multi - objective optimization problems. Specifically, the paper focuses on how to efficiently construct convex approximation sets that can approximate all non - dominated solutions of multi - objective optimization problems with a certain precision. Traditional approximation sets require that the image of each feasible solution can be approximated by multiplying the image of a certain solution in the approximation set by a factor in each component, while convex approximation sets only need to achieve this approximation effect through the convex combination of the images of a finite number of solutions in the approximation set. This makes convex approximation sets easier to calculate than traditional approximation sets in many cases.

The main contribution of the paper is to propose a polynomial - time algorithm, which is based on the weighted sum scalarization method to construct convex approximation sets. This algorithm is applicable to a wide range of multi - objective optimization problems and can significantly outperform existing convex approximation set algorithms in terms of actual running time and the size of the returned solution set, while ensuring the same worst - case approximation quality. The paper also compares the performance of all existing convex approximation set algorithms for the first time through examples of the three - objective knapsack problem and the three - objective symmetric metric traveling salesman problem.

In short, the paper aims to provide an efficient and practical method for constructing convex approximation sets in multi - objective optimization problems, thereby reducing the computational complexity and the size of the solution set while maintaining the approximation quality.