Balanced K-Factor Decomposition

Split n into exactly k positive integers whose product equals n while minimizing the difference between the largest and smallest part. The core challenge is to distribute n's prime factors across k multiplicative buckets to balance the values (k is small, so search/backtracking over factor assignments is feasible).