Просмотр исходного текста страницы MAX-SAT: дерандомизация/Задачи/ex-derand-maxsat-f0-f1

<latex>
Покажите, что можно организовать вычисление $f_0$ и~$f_1$ таким образом,
что сложность алгоритма «alg-derand-max-sat» (кроме решения линейной релаксации) будет $O(mn)$.
</latex>


<!--Вообще-то, решения уже есть-->

[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]