In mathematics, and in particular the necklace splitting problem, the Hobby–Rice theorem is a result that is useful in establishing the existence of certain solutions. It was proved in 1965 by Charles R. Hobby and John R. Rice; a simplified proof was given in 1976 by A. Pinkus.
Contents
The theorem
Given an integer k, define a partition of the interval [0,1] as a sequence of numbers which divide the interval to
Define a signed partition as a partition in which each subinterval
The Hobby-Rice theorem says that for every k continuously integrable functions:
there exists a signed partition of [0,1] such that:
(in other words: for each of the k functions, its integral over the positive subintervals equals its integral over the negative subintervals).
Application to fair division
The theorem was used by Noga Alon in the context of necklace splitting in 1987.
Suppose the interval [0,1] is a cake. There are k partners and each of the k functions is a value-density function of one partner. We want to divide the cake to two parts such that all partners agree that the parts have the same value. The Hobby-Rice theorem implies that this can be done with k cuts.