Given a finite collection S of geometric objects such as hyperplanes or spheres in R , the arrangement A(S) is the decomposition of R into connected open cells of dimensions 0, 1, . . . , d induced by S. Besides being interesting in their own right, arrangements of hyperplanes have served as a unifying structure for many problems in discrete and computational geometry. With the recent advances ...