Распределение при котором эвристическая сложность и сложность в наихудшем случае совпадают. Иерархия для автоматов с несколькими головками. Конструктивный вариант локальной леммы Ловаса.
Видеозапись