由于分法不考虑顺序,所以我们按照数列严格不下降的方式分,即
a
[
i
]
>
=
a
[
i
−
1
]
a[i]>=a[i-1]
a[i]>=a[i−1]
那么
a
[
i
]
的
下
界
为
a
[
i
−
1
]
a[i]的下界为a[i-1]
a[i]的下界为a[i−1]
假如我们已经分好了
a
[
1
]
−
a
[
i
−
1
]
a[1]-a[i-1]
a[1]−a[i−1],还剩下要分的
m
=
n
−
∑
x
=
1
i
−
1
a
x
m=n-\sum_{x=1}^{i-1}{a_{x}}
m=n−∑x=1i−1ax,我们还剩下要分的份数为
k
−
(
i
−
1
)
=
k
−
i
+
1
k-(i-1)=k-i+1
k−(i−1)=k−i+1,那么
a
[
i
]
a[i]
a[i]最大为剩下数和的平均数,即
a
[
i
]
<
=
(
m
/
(
k
−
i
+
1
)
)
a[i]<=(m/(k-i+1))
a[i]<=(m/(k−i+1))