Pareto envelopes in R3 under l1 and l∞ distance functions

  • Authors:
  • Victor Chepoi;Karim Nouioua

  • Affiliations:
  • Universite de la Mediterranee, Marseille, France;Universite de la Mediterranee, Marseille, France

  • Venue:
  • SCG '07 Proceedings of the twenty-third annual symposium on Computational geometry
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Given a vector objective function f = (f1,...,fn) defined on a set X, a point y∈X is dominated by a point x∈ X if fi(x) i(y) forall i∈(1,...,n) and there exists an index j∈(1,...,n) such that fj(x) j(y). The non-dominated pointsof X are called the Pareto optima of f. H. Kuhn(1973) applied the concept of Pareto optimality to distancefunctions and characterized the convex hull conv (T) of any set T=(t1,...,tn) of Rm as the set of all Paretooptima of the vector function d2(x)=(d2(x,t1),...,d2(x,tn)), where d2(x,y)is the Euclidean distance between x,y∈ Rm. Motivatedby this result, given a set T=(t1,...,tn) of points of ametric space (X,d), we call the set Pd(T) of all Paretooptima of the function d(x)=(d(x,t1),...,d(x,tn)) the Pareto envelope of T. In this paper, we investigate the Pareto envelopes in Rm endowed with l1- or l∞-distances. We characterize PI(T) in all dimensions and PM(T) in R3. Usingthese results, we design efficient algorithms for constructing theseenvelopes in R3, in particular, an optimal O(n logn)-time algorithm for PM(T) and an O(n log2n)-time algorithmfor PI(T).