Изменения
Новая страница: «Можно использовать любое эффективно вычислимое семейство 2-универсальных хеш-функций, а н…»
Можно использовать любое эффективно вычислимое семейство 2-универсальных хеш-функций, а не только взятие по модулю. Кажется, что выделение такой абстракции будет сильно упрощать доказательство. Также можно будет заметить, что достаточно всего лишь O(n) формул.