Matchsticks to Square

Geometric Constraint

To form a square, we must partition the matchsticks into 4 groups of equal length. This length must be TotalLength / 4.

Relation to K-Partition

This is a special case of Partition to K Equal Sum Subsets where $K=4$. The same pruning strategies (descending sort, skip empty buckets) apply here for efficiency.