Обсуждение:Алгоритмическая локальная лемма Ловаса