寻找能最大化(μ−m)r/σ的实数集合𝒮

要解决这个寻找能最大化表达式(\frac{(\mu - m)r}{\sigma})的实数集合(\mathcal{S})的问题，我们可以从均值(\mu)、中位数(m)、极差(r)和标准差(\sigma)的定义与相互关系入手，逐步推导最优构造：

核心思路 #

我们的目标是让均值与中位数的差值(\mu - m)尽可能大，同时让标准差(\sigma)尽可能小。另外，这个表达式是尺度不变的——把集合里所有元素缩放(k)倍时，(\mu、m、\sigma)都会跟着缩放(k)倍，极差(r)也会缩放(k)倍，最终表达式的值不变，所以我们可以固定极差为某个常数（比如1）来简化计算。

最优有限集合的构造 #

我们可以构造仅包含两个不同值的奇数元素集合，这是能最大化目标表达式的最简结构：

• 取集合有(2k+1)个元素（奇数个，保证中位数是明确的单个元素），其中(k+1)个元素取最小值(a)，剩下(k)个元素取最大值(b)（(b > a)）。
• 计算各统计量：
  • 极差(r = b - a)
  • 中位数(m = a)（排序后第(k+1)个元素是(a)）
  • 均值(\mu = \frac{(k+1)a + kb}{2k+1} = a + \frac{kr}{2k+1})，因此(\mu - m = \frac{kr}{2k+1})
  • 标准差(\sigma = \frac{r\sqrt{k(k+1)}}{2k+1})（通过方差公式展开计算得出）

将这些代入目标表达式：
[
\frac{(\mu - m)r}{\sigma} = \frac{\frac{kr}{2k+1} \cdot r}{\frac{r\sqrt{k(k+1)}}{2k+1}} = \sqrt{\frac{k}{k+1}}
]

极限情况：趋近最大值1 #

当(k)趋向于无穷大时，(\sqrt{\frac{k}{k+1}})会趋近于1，这是该表达式能达到的理论最大值。此时集合的结构趋近于“略多于一半的元素取最小值，剩下接近一半的元素取最大值”的分布。

为什么其他集合无法超过这个值 #

• 如果集合包含更多不同的数值，元素分布会更分散，导致标准差(\sigma)增大，最终拉低表达式的值；
• 如果是偶数个元素的两值集合，中位数会是两个值的平均值，此时(\mu = m)，表达式值为0；
• 如果集合只有一个数值，(\mu = m)，表达式值也为0；
• 包含极端单个大值的集合（比如大量小值加一个大值），会导致(\mu - m)很小，同时(\sigma)相对较大，表达式值远小于(\sqrt{\frac{k}{k+1}})。

内容的提问来源于stack exchange，提问作者Sharky Kesa