в своих записях я написал, что частичное состояние для медианного агрегата выглядит следующим образом: <(x_0, count0), (x1, count1)>, где count0 - это число x0 values.
Тогда я написал, что медиана целостна, но как я могу доказать, что она истинна, начиная с частичного состояния? Я мог бы продемонстрировать это, если частичное состояние будет: <x0, x0, x1, x2>, но не в другом случае
Что мне не хватает?