Алгоритмическая локальная лемма Ловаса — лемма в теоретической информатике, позволяющая конструировать объекты, подчиняющиеся определённым ограничениям.