Then SAT(Φ) is the projection of a face of 3DM(H). Proof. Let the number of hyperedges in the gadget corresponding to a variable x be 2k(x).
確定！ 回上一頁
