本文介绍在 php 中将数组元素重新分配为尽可能相等的整数值，使总和不变且各元素差异最小（即实现“均衡化”），核心策略是基于商与余数进行向上分配。
本文介绍在 php 中将数组元素重新分配为尽可能相等的整数值，使总和不变且各元素差异最小（即实现“均衡化”），核心策略是基于商与余数进行向上分配。
在实际开发中，常需将一组整数重新分布为“最接近均值”的整数数组，例如资源配额分配、负载均衡初始化、统计归一化等场景。关键约束是：总和必须严格保持不变，且所有新值均为非负整数，彼此差值不超过 1。这本质上是一个整数均分问题（Integer Partition with Minimal Variance）。
其数学原理如下：
设原数组为 $ a = [a_1, a_2, \dots, a_n] $，总和 $ S = \sum a_i $。目标是构造新数组 $ b = [b_1, \dots, b_n] $，满足：
- $ \sum b_i = S $
- $ \max b_i - \min b_i \leq 1 $
- 所有 $ bi \in \mathbb{Z}{\geq 0} $
最优解必为：
- 基准值 $ q = \lfloor S / n \rfloor $
- 余数 $ r = S \bmod n $（即需有 $ r $ 个位置取 $ q+1 $，其余 $ n-r $ 个位置取 $ q $）
以下为可直接运行的 PHP 实现：
<?php
function rebalanceArray(array $arr): array {
if (empty($arr)) {
return [];
}
$total = array_sum($arr);
$n = count($arr);
$quotient = (int)floor($total / $n); // 整除商
$remainder = $total % $n; // 余数（需多分配的元素个数）
$result = [];
for ($i = 0; $i < $n; $i++) {
$result[] = ($i < $remainder) ? $quotient + 1 : $quotient;
}
return $result;
}
// 示例 1：[2, 4, 1, 2] → sum=9, n=4 → q=2, r=1 → [3,2,2,2]
print_r(rebalanceArray([2, 4, 1, 2]));
// 输出：Array ( [0] => 3 [1] => 2 [2] => 2 [3] => 2 )
// 示例 2：[2, 3, 1, 2] → sum=8, n=4 → q=2, r=0 → [2,2,2,2]
print_r(rebalanceArray([2, 3, 1, 2]));
// 输出：Array ( [0] => 2 [1] => 2 [2] => 2 [3] => 2 )
?>✅ 注意事项：
- 该算法时间复杂度为 $ O(n) $，空间复杂度 $ O(n) $，高效且稳定；
- 余数 $ r $ 决定了前 $ r $ 个元素加 1（也可按需改为后 $ r $ 个、或按原数组索引权重分配）；
- 若需保留原始键名（如题中 [1]=>2 等关联数组），应使用 array_keys() 配合 foreach 构建结果，而非数字索引循环；
- 所有输入值应为非负整数，负数或浮点数需提前校验或转换，否则可能导致逻辑偏差。
此方法确保了数学最优性：任意其他满足总和约束的整数分配，其最大最小值之差都不可能小于本方案（即 0 或 1），是均衡化任务的标准解法。
