TCS Journal 2025 Journal Article
On k -enclosing slab problems
- Taehoon Ahn
- Sang Won Bae
Given a set P of n points in R d for d ⩾ 2 and an integer parameter 0 ⩽ k ⩽ n, a slab, the volume between two parallel hyperplanes, is called k -enclosing if it encloses k points of P. We consider the problem of finding an optimal k -enclosing slab for P with minimum or maximum width. In this paper, we present two simple algorithmic approaches based on our new characterization of optimal slabs. Our first approach yields an O ( n 3 log n ) -time algorithm in R 3 and an O ( n d log 2 n ) -time algorithm in R d, independently of k, for any constant d ⩾ 3. These algorithms also work properly for the weighted variant of the problems in the same time bound. By our second approach, we present faster algorithms for d ⩽ 3 when k is relatively small or large. More specifically, our algorithms solve both the minimum and maximum problems in R 3 in O ( ( k + 1 ) 1 / 3 n 3 ) time for small k < n / 2 and in O ( min { ( n − k + 1 ) 1 / 3 n 3, ( n − k + 1 ) 7 / 3 n 2 } ) time for large k > n / 2. In particular, for large k > n / 2, we further show that the minimization problem in R 3 can be solved even faster in O ( ( n − k + 1 ) 3 n 3 / 2 + ϵ ) time. We also discuss the planar case d = 2 in which the minimum and maximum problems can be solved in O ( n log n + ( n − k + 1 ) n ) time for any 0 ⩽ k ⩽ n.