Some Computational Aspects of Helly-type Theorems

In this paper, we prove that, for a given positive number d, if every n + 1 of a collection of compact convex sets in E" contain a set of width d (a set of constant width d, respectively) simultaneously, then all members of this collection contain a set of constant width d 1 simultaneously, where d 1 = d/√n if n is odd and d 1 = d√n+2/ (n + 1) if n is even (d 1 = 2d - d√2n/(n+2/ respectively). This set is called common set (of constant width d 1 ) of the collection. These results deal with an open question raised by Buchman and Valentine in [Croft, Falconer and Guy, Unsolved Problems in Geometry, Springer-Verlag New York, Inc. 1991, pp. 131-132]. Moreover, given an oracle which accepts n + 1 sets of a collection of compact convex sets in E" and either returns a set of width d (a set of constant width d) contained in these sets, or reports its non-existence, we present an algorithm which determines a common set of the collection.