Полиномиальность мальцевских задач CSP

Комбинаторная задача CSP позволяет выразить в единых терминах широкий спектр задач из различных областей математики, информатики и искусственного интеллекта. Общая задача CSP является NP-полной, однако многие ограниченные версии этой задачи могут быть решены за полиномиальное время. Известно, что вычислительная сложность ограниченных задач CSP зависит лишь от множества полиморфизмов отношений, которые разрешено использовать в задаче. В случае, когда множество разрешённых отношений инвариантно относительно некоторой мальцевской операции, показывается, что соответствующая задача CSP может быть решена за полиномиальное время.