Result: Efficiently computing succinct trade-off curves
Columbia University, New York, NY, United States
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Mathematics
Operational research. Management
Further Information
Trade-off (aka Pareto) curves are typically used to represent the trade-off among different objectives in multiobjective optimization problems. Although trade-off curves are exponentially large for typical combinatorial optimization problems (and infinite for continuous problems), it was observed in Papadimitriou and Yannakakis [On the approximability of trade-offs and optimal access of web sources, in: Proc.41st IEEE Symp. on Foundations of Computer Science, 2000] that there exist polynomial size ε approximations for any ε > 0, and that under certain general conditions, such approximate e-Pareto curves can be constructed in polynomial time. In this paper we seek general-purpose algorithms for the efficient approximation of trade-off curves using as few points as possible. In the case of two objectives, we present a general algorithm that efficiently computes an ε-Pareto curve that uses at most 3 times the number of points of the smallest such curve; we show that no algorithm can be better than 3-competitive in this setting. If we relax E to any ε' > ε, then we can efficiently construct an ε'-curve that uses no more points than the smallest ε-curve. With three objectives we show that no algorithm can be c-competitive for any constant c unless it is allowed to use a larger ε value. We present an algorithm that is 4-competitive for any ε' > (1 + ε)2 - 1. We explore the problem in high dimensions and give hardness proofs showing that (unless P = NP) no constant approximation factor can be achieved efficiently even if we relax ε by an arbitrary constant.