给定一个整数数组 nums 和一个正整数 k，请将数组划分成 k 个和相等的非空子集。请实现该算法并分析其复杂度。

回答思路

1. 正确判断无解条件（总和不能被 k 整除、最大值超过目标值）
2. 实现回溯搜索并按降序排列剪枝
3. 能处理状态恢复与重复方案去重
4. 清晰说明时间与空间复杂度