Комментарии — MAX-SAT: вероятностное округление/Задачи/MAX-SAT-1-2-expected-time