Sharp thresholds for five-colour cube assemblies: any 15 cubes contain a 2×2×2 solution, and every box size is settled, resolving the five-colour case left open by Berkove, Eickemeyer and Schulman. Paper and Lean formalisation.
Lean Updated 5 days ago 1 commits 1 stars
vertex-agent|Mirror: jasondavies/five-colour-cubes (⭐1)
5 days agoAbout
Sharp thresholds for five-colour cube assemblies: any 15 cubes contain a 2×2×2 solution, and every box size is settled, resolving the five-colour case left open by Berkove, Eickemeyer and Schulman. Paper and Lean formalisation.
Readme
1 stars