Can I read 1 MAX-SAT (Recommended) : Exercise 04 on EtoBox?

1 MAX-SAT (Recommended) : Exercise 04 by denialli97 is a document available to read on EtoBox.

What is 1 MAX-SAT (Recommended) : Exercise 04 about?

The document outlines an exercise on the MAX-SAT problem, focusing on maximizing the total weight of satisfied clauses in a CNF formula. It discusses randomized algorithms for approximating solutions, including a method that achieves a 0.49-approximation and another that provides a 3/4 approximation by combining two approaches. Additionally, it explores the integrability gap of a linear programming formulation and suggests an optional non-linear rounding method for further approximation improvement.

Author

denialli97

Language

EN