[FOM] Question about satisfiability
tjark.weber at gmx.de
Fri Sep 7 09:23:11 EDT 2007
On Thursday 06 September 2007 13:59, Tjark Weber wrote:
> > Is it true that the problem of finding (given a CNF formula F and k) a
> > Boolean vector which satisfies at most k clauses of F is NP-hard?
> I think so. Suppose v is a Boolean vector which satisfies at most k
> clauses of F, where F contains n clauses total. Then \neg v satisfies at
> least n-k clauses of F.
Unfortunately this quick remark doesn't solve the problem in question, as
Vladik (and another reader of this list) kindly pointed out to me. I retract
More information about the FOM