The maximum satisfiability problem has been a classical problem in approximation algorithms. More recently, its study has led to crucial insights in the area of hardness of approximation (see Chapter 29). In this chapter, we will use LP-rounding, with randomization, to obtain a 3/4 factor approximation algorithm. We will derandomize this algorithm using the method of conditional expectation.
Unable to display preview. Download preview PDF.