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

Версия 23:43, 13 декабря 2016

Максимальная совместная подсистема системы линейных булевых уравнений

Предложите 0.878-приближенный полиномиальный алгоритм для задачи о нахождении максимальной совместной подсистемы системы линейных булевых уравнений (сложения и умножения по модулю 2), для случая когда в каждое уравнение входит ровно 2 переменные. Будем считать, что правые части всех уравнений равны 1, т.е. все уравнения вида .