Линейное хеширование в булевом кубе с кластерами ограниченного размера

Показано, что для произвольного подмножества $n$-мерного булева куба из $M$ элементов существует линейная хеш-функция, кластеры которой состоят не более чем из $a$ элементов, и ранг которой не превосходит ${2\log_2 M-2\log_2 a+\mathcal O(1)}$.