Question

Design & Analysis of Algorithms

Problem . Given the formula f- construct a graph G such that f is satisfiable iff G has a clique of size 3. .

0 0
Add a comment Improve this question Transcribed image text
Answer #1

If x1 = True, x2 = False, x3 = True, x4 = True then:

f = (x1 \lor x2)\land (\neg x1 \lor \neg x2)\land (x3 \lor x4) = (T \lor F)\land (\neg T \lor \neg F)\land (T \lor T) = T

Thus, f is satisfiable.

So, we must construct a graph G which has a clique of size 3, because then only the "if and only if"statement would be true.

Note that if f hasn't been satisfiable then we would rather have drawn graph G which didn't have a clique of size 3, because then only the "iff" statement have been satisfiable.

Thus, our G can be simply a triangle then, because it's a clique of size three.

Add a comment
Know the answer?
Add Answer to:
Problem . Given the formula f- construct a graph G such that f is satisfiable iff G has a clique ...
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Not the answer you're looking for? Ask your own homework help question. Our experts will answer your question WITHIN MINUTES for Free.
Similar Homework Help Questions
ADVERTISEMENT
Free Homework Help App
Download From Google Play
Scan Your Homework
to Get Instant Free Answers
Need Online Homework Help?
Ask a Question
Get Answers For Free
Most questions answered within 3 hours.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT