Полиномиальный в среднем алгоритм для SAT/Задачи — различия между версиями