2
खोज
चलो LϵएलεL_\epsilon सभी की भाषा बनो 222-सीएनएफ के सूत्र φφ\varphi, ऐसा कम से कम (12+ϵ)(12+ε)(\frac{1}{2}+\epsilon) का φφ\varphiक्लाज संतुष्ट हो सकते हैं। मुझे यह साबित करने की जरूरत है कि वहां मौजूद है ϵ′ε'\epsilon' सेंट LϵएलεL_\epsilon है NPएनपी\mathsf{NP}-किसी के लिए भी ϵ<ϵ′ϵ<ϵ′\epsilon<\epsilon'। हम जानते हैं कि Max2SatMax2Sat\text{Max}2\text{Sat} के लिए लगभग हो …