Muffin problem scaling conjecture

About 7 years old · traced to

Let mm be the number of muffins, ss the number of students, and let f(m,s)f(m,s) be the largest possible size of the smallest assigned muffin piece.

Scaling conjecture. For all k,m,s∈Nk,m,s\in\mathbb{N},

f(km,ks)=f(m,s).f(km,ks)=f(m,s).

This conjecture is solved; the paper states that it is proved therein, while the second muffin conjecture was previously proved by Cui et al.

References

Primary source

Richard E. Chatwin, “An Optimal Solution for the Muffin Problem”, arXiv:1907.08726 (2020).

Progress summary

Refreshed
Claimed solved

A 2019 paper claims to settle the conjecture by showing that the best guaranteed piece size depends only on the muffins-to-students ratio.

The conjecture asserts that multiplying both the number of muffins and students by the same positive integer leaves the optimal smallest-piece size unchanged, namely f(km,ks)=f(m,s)f(km,ks)=f(m,s). No proposer or original date is identified in the retrieved sources.

July 2019 claimed complete solution

On July 19, 2019, Richard E. Chatwin's paper An Optimal Solution for the Muffin Problem claimed a recursive algorithm that solves every muffin instance and always produces an optimal solution. A 2020 exposition by James Propp explicitly says Chatwin's proof shows that f(m,s)f(m,s) depends only on the ratio m/sm/s, which implies f(km,ks)=f(m,s)f(km,ks)=f(m,s).

Current status (as of September 2026): The scaling identity f(km,ks)=f(m,s)f(km,ks)=f(m,s) is claimed to follow from Chatwin's complete solution, but the retrieved record provides no independent verification, so the claim remains unverified here.

Sources

Solutions 0

No solutions have been posted yet.