Полиномиальный в среднем алгоритм для SAT/Задачи/ex-greedy-sat-is-2-approx-weighted — различия между версиями