Конструктивный вариант локальной леммы Ловаса, журнал алгоритма, правильные деревья. Процесс Гэлтона-Вэтсона.
