330 likes | 340 Views
This lecture covers the MAX3SAT theorem, the importance of the PCP system, APX-completeness, L-reductions, and the properties of the APX class. It also includes proofs for the MI-4 and VC-4 problems being APX-complete and an exercise on constructing an L-reduction from MAX3SAT-3 to VC-4.
E N D
Theorem This an important result proved using PCP system. Theorem
VC-b Theorem
1 2 1 2 v 3 3 4 5 4 5 G G’
Properties (P1) (P2)
APX PTAS
APX-complete Theorem
MAX3SAT-3 Theorem expender
MI-b Theorem
MI-4 is APX-complete Proof. (L1) (L2)
VC-4 is APX-complete Proof. (L1) (L2)
Exercise • Construct a polynomial-time L-reduction from MAX3SAT-3 to VC-4.