В книге Алон Н., Спенсер Дж. "Вероятностный метод" есть теорема (ее варианты публиковались и раньше): пусть

--- строго сбалансированный граф с

вершинами,

ребрами и

автоморфизмами,

,

. Тогда

при

.
Есть ли похожие результаты для гиперграфов (

-однородных)? Не могу найти.