Alex's Notes

Home

❯

general

❯

Max SAT is NP hard

Max-SAT is NP-hard

Nov 12, 20231 min read

  • maths

Statement

Lemma

Max-SAT is NP-hard

Proof

There is a many-one reduction from the SAT problem to max-SAT.

If we have an instance of the SAT problem plug it into max-SAT and if we get an assignment the satisfies all clauses return that, otherwise say no.

As SAT is NP-complete this gives that max-SAT is NP-hard.


Graph View

  • Statement
  • Proof

Backlinks

  • Week 12 - Max-SAT approximation algorithm
  • Integer linear programming is NP-hard
  • Max-Satisfiability Problem

Created with Quartz v4.5.1 © 2025

  • GitHub
  • Discord Community