On ray shooting in convex polytopes (Q685183)

Let \({\mathcal P}\) be a convex polytope with \(n\) facets in the Euclidean space of a (small) fixed dimension \(d\). We consider the membership problem for \({\mathcal P}\) (given a query point, decide whether it lies in \({\mathcal P}\)) and the ray shooting problem in \({\mathcal P}\) (given a query ray originating inside \({\mathcal P}\), determine the first facet of \({\mathcal P}\) hit by it). It was shown in [\textit{P. K. Agarwal} and \textit{J. Matoušek}, Ray shooting and parametric search, SIAM J. Comput. 22(4), 794-806 (1993)] that a data structure for the membership problem satisfying certain mild assumptions can also be used for the ray shooting problem, with a logarithmic overhead in query time. Here we show that some specific data structures for the membership problem can be used for ray shooting in a more direct way, reducing the overhead in the query time and eliminating the use of parametric search. We also describe an improved static solution for the membership problem, approaching the conjectured lower bounds more tightly.