Maximum overlap of convex polytopes under translation

Abstract

We study the problem of maximizing the overlap of two convex polytopes under translation in ℝd for some constant d ≥ 3. Let n be the number of bounding hyperplanes of the polytopes. We present an algorithm that, for any ε > 0, finds an overlap at least the optimum minus ε and reports a translation realizing it. The running time is O(n[d/2]+1 logd n) with probability at least 1-n -O(1), which can be improved to O(nlog3.5 n) in ℝ3. The time complexity analysis depends on a bounded incidence condition that we enforce with probability one by randomly perturbing the input polytopes. This causes an additive error ε, which can be made arbitrarily small by decreasing the perturbation magnitude. Our algorithm in fact computes the maximum overlap of the perturbed polytopes. All bounds and their big-O constants are independent of ε. © 2010 Springer-Verlag.