（tinyDB）了解整体中位数聚合

Question

在我的笔记上，我写道中位数聚合的部分状态类似于：<(x_0, count0), (x1, count1)>，其中count0是x0 values的数量。

然后，我写道中位数是整体的，但是我怎么能证明从部分状态开始它是真实的呢？如果部分状态为<x0, x0, x1, x2>，但在其他情况下不是，则可以证明这一点

我想念什么？