We show how (now familiar) hierarchical representations of (convex) polyhedra can be used to answer various separation queries efficiently (in a number of cases, optimally). Our emphasis is i) the uniform treatment of polyhedra separation problems, ii) the use of hierarchical representations of primitive objects to provide implicit representations of composite or transformed objects, and iii) applications to natural problems in graphics and robotics. Among the specific results is an O(log IPI. log IQI) algorithm for determining the separation of polyhedra P and Q (which have been individually preprocessed in at most linear time).
David P. Dobkin, David G. Kirkpatrick