MAX-SAT: вероятностное округление/Задачи — различия между версиями