Convex Partitions of Polyhedra: A Lower Bound and Worst-Case Optimal Algorithm | Synapse