Proof (cont.)

This graph is constructed in polynomial time.

If f = $(x_1 \vee \neg x_2 \vee \neg x_3) \wedge (\neg x_1 \vee x_2 \vee x_3) \wedge (x_1 \vee x_2 \vee x_3)$, then the graph is